[论文解读] L-Graphs and Monotone L-Graphs

Reyan Ahmed, Felice De Luca+7 more|arXiv (Cornell University)|Mar 5, 2017

graph theory and CDMA systems参考文献 23被引用 4

一句话总结

本文引入了非跳跃图类，并证明：当且仅当图是非跳跃图时，其可 admits 单调 L-嵌入（即 L-线段的拐角位于一条直线上）。该工作全面刻画了单调 L-图，并表明外平面图、凸二分图、区间图、3-叶权图和完全图均为非跳跃图的子类，而距离遗传图与 k-叶权图（k ≤ 4）则 admits 一般 L-嵌入。

ABSTRACT

In an $\mathsf{L}$-embedding of a graph, each vertex is represented by an $\mathsf{L}$-segment, and two segments intersect each other if and only if the corresponding vertices are adjacent in the graph. If the corner of each $\mathsf{L}$-segment in an $\mathsf{L}$-embedding lies on a straight line, we call it a monotone $\mathsf{L}$-embedding. In this paper we give a full characterization of monotone $\mathsf{L}$-embeddings by introducing a new class of graphs which we call "non-jumping" graphs. We show that a graph admits a monotone $\mathsf{L}$-embedding if and only if the graph is a non-jumping graph. Further, we show that outerplanar graphs, convex bipartite graphs, interval graphs, 3-leaf power graphs, and complete graphs are subclasses of non-jumping graphs. Finally, we show that distance-hereditary graphs and $k$-leaf power graphs ($k\le 4$) admit $\mathsf{L}$-embeddings.

研究动机与目标

• 刻画可 admits 单调 L-嵌入的图类，其中 L-线段的拐角位于同一直线上。
• 定义并分析一种新图类——非跳跃图，以捕捉单调 L-嵌入的结构约束。
• 确立若干重要图族（包括外平面图与区间图）为非跳跃图的子类。
• 研究距离遗传图与 k-叶权图（k ≤ 4）是否存在 L-嵌入。

提出的方法

• 引入 L-线段的概念：由一条水平线段与一条竖直线段构成 L 形，并定义 L-嵌入为：顶点邻接关系对应于线段相交的表示。
• 将单调 L-嵌入定义为所有 L-线段拐角位于同一直线上的嵌入，并通过线性顶点排序条件引入非跳跃图的概念。
• 使用几何扩展操作（向右、向上、向下、向左）以保持相交关系，并在添加顶点时构造有效的 L-嵌入。
• 应用添加悬挂顶点、真孪点与伪孪点等操作，逐步构建 L-嵌入，并证明这些操作在 L-可嵌入性下是封闭的。
• 利用已知的图构造序列（如距离遗传图）通过归纳构造证明 L-嵌入的存在性。
• 结合结构图论与几何约束，通过案例分析与嵌入构造，证明 k-叶权图（k ≤ 4）可 admits L-嵌入。

实验结果

研究问题

• RQ1 哪些图可 admits 单调 L-嵌入，即所有 L-线段拐角位于同一直线上？
• RQ2 允许此类单调 L-嵌入的图的组合特征是什么？
• RQ3 距离遗传图与 k-叶权图（k ≤ 4）是否为 L-图？
• RQ4 非跳跃图类是否为单调 L-图的完整刻画？
• RQ5 识别非跳跃图的计算复杂度是多少？

主要发现

• 当且仅当图是非跳跃图时，其可 admits 单调 L-嵌入，从而提供了完整的组合特征刻画。
• 外平面图、凸二分图、区间图、3-叶权图与完全图均为非跳跃图的子类。
• 距离遗传图可 admits L-嵌入，因为其可通过悬挂顶点添加与孪点操作序列构造，且这些操作保持 L-可嵌入性。
• 所有 4-叶权图均可 admits L-嵌入，该结论通过附录中的案例分析与嵌入构造得以证明。
• 非跳跃图类在添加悬挂顶点、真孪点与伪孪点操作下是封闭的，从而支持单调 L-嵌入的归纳构造。
• 结果表明，非跳跃图的识别可能为 NP-难，尽管此问题仍为开放问题。