[论文解读] An algebraic Monte-Carlo algorithm for the Bipartite Partition Adjacency Matrix realization problem

Éva Czabarka, Łászló A. Székely+2 more|arXiv (Cornell University)|Aug 28, 2017

Advanced Combinatorial Mathematics参考文献 17被引用 3

一句话总结

本文提出了一种代数蒙特卡洛算法，可在固定划分类别数量的情况下，以多项式时间解决二分图的划分邻接矩阵实现与构造问题。该方法还被扩展至一个相关的、具有指定类间边数的完美匹配问题，为在结构约束下的组合图实现问题提供了随机化且高效的解决方案。

ABSTRACT

Consider a set $W,$ natural numbers $d(w)$ associated with each $w\in W$, and a $W_i:i\in I$ partition of $W$ with natural numbers $c(W_i,W_j)$ associated to every unordered pair of partition classes. The Partition Adjacency Matrix realization problem asks whether there is a simple graph on the vertex set $W$ with degree sequence $d(w)$ for $w\in W$, with exactly $c(W_i,W_j)$ edges with endpoints in $W_i$ and $W_j$, respectively; the Partition Adjacency Matrix construction problem asks for such a graph, if it exists. Here we provide an algebraic Monte-Carlo algorithm for the bipartite Partition Adjacency Matrix realization and construction problems, which runs in polynomial time for fixed number of partition classes. Furthermore, we provide a similar algorithm for the following problem: Given a bipartite graph, with partitions on the partite vertex classes, and prescribed numbers for all the pairs of partition classes, is there a perfect matching, such that the number of matching edges between the partition classes are exactly the prescribed numbers?

研究动机与目标

• 解决在顶点集 W 上实现一个简单图的计算挑战，该图具有指定的度序列以及预定义划分类别之间的划分间边数。
• 提供一种构造性算法，不仅判断此类图的存在性，而且在可能的情况下显式构建该图。
• 将框架扩展至一个相关问题：在二分图中寻找一个完美匹配，其中两个部分集的给定划分类别之间的边数精确指定。
• 在划分类别数量固定的情况下，实现多项式时间复杂度，利用代数与随机化技术。

提出的方法

• 将划分邻接矩阵实现问题表述为关于划分类别之间边分布与顶点度数的约束系统。
• 利用涉及矩阵永久式和多项式恒等式测试的代数技术，编码有效边配置的存在性。
• 基于有限域上的多项式恒等式测试，应用蒙特卡洛随机算法，以高概率检查解的存在性。
• 将二分图实现与匹配问题约化为可通过随机采样高效求值的多元多项式方程组。
• 利用Schwartz-Zippel引理控制随机算法的误差概率，确保以高置信度保持正确性。
• 通过迭代采样和验证解，利用相同的代数框架构建实际图或匹配。

实验结果

研究问题

• RQ1 能否使用代数与随机化方法，在多项式时间内解决二分图的划分邻接矩阵实现问题？
• RQ2 是否存在一种高效算法，可构造具有给定顶点度数和预设划分类别之间边数的简单图？
• RQ3 该方法能否扩展至在二分图中寻找具有精确类间边数的完美匹配问题？
• RQ4 当划分类别数量固定时，这些问题的计算复杂度如何？
• RQ5 如何有效应用代数技术（如多项式恒等式测试）于组合图实现问题？

主要发现

• 所提出的算法在划分类别数量固定时，可在多项式时间内解决二分图的划分邻接矩阵实现与构造问题。
• 该算法采用基于多项式恒等式测试的随机方法，通过Schwartz-Zippel引理确保高概率正确性与有界误差。
• 该方法可扩展至具有指定类间边数的完美匹配问题，为固定划分数提供类似的多项式时间解法。
• 核心技术依赖于将图实现约束编码为多元多项式，并利用代数方法测试其是否不恒为零。
• 通过将复杂的组合约束约化为有限域上的代数求值，实现了高效性。
• 该方法在理论与实践层面均高效可行，为代数计算与图实现问题之间建立了新颖的桥梁。