[論文レビュー] Exact distance graphs of product graphs

Bre\v{s}ar, Bo\v{s}tjan, Nicolas Gastineau+2 more|arXiv (Cornell University)|Oct 24, 2018

Advanced Graph Theory Research参考文献 22被引用数 8

ひとこと要約

本稿は、4つの標準的グラフ積—カルテシアン積、ストロング積、辞書的積、および直接積—の正確な距離-pグラフの構造を正確に特定する公式を確立し、それらの連結性および彩色性を分析するための体系的枠組みを提供する。ハイパーキューブ Qₙ の正確な距離-pグラフの彩色数に対してタイトな上界を導出し、p = n−2, n−3, n−4 の場合に、χ(Q[♮n−2]ₙ) ≤ 8、χ(Q[♮n−3]ₙ) ≤ 15、χ(Q[♮n−4]ₙ) ≤ 26 が成り立つことを示している。

ABSTRACT

Given a graph $G$, the exact distance-$p$ graph $G^{[ atural p]}$ has $V(G)$ as its vertex set, and two vertices are adjacent whenever the distance between them in $G$ equals $p$. We present formulas describing the structure of exact distance-$p$ graphs of the Cartesian, the strong, and the lexicographic product. We prove such formulas for the exact distance-$2$ graphs of direct products of graphs. We also consider infinite grids and some other product structures. We characterize the products of graphs of which exact distance graphs are connected. The exact distance-$p$ graphs of hypercubes $Q_n$ are also studied. As these graphs contain generalized Johnson graphs as induced subgraphs, we use some known and find some new constructions of their colorings. These constructions are applied for colorings of the exact distance-$p$ graphs of hypercubes with the focus on the chromatic number of $Q_{n}^{[ atural p]}$ for $p\in \{n-2,n-3,n-4\}$.

研究の動機と目的

• 4つの標準的グラフ積（カルテシアン積、ストロング積、辞書的積、および直接積）の正確な距離-pグラフの正確な構造的公式を導出すること。
• これらの積の正確な距離-pグラフが連結である条件を同定すること。
• 特に p = n−2, n−3, n−4 の場合に、ハイパーキューブ Qₙ の正確な距離-pグラフの彩色数を分析すること。
• 一般化されたジョンソングラフおよびクネーザー・グラフを誘導部分グラフとして用いることで、Q[♮p]ₙ の彩色数に対するタイトな上界を確立すること。
• 積グラフ理論を用いて、立方体に類似したグラフおよび正確な距離グラフに関する既知の結果を統合・拡張すること。

提案手法

• 元のグラフ内の距離に基づく隣接ルールを用いて、頂点集合 V(G) × V(H) を用いたグラフ積の正確な距離-pグラフの明示的構造公式を導出する。
• ハイパーキューブの正確な距離-pグラフにおいて、一般化されたジョンソングラフ J(n,k,t) を誘導部分グラフとして適用する。
• 一般化されたジョンソンおよびクネーザー・グラフの既存および新規の彩色構成を用いて、彩色数の上限を導出する。
• ハイパーキューブにおける対称性と距離分割（ハミング重みによる分割）を用い、頂点を層 L_i にグループ化し、層間の隣接関係を分析する。
• 対称的な層（例：L_i と L_{n−i}）において色を再利用することで、総彩色数を最小化する。
• グラフ積理論の結果とスぺクトル的および組合せ的技法を統合し、χ(Q[♮p]ₙ) の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 2つのグラフのカルテシアン積、ストロング積、辞書的積、および直接積の正確な距離-pグラフの正確な構造は何か？
• RQ2 どのグラフ積およびどの p の値に対して、正確な距離-pグラフが連結となるか？
• RQ3 p が n に近い場合、ハイパーキューブ Qₙ の正確な距離-pグラフの彩色数をどのように上限づけられるか？
• RQ4 一般化されたジョンソングラフは、ハイパーキューブの正確な距離-pグラフにおいて誘導部分グラフとして果たす役割は何か？
• RQ5 一般化されたジョンソングラフの彩色は、ハイパーキューブの正確な距離グラフの彩色数を上限づけるために拡張または適応可能か？

主な発見

• 2つの三角形を含まないグラフの直接積の正確な距離-2グラフは、(G × H)[♮2] = G[♮2] ⊠ H[♮2] を満たす。
• n が 4 以上の偶数の場合、Q[♮n−2]ₙ の彩色数は 8 以下であり、特に χ(Q[♮6]₈) ≤ 7 が成り立つ。
• n が 5 以上の奇数の場合、Q[♮n−3]ₙ の彩色数は 15 以下である。
• n が 6 以上の偶数の場合、Q[♮n−4]ₙ の彩色数は 26 以下であり、これは 2χ(J(n,(n−4)/2,0)) + χ(J(n,n/2,2)) および 2χ(J(n,(n−2)/2,1)) + 2 から導出される。
• ハイパーキューブの正確な距離-(n−1)グラフは Q[♮n−1]ₙ ≅ Qₙ を満たし、構造的対称性を確認する。
• 一般化されたジョンソングラフ J(n,k,t) の彩色数は、Q[♮p]ₙ の彩色数を上限づけるための主要な構成要素として用いられる。