辐边总和公式及其在二维平面图着色中的应用（普适公式篇）

朱明君

辐边总和公式及其在二维平面图着色中的应用（普适公式篇）

作者：朱火华
日期：2026年4月
单位：浙江省安吉县章村镇中街火华超市经营者，业余数学研究者

摘要

本文提出辐边总和公式的普适形式，以“添加双层虚拟环”为核心操作，将任意二维平面图（包括标准图、带孔洞图、不连通图、多面体投影等）统一转化为可计算的代数结构。普适公式 w = 6(n_新 - 4) 不依赖图的内部细节，仅通过原图节点数 n_原 直接计算辐边总和 w，进而确定等价单中心轮图的规模与着色方案。该公式为纯代数体系，独立于欧拉公式，实现了对二维平面图着色的统一处理，从构造性角度验证了四色定理。

关键词：二维平面图；辐边总和公式；普适公式；虚拟环；图着色；四色定理

1 引言

二维平面图着色问题是图论与拓扑学的核心研究课题之一，四色定理作为该领域的经典结论，断言任意平面图均可使用四种颜色完成无冲突着色。传统四色定理的证明路径高度依赖欧拉公式与复杂的拓扑分析，需要对平面图的各类结构进行分类讨论，证明过程繁琐且缺乏统一的代数逻辑。

本文跳出传统证明框架，提出辐边总和公式的普适形式，开辟了一条纯代数的构造性证明路径。普适公式是该理论体系的核心，其核心创新点在于通过添加双层虚拟环的标准化操作，将任意复杂的二维平面图统一包裹进一个规整的标准框架内，彻底屏蔽原图的内部结构差异，将复杂的拓扑着色问题转化为简单的代数参数计算问题。

该普适公式具备极强的通用性，无需区分原图的类型、无需分析其内部孔洞、亏格、连通性等细节，甚至适用于节点数为0的空图。所有复杂结构均被双层虚拟环有效屏蔽，最终的着色方案仅由辐边总和的奇偶性这一单一参数决定。本文将系统阐述普适公式的代数定义、双层虚拟环的构建方法、平面图与单中心轮图的结构转换逻辑、着色规则以及着色结果的双向映射机制，构建一套自洽、完备且可直接操作的平面图着色理论体系。

2 普适公式与虚拟环构建

2.1 基本定义

设任意原始二维平面图 G 的节点数为 n_原，其取值范围为 n_原 ≥ 0，涵盖空图、单点图、复杂连通图等所有情形。

为实现统一化处理，在原始平面图 G 的外部添加两层虚拟环，每层虚拟环由3个节点均匀构成，两层共计新增6个虚拟节点。定义添加双层虚拟环后的图为 G'，则 G' 的节点数 n_新 满足：
n_新 = n_原 + 6

基于 G' 的节点数，本文定义辐边总和普适公式为：
w = 6(n_新 - 4)
其中，w 代表 G' 中所有辐边的总数。

术语约定：为便于表述，下文将“添加双层虚拟环后的标准二维平面图 G'”简称为原图，将经结构转换后得到的“单中心标准轮图”简称为新图。原图与新图之间具备可分可合、双向转换、结构与着色功能全等价的关系。原始未添加虚拟环的平面图仍记作 G。

2.2 虚拟环的构造与功能

双层虚拟环采用同心环结构设计，两层环相互嵌套且圆心重合，每层环上均匀分布3个节点，节点间以环边相连，形成稳定的闭合环状结构。其具体连接规则为：内层虚拟环与原始平面图 G 的外边界节点通过辐边连接，连接方式可根据原图形态灵活调整，且连接方式的差异不会改变辐边总和 w 的计算结果；外层虚拟环与内层虚拟环之间通过规整的环边相连，最终将原始图完全包裹在双层虚拟环内部，形成结构标准的原图 G'。

双层虚拟环在整个理论体系中具备三大核心功能：

1. 屏蔽结构复杂性：无论原始平面图存在孔洞、亏格、不连通分量、弦边、交叉边等何种复杂结构，均可被双层虚拟环完全包裹，内部结构差异不再影响整体代数计算，实现复杂问题的简化处理。
2. 实现统一化处理：通过标准化添加双层虚拟环，任意二维平面图均可转化为满足标准拓扑条件的原图 G'，摒弃传统方法中对不同类型平面图的分类分析流程，实现所有平面图的统一代数求解。
3. 保障着色可逆性：对原图 G' 完成无冲突着色后，可直接移除双层虚拟环及其关联边，原始平面图 G 可完整继承着色结果，且着色数始终不超过4，保证着色方案的有效性与可逆性。

2.3 公式的代数含义

