[论文解读] A Decidable Dichotomy Theorem on Directed Graph Homomorphisms with Non-negative Weights

Jin‐Yi Cai, Xi Chen|arXiv (Cornell University)|Aug 5, 2010

Advanced Graph Theory Research参考文献 10被引用 7

一句话总结

本文建立了非负权重有向图同态计数的可判定复杂度二分定理，证明对于任意固定矩阵 𝐀（其元素为非负代数数），划分函数 𝑍_𝐀(G) 要么可在多项式时间内计算，要么为 #P-难。该证明结合了对无限组图同态问题的组合分析与利用多项式性质的代数技术，确保了可判定性准则的可判定性。

ABSTRACT

The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this paper, we prove a decidable complexity dichotomy theorem for this problem and our theorem applies to all non-negative weighted form of the problem: given any fixed matrix A with non-negative algebraic entries, the partition function Z_A(G) of directed graph homomorphisms from any directed graph G is either tractable in polynomial time or #P-hard, depending on the matrix A. The proof of the dichotomy theorem is combinatorial, but involves the definition of an infinite family of graph homomorphism problems. The proof of its decidability is algebraic using properties of polynomials.

研究动机与目标

• 解决长期悬而未决的开放问题：为非负权重有向图同态的划分函数建立可判定的复杂度二分定理。
• 将先前局限于对称矩阵或无向图的二分定理结果，推广至一般情形的非对称、非负加权矩阵。
• 提供一个可计算的准则，可在有限时间内判断给定矩阵 𝐀 是否导致一个可 tractable 或 #P-难的计数问题。
• 将现有的对称与无向情形的二分定理统一并推广至一个适用于有向图的单一、可判定的框架。

提出的方法

• 作者定义了一个以具有非负代数元素的矩阵 𝐀 参数化的无限组图同态问题族。
• 他们提出一种组合分类程序，用于检查 𝐀 上的结构条件，包括子矩阵的秩约束以及向量多项式的弱正性。
• 该方法涉及递归分析一对对 (𝐗ᵢ, 𝐘ᵢ) 的树状结构，以检验在叶节点处是否满足一组有限的多项式条件。
• 通过代数技术实现可判定性：将准则简化为检查某些多元多项式系统在实数域上是否有解，这可通过 Tarski 的量化消除方法判定。
• 该证明利用了 Lovász-良性的概念，并将其扩展至加权、有向情形，将其与特定多态性及同余格的存在性联系起来。
• 该框架推广了 Bulatov 针对 #CSP 的可 tractable 准则，通过关系结构的完整幂等化简，将其适配至非对称、非二元关系的情形。

实验结果

研究问题

• RQ1 对于任意固定矩阵 𝐀（其元素为非负代数数），是否存在一个可判定准则，用于确定划分函数 𝑍_𝐀(G) 是否可在多项式时间内计算或为 #P-难？
• RQ2 能否将无向图与对称情形的复杂度二分定理推广至一般有向图的非负权重情形？
• RQ3 有向图同态的非负权重计数问题的可 tractable 条件是否在算法上可判定？
• RQ4 矩阵 𝐀 的哪些结构性质决定了其关联的计数问题是可 tractable 还是 #P-难？

主要发现

• 对于任意固定矩阵 𝐀（其元素为非负代数数），划分函数 𝑍_𝐀(G) 要么可在多项式时间内计算，要么为 #P-难，从而确立了完整的二分定理。
• 可 tractable 性准则具有可判定性：存在一个有限时间算法，对于任意给定的矩阵 𝐀，可确定 𝑍_𝐀(G) 是否属于 P 或 #P-难。
• 该二分定理由子矩阵的秩条件及关联向量多项式的正性条件刻画，推广了先前针对对称矩阵的结果。
• 该证明表明，当且仅当矩阵 𝐀 满足涉及其块结构和特定多项式解存在的特定代数与组合条件时，问题才是可 tractable 的。
• 该结果通过提供首个非负加权有向图同态的可判定二分定理，解决了计算复杂性理论中长期悬而未决的开放问题。
• 该框架扩展并统一了先前针对对称矩阵与无向图的二分定理，现涵盖非对称、加权及有向情形。