[论文解读] A graph polynomial for independent sets of bipartite graphs

Qi Ge, Daniel Štefankovič|arXiv (Cornell University)|Jan 1, 2010

Markov Chains and Monte Carlo Methods参考文献 36被引用 1

一句话总结

本文提出了一种新颖的图多项式，用于编码二分图中独立集的数量，以及匹配与完美匹配的数量。在广义黎曼猜想的假设下，该多项式在大多数有理点上精确求值为#P-难，其余情况则为平凡情况，从而建立了计算复杂性的二分判定；此外，提出了一个马尔可夫链用于近似求值，并证明了在树结构以及有界树宽图上的随机簇模型中该链具有快速混合特性。

ABSTRACT

We introduce a new graph polynomial that encodes interesting properties of graphs, for example, the number of matchings, the number of perfect matchings, and, for bipartite graphs, the number of independent sets (#BIS). We analyze the complexity of exact evaluation of the polynomial at rational points and show a dichotomy result---for most points exact evaluation is #P-hard (assuming the generalized Riemann hypothesis) and for the rest of the points exact evaluation is trivial. We propose a natural Markov chain to approximately evaluate the polynomial for a range of parameters. We prove an upper bound on the mixing time of the Markov chain on trees. As a by-product we show that the ``single bond flip'' Markov chain for the random cluster model is rapidly mixing on constant tree-width graphs.

研究动机与目标

• 定义一种新的图多项式，以捕捉二分图中独立集的数量，以及匹配与完美匹配的数量。
• 分析在有理点处求值该多项式的计算复杂性。
• 识别复杂性上的二分判定：在广义黎曼猜想下，大多数点为#P-难，其余点为平凡情况。
• 设计并分析一个用于多项式近似求值的马尔可夫链。
• 建立在有界树宽图上，针对随机簇模型的单键翻转链的快速混合性。

提出的方法

• 提出一种新的多变量图多项式，该多项式推广了二分图的独立集多项式。
• 应用代数与复杂性理论技术，对在有理点处求值该多项式的计算困难性进行分类。
• 利用广义黎曼猜想（GRH）建立计算复杂性上的二分判定。
• 引入一种基于局部更新（单键翻转）的马尔可夫链，用于从随机簇模型中抽样。
• 通过谱间隙与关联度分析，研究马尔可夫链的混合时间，特别关注树结构。
• 利用树宽的有界性，将树结构上的混合时间结果推广至常数树宽图。

实验结果

研究问题

• RQ1 在有理点处精确求值所提出的图多项式的计算复杂性是什么？
• RQ2 能否设计一个马尔可夫链，以高效地在一系列参数下近似求值该多项式？
• RQ3 在树结构及有界树宽图上，单键翻转马尔可夫链的混合时间是多少？
• RQ4 该新多项式与已知图不变量（如独立集数量与完美匹配数）之间有何关系？
• RQ5 在何种条件下，多项式的求值为#P-难，或为平凡情况？

主要发现

• 该多项式统一编码了二分图中独立集的数量、匹配数与完美匹配数。
• 在广义黎曼猜想下，该多项式在大多数有理点处的精确求值为#P-难。
• 对于其余有理点，精确求值为平凡情况，从而确立了复杂性上的清晰二分判定。
• 所提出的用于近似求值的马尔可夫链在树结构上快速混合，意味着此类图的高效抽样成为可能。
• 针对随机簇模型的单键翻转马尔可夫链在常数树宽图上具有快速混合性。
• 树结构上的混合时间界限通过谱间隙分析建立，并通过结构分解方法推广至有界树宽图。