SAT的一个新结构性质
摘要：SAT的结构特性是我们之前在arXiv:0802.1790上的论文中讨论的一个非常重要的概念。在这篇论文中，我们定义并讨论了一个决策问题的“完全内部独立性”。这个属性比之前论文中所称的“强内部独立性”要强。我们证明了SAT满足这个属性。我们认为，这种决策问题的独立性是问题可能的最强形式。通过依赖这种最大强度的内部独立性，我们用更严格的术语重新阐述了我们之前论文中关于SAT指数增长的非正式观点。这个重述的结果是一个证明SAT指数增长的线索。我们猜测，通过严格按照给出的证明线索的思路，可以得到这个命题的完整证明。
作者：Silvano Di Zenzo
论文ID：0805.3058
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-05-21