|
|
本帖最后由 朱明君 于 2026-6-21 23:36 编辑
朱火华新二维平面图体系(最终整合完整版)
作者:朱火华
零、体系全域包容定义
本体系重新定义广义平面图,取消传统平面图的所有准入门槛,实现全拓扑包容。
一、节点无限制。单个节点、多个节点、含孤立节点、全连通节点,全部合法纳入体系。
二、连接无限制。无边、单边、多条边、重边、任意连接方式全部合法。
三、环路无限制。无环树图、简单多边形环、二边形重边环、单节点自环,全部视为合法环结构。
四、交叉无限制。边与边在平面上允许交叉,交叉点不计入节点。含交叉边的图形同样纳入本二维平面图体系,公式全域通用,无排斥。
传统图论剔除的孤立点、单边图、重边、自环、退化环、含交叉图,在本体系均为正常基础构型。
一、核心结论
在平面嵌入、允许边交叉、允许至多一对重边、至多一个自环的广义平面图条件下,n 个节点平面图的有效连接边数 e 为不间断连续正整数区间:
e 属于 [n-1, 3n-4]
区间内每一个整数边值对应唯一合法平面图构造状态。全部合法平面图总张数:
P = (3n-4) - (n-1) + 1 = 2n-2
二、基本定义
n:总图节点数
m:外围边界节点数,取值范围 0 <= m <= n
a:面数(不含外部无限面)
e:边数
w:围内节点度数和
N:所有孔洞围边节点数之和
v:孔洞个数,单孔围边 >= 4
图类条件:平面嵌入,允许边交叉,兼容孤立点、无边、单边、重边、自环、所有环型结构。
三、构造中轴:环模三角剖分基底
体系唯一标准基准状态:所有 n 个节点全部在外环上,内部完成完全三角剖分,对应 m = n。
基底面数:a = n-2
基底边数:e = 2n-3
该基底是四条构造路径的公共枢纽、唯一中心原点。
四、四条完整双向对称构造路径
路径一:基底正向添边——外弦内化
从基底 e = 2n-3 持续添边,直达边数上界 e = 3n-4。
操作:外环选取两不相邻节点连弦,将一枚外环节点拉入内部。总节点数 n 不变,m 减 1,内部节点加 1,面数 a 加 1,边数 e 加 1。当所加弦边无法避免与已有边相交时,允许交叉,交叉点不计入节点。
经过 n-m 次外弦内化,得到全域通式:
a = (n-2) + (n-m) = 2n - m - 2
e = (2n-3) + (n-m) = 3n - m - 3
路径二:基底逆向减边——内弦外化
从基底 e = 2n-3 持续减边,直达边数下界 e = n-1(连通树)。
操作:将内部弦向外拆解外化,内部节点回归外环。m 加 1,a 减 1,e 减 1。
路径三:全域正向完整构造
从下界树 e = n-1 逐次添边,途经基底,直达上限 3n-4,覆盖全部区间。在同一边数值 e 对应的同构图族中,选取唯一一张规范图作为链节。添边操作在该规范图间进行,整条构造链无分叉,确保每个整数边数对应唯一指定的合法状态。
路径四:全域逆向完整构造
从上限自环满配图 e = 3n-4 逐次减边,途经基底,直达下界树 n-1。
四条路径双向可逆、完全对称、殊途同归,体系全局自洽闭环。
五、外环完整连续演化序列
m 从 n 逐步退化至 0,每一步对应唯一图结构状态,全程无断层。
m = n:全外环三角剖分标准基底,e = 2n-3。
m = n-1 至 m = 3:普通多边形外环,e 属于 [2n-2, 3n-6]。
m = 2:二边形重边外环,两节点以双平行边围成外环,e = 3n-5。
m = 1:单节点自环退化外环,e = 3n-4。
m = 0:外环彻底消失,图形完全内部化。
重边与自环不是畸形特例,不是额外添加,是外弦内化推进到极限的自然演化阶段。
六、与经典欧拉平面图论的本质区别
经典欧拉平面图论强制隐含 m >= 3,拒绝 m=2、m=1 退化结构,排斥重边、自环与边交叉,边数上限止于 3n-6,区间存在巨大断裂与空白。
本体系将 m 下限突破至 m >= 0,完整接纳所有退化构型,同时允许边交叉。补齐欧拉缺失的两条极限边——重边一条、自环一条——边数上限从 3n-6 延伸至 3n-4,实现全域连续无断点。
欧拉体系只覆盖本体系的中间一小段(m >= 3,且禁止交叉)。本体系覆盖 0 <= m <= n 全区间,走到欧拉体系无法抵达的拓扑尽头。
七、K5 与 K3,3 的纳入
K5(五节点完全图,十条边)与 K3,3(六节点完全二部图,九条边)在平面上必然存在边交叉。经典库拉托夫斯基定理以此为由将它们排除在平面图之外。
本体系允许边交叉,交叉点不计入节点。K5 与 K3,3 在本体系中均为合法平面图构型。
K5 边数 10,n=5 时边数区间 [4, 11],十边落入区间。
K3,3 边数 9,n=6 时边数区间 [5, 14],九边落入区间。
环模 Kn 全阶图(围内节点全连接),设 n >= 5,若所有节点度数为 n-1,则需 n 种颜色。该图存在交叉边,若 n=5 适用五色定理,不适用四色定理,归属朱火华新二维平面图体系。
二者完全符合本体系公式,无矛盾,无排斥。
八、环模 n 节点全连接与 n 色定理
环模基底 n 节点全在外环。当执行外弦内化至极限,每个节点向内部其余 n-1 个节点发出连接边,达到每节点度数 n-1,形成内部全连接状态。此时图为完全图 Kn,n 个节点两两相邻,着色需 n 种颜色,色数等于 n。
环模 n 节点全连接着色定理:环模 n 节点每节点度数达到 n-1 时,图的全着色数必为 n 色。
经典四色定理适用于无交叉简单平面图(m >= 3,无重边无自环,最大度小于 n-1)。本体系将此推广至全域:着色数随环模向内连接程度递推,n 节点最大度达到 n-1 时色数达到 n。四色定理为本体系在低度简单图区段的特例,n 色定理为本体系在完全图极限处的普遍结论。
九、度数反推面边公式
由围内节点度数和 w,可直接反推唯一面数与边数:
a = (w + 2m + (n-m)) / 3
e = (w + 3m + (n-m)) / 2
十、围内节点度数和——双式等价互逆校验
w = 3a - (n-m) - 2m
w = 2e - (n-m) - 3m
两式严格等价,与度数反推公式互为正反运算,形成闭环校验。
十一、总图总度数恒等式
W = 2e
十二、多孔洞修正通式
含孔洞平面图,单孔围边 >= 4,设 N 为所有孔洞围边节点数之和,v 为孔洞个数:
a = 2n - m - 2 - (N - 2v)
e = 3n - m - 3 - (N - 3v)
十三、体系完整适用范围
含孤立点、无边、单边、任意连接的广义平面图。无环树图、单环、多环、重边环、自环全部兼容。允许边交叉,交叉点不计入节点。存在外围环或任意外环退化形态的平面嵌入图。两层及以上嵌套环形加中心区域复合结构。含任意数量合规孔洞的复杂拓扑结构。允许至多一对重边、至多一个自环的完整拓扑谱系。完全图 K5、K3,3 合法纳入。环模 n 节点全连接 n 色定理。
十四、全套公式总汇
基底面数:a = n-2
基底边数:e = 2n-3
外弦内化通式(面数):a = 2n - m - 2
外弦内化通式(边数):e = 3n - m - 3
度数反推面数:a = (w + 2m + n - m) / 3
度数反推边数:e = (w + 3m + n - m) / 2
围内度数和(面式):w = 3a - (n-m) - 2m
围内度数和(边式):w = 2e - (n-m) - 3m
总度数恒等式:W = 2e
多孔洞面数修正:a = 2n - m - 2 - (N - 2v)
多孔洞边数修正:e = 3n - m - 3 - (N - 3v)
边数连续区间:e 属于 [n-1, 3n-4]
平面图总张数:P = 2n-2
环模 n 节点全连接色数:n 色
十五、标准实例验证
n=3,边数区间 [2, 5],总图数 P=4。
e=2:树,无环,下界构型。
e=3:三角形全外环基底。
e=4:m=2,重边外环。
e=5:m=1,自环外环。
n=4,边数区间 [3, 8],总图数 P=6。
e=3:四节点连通树(同构2种,选1张)。
e=4:单环基础图。
e=5:四边形三角剖分基底。
e=6:m=3,多边形外环。
e=7:m=2,重边外环。
e=8:m=1,自环外环。
n=5,边数区间 [4, 11],总图数 P=8。
e=4:五节点连通树(同构3种,选1张)。
e=5:单环基础图。
e=6:五边形加一条弦。
e=7:五边形三角剖分基底。
e=8:m=4,多边形外环。
e=9:m=3,多边形外环。
e=10:m=2,重边外环(K5 对应态)。
e=11:m=1,自环外环。
K5 十边满配落入区间,边交叉合法,平面嵌入成立。环模全连接色数 = 5。
十六、体系结语
本新体系彻底打破传统欧拉平面图论的局限与割裂,以 m 属于 [0, n] 完整外环演化为骨架,以环模三角剖分为唯一中轴,以四路径双向对称构造为生成法则,将孤立点、无边、单边、重边、自环、边交叉、各类退化环全部正规化、体系化。完全图 K5、K3,3 合法纳入平面图范畴,环模 n 节点全连接建立 n 色定理,经典四色定理退为本体系特例。
构造唯一性规则:全域正向完整构造路径中,每个边数值 e 对应的同构图族内只选一张规范图作为链节,整条构造链无分叉,边数连续区间内每个整数对应唯一指定合法状态。
实现边数全程连续、拓扑无特例、公式全自洽、全域可构造、全程可逆推。整套理论独立成立、自洽闭环、完全超越经典二维平面图体系。
补充说明
1.对任意n,所有介于最小边 n-1、最大边 3n-4 之间的整数 e,一定存在合法二维平面图;
2.全部规范代表图可通过单条边增减互相转化,形成完整连续构造链条,P=2n-2 恒成立;
3.给定 n、e 时全部互不同构图的同构簇数目无通用闭式通解,本体系不做全域同构计数,仅选取单张规范图完成存在性与连续构造证明。 |
|