[論文レビュー] Packing six T-joins in plane graphs

Zdenĕk Dvořák, Ken‐ichi Kawarabayashi+1 more|Warwick Research Archive Portal (University of Warwick)|Sep 29, 2010

graph theory and CDMA systems参考文献 4被引用数 5

ひとこと要約

本稿では、6-正則平面多重グラフが6未満のサイズの奇数Tカットをもたない場合、6辺彩色可能であることを証明し、平面グラフにおけるTジョインパッキングに関するセイモアの予想のk=6の場合を確認した。証明は面と多重多角形に対する放電法を用い、与えられた条件下では最小反例が存在しえないことを示し、k=5で解決された次の未解決ケースを解消した。

ABSTRACT

Let G be a plane graph and T an even subset of its vertices. It has been conjectured that if all T-cuts of G have the same parity and the size of every T-cut is at least k, then G contains k edge-disjoint T-joins. The case k=3 is equivalent to the Four Color Theorem, and the cases k=4, which was conjectured by Seymour, and k=5 were proved by Guenin. We settle the next open case k=6.

研究の動機と目的

• 平面グラフにおけるエッジに交わらないTジョインのパッキングに関するセイモアの予想の未解決ケースk=6を解消すること。
• 6-正則平面多重グラフが6未満のサイズの奇数Tカットをもたない場合、6辺彩色可能であることを確立すること。
• k=3（4色定理に同等）、k=4（セイモアの予想）、k=5（グエンインの結果）の既知の結果をk=6に拡張すること。
• 最小反例の構造的特徴を特定し、放電法によってその非存在を示すこと。

提案手法

• 6-正則平面多重グラフにおけるサイズと構造に基づき、面と多重多角形に初期電荷を割り当てる。
• 隣接関係と面の種類に基づき、面から隣接する多重多角形および面へ電荷を再分配する一連の放電ルールを適用する。
• 構造的補題を用いて、隣接する面と多重多角形間の総電荷移動を制限し、特に連続する面の列に注目する。
• 放電ルールの下で、すべての面と多重多角形が非負の最終電荷をもつことを証明する。
• 初期総電荷が負である一方で、最終電荷の合計が非負であることを示し、最小反例が存在するならば矛盾が生じることを導く。
• 最小反例が存在しえないことを結論づけ、6辺彩色の結果が証明され、予想のk=6の場合が確認された。

実験結果

リサーチクエスチョン

• RQ1 6-正則平面多重グラフが6未満のサイズの奇数Tカットをもたない場合、6辺彩色可能であるか？
• RQ2 k=3,4,5で成り立つ平面グラフにおけるk個のエッジに交わらないTジョインのパッキングに関する予想が、k=6に拡張可能か？
• RQ3 k=6の場合の最小反例が満たすべき構造的性質は何か？ これらが不可能であることを示せるか？
• RQ4 放電技法は、6-正則グラフにおける多重多角形と面の隣接の複雑さに対応してどのように適合可能か？
• RQ5 小さな奇数Tカットが存在しないことは、平面グラフにおける6個のエッジに交わらないTジョインの存在を保証するのに十分か？

主な発見

• セイモアのTジョインパッキング予想のk=6の場合が確認された：すべてのTカットが同じ偶奇性を持ち、サイズが6以上であれば、6個のエッジに交わらないTジョインが存在する。
• 6-正則平面多重グラフが6未満のサイズの奇数Tカットをもたない場合、6辺彩色可能である。
• 放電法により、最小反例の存在が効果的に除外された。すべての面と多重多角形が非負の最終電荷をもつことが示された。
• 初期総電荷は負であるが、放電ルールの下で最終電荷の合計は非負である。したがって、反例が存在するならば矛盾が生じる。
• 証明により、予想の条件がk=6までエッジに交わらないTジョインパッキングに十分であることが示された。k=3,4,5の既存結果が拡張された。
• 隣接する面間の電荷移動に関する重要な補題により、証明が簡素化され、以前の弱いバージョンが置き換えられた。