[論文レビュー] Intersection Graphs: An Introduction

Madhumangal Pal|arXiv (Cornell University)|Apr 22, 2014

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

ひとこと要約

本稿は、区間グラフ、円弧グラフ、順列グラフ、台形グラフ、弦グラフ、円グラフ、および円グラフを含む、交差グラフの包括的な紹介を提供する。幾何的表現、基本的性質、および主要な問題のアルゴリズム的複雑性を概説し、グラフ理論および離散数学分野の研究者や初心者にとって基盤的リソースとなる。

ABSTRACT

Intersection graphs are very important in both theoretical as well as application point of view. Depending on the geometrical representation, different type of intersection graphs are defined. Among them interval, circular-arc, permutation, trapezoid, chordal, disk, circle graphs are more important. In this article, a brief introduction of each of these intersection graphs is given. Some basic properties and algorithmic status of few problems on these graphs are cited. This article will help to the beginners to start work in this direction. Since the article contains a lot of information in a compact form it is also useful for the expert researchers too.

研究の動機と目的

• 離散数学および理論計算機科学の研究者および初心者を対象に、交差グラフの構造的概要を提供すること。
• その幾何的表現に基づいて、主な種類の交差グラフを分類し記述すること。
• これらのグラフクラスにおける基本的問題の性質およびアルゴリズム的状態を要約すること。
• 初心者研究者および専門家が統合的な調査を求める際の参考資料として機能すること。

提案手法

• 区間、弧、直線、円盤などの基本的な幾何的対象に基づいて、交差グラフを体系的に分類すること。
• 各グラフタイプについて、視覚的な幾何的構成と形式的定義を提示すること。
• 各クラスについて、弦的性質、比較可能性、表現可能性などの構造的性質を議論すること。
• 多項式時間で解ける問題やNP困難性に関するアルゴリズム的結果のサーベイを実施すること。
• 明確さと一貫性を確保するため、標準的なグラフ理論用語および形式的表記を用いること。
• 分野の基礎的文献および最近の進展への引用と参考文献を統合すること。

実験結果

リサーチクエスチョン

• RQ1 主な交差グラフクラスの定義的幾何的・構造的特徴は何か？
• RQ2 さまざまな種類の交差グラフにおいて、古典的グラフ問題のアルゴリズム的複雑性はどのように変化するか？
• RQ3 頂点彩色、クリーク検出、支配集合などの問題について、どの交差グラフクラスが効率的なアルゴリズムを有するか？
• RQ4 区間グラフ、順列グラフ、円グラフの間で、表現可能性および認識の複雑性にどのような主要な差異があるか？
• RQ5 弦的性質や比較可能性といった性質は、交差グラフの幾何的実現とどのように関連するか？

主な発見

• 区間グラフは直線上の区間によって特徴づけられ、線形時間で認識可能かつ最適化アルゴリズムを有する。
• 円弧グラフは区間グラフを一般化したものであり、一部の問題に対して多項式時間解法を有するが、認識はより複雑である。
• 順列グラフは二本の平行線に端点を持つ線分の交差グラフであり、円グラフおよび比較可能グラフの部分クラスである。
• 台形グラフは二本の平行線の間の台形によって定義され、最大独立集合およびクリーク問題に対して効率的なアルゴリズムを有する。
• 弦グラフは厳密には同じ意味で交差グラフとは言えないが、密接に関連しており、線形時間での認識および最適化が可能である。
• 円盤グラフおよび円グラフはより複雑であり、円グラフの認識はNP困難であり、クリーク問題や彩色問題も計算的に困難である。