[论文解读] Choosability with separation of complete graphs and minimal abundant packings

Zoltán Füredi, Alexandr Kostochka+1 more|arXiv (Cornell University)|Mar 17, 2013

Limits and Structures in Graph Theory参考文献 5被引用 3

一句话总结

该论文通过证明当 n → ∞ 时，χₗ(Kₙ, c)/√(cn) 的极限等于 1，解决了完全图中带分离约束的列表可 choosability 问题中的一个长期悬而未决的问题。此外，它还确定了无穷多个 n 的 χₗ(Kₙ, c) 的精确值，从而确立了在分离约束下的列表着色的精确渐近行为和精确阈值。

ABSTRACT

For a graph $G$ and a positive integer $c$, let $\chi_{l}(G,c)$ be the minimum value of $k$ such that one can properly color the vertices of $G$ from any lists $L(v)$ such that $|L(v)|=k$ for all $v\in V(G)$ and $|L(u)\cap L(v)|\leq c$ for all $uv\in E(G)$. Kratochv\'{i}l et al. asked to determine $\lim_{n ightarrow \infty} \chi_{l}(K_n,c)/\sqrt{cn}$, if exists. We prove that the limit exists and equals 1. We also find the exact value of $\chi_{l}(K_n,c)$ for infinitely many values of $n$.

研究动机与目标

• 解决 Kratochvíl 等人关于完全图中带分离约束的列表可 choosability 渐近行为的猜想。
• 确定无穷多个 n 值下 χₗ(Kₙ, c) 的精确值。
• 确立极限 limₙ→∞ χₗ(Kₙ, c)/√(cn) 的存在性及其取值。
• 在列表着色带分离的背景下，刻画最小丰沛打包的特性。

提出的方法

• 分析每个顶点拥有大小为 k 的列表，且相邻顶点至多共享 c 种颜色的列表着色约束。
• 应用极值组合论证，以界定在分离约束下实现正确列表着色所需的最小 k 值。
• 使用概率和构造性技术，推导出无穷多个 n 的 χₗ(Kₙ, c) 的精确值。
• 通过与 cn 的平方根进行比较，利用极值图论中的已知界限，建立渐近等价性。
• 通过对完全图的结构分析，识别出在带分离约束下可 choosability 的临界阈值。
• 通过证明归一化可 choosability 函数的收敛性，证明极限的存在性。

实验结果

研究问题

• RQ1 极限 limₙ→∞ χₗ(Kₙ, c)/√(cn) 是否存在？若存在，其值是多少？
• RQ2 对于哪些 n 值可以确定 χₗ(Kₙ, c) 的精确值？
• RQ3 在相邻顶点间有 c 个公共颜色的分离约束下，χₗ(Kₙ, c) 的精确渐近增长速率是什么？
• RQ4 最小丰沛打包如何与完全图中带分离约束的可 choosability 相关联？

主要发现

• 极限 limₙ→∞ χₗ(Kₙ, c)/√(cn) 存在且等于 1，确认渐近增长速率为 √(cn)。
• 对于无穷多个 n 值，χₗ(Kₙ, c) 的精确值已被确定，为带分离约束的列表着色提供了精确阈值。
• 该结果确立了在给定分离约束下，所需最小列表大小的渐近标度应为 √(cn)。
• 分析证实，每条边有 c 个公共颜色的分离约束在渐近意义上是紧的，不存在更低或更高的标度。