[論文レビュー] A Strongly Polynomial-Time Algorithm for Weighted General Factors with Three Feasible Degrees

Shuai Shao, Stanislav Živný|arXiv (Cornell University)|Jan 1, 2023

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿では、各頂点の次数制約が長さ1のギャップを高々1つ持つ実数値の辺重みを伴う重み付き一般因子問題に対する強多項式時間アルゴリズムを提示する。この手法は、新規のガジェット構成を活用し、非区間制約を扱うためにマッチング実現可能性理論を拡張し、ガジェットを用いた還元によって重み付きマッチングに帰着できないことを証明する。主な貢献は、従来、強多項式時間で解けることが知られていなかったクラスの重み付き一般因子問題に対する多項式時間解法の確立である。

ABSTRACT

General factors are a generalization of matchings. Given a graph G with a set π(v) of feasible degrees, called a degree constraint, for each vertex v of G, the general factor problem is to find a (spanning) subgraph F of G such that deg_F(v) ∈ π(v) for every v of G. When all degree constraints are symmetric Δ-matroids, the problem is solvable in polynomial time. The weighted general factor problem is to find a general factor of the maximum total weight in an edge-weighted graph. Strongly polynomial-time algorithms are only known for weighted general factor problems that are reducible to the weighted matching problem by gadget constructions. In this paper, we present a strongly polynomial-time algorithm for a type of weighted general factor problems with real-valued edge weights that is provably not reducible to the weighted matching problem by gadget constructions. As an application, we obtain a strongly polynomial-time algorithm for the terminal backup problem by reducing it to the weighted general factor problem.

研究の動機と目的

• 特定の次数制約の下で重み付き一般因子問題を強多項式時間で解くアルゴリズムを開発すること。
• ガジェット構成を用いた還元によって重み付きマッチング問題に帰着できないとされる次数制約のクラスを同定・特徴付けること。
• ギャップ長が1以下の非区間次数制約を扱うために、マッチング実現可能性理論を拡張すること。
• 特に、区間または偶奇区間でない制約を持つ3つの可能な次数を有する重み付き一般因子問題の計算複雑性を解明すること。

提案手法

• ギャップ長が1以下の次数制約を実現するための、対称的∆-マトロイドに基づく特殊なガジェットを構築すること。
• ガジェットグラフにおける交互路分解を用いて、実現可能な集合の対称差の性質を分析すること。
• 完全マッチングの構造的性質を用いて、次数制約がマッチング実現可能であるための必要十分条件を示し、ギャップ長が0または1であることを証明すること。
• ギャップ長が混合している（例：{p, p+1, p+3}）次数制約がマッチング実現可能でないことを示し、非還元可能な重み付き一般因子問題の特徴付けを確立すること。
• ガジェット構成を用いて、一般因子問題を拡張されたグラフ上の完全マッチング問題に埋め込み、重みと実現可能性を保持すること。
• 得られたアルゴリズムが、辺重みの大きさに依存せずに強多項式時間で動作することを活用すること。

実験結果

リサーチクエスチョン

• RQ1 ガジェット構成による還元によって重み付きマッチング問題に帰着できない場合に、実数値の辺重みを伴う重み付き一般因子問題を強多項式時間で解くことは可能か？
• RQ2 次数制約にどのような構造的条件が満たされると、重み付き一般因子問題が多項式時間で解けるか？
• RQ3 ギャップ長が1以下の制約のうち、マッチング実現可能でないが依然として多項式時間で解けるクラスは存在するか？
• RQ4 ギャップが有界な次数制約に対して、マッチング実現可能な∆-マトロイドの正確な特徴付けは何か？
• RQ5 可能な次数が混合ギャップ長を持つ場合に、重み付き一般因子問題に対して強多項式時間アルゴリズムを構築することは可能か？

主な発見

• 実数値の辺重みを伴う重み付き一般因子問題に対して、ギャップ長が1以下の次数制約であり、かつガジェット構成による還元によって重み付きマッチング問題に帰着できない場合に、強多項式時間アルゴリズムが提示された。
• 本稿では、ギャップ長が1以下の次数制約がマッチング実現可能であるための必要十分条件を完全に特徴付けし、ギャップ長が0または1であることを証明した。
• 連続する3つの整数のうち中央の値が欠落している（例：{p, p+1, p+3}）制約はマッチング実現可能ではなく、したがってガジェットによる還元によって重み付きマッチングに帰着できない。
• アルゴリズムは、一般因子問題を拡張されたグラフ上の完全マッチング問題に埋め込むガジェットグラフを構築し、最適性と実現可能性を保持する。
• 解法は強多項式的であり、実行時間は頂点数と辺数にのみ依存し、辺重みの大きさには依存しない。
• 本結果により、区間制約や偶奇区間制約を超える、解ける重み付き一般因子問題のクラスが拡張され、組合せ最適化における未解決問題が解かれた。