[论文解读] Flexibility of planar graphs without 4-cycles

Masa\v{r}\'ik, Tom\'a\v{s}|arXiv (Cornell University)|Mar 4, 2019

Advanced Graph Theory Research被引用 3

一句话总结

本文通过放电法重新分配电荷，证明了不含4-圈的平面图在颜色列表大小至少为五时具有加权ε-灵活性，表明三角形面可获得足够电荷以满足着色请求。该结果推进了对平面图灵活性的理解，并填补了关于灵活性最优可选择性阈值猜想的空白。

ABSTRACT

Proper graph coloring assigns different colors to adjacent vertices of the graph. Usually, the number of colors is fixed or as small as possible. Consider applications (e.g. variants of scheduling) where colors represent limited resources and graph represents conflicts, i.e., two adjacent vertices cannot obtain the same resource. In such applications, it is common that some vertices have preferred resource(s). However, unfortunately, it is not usually possible to satisfy all such preferences. The notion called flexibility was recently defined in [Dvo\v{r}\'ak, Norin, Postle: List coloring with requests, Journal of Graph Theory 2019]. There instead of satisfying all the preferences the aim is to satisfy at least a constant fraction of the request. Recently, the structural properties of planar graphs in terms of flexibility were investigated. We continue this line of research. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is a planar graph without 4-cycles and all lists have size at least five, then there exists an L-coloring respecting at least a constant fraction of the preferences.

研究动机与目标

• 研究不含4-圈的平面图是否能在列表大小为五时实现ε-灵活性，解决图着色灵活性领域的一个关键开放问题。
• 将先前针对围长或不含三角形的平面图的灵活性结果，扩展至排除4-圈的图。
• 通过证明不含4-圈的5-可选择平面图具有加权ε-灵活性，弥合可选择性与灵活性之间的差距。
• 开发并应用一种改进的放电论证，以处理因缺少4-圈和三角形面而产生的结构约束。

提出的方法

• 基于顶点度数和面长度分配初始电荷：对于不在环C中的顶点，ch₀(v) = deg(v) − 4；对于面，ch₀(f) = |f| − 4。
• 应用放电规则：(R1) 长度≥5的面向相邻的三角形面发送1/5；(R2) 度数≥5的顶点向相邻的三角形面发送2/5；(R3) 此类顶点向长度≥5的面发送1/15。
• 引入第四条规则(R4)：长度≥5的边相邻面共同向“贫乏三角形面”（所有顶点度数为4的三角形面）发送2/15。
• 利用无边相邻三角形和4-圈的性质，限制每个顶点的相邻三角形面数量，确保最终电荷非负。
• 证明所有面最终电荷非负，与初始总电荷−8矛盾，从而证明存在一种有效着色方式，可满足一定比例的请求。
• 利用(0,5)-可约配置引理处理局部结构，确保着色可被贪心完成。

实验结果

研究问题

• RQ1 每个不含4-圈的平面图是否都存在加权ε-灵活性的5-列表着色，其中ε > 0？
• RQ2 平面图的灵活性阈值是否可与其实现的可选择性相匹配，特别是针对排除4-圈的图？
• RQ3 是否可将灵活性结果推广至不含4-圈的平面图的列表大小四？
• RQ4 放电法是否可被调整以处理如缺少4-圈和边相邻三角形等结构约束？

主要发现

• 当所有颜色列表大小至少为五时，不含4-圈的平面图具有加权ε-灵活性，其中ε > 0。
• 放电法成功地重新分配电荷，使所有面（尤其是三角形面）获得足够电荷，以确保有效着色。
• 贫乏三角形面（所有顶点度数为4）通过规则(R4)获得电荷，从规则(R1)获得3/5，从相邻长度≥5的面获得6/15 = 2/5，总计1。
• 初始总电荷为−8，最终电荷分布非负，除非结构假设被违反，否则导致矛盾。
• (0,5)-可约配置确保局部着色扩展始终可行，支持全局灵活性结果。
• 该结果支持更广泛的猜想：所有平面图在列表大小为五时均具有ε-灵活性，且表明不含钻石的图可能是下一个研究目标。