[論文レビュー] Parity Edge-Coloring of Graphs

David P. Bunde, Kevin G. Milans+2 more|ArXiv.org|Feb 15, 2006

Advanced Graph Theory Research参考文献 21被引用数 4

ひとこと要約

本稿は、任意のウォークが任意の色を奇数回使用しないようなグラフのパリティ辺彩色および強パリティ辺彩色（spec）を導入する。完全グラフ $K_n$ の強パリティ彩色数は $\widehat{p}(K_n) = 2^{\lceil \lg n \rceil} - 1$ であり、$n$ が2のべきのとき一意な最適彩色が存在する。また、$n \leq 16$ のとき $p(K_n) = \widehat{p}(K_n)$ が成り立つことを証明した。この結果は、集合の対称差に関する古典的な極値集合論の境界を強化する。

ABSTRACT

In a graph whose edges are colored, a parity walk is a walk that uses each color an even number of times. The parity edge chromatic number p(G) of a graph G is the least k so that there is a coloring of E(G) using k colors that does not contain a parity path. The strong parity edge chromatic number p'(G) of G is the least k so that there is a coloring of E(G) using k colors with the property that every parity walk is closed. Our main result is to determine p'(K_n). Specifically, if m is the least power of two that is as large as n, then p'(K_n) has value m - 1. As a corollary, we strengthen a special case of an old result of Daykin and Lovasz. Other results include determining p(G) and p'(G) whenever G is a path, cycle, or of the form K_{2,n}, and an upper bound on p'(G) for the case that G is a complete bipartite graph. We conclude with a sample of open problems.

研究の動機と目的

• パリティ辺彩色および強パリティ辺彩色（spec）を定義し、それらが任意のウォークが任意の色を奇数回使用しないような辺彩色であることを研究すること。
• このような彩色に必要な最小色数を特定し、それぞれのパrameter $p(G)$ および $\widehat{p}(G)$ を導入すること。
• パリティ彩色を用いたハイパーキューブへの埋め込みを特徴づけ、グラフ理論とブール関数の極値問題を結びつけること。
• $\widehat{p}(K_n)$ の正確な値を解明し、特に $n$ が2のべきのときの最適彩色の構造を記述すること。
• $p(G)$, $\widehat{p}(G)$ と $\chi'(G)$ や $\lg n(G)$ などの古典的グラフパラメータとの関係を調査すること。

提案手法

• パリティウォークを、すべての色が偶数回出現するウォークとして定義し、パリティ辺彩色はこのようなウォークを禁止する。
• 強パリティ辺彩色（spec）を、すべてのパリティウォークが閉路（同じ頂点で始まり終わる）であるような彩色として定義する。
• ハイパーキューブ埋め込みの特徴づけを用いる：連結グラフ $G$ が $Q_k$ に埋め込めるのは、$k$-辺彩色がすべてのサイクルをパリティウォークとし、すべてのパスが一部の色を奇数回使用するときである。
• $\mathbb{F}_2$ 上の代数的技法とベクトル空間の議論を用い、頂点ラベルの対称差による辺彩色のモデル化を行う。
• 完全グラフ $K_n$ の最適な spec が、長さ $\lceil \lg n \rceil$ の異なる $k$-ビット2進ベクトルによる頂点ラベル付けと、辺をその対称差で彩色することに対応することを証明する。
• 極値集合論を用いて、$n$ 個の集合の異なる対称差の数が $2^{\lceil \lg n \rceil}$ 以上であることを示し、$n$ が2のべきのとき等号が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 完全グラフ $K_n$ の強パリティ辺彩色に必要な最小色数は何か？
• RQ2 さまざまなグラフについて、強パリティ彩色数 $\widehat{p}(G)$ とパリティ辺彩色数 $p(G)$ との関係は何か？
• RQ3 どのグラフが $p(G) = \widehat{p}(G)$ を満たし、いつ異なるのか？
• RQ4 $n$ が2のべきのとき、$K_n$ の最適な強パリティ辺彩色は一意に特徴づけられるか？
• RQ5 パリティ辺彩色とグラフのハイパーキューブへの埋め込みとの関係は何か？

主な発見

• 完全グラフ $K_n$ の強パリティ辺彩色数は、すべての $n$ に対して $\widehat{p}(K_n) = 2^{\lceil \lg n \rceil} - 1$ である。
• $n = 2^k$ のとき、$K_n$ の最適な強パリティ辺彩色は一意であり、頂点に異なる $k$ ビット2進文字列をラベル付けし、辺をその対称差で彩色することに対応する。
• $n \leq 16$ のとき、$p(K_n) = \widehat{p}(K_n)$ であり、パリティ彩色と強パリティ彩色の辺彩色数が一致する。
• この結果は、DaykinとLovászの極値集合論の結果の特殊ケースを強化し、$n$ 個の集合が少なくとも $2^{\lceil \lg n \rceil}$ 個の非空の異なる対称差を生成することを証明する。
• 奇数長のサイクル $C_n$ に対しては、$p(C_n) = \widehat{p}(C_n) = 1 + \lceil \lg n \rceil$ であり、$K_{2,n}$ に対しては、$n$ が偶数のとき $p(K_{2,n}) = \widehat{p}(K_{2,n}) = n$、$n$ が奇数のとき $n+1$ である。
• 本稿は、連結グラフに対して $p(G) \geq \lceil \lg n(G) \rceil$ が成り立つことを証明し、パスや偶数長のサイクルでは等号が成立することを示し、またハイパーキューブの部分グラフに対しては $p(G) = \lceil \lg n(G) \rceil$ がすべて成立することを示している。