普适公式中的系数6具有明确的结构意义，来源于公式的最小基础结构——空图情形。当 n_原 = 0（即空图）时，n_新 = 6，代入普适公式可得：
w = 6 × (6-4) = 12
此结果为公式的最小基准值，确立了公式的初始逻辑。

从代数关系来看，普适公式表明辐边总和 w 与原图节点数 n_新 呈严格线性关系，斜率恒定为6。进一步地，将 n_新 = n_原 + 6 代入可得 w = 6n_原 + 12，因此 w 恒为偶数。这一性质是后续确定平面图最优着色方案的核心依据之一。

3 从辐边总和到单中心轮图

3.1 重构公式

辐边总和 w 在理论体系中具备双重核心含义，是连接原图与等价新图（单中心标准轮图）的关键桥梁：

· 它是原图 G' 中所有辐边的总数量；
· 它等价于原图经结构等价转换后生成的新图（单中心标准轮图）的环上节点数，同时也等于该新图的辐边数量。

基于辐边总和的双重含义，可推导出新图的规模重构公式：
⊙ = 1 + w
公式中，数字“1”代表原图围内所有节点轮构型扇化后的扇柄叠加——即原图中各个轮构型经扇化处理后，其扇柄中心（原各轮构型的中心节点）通过点片叠加方式合并为一个唯一的中心等效体；w 代表新图环上均匀分布的节点总数。由此生成的新图（单中心标准轮图）具备四大典型特征：中心节点唯一且居中；环上节点均匀排布形成闭合圈；每条辐边分别连接中心节点与一个环上节点；环边相互连接形成完整的环状结构，是具备标准拓扑结构的基础图型。

3.2 原图与新图的结构转换

原图（添加双层虚拟环后的标准二维平面图 G'）与新图（单中心标准轮图 ⊙）之间，具备可分可合、双向转换、结构与着色功能全等价的关系。转换过程严格遵循“元素守恒、功能等价”原则，不新增、不减少任何节点与边，仅调整几何位置与连接方式，确保着色功能完全一致，为着色结果的双向映射提供坚实的结构基础。

3.2.1 原图→新图转换步骤

1. 分解原图：按照围内节点数量，将原图拆解为若干个独立的轮构型模块，精准记录每个轮构型的几何形态、节点与边的连接关系。每个轮构型均由一个中心节点、若干环上节点构成，环上节点依次连接成闭合圈，中心节点与所有环上节点通过辐边相连。
2. 还原构型：采用“皮筋伸缩”等效操作，对拆解后的变形轮构型进行几何规整，消除节点与边的扭曲、偏移，将其还原为中心居中、辐边等长、环边均匀闭合的标准轮构型。该过程仅调整几何位置，不改变节点间的相邻关系，保证结构属性不变。
3. 扇化处理：在每个标准轮构型的环上选取一个节点与边的连接位置进行断开（分离），借助辐边与环边的伸缩特性，将闭合轮图转化为扇形结构。扇形结构以轮图中心为扇钉（点片），辐边为扇骨，环边为扇纸，实现闭合结构到开放扇形的转换。
4. 拼接成图：将所有扇形模块按照“节点端—边端”的规则有序拼接，将各扇形的扇柄中心以点片形式叠加合并，最终生成唯一中心的新图（单中心标准轮图）。拼接完成后，原图所有轮构型的中心合并为一个中心等效体，所有环上节点按顺序均匀排布在新图的环上。

3.2.2 新图→原图转换步骤

1. 分解新图：沿新图（单中心标准轮图）的环上标记节点，将其拆解为若干个扇形模块，每个扇形模块精准对应原图中的一个轮构型模块，保留完整的节点与边的连接信息。
2. 还原构型：将每个扇形模块的两端边界边重新连接闭合，将开放的扇形结构还原为标准轮构型，恢复闭合圈结构，还原轮构型的原始形态。
3. 叠加复原：按照原图的初始几何形态与结构特征，对各标准轮构型进行节点重合、边共享等叠加操作，精准还原原图的完整结构，全程保持节点、边的数量与连接关系不变。

3.2.3 结构等价原理

原图与新图之间的分离与拼接，并非对图结构的破坏或重构，而是对节点与边的连接接口进行解开、重新对接的过程。整个转换过程严格遵循无损益原则：节点数量不增不减，边的数量不增不减，辐边与环边的属性不改变，仅调整几何摆放位置与模块连接方式。

其核心等价逻辑为：原图与新图本质上是同一套结构零件的不同组装方式，并非独立的两个图，也非近似辅助图，而是同一个结构系统的两种表现形式。真正实现“可分可合，双向等价”：既能拆解为标准轮形模块，又能拼接为单中心轮图，拆合过程中结构功能、着色属性完全守恒。

4 新单中心轮图的最优着色

