[论文解读] A Tur'an-type problem for circular arc graphs

Rosalie Carlson, Stephen Flood+2 more|arXiv (Cornell University)|Oct 19, 2011

Advanced Graph Theory Research被引用 3

一句话总结

本文通过确定在任意点覆盖的弧数的最小值和最大值约束下，圆形弧图可能拥有的最大边数，解决了圆形弧图的一个图论型极值问题。该研究建立了保证存在至少被 M 条弧覆盖的点的边数的严格界限，推广了区间图的相关结果，并在具有圆形政治谱系的投票理论中具有应用价值。

ABSTRACT

A circular arc graph is the intersection graph of a collection of connected arcs on the circle. We solve a Tur'an-type problem for circular arc graphs: for n arcs, if m and M are the minimum and maximum number of arcs that contain a common point, what is the maximum number of edges the circular arc graph can contain? We establish a sharp bound and produce a maximal construction. For a fixed m, this can be used to show that if the circular arc graph has enough edges, there must be a point that is covered by at least M arcs. In the case m=0, we recover results for interval graphs established by Abbott and Katchalski (1979). We suggest applications to voting situations with interval or circular political spectra.

研究动机与目标

• 在任意点被覆盖的弧数最小为 m、最大为 M 的约束下，确定圆形弧图的最大边数。
• 建立一个严格的边数阈值，以保证存在至少被 M 条弧覆盖的点。
• 将 Abbott 和 Katchalski（1979）针对区间图的结果推广至圆形弧图，其中 Helly 性质不一定成立。
• 在给定最小覆盖度 γ 的前提下，建立边比例 α 与一致比例 β 之间的连续渐近关系。
• 将结果应用于现实场景，如在圆形政治谱系上的批准投票。

提出的方法

• 推导出一个公式（定理 7），将交集图中的边数与双重交集数，与弧端点的运行和联系起来。
• 通过组合优化方法，在固定 m 和 M 的条件下最大化边数，构造出弧的最大配置。
• 应用抽屉原理，证明若超过推导出的双重交集界限，则必存在某点被至少 M+1 条弧覆盖。
• 通过将所需边比例 α 表示为 β（一致比例）和 γ（最小覆盖比例）的函数，建立连续渐近界限（定理 18）。
• 推导出有限 n 的离散界限（定理 17），表明若边数超过 e_min，则必存在被至少 M 条弧覆盖的点。
• 考虑一种特殊情况：批准集被限制在圆周上的 N 个候选人，此时边数的界限中引入 N，得到更紧的界限（命题 22）。

实验结果

研究问题

• RQ1 若圆周上每一点均被至少 m 条且至多 M 条弧覆盖，则圆形弧图的最大边数是多少？
• RQ2 在最小覆盖度为 m 的前提下，需要多少条边才能保证圆周上某点被至少 M 条弧覆盖？
• RQ3 区间图的结果能否推广至圆形弧图？若能，界限有何不同？
• RQ4 在大型圆形弧系统中，边比例与共同覆盖某一点的弧比例之间的渐近关系是什么？
• RQ5 在何种条件下，给定的边比例 p、一致比例 β 和最小覆盖度 γ 可以在圆形弧系统中同时实现？

主要发现

• 在最小覆盖度为 m、最大覆盖度为 M 的圆形弧系统中，最大双重交集数为 d_max = m(2M - m - 1)/2。
• 最大边数 e_min 满足：若超过该值，则必存在某点被至少 M+1 条弧覆盖。
• 当 n 较大时，最大双重交集比例为 p_max(β, γ) = β²γ(2 - γ)，在有效 β 值范围内严格递增。
• 保证一致比例 β 的边比例 α 的渐近界限由分段函数给出：当 β ≤ 1/2 时，α = β(2 - (1 - γ)²β)；当 β > 1/2 时，α = β(γ + 1)(2 - β(γ + 1))。
• 当 γ = 1（即每一点至少被 n - 1 条弧覆盖）时，界限简化为 α = 2β，意味着边数的一半可保证 1/4 的一致比例。
• 在 N 个候选人位于圆周上的情况下，最大边数满足 e_max ≤ (2nM - n²/N - n)/2，渐近形式为 α = 2β - 1/N。