[論文レビュー] On the Graph of the Pedigree Polytope

Abdullah Makkeh, Mozhgan Pourmoradnasseri+1 more|arXiv (Cornell University)|Nov 25, 2016

Graph Labeling and Dimension Problems参考文献 17被引用数 3

ひとこと要約

本稿は、対称TSPポリトープの拡張であるペディグリー・ポリトープの1次スケルトン（グラフ）の漸近的構造を調査する。アーティャリの多項式時間で判定可能な隣接性特徴付けに基づく、独創的な「隣接ゲーム」モデルを用いて、n都市に対するペディグリー・ポリトープのグラフにおける最小頂点次数が、漸近的に $(1-o(1)) \cdot (n-1)!/2$ に達することを証明する。これは、$n \to \infty$ のとき、グラフが漸近的にほぼ完全になることを意味するが、TSPポリトープとは異なり正則的でも対称的でもないため、その性質は顕著である。

ABSTRACT

Pedigree polytopes are extensions of the classical Symmetric Traveling Salesman Problem polytopes whose graphs (1-skeletons) contain the TSP polytope graphs as spanning subgraphs. While deciding adjacency of vertices in TSP polytopes is coNP-complete, Arthanari has given a combinatorial (polynomially decidable) characterization of adjacency in Pedigree polytopes. Based on this characterization, we study the graphs of Pedigree polytopes asymptotically, for large numbers of cities. Unlike TSP polytope graphs, which are vertex transitive, Pedigree graphs are not even regular. Using an "adjacency game" to handle Arthanari's intricate inductive characterization of adjacency, we prove that the minimum degree is asymptotically equal to the number of vertices, i.e., the graph is "asymptotically almost complete".

研究の動機と目的

• ペディグリー・ポリトープの1次スケルトン（グラフ）の漸近的構造を理解すること。これは、対称TSPポリトープの拡張にあたる。
• アーティャリの特徴付けにより隣接性が多項式時間で判定可能であるという事実を踏まえ、大きな $n$ におけるペディグリー・ポリトープのグラフにおける最小頂点次数を分析すること。
• TSPポリトープとは異なり頂点推移的でないにもかかわらず、ペディグリー・ポリトープのグラフが漸近的に完全であるかどうかという未解決の問題を解明すること。
• アーティャリの隣接性特徴付けに基づく新しい確率的「隣接ゲーム」モデルを構築し、ポリトープのグラフの逐次的構築を通じて頂点次数の進化を分析すること。

提案手法

• 著者らは、グラフの進化をモデル化するための「隣接ゲーム」を用いる。このゲームでは、アリスとボブが時間の経過とともに頂点を選択し、ボブは盲目で一様にランダムに選択する。
• ゲームは、各頂点を、アーティャリのペディグリー・ポリトープにおける隣接性の逐次的特徴付けに由来する規則に従って、子頂点の集合に置き換えることで進化する。
• 解析では、$T_n$（段階 $n$ におけるグラフの連結成分の数）と $S_n$（孤立頂点の数）という2つの重要な確率変数を追跡し、低次数頂点が生じる確率を制限する。
• 証明では、集中不等式とマルコフの不等式を用いて、高確率で連結成分数 $T_n$ が最終的に1に減少し、それ以上変化しなくなることを示す。これは、高次の最小次数を示唆する。
• 著者らは、サイズが増加する区間ごとに再帰的議論を適用し、条件付き確率の上限を用いて $T_n$ を減少させる失敗の可能性を制御する。最終的に、最小次数が漸近的に完全であることを示す。
• この手法は、$S_n > \ln^2 n$ となる確率を抑え、これは低次数頂点を意味する。$n$ が十分に大きい場合、この確率は無視できるほど小さいことを示す。

実験結果

リサーチクエスチョン

• RQ1 ペディグリー・ポリトープのグラフは、$n \to \infty$ のとき、最小次数が頂点総数に近づくため、漸近的にほぼ完全であると言えるか？
• RQ2 アーティャリの隣接性特徴付けに基づく確率的ゲームモデルを用いて、非対称ポリトープにおける漸近的次数分布を分析できるか？
• RQ3 ペディグリー・ポリトープ以外にも、グラフが完全ではないが最小次数が頂点数に漸近的に等しいポリトープは存在するか？
• RQ4 TSPポリトープの隣接性に関する組合せ的条件を、幾何的拡張とは独立して導出できるか？その結果、実際のTSPポリトープに近いグラフが得られる可能性はあるか？

主な発見

• n都市に対するペディグリー・ポリトープのグラフにおける最小次数は、$n \to \infty$ のとき、漸近的に $(1-o(1)) \cdot (n-1)!/2$ に達する。
• ペディグリー・ポリトープのグラフ密度は、漸近的に1に近づくため、「漸近的にほぼ完全」となる。
• TSPポリトープとは異なり頂点推移的ではないにもかかわらず、ペディグリー・ポリトープのグラフは最小次数が頂点総数に漸近的に等しくなる。
• 連結成分数 $T_n$ が定数 $t$ を超える確率は、十分に大きな $n$ に対して $\varepsilon' / 3$ 以下に抑えられる。これは、$T_n$ が高確率で最終的に1に減少することを示唆する。
• 孤立頂点数 $S_n$ が $\ln^2 n$ を超える確率は、十分に大きな $n$ に対して最大 $\varepsilon$ である。これは、低次数頂点が生じる可能性を制御するのに役立つ。
• 解析により、確率 $1 - \varepsilon'$ で、連結成分数 $T_n$ が1に減少し、それ以上の $n$ についてもそのままであることが示された。これにより、グラフの漸近的完全性が確認された。