[論文レビュー] Reconfiguration of Spanning Trees with Degree Constraint or Diameter Constraint

Nicolás Bousquet, Takehiro Ito+5 more|arXiv (Cornell University)|Jan 1, 2022

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿は、エッジの入れ替えによって制約付きのスパニングツリーを再構成する際の計算複雑性を調査する。最大次数の下限がある再構成は多項式時間で解けることが証明されている一方、上限があると問題はPSPACE完全になる。同様に、直径の下限があるとNP困難になるが、上限があると多項式時間で解ける。これは、制約付きスパニングツリー再構成における鋭い複雑性の遷移を示している。

ABSTRACT

We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via a sequence of edge flips. The exchange property of the matroid bases immediately yields that such a transformation always exists if we have no constraints on spanning trees. In this paper, we wish to find a transformation which passes through only spanning trees satisfying some constraint. Our focus is bounding either the maximum degree or the diameter of spanning trees, and we give the following results. The problem with a lower bound on maximum degree is solvable in polynomial time, while the problem with an upper bound on maximum degree is PSPACE-complete. The problem with a lower bound on diameter is NP-hard, while the problem with an upper bound on diameter is solvable in polynomial time.

研究の動機と目的

• 最大次数または直径に関する制約を保ったまま、エッジの入れ替えによる1つのスパニングツリーから別のスパニングツリーへの変換の計算複雑性を特定すること。
• どの制約が効率的な再構成を可能にし、どの制約が困難な問題を引き起こすかを特定すること。
• 構造的制約の下でのスパニングツリー再構成の、 tractable と intractable な変種の境界を明確にすること。
• 次数および直径の制約を伴う再構成問題の包括的な複雑性分類を提供すること。

提案手法

• 隣接するスパニングツリー間でのエッジの入れ替えの列としてスパニングツリー再構成をモデル化し、隣接性は1つのエッジの交換によって定義される。
• マトロイド理論を用いて、制約なしでは再構成が常に可能であることを確立し、制約付きバージョンのベースラインを形成する。
• 既知のPSPACE完全およびNP完全問題への還元を適用し、次数および直径の上限に関する下界の難易度を証明する。
• 最短経路木および中心に基づく指標の構造的解析を用いて、次数の下限および直径の上限に関する多項式時間解法を証明する。
• 補助グラフにおけるr1–r2パスの存在を示すための関数f(r1, r2, Q)を導入し、帰納的議論の根拠を提供する。
• 経路セグメントおよびラベル比較のケース分析を用いて、特定の構成が制約下で有効な再構成経路をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 最大次数の下限があるスパニングツリー再構成は多項式時間で解けるか？
• RQ2 最大次数の上限があるスパニングツリー再構成はPSPACE完全か？
• RQ3 直径の下限があるスパニングツリー再構成はNP困難か？
• RQ4 直径の上限があるスパニングツリー再構成は多項式時間で解けるか？
• RQ5 ハミルトンパス再構成問題（最大次数2のスパニングツリーの特別な場合）の複雑性は何か？

主な発見

• 最大次数の下限がある再構成は、木の構造的性質に基づく構成的アルゴリズムにより多項式時間で解ける。
• 最大次数の上限がある再構成は、d ≥ 3 に対してPSPACE完全である。これは高い計算的困難性を示している。
• 直径の下限がある再構成はNP困難である。これは、このような経路を見つけることが計算的に困難であることを示唆している。
• 直径の上限がある再構成は多項式時間で解ける。これは、直径の制約下では効率的な変換が可能であることを示している。
• ハミルトンパス再構成問題は未解決のままであるが、最大次数2の制約付き問題の特別な場合である。
• 本稿では、大径のスパニングツリー再構成問題はPSPACE完全であると予想しているが、未だ未解決のままである。