SAT 没有巫师
摘要：编码决策问题（编码）是一个二元组（E，F），其中E=将问题实例编码为单词，F=要接受的单词。我们在技术上使用“字符串”。对于一个NP问题（E，F），我们将F相对于E的“音标”联系在一起，它传达了关于E、F以及F嵌入在E中的结构信息。解决（E，F）的程序P的内核Ker（P）由P使用的音标字符串组成。Ker（P）和P的复杂性之间存在关系。我们对满足SAT内部独立性属性的SAT开发了一个应用程序。我们证明SAT不能在其音标中包含作为集体证书的字符串。因此，解决SAT的所有程序都具有相同的内核。
作者：Silvano Di Zenzo
论文ID：0802.1790
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-02-14