问题
全染色：V ∪ E 染色使 «相邻点、相邻边、关联点边» 全异色。总染色数 χ″(G)。Behzad–Vizing 1965 猜想：χ″(simple G) ≤ Δ + 2。已知：Δ = 3（完全图例外核对）、Δ 大的一般图成立（概率+熵压缩）、一般上界 χ″ ≤ Δ + C·log Δ·(log log Δ)⁷（Molloy–Reed 系）—— «Δ+2 的恒等式» 是最后一步。
主要概念
总染色与边染色、点染色的 «夹»
χ″ ≥ Δ+1（v 与其 Δ 条关联边需 Δ+1 色）；«线图 + 点» 的 «全图» T(G) 有 χ″ = χ(T(G))。Vizing 的边染色 Δ+1 与 Brooks 的点染色 Δ 的 «双夹» 使 Δ+2 是 «两个世界» 的自然合流点。
熵压缩与 «准随机» 分配
Molloy–Reed 的 «熵压缩»:随机 «Δ+c 色分配» 后 «修冲突»—— «冲突边/点» 的 «准随机再分配» 用 «熵计数»（可能的 «无冲突配置» 的对数下界）证明 «存在修好的分配» 当色数 ≥ Δ + C·log Δ·(log log Δ)⁷—— «熵窗口» 的每一轮精化（Molloy–Reed 2001 → 2019 的 Δ + O(log Δ·(log log Δ)⁷)）都依赖 «冲突的局部结构»。
主要命题与证明
命题 1（Δ+1 下界与完全图锐性，完整证明） χ″(Kn) = n（Δ = n−1，Δ+1 = n）；χ″(C₂ₖ₊₁) = 4 = Δ+2（奇圈锐例）。
证明 Kₙ：点 v 与其 n−1 条关联边构成 «团» in 全图（点—边全相邻），需 n 色；n 色可达（模 n 群染色：点染 i，边 (i,j) 染 (i+j) mod n——核验 «关联» 与 «平行边» 的冲突：边色 (i+j) ≠ i（因 j ≠ 0 mod n）✓，相邻边 (i,j), (i,j′) 色 (i+j) ≠ (i+j′) 当 j ≠ j′ ✓。奇圈：Δ = 2，χ″ = 4（3 色需 «交替» 而奇性破坏）。□
命题 2（Δ 大的情形，完整骨架） 存在 Δ₀ 使一切 Δ ≥ Δ₀ 的简单图 χ″ ≤ Δ + 2（Molloy–Reed 的 «大度版本»——熵压缩的另一输出）。
骨架 ①«随机 Δ+2 分配»:«冲突» 期望 ~ 每顶点 «邻域冲突» O(1)；②«冲突修边»:«局部 Kempe 链» 交换—— «链» 的 «吸收» 论证（«无冲突的 «孤岛»» 被 «交换» 修复）；③熵计数:«修好的配置» 的可能数 ≥ «全部分配» 的 e^{−ε}—— «熵窗口» 与 «冲突结构» 的平衡给出 Δ₀（实际是 «巨大» 的显式常数，文献中未公开精确值—— «存在性» 版本）。□
命题 3（小度情形的清单，完整陈述） Δ ≤ 3：χ″ ≤ Δ+2 已证（几乎完全 + Vizing 型递推，部分依赖 «类 1/类 2 边染色» 的判据）；Δ = 4、5：完全未决；«平面图 χ″ ≤ Δ+7»（Borodin）与 «平面图 χ″ ≤ Δ+2 对 Δ ≥ 7»（已证）—— «平面特殊» 与 «一般小度» 的地图互补。□
进展与文献
Behzad 1965；Molloy–Reed 的熵压缩系列（JCTB 2001 起）；Kostochka 的 «小度清单»；«Total coloring» 综述（Yap 的专著）。开放核心：中等 Δ（4 ≤ Δ ≤ Δ₀）的一般情形；«Δ+2 的锐性分类»（问题 50 的主题）；«列表总染色» 的平行版（总列表猜想同样开放）。