[論文レビュー] Some Properties of Alphabet Overlap Graphs

Anant P. Godbole, Debra Knisley+1 more|ArXiv.org|Oct 5, 2005

graph theory and CDMA systems参考文献 10被引用数 6

ひとこと要約

本稿は、d文字のアルファベット上に存在するk文字の語を頂点とする、k−s文字の重なりが1つの語の末尾と別の語の先頭に共通する場合に辺で結ばれる、アルファベット重なりグラフG(k,d,s)を導入する。本稿では、非自明なパrameterに対してグラフがハミルトン的であることを証明し、s≥k/2の場合に正確な彩色数を特定し、s<k/2の場合には境界を提示する。これは、de Bruijnサイクルに関する既知の結果を拡張し、これらの組合せ的グラフの構造的洞察を提供する。

ABSTRACT

Consider a graph G = G(k,d,s) with vertex set the set of all k-letter words over an alphabet of size d. An edge e = vw is in E iff v is distinct from w and the last(first) k-s letters of v are identical to the first(last) k-s letters of w. In this paper we show that G is Hamiltonian for all non-trivial values of the parameters and obtain exact values for its chromatic number when s is greater than or equal to k/2. We also obtain bounds when the chromatic number is less than k/2.

研究の動機と目的

• 定義されたk文字の語をd文字のアルファベット上に持つ、k−s文字の重なりに基づいて辺が結ばれるアルファベット重なりグラフG(k,d,s)の構造的性質を調査すること。
• de Bruijnサイクルの既知の結果を拡張し、s=1のときの結果に類似する、すべての非自明なパrameter値に対してG(k,d,s)のハミルトニアン性を確立すること。
• s≥k/2のときのG(k,d,s)の正確な彩色数を計算し、s<k/2のときには境界を提示すること。
• G(k,d,s)と他の既知のグラフ（例：de Bruijnグラフやk次元グリッド）との関係を調査すること。
• 今後の研究のための未解決問題、特に接続性、サイクル構造、部分グラフの性質に関する問題を特定すること。

提案手法

• d文字のアルファベット上に存在するすべてのk文字の語からなる頂点集合を持つ、アルファベット重なりグラフG(k,d,s)を定義する。
• 辺のルールを確立する：2つの異なる語が、片方の語の最後のk−s文字と他方の語の最初のk−s文字が一致する、またはその逆の場合に隣接する。
• de Bruijnサイクルに関する既知の結果への還元を用いてハミルトニアン性を証明し、再帰的分解と語の連結を用いてサイクルを構成する。
• 構造的分解を用いてG(k,d,s)を縮小されたAO行列グラフと関連づける。特にk=2tかつs=tの場合を対象とする。
• 縮小されたAO行列グラフの列に彩色技術を適用し、列の彩色とG(t,d,k−t)の彩色との対応関係を確立することで、彩色数の境界を改善する。
• 部分グラフ同型とK3,3回避を用いて平面性を分析し、タグに基づく支配集合を用いて支配数を導出する。

実験結果

リサーチクエスチョン

• RQ1 非自明なk, d, sの値に対して、アルファベット重なりグラフG(k,d,s)はハミルトニアンか？
• RQ2 s≥k/2のとき、G(k,d,s)の正確な彩色数は何か？また、s<k/2のときにはどのような境界が得られるか？
• RQ3 G(k,d,s)の構造は、de Bruijnグラフやk次元グリッドとどのように関係しているか？
• RQ4 G(k,d,s)が平面的である条件は何か？また、s≤k/2のときの支配数は何か？
• RQ5 G(k,d,s)の接続性、サイクルスペクトル、クリーク構造は何か？また、パンサイクリック性やその他の特別な性質を示すか？

主な発見

• 非自明なk, d, sのすべての値に対して、アルファベット重なりグラフG(k,d,s)はハミルトニアンであり、s=1のときのde Bruijnサイクルの既知の存在を一般化する。
• s≥k/2のとき、彩色数χ(G(k,d,s))は正確にd^{2k−2s}+d^sである。これは構造的分解と縮小されたAO行列グラフの彩色に基づく。
• s<k/2のとき、本稿では彩色数の上界を提示し、列の彩色アルゴリズムを用いて、d^{2k−2s}+d^sから1+d^{2k−3t}+d^{2t−k}への境界の改善を達成する（t≤2k/3のとき）。
• s≤k/2のとき、G(k,d,s)の支配数はd^tである。ここでt=k−sであり、長さtの固定タグで始まるすべての語を選択することで達成される。
• 非自明な平面的アルファベット重なりグラフはd=2または3、t=1、k=2のときのみ存在する。G(2,2,1)は平面的であり、G(3,2,2)はK4,4部分グラフを含むため非平面的である。
• 縮小されたAO行列グラフの列に対する反復的彩色を用いることで、G(k,d,s)の彩色数をさらに精緻化できるが、非単色最小彩色のため、正確な値は未だ不明である。