[论文解读] $\Gamma$-graphic delta-matroids and their applications

Donggyu Kim, Duksang Lee+1 more|arXiv (Cornell University)|Apr 23, 2021

Advanced Graph Theory Research参考文献 6被引用 3

一句话总结

本文引入了Γ-图式析取模——一种从顶点被赋予阿贝尔群Γ元素的Γ-标号图中导出的析取模。证明了所有无环γ-非零边集构成一个析取模，并提供了多项式时间分离 oracle，使得对称贪心算法能够求解最大权可行集问题。其主要贡献在于，诸如最大权不可被k整除阶的树打包问题以及最大权S-树打包问题等原本看似NP难的问题，均可通过该框架在多项式时间内求解。

ABSTRACT

For an abelian group $\Gamma$, a $\Gamma$-labelled graph is a graph whose vertices are labelled by elements of $\Gamma$. We prove that a certain collection of edge sets of a $\Gamma$-labelled graph forms a delta-matroid, which we call a $\Gamma$-graphic delta-matroid, and provide a polynomial-time algorithm to solve the separation problem, which allows us to apply the symmetric greedy algorithm of Bouchet to find a maximum weight feasible set in such a delta-matroid. We present two algorithmic applications on graphs; Maximum Weight Packing of Trees of Order Not Divisible by $k$ and Maximum Weight $S$-Tree Packing. We also discuss various properties of $\Gamma$-graphic delta-matroids.

研究动机与目标

• 通过在阿贝尔群Γ上的顶点标号图引入Γ-图式析取模，推广图式析取模。
• 为Γ-图式析取模建立多项式时间分离 oracle，从而实现通过对称贪心算法进行高效优化。
• 证明两个看似NP难的问题——最大权不可被k整除阶的树打包问题与最大权S-树打包问题——可在多项式时间内求解。
• 刻画Γ-图式析取模在有限域上的可表示性，确定其在GF(p^ℓ)或初等阿贝尔p-群上可表示的条件。

提出的方法

• 定义Γ-标号图(G, γ)，其中γ: V(G) → Γ为顶点分配群元素。
• 引入γ-非零子图的概念：若一个子图的每个连通分量中γ值之和非零，或其为孤立顶点且标签为零，则该子图为γ-非零。
• 证明Γ-标号图中所有无环γ-非零边集构成一个析取模，称为Γ-图式析取模。
• 通过图分解将问题约化为检测无环性与γ-非零条件，构造Γ-图式析取模的多项式时间分离 oracle。
• 应用对称贪心算法在多项式时间内求解最大权无环γ-非零集问题。
• 通过构造适当的Γ与γ映射，将特定图问题（如树打包）约化至该析取模框架。

实验结果

研究问题

• RQ1 Γ-标号图的结构能否用于定义一类具有高效优化性质的新析取模？
• RQ2 Γ-图式析取模的分离问题是否可在多项式时间内求解？
• RQ3 对称贪心算法能否有效应用于求解Γ-图式析取模中的最大权边集问题？
• RQ4 在何种条件下，Γ-图式析取模在有限域F上可表示？
• RQ5 Γ的群结构与Γ-图式析取模在有限域上的可表示性之间存在何种关系？

主要发现

• Γ-标号图中所有无环γ-非零边集构成一个析取模，确立了Γ-图式析取模的存在性。
• Γ-图式析取模存在多项式时间分离 oracle，使得对称贪心算法可计算最大权可行集。
• 最大权无环γ-非零集问题可在多项式时间内求解，这意味着相关问题亦可在多项式时间内求解。
• 通过设定Γ = Zk且对所有v有γ(v) = 1，最大权不可被k整除阶的树打包问题可在多项式时间内求解。
• 通过设定Γ = Z且当v ∈ S时γ(v) = 1，否则γ(v) = 0，最大权S-树打包问题可在多项式时间内求解。
• 当且仅当Γ为初等阿贝尔p-群时，Γ-图式析取模才可在特征为p的有限域F上表示；当[F : GF(p)] ≥ k时，Zpk-图式析取模的可表示性成立。