[论文解读] The 1-2-3 Conjecture and related problems: a survey

Ben Seamone|arXiv (Cornell University)|Nov 21, 2012

Graph Labeling and Dimension Problems参考文献 56被引用 78

一句话总结

这篇综述论文全面回顾了1-2-3猜想及其变体，该猜想提出：对于任意连通图（排除K₂），仅使用{1,2,3}中的边权值，通过关联边权值之和即可实现正确的顶点染色。主要贡献在于，尽管该猜想尚未被证明，但已确立五种权重足以覆盖所有此类图，且在证明三权重猜想的界方面取得了重大进展。

ABSTRACT

The 1-2-3 Conjecture, posed in 2004 by Karonski, Luczak, and Thomason, is as follows: "If G is a graph with no connected component having exactly 2 vertices, then the edges of G may be assigned weights from the set {1,2,3} so that, for any adjacent vertices u and v, the sum of weights of edges incident to u differs from the sum of weights of edges incident to v." This survey paper presents the current state of research on the 1-2-3 Conjecture and the many variants that have been proposed in its short but active history.

研究动机与目标

• 提供对图论中1-2-3猜想及其众多变体的全面综述。
• 综合整理关于通过关联边权和或积诱导正确顶点染色的边权参数的已知结果。
• 探讨图染色参数与结构属性（如色数、最小度、连通性）之间的关系。
• 突出开放问题与最新进展，包括不规则性强度和识别数的界。
• 统一由边或总权重导出的各种顶点染色参数的符号与术语。

提出的方法

• 系统性回顾并综合超过80篇关于边加权与总加权用于顶点染色的论文结果。
• 使用标准化符号对染色参数进行分类：χΣe(G) 表示基于和的边加权，χΠe(G) 表示基于积的边加权，以及针对总加权与顶点加权的变体。
• 应用算法方法，包括顺序边权调整，以建立χΣe(G)的上界。
• 使用概率方法证明：在随机图G(n,p)中，当p为(0,1)内的常数时，几乎必然有χΣe(G) ≤ 2。
• 利用群加权技术与代数方法（例如奇数阶有限交换群）推广结果。
• 将有向图与有向边加权的结果适配至无向图，以推导其界。

实验结果

研究问题

• RQ1 是否每个无K₂分量的优美图（nice graph）均可仅通过{1,2,3}中的边权值，利用关联边权和实现正确的顶点染色？
• RQ2 最小整数k为何值时，每个优美图均存在一种边k-加权方式，使得通过关联边权和诱导出正确的顶点染色？
• RQ3 在所需权集大小方面，基于和、积或多重集的加权方案有何差异？
• RQ4 哪些结构属性（如色数、最小度、连通性）会影响χΣe(G)的取值？
• RQ5 是否存在χΣe(G) = 2的图类，且此类图能否被刻画？

主要发现

• 1-2-3猜想仍未被证明，但已知对所有优美图均有χΣe(G) ≤ 5，此结论由Kalkowski、Karoński与Pfender确立。
• 对于G(n,p)中p为(0,1)内常数的随机图，几乎必然有χΣe(G) ≤ 2。
• 若G为2-连通图且χ(G) ≥ 3，则χΣe(G) ≤ χ(G)，且在色数为奇数或满足最小度约束等附加条件下，该界依然成立。
• 对于有向图，χΣe(D) ≤ 2，且该界是紧的，表明在有向情形中两种权重已足够。
• 对于具有n个顶点和最小度δ的图，总顶点不规则性强度sΣt(G)最多为3⌈n/δ⌉ + 1。
• 猜想s′Σt(G) = max{⌈(Δ+1)/2⌉, ⌈(|E|+2)/3⌉} 对于G ≠ K₅ 已在大图和随机图中得到验证，且对所有非星图均有s′Σt(G) ≤ ⌈|E|/2⌉。