4.1 奇偶着色规则

由第2.3节可知，w = 6n_原 + 12 恒为偶数，因此新图（单中心轮图）的环上节点数 w 总是偶数。根据轮图着色的一般理论，当环上节点数为偶数时，环上节点可采用2色交替着色实现无冲突，中心节点使用第3种颜色，总用色数为3。故在普适公式框架下，若不考虑原图内部特殊结构，最优着色方案恒为3色。

4.2 核心约束：奇轮构型模块的处理

虽然普适公式导出 w 恒为偶数且新轮图本身仅需3色，但着色结果需保证可映射回原图。若原图中存在任意一个奇轮构型模块（即环上节点数为奇数的轮图），则该模块自身无法用3色完成无冲突着色，必须使用4色。根据着色功能等价性，此时新图的着色方案也必须采用4色，才能保持映射的一致性。

在实际应用中，可通过检查原图是否含有奇轮构型来前置判断：若存在奇轮构型，则采用4色方案；若不存在奇轮构型（即所有轮构型环上节点数均为偶数），则可采用3色方案。若无法确定，采用4色方案总是安全的。

4.3 概念区分与完全图对应

本文所定义的新图（单中心标准轮图），是由原图的轮构型扇化模块拼接生成的专属结构，与传统图论中的单中心轮图属于完全不同的概念。该轮图专为平面图着色体系设计，核心属性为色数恒≤4，是实现平面图统一着色的核心载体，其结构逻辑、功能定位均区别于传统图论中的轮图定义，需严格区分避免概念混淆。

补充说明：本文中所需的着色数 n（n = 3 或 n = 4）对应于完全图 K_n，即最优着色方案等价于在平面图中寻找一个 K_n 的同态或子图嵌入。当采用3色方案时，着色结构对应于 K_3（三角形）；当采用4色方案时，对应于 K_4（四面体）。这一对应关系进一步揭示了着色数与完全图之间的内在代数联系。

5 着色结果的双向映射

原图与新图的着色功能等价性，是着色结果可实现双向映射的核心保障。整个映射过程通过颜色统一、冲突调和、直接替换三种机制协同实现，转换过程中着色属性、无冲突性始终保持不变，确保着色方案的有效性。

5.1 原图→新图：功能保持

将原图分解为多个轮构型模块后，若各轮构型中心节点颜色不一致，需进行颜色统一处理：选取各中心节点中占比最高的颜色，作为新图中心等效体的统一颜色。对于中心颜色与目标统一颜色不同的轮构型，采用中心与环上节点颜色互换的方式调整，将该轮构型中心颜色改为目标色，互换过程中保持局部着色无冲突，最终实现新图与原图着色功能完全等价。

5.2 新图→原图：颜色一致性映射

将新图分解为对应原图的轮构型模块后，若新图中心颜色与原图各轮构型中心颜色存在冲突，同样通过中心颜色与环上节点颜色互换的方式调和冲突，将新图中心颜色调整回原图各轮构型所需的原始颜色，维持结构与着色的功能等价。由于映射过程可逐模块独立进行，各模块之间互不干扰，可精准还原原图的着色结果。

5.3 无冲突直接替换

若调整后的中心节点颜色与原图对应模块颜色完全一致，且与周边节点无任何颜色冲突，可直接跳过颜色互换步骤，直接替换中心节点颜色，在保证着色无冲突、功能等价的前提下，简化映射流程，提升操作效率。

6 适用范围与验证结论

6.1 适用范围

本文提出的辐边总和普适公式具备极广泛的适用场景，适用于所有二维平面图，具体包括：标准连通二维平面图、带孔洞平面图、非连通平面图、多面体投影图、带弦边平面图，以及节点数为0的空图。需明确的是，该公式仅针对二维平面图，对于 K_5、K_{3,3} 等非平面图不适用。

6.2 验证与核心结论

本文通过大量经典平面图实例进行验证，普适公式的计算结果、结构转换逻辑与着色方案，均与经典平面图着色结论完全契合，验证了公式的准确性与理论的可行性。

辐边总和普适公式以双层虚拟环为核心操作，独立于传统欧拉公式，无需对原始平面图的结构进行分类分析，仅依托原始图节点数这一单一参数，即可完成从结构转换到着色方案确定的全流程求解，实现了所有二维平面图着色的统一化、代数化处理。该理论跳出了传统四色定理证明的拓扑分析框架，从纯代数构造角度为四色定理提供了全新的证明路径，构建了一套全新的平面图着色研究范式，具备重要的理论创新价值与实践应用意义。

参考文献

本文为独立原创理论研究，未引用外部文献，相关基础理论可参考作者前期轮构型、虚拟环相关系列研究成果。

---