|
|

楼主 |
发表于 2026-3-14 16:15
|
显示全部楼层
附录:辐边总和公式体系与平面图着色应用完整解析
---
一、核心理论框架
1. 基础定义与图类范围
本文研究的平面多重图允许平行边与边界自环,且满足平面无交叉绘制要求,可通过轮构型模块与点边叠加操作生成任意符合要求的图结构。
· 轮构型模块 W_k:由1个中心节点、k个环上节点组成,包含k条辐边与k条环边。
· 点边叠加:多个轮模块可通过节点与边完全重合的方式组合,保留各自拓扑身份。
2. 核心参数与公式体系
参数 定义与约束
n 总节点数,n \geq 1
m 最外层环节点数,m \geq 1,可通过平行边/自环实现退化结构
d = n - m 围内节点数,d \geq 0
K 围内节点间实际边数:当 d \leq 1 时 K = 0;当 d \geq 2 时 d-1 \leq K \leq 3d-6
e 总边数,满足 e = 3n - m - 3 = 3d + 2m - 3
w 辐边总和数,等价于新单中心轮图的环上节点数
关键公式
· 简化公式:
w = n + 2d - 3 + K
\]
可根据围内边数动态反映辐边总和。
· 普适公式:通过添加双层标准虚拟环(新总节点数 n_{\text{新}} = n + 6),可将任意图归一化为统一形式:
w = 6(n_{\text{新}} - 4)
\]
此时辐边总和仅由新图总节点数决定,与原图内部结构无关。
3. 边数范围定理
对于任意 n \geq 1,总边数 e 可连续取遍 [n-1, 3n-5] 区间内所有整数:
· 下限 n-1 对应无内部边的连通树结构;
· 上限 3n-5 对应 m=2 的双节点平行边多重图场景,突破了经典简单平面图 3n-6 的边数上限。
---
二、平面图着色应用逻辑
基于辐边总和数 w 构造新单中心轮图,通过奇偶规则实现无冲突着色映射:
· 当 w 为奇数时:无论原图是否存在奇轮构型,均需使用4色,环上3色交替着色,中心节点使用第4色。
· 当 w 为偶数时:
· 若原图存在奇轮构型:强制按奇环规则使用4色;
· 若原图无奇轮构型:使用3色即可,环上2色交替着色,中心节点使用第3色。
该方法可将新图的着色方案无冲突地映射回原图,从而在本文定义的平面多重图类中完成四色定理的初等证明。
---
三、典型实例验证
以 n=5, m=2, d=3, K=3 为例:
· 总边数:e = 3 \times 5 - 2 - 3 = 10
· 简化公式:w = 5 + 2 \times 3 - 3 + 3 = 11
· 普适公式:n_{\text{新}} = 11,w = 6 \times (11 - 4) = 42,结果自洽
---
四、体系核心总结
本体系以辐边总和为核心代数变量,将任意平面多重图转化为可量化计算的参数组 (n, m, d, K),通过双层虚拟环实现拓扑结构的标准化归一化,最终建立与内部结构无关的普适公式;同时配套明确的奇偶着色规则,完成从拓扑结构到代数计算再到着色应用的全链条闭环,突破经典图论的限制,为平面图形着色提供纯构造性、代数化的统一解决方案。
|
|