[论文解读] Edge-intersection graphs of grid paths: the bend-number

Daniel Heldt, Kolja Knauer+1 more|arXiv (Cornell University)|Sep 15, 2010

Advanced Graph Theory Research参考文献 17被引用 4

一句话总结

本文研究了网格路径边交集图（EPG图）的弯折数（bend-number），将其引入为衡量表示图所需每条路径弯折次数的指标。研究证明弯折数可任意大，基于退化度、树宽和最大度建立了紧致界，精确确定了部分情形下完全二部图 $K_{m,n}$ 的弯折数，并证明了单弯折图识别问题是 NP-完全的——解决了该领域的一个关键开放问题。

ABSTRACT

We investigate edge-intersection graphs of paths in the plane grid, regarding a parameter called the bend-number. I.e., every vertex is represented by a grid path and two vertices are adjacent if and only if the two grid paths share at least one grid-edge. The bend-number is the minimum $k$ such that grid-paths with at most $k$ bends each suffice to represent a given graph. This parameter is related to the interval-number and the track-number of a graph. We show that for every $k$ there is a graph with bend-number $k$. Moreover we provide new upper and lower bounds of the bend-number of graphs in terms of degeneracy, treewidth, edge clique covers and the maximum degree. Furthermore we give bounds on the bend-number of $K_{m,n}$ and determine it exactly for some pairs of $m$ and $n$. Finally, we prove that recognizing single-bend graphs is NP-complete, providing the first such result in this field.

研究动机与目标

• 研究边交集网格路径图（EPG图）的弯折数，该参数衡量表示图所需的每条路径最小弯折次数。
• 确定特定图类（尤其是完全二部图 $K_{m,n}$）的精确弯折数，并推导出紧致的上下界。
• 探索弯折数与退化度、树宽和最大度等经典图参数之间的结构关系。
• 解决 $k$-弯折图识别问题的复杂性，证明单弯折情形为 NP-完全。

提出的方法

• 作者将弯折数 $b(G)$ 定义为最小的 $k$，使得图 $G$ 存在一个 EPG 表示，其中每条路径的弯折数不超过 $k$。
• 他们利用组合构造和几何论证，基于退化度、树宽和最大度等图参数，推导出弯折数的上下界。
• 对于完全二部图 $K_{m,n}$，他们在特定情形下给出了 $b(K_{m,n})$ 的精确值，并通过路径交集模式推导出一般性界。
• 他们构造了从 3-SAT 到 SINGLE-BEND-RECOGNITION 问题的归约，使用子句部件和真值路径在网格上的表示。
• 他们采用中心射线和虚假扇形论证，确保子句部件中正确的边交集模式，从而保证每个子句中恰好一个变量为真。
• 他们通过网格线对齐和线段包含关系分析路径交集，以控制弯折位置和交集类型（水平与垂直）。

实验结果

研究问题

• RQ1 对于固定的 $m$ 和变化的 $n$，$K_{m,n}$ 的精确弯折数是多少？
• RQ2 图的弯折数是否可以任意大？如果是，何种结构特性允许这种情况发生？
• RQ3 对于 $k \geq 3$，识别 $k$-弯折图的计算复杂性如何，特别是 $k=1$ 的情形？
• RQ4 弯折数与退化度、树宽和最大度等经典图参数之间有何关系？
• RQ5 是否存在一个函数将弯折数与轨迹数关联起来？若不存在，是否意味着即使弯折数有界，轨迹数也可能无界？

主要发现

• 弯折数 $b(G)$ 可以任意大，通过构造对每个 $k \geq 1$ 都具有弯折数 $k$ 的图得以证明。
• 对于完全二部图，$b(K_{m,n})$ 在多个 $(m,n)$ 对上被精确确定，一般情形下也推导出了界。
• 在退化度 $\text{deg}(G)$ 下，弯折数的上界为 $2\cdot\text{deg}(G) - 1$；在树宽 $\text{tw}(G)$ 下，上界为 $2\cdot\text{tw}(G) - 2$。
• 平面图的弯折数至多为 4，而树宽至多为 3 的图的弯折数至多为 3，这两个界都是紧致的。
• 识别单弯折图（即满足 $b(G) \leq 1$ 的图）是 NP-完全的，解决了 EPG 图理论中长期存在的一个开放问题。
• 作者提供了证据表明，不存在函数 $f$ 使得 $t(G) \leq f(b(G))$，暗示轨迹数与弯折数之间不存在函数关系。