[論文レビュー] Parameterized Complexity of the $k$-Arc Chinese Postman Problem

Gregory Gutin, Mark Jones+1 more|arXiv (Cornell University)|Mar 6, 2014

Advanced Graph Theory Research参考文献 13被引用数 8

ひとこと要約

本稿では、$k$-Arc Chinese Postman Problem (k-arc CPP) が、弧の数 $k$ をパrameterとして固定パrameter tractable (FPT) であることを確立し、van Bevern らが提起した未解決問題を解決した。著者らは、Marx, O'Sullivan, および Razgon の結果の小カット版に類似した新たな木分解技術を用いて、k-arc CPP を Balanced Chinese Postman Problem (BCPP) に還元し、treewidth が有界でないにもかかわらず動的計画法が適用可能となるようにした。

ABSTRACT

In the Mixed Chinese Postman Problem (MCPP), given an edge-weighted mixed graph $G$ ($G$ may have both edges and arcs), our aim is to find a minimum weight closed walk traversing each edge and arc at least once. The MCPP parameterized by the number of edges was known to be fixed-parameter tractable using a simple argument. Solving an open question of van Bevern et al., we prove that the MCPP parameterized by the number of arcs is also fixed-parameter tractable. Our proof is more involved and, in particular, uses a well-known result of Marx, O'Sullivan and Razgon (2013) on the treewidth of torso graphs with respect to small separators. We obtain a small cut analog of this result, and use it to construct a tree decomposition which, despite not having bounded width, has other properties allowing us to design a fixed-parameter algorithm.

研究の動機と目的

• 混合 Chinese Postman Problem が弧の数 $k$ をパラメータとして固定パラメータ可 tractable であるかどうかという未解決問題を解明すること。
• 従来の辺置換に基づくアプローチの制限を克服する、$k$-arc CPP の固定パラメータアルゴリズムを構築すること。
• treewidth が有界でないにもかかわらず動的計画法が可能となるような、特定の構造的性質を満たす木分解を構築すること。
• $k$-arc CPP を、頂点の不均衡に需要関数を導入した Balanced Chinese Postman Problem (BCPP) に還元すること。
• 接続性の条件下で BCPP が固定パラメータ可 tractable であることを証明し、全体の FPT 結果を実現すること。

提案手法

• 頂点の不均衡に需要関数を導入することで、$k$-arc CPP を Balanced Chinese Postman Problem (BCPP) に還元し、弧を不均衡制約に変換する。
• Marx, O'Sullivan, および Razgon の結果の小カット版を用いて、小な分離集合に関するトロスグラフの解析を行い、グラフ内のカットに対する構造的制御を可能にする。
• 有界な幅を持たないが、動的計画法に必要な重要なバランス性および連結性の性質を満たすグラフの木分解を構築する。
• 木分解上で動的計画法を適用し、各ノードが頂点不均衡関数 $t^*$ および偶奇関数 $h^*$ で定義される部分解を格納する。
• 木分解のジョインノードでは、部分木からの解を、不均衡および偶奇に関する整合性条件を満たすように組み合わせ、再帰的制約により正しさを保証する。
• パrameter $k$ を用いて各ノードにおける可能な状態数をバウンドし、総状態数が $k$ の関数と $n$ に関する多項式の積で抑えられることを保証する。

実験結果

リサーチクエスチョン

• RQ1 混合 Chinese Postman Problem は、弧の数 $k$ をパラメータとして固定パラメータ可 tractable か？
• RQ2 $k$-arc CPP は、treewidth が有界でないにもかかわらず、動的計画法が可能な問題クラスに還元可能か？
• RQ3 Marx–O’Sullivan–Razgon の結果の小カット版は、$k$-arc CPP のための効果的な分解を可能にするか？
• RQ4 接続性制約の下で Balanced Chinese Postman Problem (BCPP) は固定パラメータ時間で解けるか？
• RQ5 解の構造を保存しないため、弧を無向辺に置き換える場合に、FPT 実行時間が維持可能か？

主な発見

• $k$-arc Chinese Postman Problem は固定パラメータ可 tractable であることが示され、van Bevern らが2014年に提起した未解決問題が解決された。
• 著者らは、Marx, O'Sullivan, および Razgon の結果の小カット版を確立し、グラフ内の小な分離集合に対する構造的制御を可能にした。
• 有界な幅を持たないが、頂点不均衡関数および偶奇関数を介して動的計画法が可能となる木分解が構築された。
• 動的計画法のテーブルにおける状態数は、$k$ の関数と $n$ に関する多項式の積で抑えられ、固定パラメータ可 tractability が保証された。
• k-arc CPP から BCPP への還元は正しく、最適解の保存を保証しており、接続性仮定の下で既知の BCPP アルゴリズムの利用が可能となった。
• 全体のアルゴリズムは、ある計算可能関数 $f$ を用いて、時間 $f(k) imes n^{O(1)}$ で実行され、$k$-arc CPP の固定パラメータ可 tractability が証明された。