[论文解读] 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难，且团与着色等问题仍具计算挑战性。