[论文解读] No small nondeterministic read-once branching programs for CNFs of bounded treewidth

Igor Razgon|BIROn (Birkbeck, University of London)|Jul 2, 2014

Advanced Graph Theory Research参考文献 1被引用 6

一句话总结

该论文证明了，对于有界树宽的单调2-CNF，非确定性只读一次分支程序（nROBPs）的大小至少为 $ n^{ck} $，其中 $ c > 0 $ 为某常数，从而排除了即使在树宽有界时，nROBPs 仍具有固定参数可追踪空间复杂度的可能性。该结果通过引入一种新型图参数——远距离匹配宽度（Distant Matching Width, dmw），并构造具有高 dmw 但有界树宽的图，证明了 nROBPs 无法高效表示此类函数。

ABSTRACT

In this paper, given a parameter $k$, we demonstrate an infinite class of {\sc cnf}s of treewidth at most $k$ of their primary graphs such that the equivalent nondeterministic read-once branching programs ({\sc nrobp}s) are of size at least $n^{ck}$ for some universal constant $c$. Thus we rule out the possibility of fixed-parameter space complexity of {\sc nrobp}s parameterized by the smallest treewidth of the equivalent {\sc cnf}.

研究动机与目标

• 研究当输入 CNF 的初等图树宽有界时，非确定性只读一次分支程序（nROBPs）是否能实现固定参数可追踪的空间复杂度。
• 将先前针对有序二叉决策图（OBDDs）的下界结果扩展到更强大的 nROBP 模型。
• 构造一个无限族单调2-CNF，其树宽至多为 $ k $（$ k $ 可任意大），其等价的 nROBP 需要超多项式大小。
• 引入并分析远距离匹配宽度（dmw）参数，作为证明 nROBP 大小下界的一种工具。

提出的方法

• 为图引入远距离匹配宽度（dmw）参数，该参数衡量支持前缀集与后缀集之间大匹配的顶点排序的最小宽度。
• 证明：任何等价于具有 dmw 至少为 $ t $ 的图 $ G $ 的单调2-CNF 的 nROBP，其大小至少为 $ 2^{t/a} $，其中 $ a $ 依赖于 $ G $ 的最大度数。
• 通过递归的树状构造方法，构建一个具有树宽 $ k $、最大度数为5、且 dmw 至少为 $ b \log n \cdot k $ 的图的无限族，其中 $ b $ 为通用常数。
• 利用这些图的递归结构，在 nROBP 的路径集合上应用归纳计数论证，确保所需路径数随 dmw 指数增长。
• 利用单调2-CNF 与图之间的对应关系（子句对应边），将图论性质转化为 nROBP 大小的下界。
• 基于路径划分与匹配宽度，应用一种改进的计数论证，该方法适配于 nROBPs 的非确定性与只读一次约束。

实验结果

研究问题

• RQ1 当以输入 CNF 的初等图树宽为参数时，nROBPs 是否能实现固定参数可追踪的空间复杂度？
• RQ2 是否存在一个无限族 CNF，其树宽至多为 $ k $（$ k $ 可任意大），使得其等价的 nROBP 需要大小 $ n^{ck} $，其中 $ c > 0 $ 为某常数？
• RQ3 何种图论参数可作为单调2-CNF 中 nROBP 大小的下界？
• RQ4 能否将用于 OBDDs 的下界技术扩展到更表达力更强的 nROBP 模型？
• RQ5 在最大度数有界的图中，树宽与远距离匹配宽度（dmw）之间存在何种关系？

主要发现

• 对于每个足够大的 $ k $，存在一个单调2-CNF 的无限族，其树宽至多为 $ k $，其最小等价 nROBP 的大小至少为 $ n^{ck} $，其中 $ c > 0 $ 为某通用常数。
• 图 $ G $ 的远距离匹配宽度（dmw）为任何等价于 $ G $ 对应的单调2-CNF 的 nROBP 大小提供了下界，具体为至少 $ 2^{t/a} $，其中 $ t $ 为 dmw，$ a $ 依赖于最大度数。
• 存在一个图的无限族，其树宽为 $ k $，最大度数为5，且 dmw 至少为 $ b \log n \cdot k $，其中 $ b $ 为通用常数，且与 $ k $ 无关。
• nROBP 大小的下界是 dmw 的指数函数，由于 dmw 的增长为 $ \Omega(\log n \cdot k) $，因此即使 $ k $ 有界，nROBP 的大小在 $ n $ 上仍为超多项式。
• 该结果意味着 nROBPs 无法高效表示可表达为有界树宽 CNF 的函数，从而排除了该模型的固定参数空间复杂度。
• 由于 nROBPs 的非确定性特性，该证明技术比针对 OBDDs 的方法更受限制，因此需要对 CNF 实例进行更精细的构造。