有界树宽 CNF 公式不存在小型非确定性只读一次分支程序
计算复杂性
2014-07-03 v1 数据结构与算法
计算机科学中的逻辑
组合数学
摘要
在本文中，给定参数 ，我们展示了一类无限的 {\sc cnf} 公式，其主图的树宽至多为 ，而等价的非确定性只读一次分支程序（{\sc nrobp}s）的大小至少为 （其中 为某个通用常数）。因此，我们排除了以等价 {\sc cnf} 的最小树宽为参数的 {\sc nrobp}s 具有固定参数空间复杂度的可能性。
引用
@article{arxiv.1407.0491,
title = {No small nondeterministic read-once branching programs for CNFs of bounded treewidth},
author = {Igor Razgon},
journal= {arXiv preprint arXiv:1407.0491},
year = {2014}
}
备注
Prepared as a 12 pages conference version, thus some proofs are postponed to the appendix