- 联结查询反向工程问题的复杂性
本文研究了解决共识查询相关反向工程问题的复杂性,并提出了基于量子比较的松弛方法来降低复杂度。最终得出了基于共识查询树宽度的 QBE 的可行性和闭合性条件,并将其应用于图数据库的查询问题。
- 有限结构的非均质化类
本研究讨论了有限结构的同构化问题及其在组合数学,计算机科学等领域的应用,并通过研究局部一致线性方程系统和具有 treewidth 为 2 的结构定义类的同态不可解性,说明了这两类结构无法被同构化。
- MM关于有限树宽分支程序和 CNF 的一次性读取特性
通过证明经过单次读取分支程序(nrobp)的空间下限为 n^Ω(k),针对原始图的树宽不超过 k 的 cnfs 可证明 nrobp 的固定参数空间复杂性不可行,在此基础上我们得到自由二元决策图和决策可分解否定正常形式之间的近多项式分离。
- 团宽和知识编译
本文研究了丛图宽度在布尔函数简洁表示中的作用,并推出了相应结论。该结论表明,丛图宽度对于表示布尔函数并不比树宽更加 “强大”,并且演示了该结论在知识编译中的应用。同时提出了一种可行的算法,能够将丛图宽度小于等于 k 的布尔电路编译成大小为 - 合取查询的解计数的结构可处理性
本文探讨了计算合取查询解的问题,考虑了公式的量化星级大小对于计算问题的可处理性的影响,并在有限的情况下确定了可计数的解的限制条件,介绍了量化星级大小的计算方法及其在多种宽度计算中的适用性,最后在输入宽度的多项式时间内提供了量化星级大小的近似 - 使用系统搜索精确解决 MAP 问题
该论文介绍了一种新的、简单的 MAP 解的概率上限,并使用该上限提出了一种分支定界搜索算法,能够准确高效地解决一些网络的 MAP 问题,这些网络的约束树宽度超过了 40。
- 一种完整的任意时刻用于树宽算法
本文提出了一种基于分支界限算法的快速计算无向图树宽的算法 QuickBB,包括理论基础与算法实现,可以应用于任何无向图,并对该算法的实验结果进行了比较和分析。
- 关于最可能解释的鲁棒性研究
本文研究贝叶斯网络中的最可能解释以及其鲁棒性问题,探讨了在单参数改变时我们能够承受多少变化而保持 MPE 不变,并描述了一个计算这个答案的过程,并且可以在时间 O (n exp (w)) 内完成。
- 图形模型推理的复杂度
本文研究图形单元中结构的限制及其与推理难度之间的关系,发现较低的树宽是确保推理可行性的唯一结构限制,即使是最优情况下的图结构,也不存在多项式时间复杂度的推理算法。
- 有界树宽 SAT 的强背门
本文结合分解性和后门集两种方法,研究了在与给定 CNF 公式相关联的图的树宽不超过 t 的 CNF 公式集合 W_t 中找到一个小的强后门集的算法问题。我们证明了:1. 找到大小不超过 2^k 的强 W_t 后门集,或确定 F 没有大小不超 - 通过收缩张量网络模拟量子计算
本文证明了:如果基于一颗 treewidth 为 d 的图的量子电路中,其门控运算的总数为 T,则这个电路可以在 T^{O (1)}*exp [O (d)] 的时间里被确定性模拟。此外,本文还证明了:在施加到附近量子比特的约束下,可以高效地