HornSAT 与 CNFSAT 中的归结结构
计算复杂性
2013-04-09 v1
摘要
本文描述了 HornSAT 与 CNFSAT 在归结结构和规模上的差异。我们可以利用子句因果性计算 HornSAT，因此可以通过对数空间归约计算证明图。然而，我们必须利用子句相关性计算 CNFSAT，因此无法通过对数空间归约计算证明图，且 CNFSAT 的归约不是 P-完全问题。
引用
@article{arxiv.1304.2026,
title = {Resolution structure in HornSAT and CNFSAT},
author = {Koji Kobayashi},
journal= {arXiv preprint arXiv:1304.2026},
year = {2013}
}
备注
6 pages, English and Japanese (see Other formats - Source)