[論文レビュー] Interval colorings of complete balanced multipartite graphs

Petros A. Petrosyan|arXiv (Cornell University)|Nov 22, 2012

Advanced Graph Theory Research参考文献 12被引用数 5

ひとこと要約

この論文は、各部に $ n $ 頂点を持つ完全バランス型 $ k $-部グラフが区間彩色可能であるための必要十分条件が $ nk $ が偶数であることであることを確立している。また、$ (k-1)n \leq t \leq \left(\frac{3}{2}k - 1\right)n - 1 $ の範囲で、このようなグラフがすべての $ t $ に対して区間 $ t $-彩色を許容することを示している。さらに $ k = p2^q $ で $ p $ が奇数の場合、上界は $ (2k - p - q)n - 1 $ にまで拡張され、区間彩色スペクトルのタイトな境界が得られる。

ABSTRACT

A graph $G$ is called a complete $k$-partite ($k\geq 2$) graph if its vertices can be partitioned into $k$ independent sets $V_{1},...,V_{k}$ such that each vertex in $V_{i}$ is adjacent to all the other vertices in $V_{j}$ for $1\leq i

研究の動機と目的

• 完全バランス型 $ k $-部グラフの区間彩色可能性の必要十分条件を特定すること。
• 区間彩色可能性が成り立つ場合に、そのようなグラフが許容する区間彩色の全範囲を特定すること。
• 特にバランス型の場合について、完全多部グラフにおける区間彩色の最大色数 $ W(G) $ に対する既知の境界を拡張すること。
• 特に $ k = p2^q $ の形を持つ場合に、完全バランス型 $ k $-部グラフの $ W(G) $ に対する正確な境界を提供すること。

提案手法

• 完全バランス型 $ k $-部グラフ $ G $ に対して、完全グラフ $ K_k $ の区間彩色から導かれる基本彩色 $ \beta $ を用いて明示的な辺彩色 $ \beta $ を構築する。
• 区間彩色の構造（特に $ k = p2^q $ の場合）を活用し、モジュロ算術を用いた構成法により彩色を $ G $ に持ち上げる：$ \beta(v_i^r v_j^s) = (\alpha(u_i u_j) - 1)n + r + s - 1 $。
• 補題 7 を適用して、各頂点 $ v_j^{(i)} $ に接続する色の集合が連続する区間を形成することを分析する。
• 各頂点における色集合が連続する整数の区間を形成することを検証することで、得られた彩色 $ \beta $ が区間彩色であることを証明する。
• 完全グラフ $ K_{2n} $ における既知の区間彩色結果を応用して、バランス型の場合の $ W(G) $ の境界を導出する。
• すべての頂点における最大色を分析し、$ k = p2^q $ の条件下で上界 $ W(G) \geq (2k - p - q)n - 1 $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの $ k $ と $ n $ の値に対して、各部に $ n $ 頂点を持つ完全バランス型 $ k $-部グラフが区間彩色可能となるか？
• RQ2 $ nk $ が偶数である場合に、完全バランス型 $ k $-部グラフが区間 $ t $-彩色を許容する $ t $ の全範囲は何か？
• RQ3 $ k $ が $ p2^q $ の形（$ p $ が奇数）である場合に、完全バランス型 $ k $-部グラフの $ W(G) $ に対するよりタイトな上界を確立できるか？
• RQ4 特に $ K_{2n} $ の場合に、完全バランス型 $ k $-部グラフ $ K_{n,\text{...},n} $ の正確な $ W(K_{n,\text{...},n}) $ の値は何か？

主な発見

• 各部に $ n $ 頂点を持つ完全バランス型 $ k $-部グラフは、$ nk $ が偶数であることと、かつそのときに限り区間彩色可能である。
• $ nk $ が偶数であり、かつ $ (k-1)n \leq t \leq \left(\frac{3}{2}k - 1\right)n - 1 $ の範囲にあるすべての $ t $ に対して、グラフは区間 $ t $-彩色を許容する。
• $ k = p2^q $（$ p $ が奇数、$ q \in \mathbb{N} $）である場合、すべての $ t $ に対して $ (k-1)n \leq t \leq (2k - p - q)n - 1 $ の範囲で区間 $ t $-彩色が許容される。
• 構成的彩色法を用いて、$ n \geq 2 $ が偶数の場合に上界 $ W(G) \geq \left(\frac{3}{2}k - 1\right)n - 1 $ が確立される。
• $ k = p2^q $ の場合に、$ W(G) \geq (2k - p - q)n - 1 $ が証明され、このようなグラフの区間彩色の範囲が向上する。
• 本研究の結果は、既知の完全グラフおよび完全二部グラフにおける区間彩色に関する結果を一般化し、バランス型多部グラフの文脈にまで拡張している。