[论文解读] Matching in Gabriel Graphs

Ahmad Biniaz, Anil Maheshwari+1 more|arXiv (Cornell University)|Oct 2, 2014

Computational Geometry and Mesh Generation参考文献 13被引用 4

一句话总结

本文研究高阶Gabriel图中的匹配与阻塞性质，证明在10-GG中必然存在欧几里得瓶颈完美匹配，但在8-GG中并非如此。本文建立了最大匹配大小的紧下界：0-GG为(n−1)/4，1-GG为2(n−1)/5，2-GG为完美匹配；同时通过几何与图论论证，确定了k-GG图中阻塞集的紧界。

ABSTRACT

Given a set $P$ of $n$ points in the plane, the order-$k$ Gabriel graph on $P$, denoted by $k$-$GG$, has an edge between two points $p$ and $q$ if and only if the closed disk with diameter $pq$ contains at most $k$ points of $P$, excluding $p$ and $q$. We study matching problems in $k$-$GG$ graphs. We show that a Euclidean bottleneck perfect matching of $P$ is contained in $10$-$GG$, but $8$-$GG$ may not have any Euclidean bottleneck perfect matching. In addition we show that $0$-$GG$ has a matching of size at least $\frac{n-1}{4}$ and this bound is tight. We also prove that $1$-$GG$ has a matching of size at least $\frac{2(n-1)}{5}$ and $2$-$GG$ has a perfect matching. Finally we consider the problem of blocking the edges of $k$-$GG$.

研究动机与目标

• 确定k-Gabriel图（k-GG）在哪些k值下包含欧几里得瓶颈完美匹配。
• 为小k值的k-GG图中最大匹配大小建立紧下界。
• 确定为阻塞k-GG图的所有边（使P成为独立集）所需的最少点数。

提出的方法

• 在点集P上构造最小生成树（MST），并分析其边对应的圆盘。
• 利用几何论证表明每个阻塞点最多位于三个此类圆盘内，从而推导出阻塞集大小的下界。
• 通过分析圆盘包含关系与边选择准则，证明欧几里得瓶颈匹配存在于10-GG中。
• 通过显式构造（如独立集大小为(3n+1)/4的0-GG）证明边界的紧性。
• 应用图论对偶性：αk(P) ≤ n − νk(P)，其中αk与νk分别表示最大独立集与匹配大小。
• 通过要求每条MST边对应k+1个阻塞点，并利用圆盘交集性质，将0-GG的结果推广至k-GG。

实验结果

研究问题

• RQ1 对任意点集P，9-GG是否包含欧几里得瓶颈完美匹配？
• RQ2 1-GG中最大匹配大小的下界2(n−1)/5是否紧？
• RQ3 对一般k值，阻塞k-GG所需的最少点数是多少？
• RQ4 能否改进阻塞k-GG的(n−1)(k+1)上界？
• RQ5 是否存在k < 10使得k-GG始终包含欧几里得瓶颈完美匹配？

主要发现

• 通过反例证明，欧几里得瓶颈完美匹配在10-GG中必然存在，但在8-GG中并非如此。
• 0-GG中的最大匹配大小至少为(n−1)/4，且该界是紧的，由独立集大小为(3n+1)/4的构造证明。
• 对于1-GG，最大匹配大小至少为2(n−1)/5，且该界是紧的。
• 在2-GG中，完美匹配始终存在，意味着当n为偶数时ν2(P) = n/2。
• 阻塞0-GG所需的最少点数为⌈(n−1)/3⌉，且该界是紧的。
• 对于k-GG，阻塞所有边至少需要⌈(k+1)(n−1)/3⌉个点，且(k+1)(n−1)个点足以实现阻塞。