[论文解读] Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas

Edith Hemaspaandra|ArXiv.org|Jun 2, 2004

Advanced Graph Theory Research参考文献 13被引用 11

一句话总结

本文建立了对交替次数有界的量化布尔公式的二分定理，证明了对于任意有限的布尔约束集合，判断具有固定数量的量化词交替的公式是否为真这一问题，要么属于P，要么属于多项式层次对应层级的完全问题。其主要贡献在于提出一个简单准则，可将此类问题归类为上述两类之一，从而将Schaefer的二分定理扩展至多项式层次的所有层级。

ABSTRACT

In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems, showed that all these problems are either in P or NP-complete, and gave a simple criterion to determine which of the two cases holds. This result is surprising in light of Ladner's theorem, which implies that there are an infinite number of complexity classes between P and NP-complete (under the assumption that P is not equal to NP). Schaefer also stated a dichotomy theorem for quantified generalized Boolean formulas, but this theorem was only recently proven by Creignou, Khanna, and Sudan, and independently by Dalmau: Determining truth of quantified Boolean formulas is either PSPACE-complete or in P. This paper looks at alternation-bounded quantified generalized Boolean formulas. In their unrestricted forms, these problems are the canonical problems complete for the levels of the polynomial hierarchy. In this paper, we prove dichotomy theorems for alternation-bounded quantified generalized Boolean formulas, by showing that these problems are either $Σ_i^p$-complete or in P, and we give a simple criterion to determine which of the two cases holds. This is the first result that obtains dichotomy for an infinite number of classes at once.

研究动机与目标

• 将Schaefer的二分定理从命题可满足性问题推广至具有有界交替次数的量化布尔公式。
• 将具有交替次数限制的量化约束满足问题的计算复杂性分类为P或Σₚⁱ-完全。
• 为任意给定的有限布尔约束集合，提供一个统一且简单的准则，以判断其属于哪一类复杂性。
• 证明该二分定理可同时适用于多项式层次的所有层级，这是该领域的一项新成果。

提出的方法

• 本文分析约束集合在各种操作（包括补集和投影）下的封闭性质，以确定其表达能力。
• 通过约束应用和存在量词，使用归约方法模拟常数值（0和1）以及逻辑连接词（如XOR、AND）。
• 该方法涉及将补集化或常数受限的量化公式版本归约为标准形式，利用存在量词固定真值。
• 应用推论1表明，某些约束组合可模拟固定布尔函数，从而实现不同量化词交替层级之间的归约。
• 证明过程根据约束性质区分四种情况：0-有效、1-有效、可补集和不可补集，每种情况均采用定制化归约。
• 该方法通过引入量化词交替次数的限制，将Schaefer原始二分定理推广至多项式层次。

实验结果

研究问题

• RQ1 对于任意有限的布尔约束集合，判断交替次数有界的量化公式的真值问题是否属于P或Σₚⁱ-完全？
• RQ2 能否建立一个简单且统一的准则，以区分此类问题属于P还是Σₚⁱ-完全？
• RQ3 该二分定理是否可同时适用于多项式层次的所有层级？
• RQ4 约束性质（如0-有效性、1-有效性及可补集性）如何影响交替次数有界量化公式的复杂性？

主要发现

• 对于任意有限的布尔约束集合，判断交替次数有界的量化公式的真值问题，要么属于P，要么属于Σₚⁱ-完全，从而在多项式层次的所有层级上确立了二分定理。
• 本文基于约束性质（0-有效、1-有效、可补集）提出一个简单准则，以判断问题属于P还是Σₚⁱ-完全。
• 所使用的归约技术表明，当约束能模拟XOR或AND与常数结合时，问题变为Σₚⁱ-难；而当约束在某些对称性下封闭时，则属于P。
• 结果将Schaefer原始二分定理推广至量化设置，证明了交替次数有界的量化公式的复杂性完全由相同的简单准则所决定。
• 该方法成功地将补集化或常数受限版本的问题归约为标准形式，从而根据约束集合的性质证明其为难解或可有效求解。