[論文レビュー] Good edge-labelings and graphs with girth at least five

Michel Bode, Babak Farzad+1 more|arXiv (Cornell University)|Sep 6, 2011

Graph Labeling and Dimension Problems参考文献 1被引用数 4

ひとこと要約

本稿では、5以上の周長をもつ臨界的グラフで平均次数が3未塔であるものは存在しないことを証明しており、これはAraujoらの予想を周長5の条件下で検証するものである。トポロジカルグラフ理論にインspiredされた分配法を用いて、このようなグラフは必ずウィンドミル構造を含むことが示され、これは良い辺ラベルリングの存在を矛盾させる。したがって、C₃およびK₂,₃を除き、このクラスに臨界的グラフは存在しないことが立証される。

ABSTRACT

A good edge-labeling of a graph [Araújo, Cohen, Giroire, Havet, Discrete Appl. Math., forthcoming] is an assignment of numbers to the edges such that for no pair of vertices, there exist two non-decreasing paths. In this paper, we study edge-labeling on graphs with girth at least 5. In particular we verify, under this additional hypothesis, a conjecture by Araújo et al. This conjecture states that if the average degree of G is less than 3 and G is minimal without an edge-labeling, then G \in {C_3,K_{2,3}}. (For the case when the girth is 4, we give a counterexample.)

研究の動機と目的

• Araujoらが提唱した予想、すなわち平均次数が3未塔である臨界的グラフはC₃およびK₂,₃のみである、という予想を検証すること。
• 良い辺ラベルリングの欠如が、特に周長が5以上である場合に、周長によって制約を受けるかどうかを調査すること。
• 高い周長が、マッチングカットを超える構造的議論を可能にすることで、良い辺ラベルリングの分析を単純化することを示すこと。
• 『適切な』グラフとグルーピング操作を用いたフレームワークを構築し、臨界的グラフにおける複雑な構造を除外すること。
• 周長4の場合に、平均次数26/9<3でC₃やK₂,₃の部分グラフを含まない臨界的グラフが存在することを示し、予想の反例を提示すること。

提案手法

• 各頂点vに初期電荷6−2deg(v)を割り当て、平均次数<3のとき合計電荷が正になるようにする。
• 分配ルールを定義：各2-頂点はk本のサイル（4⁺-頂点で終わる3-頂点からなる経路）を介して、各4⁺-頂点に1/kの電荷を送る。
• 分配後、すべての頂点が非正の電荷を持つことを証明し、初期の合計正電荷と矛盾するため、このような臨界的グラフは存在できないことを示す。
• 『適切な』グラフの概念と、その性質を保つグルーピング操作を導入し、複雑な部分構造を帰納的に除外可能にする。
• 補題5.1を用いて、複数のサイルを持つ4⁺-頂点は、悪意のあるまたはほぼ悪意のあるホイルを含む必要があることを示し、電荷の流入を制限する。
• 2-、3-、4-、5-、6⁺-頂点間での電荷分布を分析し、最大の電荷受容を仮定しても、どの頂点に対しても最終電荷が正にならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Araujoらの予想が正しければ、平均次数が3未塔で周長が5以上である臨界的グラフは存在しないのだろうか？
• RQ2 良い辺ラベルリングの欠如が、周長や次数の上限といった構造的制約によって特徴づけられるのだろうか？
• RQ3 非臨界性の証明にマッチングカットが必要なのか、それとも代替的な構造的議論で十分なのか？
• RQ4 分配法を、高周長を持つ臨界的グラフにおけるウィンドミル構造の除外に適応可能か？
• RQ5 周長4で平均次数<3の反例が存在することは、予想が成立するためには周長が必須条件であることを示唆するのだろうか？

主な発見

• 周長が5以上で平均次数が3未塔である臨界的グラフは存在しない。これにより定理1.2が証明される。
• 図1のグラフは、周長4における予想1.1の反例である。頂点数9、辺数13、平均次数26/9<3であり、C₃やK₂,₃の部分グラフを含まない。
• 図1の反例グラフの任意の真部分グラフは良い辺ラベルリングをもつため、その臨界性が確認される。
• 分配法により、再分配後すべての頂点が非正の電荷を持つことが示され、平均次数<3のとき初期の合計正電荷と矛盾する。
• 仮想の臨界的グラフにおいて4-頂点は最大で3/2単位の電荷を受け取り、最終電荷≤−1/2となる。これは正の電荷に到達できない。
• 5-頂点はサイルを介して最大4.5単位の電荷を受け取るが、補題5.1による構造的制約のため、最終電荷は≤0のままとなり、正の電荷に到達できない。