计算的联结与分散
计算机科学中的逻辑
2011-08-10 v9
摘要
本文讨论了联结与分散对计算复杂度的影响，并讨论了HornCNF的联结性与CNF的分散性，展示了CNFSAT与HornSAT之间的差异。首先，我讨论了MUC判定问题与真值指派分类之间的关系。其次，我定义了两种内积（“内积”与“内和”），并讨论了正交性与相关性对MUC的影响。由于HornMUC具有高内和正交性而MUC不具备，我们无法在多项式规模内利用HornMUC将MUC归约为正交化MUC。因此，DP不等于P，且NP不等于P。
引用
@article{arxiv.1106.5470,
title = {Connection and Dispersion of Computation},
author = {Koji Kobayashi},
journal= {arXiv preprint arXiv:1106.5470},
year = {2011}
}