グラフの直積がペアリングから巡回路を作る性質を保つ

この論文をやさしく読む

ひとことで言うと

頂点を任意に二人組のように組み合わせても、グラフの辺を追加して全頂点を一度ずつ通る輪を作れる性質が、グラフを積で組み合わせた後も残ることを示す研究です。

何に役立つ？

大きなグラフの性質を、その構成要素の性質から理解するための理論です。要旨は直接の実用用途を示すのではなく、巡回路と完全マッチングの関係を整理しています。

この研究の面白いところ

単に性質が保存されるだけでなく、補完を作る場所を特定のプリズムの合併に限定した場合に、必要十分条件まで示しています。制約を外すと逆が成立しない点も明確にしています。

どこまで分かった？

頂点数が4以上の偶数であるグラフが対象です。積がPHだからといって、制約なしに元のグラフもPHだとは結論できません。証明の成立は要旨における著者の報告として紹介しています。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

Gを頂点数が4以上の偶数である単純グラフとし、K_Gを頂点集合V(G)上の完全グラフとする。K_Gの完全マッチングをGのペアリングと呼ぶ。Gの任意のペアリングMについて、Mと辺を共有せず、M∪NがK_GのHamilton閉路になる完全マッチングN⊆E(G)が存在するとき、グラフGはPairing-Hamiltonian性、またはPH性を持つという。 本研究では、PH性がCartesian積で保存されることを証明する。より正確には、頂点数が4以上の偶数であるグラフGとHについて、GとHがともにPHであることと、G□Hのすべてのペアリングが、GまたはHの完全マッチングによって定まる、頂点を共有しないプリズムの全域的な合併の内部に含まれるHamilton的補完を持つことが同値であると示す。この補完を含む部分グラフへの制約を外すと、逆向きの命題は成立しない。すなわち、2つのグラフのどちらもPHでなくても、そのCartesian積がPHとなる場合がある。

v1の要旨から自動生成。本文の精読・人による確認は未実施。