提升硬度结果
人工智能
2007-08-31 v1 计算复杂性
计算机科学中的逻辑
摘要
本文提出了一种技术，用于证明某些问题对于多项式层级（polynomial hierarchy）中的各类别或 PSPACE 是困难的。该技术的原理在于，某些问题限制能够模拟存在量词或全称量词。如果是这种情况，从量化布尔公式（QBF）到这些限制的归约可以转化为从多一个前置量词的 QBF 出发的归约。这意味着，证明一个问题在多项式层级第 n 层的硬度可以分解为 n 个独立的证明，这可能比直接证明从一类 QBF 到所考虑问题的归约更为简单。
引用
@article{arxiv.0708.4170,
title = {Raising a Hardness Result},
author = {Paolo Liberatore},
journal= {arXiv preprint arXiv:0708.4170},
year = {2007}
}