HornSAT 与 CNFSAT 的可解性
计算复杂性
2013-01-01 v1
摘要
本文描述了 HornSAT 和 CNFSAT 的可解性。不可满足的 HornCNF 具有由每个子句的因果关系构成的偏序集。在该偏序集中，每个子句中赋值为假的真值分配构成单连通空间。因此，若要将 CNFSAT 归约为 HornSAT，必须在 HornSAT 中构建此类偏序集。然而，由于 CNFSAT 中各子句之间存在相关性，该偏序集并非多项式规模。因此，我们无法在多项式规模内将 CNFSAT 归约为 HornSAT。
引用
@article{arxiv.1212.6725,
title = {Solvability of HornSAT and CNFSAT},
author = {Koji Kobayashi},
journal= {arXiv preprint arXiv:1212.6725},
year = {2013}
}
备注
3 pages, English and Japanese (see Other formats - Source)