朱火华新二维平面图体系

朱明君

朱火华新二维平面图体系

作者：朱火华

摘要

本研究完全独立定义广义二维平面图，将退化结构、重边、自环以及规范交叉结构纳入统一自洽框架，引入独立结构参数“外围边界节点数 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类公式。

两类边界清晰，各自自洽，不再混用公式。

十一、公式总汇

11.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色

11.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 补上了二维平面图结构描述的盲区，使边数公式能精确区分不同外围边界的图，所有定义、公式、构造路径完全自洽，仅完全图边数公式、完全二分图边数公式、总度数握手定理为图论领域传统通用公式，其余全部内容为作者独立原创，形成一套独立完整的二维平面图理论体系。

朱明君

朱火华二维平面图体系 完整表述

一、核心定义

二维平面图：无几何边交叉的连通简单图，其中
n 为图的总顶点数，
m 为图的外围边界顶点数，满足 m ≥ 3，图内部所有面均为三角形、无孔洞。

二、体系内核心公式

本体系平面三角化边数公式：固定外围边界节点数 m 时，二维平面图的最大无交叉边数为：

e = 3n - m - 3

传统完全图边数公式（仅用于边数计数对比，不引入传统图论关联结论）：

n 顶点完全图 K_n 的总边数为：

e = n(n-1)/2

三、n = 4 时的非平面性判定（纯体系内闭环推导）

取总顶点数 n = 4，固定外围边界顶点数 m = 4，代入本体系平面边数公式，计算该约束下二维平面图的最大无交叉边数：

3×4 - 4 - 3 = 5

代入传统完全图边数公式，计算 K_4 的总边数：

4×(4-1)/2 = 6

判定结论：由于 6 > 5，K_4 的总边数超出了 m = 4 约束下二维平面图的最大无交叉边数，必然存在边交叉，因此该构型为非平面图。

朱明君

朱火华新二维平面体系（纯代数构造体系）完整表述

一、体系定位

本体系是纯代数构造体系。

它不依赖欧拉公式，不依赖传统平面图定义，也不把传统图论结论作为前提。
欧拉关系 n - e + f = 2 在本体系中只是公式定义后自动成立的恒等式，不是推导基础。

二、基本参数

定义三个基本参数：

n：总顶点数
m：外围边界顶点数
d：围内节点数

满足：

n = m + d

约束：

m ≥ 0，d ≥ 0

当 m = 0 时，表示零边界或退化外边界。
当 m = 1,2 时，表示单点闭环、双点闭环等退化边界。
当 m = 3 时，对应传统简单平面图的外三角形边界。

三、核心定义公式

边数：

e = 3n - m - 3

代入 n = m + d：

e = 3(m + d) - m - 3

e = 2m + 3d - 3

内部三角形数：

a = 2n - m - 2

代入 n = m + d：

a = 2(m + d) - m - 2

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)
= n - 3n + m + 3 + 2n - m - 1
= 2

所以：

n - e + f = 2

这是本体系的导出恒等式，不是前提。

五、m ≥ 0 的取值

当 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

当 m = 4：

e = 3n - 7，a = 2n - 6，f = 2n - 5

一般形式：

e = 3n - m - 3
a = 2n - m - 2
f = 2n - m - 1

六、与传统 e = 3n - 6 的关系

传统简单平面图最大边数上界：

e ≤ 3n - 6

在本体系中，令：

m = 3

则：

e = 3n - 3 - 3 = 3n - 6

所以：

e = 3n - 6 是本体系 m = 3 时的特例。

本体系覆盖：

m = 0,1,2,3,4,...

对应：

e = 3n - 3, 3n - 4, 3n - 5, 3n - 6, 3n - 7, ...

因此：

传统 3n - 6 是本体系 e = 3n - m - 3 的一个真子集。

传统框架没有 m,d 参数，所以无法直接计算：

内部三角形数 a；
m = 0,1,2,4,... 的边数。

七、算例

算例 1：n = 7，m = 4，d = 3

验证：

n = m + d = 4 + 3 = 7

边数：

e = 3 × 7 - 4 - 3 = 14

三角形数：

a = 2 × 7 - 4 - 2 = 8

面数：

f = a + 1 = 9

所以：

e = 14，a = 8，f = 9

欧拉关系验算：

n - e + f = 7 - 14 + 9 = 2

成立。

算例 2：n = 7，m = 3，d = 4

验证：

n = m + d = 3 + 4 = 7

边数：

e = 3 × 7 - 3 - 3 = 15

三角形数：

a = 2 × 7 - 3 - 2 = 9

面数：

f = a + 1 = 10

所以：

e = 15，a = 9，f = 10

欧拉关系验算：

n - e + f = 7 - 15 + 10 = 2

成立。

此时：

e = 3n - 6 = 15

正好对应传统 m = 3 的特例。

八、结论

朱火华新二维平面体系是纯代数构造体系。

核心公式：

e = 3n - m - 3
a = 2n - m - 2
f = 2n - m - 1

欧拉关系 n - e + f = 2 是本体系的导出恒等式，不是前提。

传统 e = 3n - 6 只是本体系 m = 3 时的特例。

本体系覆盖 m ≥ 0 的全部情形。