[論文レビュー] On Chromatic Core Subgraph of Simple Graphs

Johan Kok, Sudev Naduvath+2 more|arXiv (Cornell University)|Mar 5, 2018

Optimization and Packing Problems参考文献 4被引用数 3

ひとこと要約

本稿では、単純グラフの彩色数を保つ最小の誘導部分グラフである「彩色コア部分グラフ」を、構造的インデックス（ν + ε）を最小化することで導入する。存在条件を確立し、サイクル、ホイール、木などの古典的グラフの彩色コアを特徴づけ、木の線グラフが最大クリークを彩色コアとして持つことを証明する。破壊に耐えるネットワーク設計における技術的多様性の維持を支援する枠組みを提供する。

ABSTRACT

If distinct colours represent distinct technology types that are placed at the vertices of a simple graph in accordance to a minimum proper colouring, a disaster recovery strategy could rely on an answer to the question: "What is the maximum destruction, if any, the graph (a network) can undergo while ensuring that at least one of each technology type remain, in accordance to a minimum proper colouring of the remaining induced subgraph." In this paper, we introduce the notion of a chromatic core subgraph $H$ of a given simple graph $G$ in answer to the stated problem. Since for any subgraph $H$ of $G$ it holds that $χ(H) \leq χ(G)$, the problem is well defined.

研究の動機と目的

• グラフの彩色数を保つ最小の誘導部分グラフとして、彩色コア部分グラフを定義・形式化すること。
• 部分的破壊の後でも各色クラスに少なくとも1つの頂点が残るように、ネットワーク設計における災害回復を扱うこと。
• パス、サイクル、ホイール、木などの古典的グラフ族における彩色コア部分グラフを特徴づけること。
• 構造的インデックス（ν + ε）を用いた構造的性質の分析を通じて、木の線グラフへの概念の拡張を試みること。
• 彩色コア部分グラフの概念を辺彩色やその他の導出彩色スキームに一般化する基盤を築くこと。

提案手法

• グラフ G の彩色コア部分グラフ H を、χ(H) = χ(G) を満たす中で構造的インデックス（ν(H) + ε(H)）が最小となる誘導部分グラフとして定義する。
• ブルークの定理を用いて、彩色数が同じである正しくない部分グラフを持たないのは、完全グラフと奇サイクルに限ることを確立する。
• 成分ごとの解析を適用：複数の成分を含むグラフでは、彩色コアは彩色数が最大の成分の彩色コアから構成される。
• 構造的解析と次数列の性質を用いて、特定のグラフ族における彩色コアを特徴づける。
• 木 T に対して、その線グラフ L(T) は最大クリークを彩色コアとして持つことを証明し、そのクリークサイズは T の最大次数に等しい。
• レインボーネighborhoodの慣習と弱完璧性を用いて、彩色コアの文脈における独立集合およびその補集合に関する結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられたグラフ G のどの誘導部分グラフ H が、ν(H) + ε(H) を最小化しながら χ(G) を保つのか？
• RQ2 グラフ G が χ(H) = χ(G) を満たす真部分グラフ H をもつのはどのような条件下か？
• RQ3 木 T の線グラフの彩色コア部分グラフは何か？また、元の木の最大次数とはどのように関係するか？
• RQ4 特に彩色数が異なる成分を含む非連結グラフにおいて、彩色コア部分グラフはどのように振る舞うか？
• RQ5 彩色コア部分グラフの概念は、単純でないグラフや強積や辞書的積などの積グラフへ一般化可能か？

主な発見

• 任意の有限、無向、連結な単純グラフに対して、彩色コア部分グラフは存在する。同型を除いて一意であるのは特定の条件下でのみである。
• χ(G) = 1 である任意のグラフ G に対して、彩色コアは単一頂点グラフ K₁ である。
• 二部グラフ（χ(G) = 2）の場合、任意の辺 uv が彩色コア部分グラフであるため、彩色コアの ν = 2 かつ ε = 1 である。
• 奇サイクル Cₙ（n ≥ 3）および完全グラフ Kₙ は、それぞれ自身を唯一の彩色コア部分グラフとして持つ。
• 偶数ホイール Wₙ（n ≥ 4）では、彩色コアは C₃ である。奇数ホイール（n ≥ 3）では、彩色コアは Wₙ 自身である。
• 木 T の線グラフは、最大クリークをその彩色コアとして持つ。そのクリークサイズは T の最大次数に等しい。