[论文解读] Regular Bipartite Graphs And Their Properties

Vivek S. Nittoor|arXiv (Cornell University)|Dec 31, 2012

Error Correcting Code Techniques参考文献 8被引用 3

一句话总结

本文提出了一种新颖的对称排列树（SPT(m)）抽象，以系统化地枚举标记的且非同构的r-正则二分图，特别聚焦于2-正则情形。它提出了一套完整算法，用于生成所有非同构的2-正则二分图（含2m个顶点），并基于分拆枚举法推导出兼容排列和自同构群的公式，证明此类图的最大圈长为2m。

ABSTRACT

We introduce a new notation for representing labeled regular bipartite graphs of arbitrary degree. Several enumeration problems for labeled and unlabeled regular bipartite graphs have been introduced. A general algorithm for enumerating all non-isomorphic 2-regular bipartite graphs for a specified number of vertices has been described and a mathematical proof has been provided for its completeness. An abstraction of m Symmetric Permutation Tree in order to visualize a labeled r-Regular Bipartite Graph with 2m vertices and enumerate its automorphism group has been introduced. An algorithm to generate the partition associated with two compatible permutations has been introduced. The relationship between Automorphism Group and permutation enumeration problem has been used to derive formulae for the number of compatible permutations corresponding to a specified partition.

研究动机与目标

• 开发一种通用算法，对含2m个顶点的非同构2-正则二分图进行穷尽枚举。
• 引入对称排列树（SPT(m)）作为标记r-正则二分图的可视化与枚举工具。
• 建立一个数学框架，将正则二分图的自同构群与排列枚举联系起来。
• 推导出与给定顶点圈分拆相对应的兼容排列数量的公式。
• 确定含2m个顶点的2-正则二分图的最大可能圈长。

提出的方法

• 引入对称排列树（SPT(m)）以表示并枚举所有m个元素的排列，作为图枚举的基础。
• 通过过程P使用递归回溯法，穷尽生成所有m!个排列，通过叶子节点与排列之间的一一对应关系证明其完备性。
• 采用双邻接矩阵表示法来建模标记的r-正则二分图，其中每行和每列的和均为r。
• 通过双邻接矩阵的行与列置换定义图之间的同构关系，从而实现对非同构图的筛选。
• 基于圈分拆β ∈ P₂(m)推导出兼容排列的公式，将排列结构与图的自同构群联系起来。
• 应用已知圈定理，将2-正则图中的圈长与分拆的各分量关联，每个分量qᵢ对应的圈长为2qᵢ。

实验结果

研究问题

• RQ1 含2m个顶点的所有非同构2-正则二分图的完整集合是什么？如何对其进行系统化枚举？
• RQ2 如何利用排列结构对标记r-正则二分图的自同构群进行枚举与表征？
• RQ3 在正则二分图中，兼容排列与圈分拆之间存在何种关系？
• RQ4 含2m个顶点的2-正则二分图的最大可能圈长是多少？
• RQ5 能否构建一个通用算法，以枚举任意r和m下的所有非同构r-正则二分图？

主要发现

• 算法ESPT(m)正确枚举了所有m!个m个元素的排列，其正确性通过叶子节点与排列之间的一一对应关系得到证明。
• 含2m个顶点的2-正则二分图的最大可达圈长为2m，当图本身为一个长度为2m的单一圈时达到该值。
• 对于与Ψ(β)同构的2-正则二分图，其圈长恰好为{2qᵢ}，其中qᵢ是分拆β ∈ P₂(m)的分量。
• 与给定分拆β对应的兼容排列数量，通过自同构群与排列枚举之间的关系推导得出。
• 对称排列树SPT(m)为可视化和枚举标记r-正则二分图及其对称性提供了一个完整且系统化的框架。
• 本文建立了一个基础框架，用于搜索具有最大圈长的r-正则二分图，尤其适用于r = 2和r = 3的情形。