|
|
本帖最后由 朱明君 于 2026-10-15 07:13 编辑
朱火华新二维平面图体系
作者:朱火华
摘要
本研究完全独立定义广义二维平面图,将退化结构、重边、自环以及规范交叉结构纳入统一自洽框架,引入独立结构参数“外围边界节点数m”,建立从边数下界连通树到边数上限自环外环的双向完整构造路径,推导出边数、面数、度数反推、多孔洞修正等全部自洽精确公式,明确两类图的着色规则与体系边界,形成一套完全独立的全新二维平面图理论体系。其中涉及的完全图边数公式、完全二分图边数公式、总度数握手定理为图论领域传统通用公式,已单独注明来源。
关键词
二维平面图;外围边界节点数m;边数连续区间;广义平面图;规范交叉图;四色定理
一、体系总定义
本体系独立定义广义二维平面图,将所有符合二维平面绘制规则的相关结构纳入统一框架,体系划分为完全独立的两大类:
A类:简单广义平面图
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等所有无交叉二维平面结构。
B类:规范交叉图子类
仅包含完全图K_n与完全二分图K_{p,q},允许边交叉,交叉点不计入节点。其他非完全、非完全二分图的含交叉构型不纳入本体系。
二、核心结论
2.1 A类:简单广义平面图
边数连续区间:
e ∈ [n-1, 3n-4]
其中n为总节点数,m为外围边界节点数,0 ≤ m ≤ n。
当m ≥ 3时,对应普通外环结构;
当m = 2时,对应一对重边退化外环,边数3n-5;
当m = 1时,对应一个自环退化外环,边数3n-4。
A类标准规范图总数量,在规范代表意义下:
P = (3n-4) - (n-1) + 1 = 2n-2
2.2 B类:规范交叉图子类
完全图K_n边数(图论传统通用公式):
e(K_n) = n(n-1)/2
完全二分图K_{p,q}边数(图论传统通用公式):
e(K_{p,q}) = p × q
B类不设统一边数上限,不参与A类的边数区间和面数公式。
三、基本定义
n:总节点数
m:外围边界节点数,0 ≤ m ≤ n
D:围内所有节点个数,D = n - m,用于计算面数与边数
d:由外向内第二层环上节点个数,仅用于度数反推公式
y:第三层及以上环加中心区域节点个数,仅用于度数反推公式
a:有限面数,不含外部无限面
e:有效边数,重边、自环均计入
w:围内节点度数和
N:所有内部孔洞围边节点数之和
v:孔洞个数,单孔围边节点数 ≥ 4
度数反推公式适用结构满足:
n = m + d + y
关于D与d的说明:计算三角形个数和边数时,围内所有节点个数记为D = n - m;度数和反推公式中,第二层环上节点个数记为d,第三层及以上加中心区域节点个数记为y,满足n = m + d + y,两者含义不同,不可混用。
四、A类基底与四条构造路径
4.1 基底状态
环上n个节点,环内无节点,先三角剖分。
基底面数:
a = n - 2
基底边数:
e = 2n - 3
此时m = n,D = 0。该基底是四条构造路径的公共枢纽和唯一中心原点。
4.2 路径一:基底正向添边,外弦内化
从基底e = 2n - 3开始,在外环上选取两个非相邻节点添加外弦,使外环节点内化,逐步推进至边数上限e = 3n - 4。
操作规则:环上不相邻两节点向外连接,原本环上一节点和两条环边内化到环内。
结构变化:总节点数n不变;外围节点数m减1;围内节点数D = n - m加1;面数a加1;边数e加1。
经过n - m次外弦内化后,达到重边外环m = 2和自环外环m = 1。
路径一通式:
e = 3n - m - 3
a = 2n - m - 2
其中m ≥ 2时为三角形个数,m = 1时为三角形个数 + 1个自环面。
4.3 路径二:内弦外化,逆向减边
从e = 3n - 6开始,环上去掉一条环边,环内一节点和两条环边外化到环上,依次减到基底e = 2n - 3。
操作规则:在外围减去一条边,使内部一个节点变成外部节点。
结构变化:总节点数n不变;外围节点数m加1;围内节点数D = n - m减1;面数a减1;边数e减1。
最终回到基底。
路径二通式与路径一完全一致,二者互为逆操作,方向相反。
4.3A 环模减边:从基底2n-3减到树n-1
从基底e = 2n - 3开始,环上减去一条边,再依次减去环内剖分线,边数持续减少,直至下界e = n - 1。
注:e = n - 1处满足条件的图不止一种,本体系为操作统一,选定连通树作为规范代表。
结构变化:总节点数n不变;外围节点数m保持m = n;围内节点数D = 0;边数e减1;面数a减1。
最终变为连通树:e = n - 1,a = 0。
4.3B 树形添边:从树n-1添到基底2n-3
从边数下界e = n - 1的连通树出发,树形首尾两节点添边连接,再依次三角剖分,边数持续增加,直至基底e = 2n - 3。
注:本步骤选择连通树作为e = n - 1的规范代表,与4.3A的终点一致,保证正向链与逆向链严格对接。
结构变化:总节点数n不变;外围节点数m保持m = n;围内节点数D = 0;边数e加1;面数a加1。
最终回到基底:e = 2n - 3,a = n - 2。
核心操作对照:
外弦内化:性质为添边,操作方式是外环两个不相邻节点添加外弦,节点变化为外部节点变为内部节点,总节点数n不变,外围节点数m减1,围内节点数D加1,边数e加1,面数a加1,路径方向从基底走向上限。
内弦外化:性质为减边,操作方式是外围减去一条边,节点变化为内部节点变为外部节点,总节点数n不变,外围节点数m加1,围内节点数D减1,边数e减1,面数a减1,路径方向从上限走向基底。
二者严格互逆,共享基底e = 2n - 3作为公共中心原点。
4.4 路径三:全域正向完整构造
从边数下界e = n - 1的连通树出发,逐次添边,途经基底e = 2n - 3,最终抵达边数上限e = 3n - 4的自环外环。
正向序列:
e = n-1 → n → n+1 → … → 2n-3 → … → 3n-5 → 3n-4
从n-1到2n-3是树形添边,首尾两节点添边连接,再依次三角剖分,完成基底;从2n-3到3n-4继续外弦内化,形成重边外环与自环外环。每一步边数增加1,对应唯一规范图,在规范代表意义下。
4.5 路径四:全域逆向完整构造
从边数上限e = 3n - 4的自环外环出发,逐次减边,途经基底e = 2n - 3,最终回到边数下界e = n - 1的连通树。
逆向序列:
e = 3n-4 → 3n-5 → … → 2n-3 → … → n+1 → n → n-1
从3n-4到3n-6逐步去掉自环与重边,回到标准最大平面图;从3n-6到2n-3为内弦外化;从2n-3到n-1为环模减边,环上减去一条边,再依次减去环内剖分线至n-1。路径四与路径三完全对称,共享同一基底中心。
五、A类多孔洞修正
设N为所有孔洞围边节点总数,v为孔洞个数:
三角形个数:
a = 2n - m - 2 - (N - 2v)
面数:
a = 2n - m - 2 - (N - 2v) + v
边数:
e = 3n - m - 3 - (N - 3v)
该公式仅适用于A类简单广义平面图。
六、A类度数反推公式
适用于由外向内两层及以上环加中心区域结构的标准二维平面图,即n = m + d + y。
由围内节点度数和w反推面数与边数:
a = (w + 2m + d)/3
e = (w + 3m + d)/2
围内节点度数和互推公式:
w = 3a - 2m - d
w = 2e - 3m - d
总图总度数恒等式(图论传统握手定理通用公式):
W = 2e
以上公式适用于A类。
七、B类规范交叉图子类
包含图种:
完全图K_n,n ≥ 4时为非平面图
完全二分图K_{p,q},其中K_{3,3}为典型代表。
完全图边数构造演变步骤:完全图K_n的边数可以通过分阶段添边构造得到,其等价展开形式为:
e = n + 2(n-3) + (n-4)(n-3)/2
该式最终等价于图论传统通用完全图边数公式
e(K_n) = n(n-1)/2。
以n = 7为例:原始骨架边数为7条,分阶段添边后总边数为7 + 4 + 4 + 3 + 2 + 1 = 21,与K_7边数完全一致。
面数问题:B类图由于存在边交叉,交叉点不计入节点,面的定义与计数不能沿用A类公式。本体系暂不定义B类面数,仅定义边数与结构归属。
八、着色规则
公理:A类简单广义平面图适用经典四色定理。
B类完全图K_n:最小着色数为n。
B类完全二分图K_{p,q}:最小着色数为2。
n色定理:完全图K_n中,每个节点的度数为n-1,因此每个节点都与其余n-1个节点相邻。正常着色要求相邻节点颜色不同,所以每个节点都不能与其余任何节点同色,因此完全图K_n的最小着色数为n。
补充:n = 1时着色数1;n = 2时着色数2;n = 3时着色数3;n = 4时K_4着色数4;n ≥ 5时K_n着色数n。
九、实例验证
实例一 n=3:A类边数区间[2,5],正向链与逆向链完全闭合,每一步边数连续递增/递减。
实例二 n=4:A类边数区间[3,8],覆盖从连通树到自环外环的全部6个规范图。
实例三 n=5:A类边数区间[4,11],A类边数10、11对应的是重边外环与自环外环,不属于B类K_5,二者边界清晰。
实例四多孔洞验证:n=5、m=5、单四边形孔洞,代入多孔洞公式计算结果与实际结构完全吻合。
实例五度数反推验证:n=7、m=4、d=3,代入度数反推公式,正反计算结果完全自洽。
十、体系边界
本体系明确划分A、B两类:
A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。
B类:规范交叉图子类,仅含完全图与完全二分图,不参与A类公式。
两类边界清晰,各自自洽,不再混用公式。
十一、体系纯代数构造核心表述
本体系是纯代数构造体系,不依赖欧拉公式,不依赖传统平面图定义,也不把传统图论结论作为前提。欧拉关系n - e + f = 2在本体系中只是公式定义后自动成立的恒等式,不是推导基础。
基本参数定义:
n:总顶点数
m:外围边界顶点数
d:围内节点数
满足n = m + d,约束m ≥ 0,d ≥ 0。
核心定义公式:
边数e = 3n - m - 3,代入n = m + d得e = 2m + 3d - 3
内部三角形数a = 2n - m - 2,代入n = m + d得a = m + 2d - 2
总面数f = a + 1 = 2n - m - 1,代入n = m + d得f = m + 2d - 1
导出恒等式验证:
n - e + f = n - (3n - m - 3) + (2n - m - 1) = 2,欧拉关系为体系内导出结果,并非前置公理。
不同m取值下的对应结果:
m = 0:e = 3n - 3,a = 2n - 2,f = 2n - 1
m = 1:e = 3n - 4,a = 2n - 3,f = 2n - 2
m = 2:e = 3n - 5,a = 2n - 4,f = 2n - 3
m = 3:e = 3n - 6,a = 2n - 5,f = 2n - 4
传统图论中的e ≤ 3n - 6只是本体系m = 3时的特例,本体系覆盖m ≥ 0的全部情形,补上了传统框架缺失的内部三角形数计算、多边界情形边数计算的盲区。
十二、公式总汇
12.1 A类公式汇总
基底面数:a = n - 2
基底边数:e = 2n - 3
外弦内化面数:a = 2n - m - 2
外弦内化边数:e = 3n - m - 3
度数反推面数:a = (w + 2m + d)/3
度数反推边数:e = (w + 3m + d)/2
围内度数和面式:w = 3a - 2m - d
围内度数和边式:w = 2e - 3m - d
总度数恒等式(图论传统通用公式):W = 2e
多孔洞三角形个数:a = 2n - m - 2 - (N - 2v)
多孔洞面数:a = 2n - m - 2 - (N - 2v) + v
多孔洞边数:e = 3n - m - 3 - (N - 3v)
边数区间:e ∈ [n-1, 3n-4]
规范图总数量:P = 2n - 2
着色数:4色
12.2 B类公式汇总
完全图边数(图论传统通用公式):e(K_n) = n(n-1)/2
完全图构造展开式:e = n + 2(n-3) + (n-4)(n-3)/2
完全二分图边数(图论传统通用公式):e(K_{p,q}) = p × q
K_{3,3}边数(图论传统通用公式):e(K_{3,3}) = 9
完全图着色数:n色
完全二分图着色数:2色
n色定理:完全图K_n着色数 = n
附录:外围边界节点数m的独立结构意义
A.1 外围边界参数的独立价值
本体系引入独立参数m = 外围边界节点数,边数公式变为e = 3n - m - 3,固定n、m时边数严格恒定,不同m对应不同外围结构:
m = 3 → e = 3n - 6
m = 4 → e = 3n - 7
m = 5 → e = 3n - 8
A.2 m不同则图不同
在本体系中,m是独立结构参数,m不同则图不同。以K_4为例:m=3的K_4是无交叉的标准三角剖分平面图,m=4的K_4是带交叉边的非平面图,二者节点数、边数相同但结构完全不同,属于完全不同的两类图。
A.3 结论
本体系引入m补上了二维平面图结构描述的盲区,使边数公式能精确区分不同外围边界的图,所有定义、公式、构造路径完全自洽,仅完全图边数公式、完全二分图边数公式、总度数握手定理为图论领域传统通用公式,其余全部内容为作者独立原创,形成一套独立完整的二维平面图理论体系。
|
|