[論文レビュー] Antimagic orientation of biregular bipartite graphs

Songling Shan, Xiaowei Yu|arXiv (Cornell University)|Jun 22, 2017

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

ひとこと要約

本稿では、任意の双正則な二部グラフがアンチマジック向き付けをもつことを証明しており、すべての連結な無向グラフがアンチマジック向き付けをもつという予想を支持する。著者らは、構造的な辺分解とラベル割り当てを用いて有向ラベリングを構成し、すべての有向頂点和が相異なることを保証する。2-ファクター、マッチング、区間ベースの和の分離を活用することで、両方の部分集合において一意性が保証される。

ABSTRACT

An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. An undirected graph $G$ is said to have an antimagic orientation if $G$ has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper, we support this conjecture by proving that every biregular bipartite graph admits an antimagic orientation.

研究の動機と目的

• すべての連結な無向グラフがアンチマジック向き付けをもつという予想を支持すること。
• 各部分集合に属する頂点が均一な次数をもつ双正則な二部グラフ—すなわち、各部分集合内の頂点が同じ次数をもつグラフ—がアンチマジック向き付けをもつことを確立すること。
• 辺ラベルの明示的割り当てと向き付けを慎重に行い、すべての有向頂点和が相異なるようにすることにより、このようなグラフに対して明示的なアンチマジックラベリングを構成すること。
• 正則グラフに対するアンチマジックラベリングの既存結果を、より広いクラスの双正則な二部グラフへと拡張すること。

提案手法

• 著者らは、各頂点における有向頂点和が相異なる有向グラフラベリングをアンチマジック向き付けと定義する。ここで、各頂点における和は、入ってくる弧のラベルの合計から出ていく弧のラベルの合計を引いたものである。
• 彼らはグラフを2-正則部分グラフFと残りの部分グラフHに分解する。2-ファクター分解とマッチング理論を用いてラベル割り当てを管理する。
• 辺ラベルは区間で割り当てられる：Hに[1, 2m]、Fに[2m+1, 4m]を割り当て、ラベルの全単射と和の分離を保証する。
• 各頂点における有向頂点和は、HとFからの寄与の合計として計算され、重複のない区間の重なり解析と差の上限を用いて一意性が保証される。
• ラベルと和の一意性を保証するために、補題2.1（二部グラフにおけるマッチング）と補題2.4（2-正則グラフにおける和の一意性）が用いられる。
• 次数2の頂点におけるラベル対を分析し、区間算術を用いることで、XとYの両方の部分集合における頂点和が互いに一意的であり、かつ部分集合間で重複しないことを示している。

実験結果

リサーチクエスチョン

• RQ1 双正則な二部グラフはすべてアンチマジック向き付けをもつのか？
• RQ2 構造的な辺分解とラベル割り当てを用いて、このようなグラフに対してアンチマジックラベリングを構成できるか？
• RQ3 得られた向き付けにおける有向頂点和は、すべての頂点において互いに一意的であることが保証されるか？
• RQ4 2つの部分集合における頂点の和の範囲を重複しないようにできるか？

主な発見

• すべての双正則な二部グラフがアンチマジック向き付けをもつことが確認され、このクラスのグラフについて予想が裏付けられた。
• Xの部分集合における有向頂点和はすべて相異なる。差は0または少なくとも4m+2に制限される。
• Yの部分集合における有向頂点和はすべて相異なる。区間は[2h+2, 6h]、[8h+2, 2(s−2)m−4h+2q]、[2(s−2)m+3−2h+4q, 2(s−2)m+2h−1]、および[2(s−2)m+3, 2sm−1]に分かれる。
• Xの総有向頂点和は負であり、Yのそれは正であるため、XとYの和の間には重複がない。
• FとHにおけるラベル割り当てが区間分離と頂点の次数および出現回数に基づく制御された差を用いることで、和が一意的になるように構成されている。
• 証明は最小次数s ≥ 6のすべての双正則な二部グラフに対して成り立ち、s = 4およびs = 5の場合については個別ケースの解析により拡張可能である。