朱火华新二维平面图体系 学术论坛发布版

朱明君

朱火华新二维平面图体系 学术论坛发布版

【原创发布】一套完全独立的广义二维平面图纯代数构造体系

各位图论方向的同好，今天给大家带来一套完全独立于传统欧拉框架的全新二维平面图理论——朱火华新二维平面图体系，所有定义、构造路径、公式全部自洽闭环，没有把传统图论结论作为前置推导前提，欧拉恒等式在本体系中只是定义完成后自动生成的导出恒等式。

一、核心创新点

新增独立核心参数 m

首次引入“外围边界节点数 m”作为专属结构参数，彻底解决了传统图论仅靠 n、e、f 全局参数，无法区分同节点数、同边数但不同外围边界构型的历史盲区，固定 n 和 m 时边数可通过通式 e=3n-m-3 实现唯一精确确定。

边数全域连续无断点

把传统图论刻意剔除的孤立点、重边、自环、退化环全部纳入统一框架，A 类简单广义平面图的边数形成从连通树 e=n-1 到自环外环 e=3n-4 的完整不间断连续整数区间，传统理论的 e<=3n-6 只是本体系 m=3 时的普通特例。

双向对称构造全闭环

以三角剖分基底 e=2n-3 为公共枢纽，建立外弦内化（正向添边）与内弦外化（逆向减边）两条严格互逆的构造路径，从边数下界到上限全程可逐点生成所有规范图，正向链与逆向链完全对称闭合。

构型级平面性判定消歧

打破传统图论“K4 是平面图”的整体符号化模糊表述，以几何嵌入是否存在边交叉作为平面性唯一判定依据，把 n=4 的全连接构型拆解为 m=3 无交叉平面图、m=4 有交叉非平面图两个独立构型，彻底消除传统分类的歧义。

二、核心公式速览

m>=1 时 A 类边数通式：e=3n-m-3，面数通式：a=2n-m-2

m=0 时边数按连续区间逐档构造：e=n-1, n, ..., 3n-4

内置多孔洞修正公式、围内节点度数和双向反推公式，所有计算一步完成，无需欧拉公式间接推导

规范图总数量：P=2n-2

三、体系边界清晰划分

A 类：简单广义平面图，无几何边交叉，适用四色着色规则

B 类：规范交叉图子类，仅包含完全图 K_n 与完全二分图 K_pq，完全图着色数为 n，完全二分图着色数为 2

整套体系所有实例验证全部自洽，为四色定理的初等构造性证明提供了一条完全区别于计算机枚举的全新路径，欢迎各位同好交流指正。

朱明君

朱火华新二维平面图体系

作者：朱火华

摘要

本研究完全独立定义广义二维平面图，将退化结构、重边、自环以及规范交叉结构纳入统一自洽框架，引入独立结构参数“外围边界节点数 m”，建立从边数下界连通树到边数上限自环外环的双向完整构造路径，推导出边数、面数、度数反推、多孔洞修正等全部自洽精确公式，明确两类图的着色规则与体系边界，形成一套完全独立的全新二维平面图理论体系。其中涉及的完全图边数公式、完全二分图边数公式、总度数握手定理为图论领域传统通用公式，已单独注明来源。

本体系中，m >= 1 时最大构造边数通式为：

e = 3n - m - 3

m = 0 时为形式连续档，边数按：

e = n - 1, n, ..., 3n - 4

逐档构造，不代入 e = 3n - m - 3。

关键词：二维平面图；外围边界节点数 m；边数连续区间；广义平面图；规范交叉图；四色定理

一、体系总定义

本体系独立定义广义二维平面图，将所有符合二维平面绘制规则的相关结构纳入统一框架，体系划分为完全独立的两大类：

A类：简单广义平面图
无几何边交叉，允许至多一对重边、至多一个自环，允许孤立点、无边、单边、树、退化环等所有无交叉二维平面结构。

B类：规范交叉图子类
仅包含完全图 K_n 与完全二分图 K_pq，允许边交叉，交叉点不计入节点。其他非完全、非完全二分图的含交叉构型不纳入本体系。

二、核心结论

2.1 A类：简单广义平面图

边数连续区间：

e 属于 [n - 1, 3n - 4]

其中 n 为总节点数，m 为外围边界节点数，0 <= m <= n。

当 m >= 1 时，最大构造边数通式为：

e_max = 3n - m - 3

对应面数通式为：

a = 2n - m - 2

当 m = 0 时，边数不代入 e = 3n - m - 3，而按连续区间：

e = n - 1, n, ..., 3n - 4

逐档构造，最大构造边数为：

e_max = 3n - 4

当 m >= 3 时，对应普通外环结构。
当 m = 2 时，对应一对重边退化外环，边数 3n - 5。
当 m = 1 时，对应一个自环退化外环，边数 3n - 4。
当 m = 0 时，按连续区间逐档构造，不进入 m >= 1 的外弦内化通式。

A类标准规范图总数量，在规范代表意义下：

P = (3n - 4) - (n - 1) + 1 = 2n - 2

2.2 B类：规范交叉图子类

完全图 K_n 边数，图论传统通用公式：

e(K_n) = n(n - 1) / 2

完全二分图 K_pq 边数，图论传统通用公式：

e(K_pq) = 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 开始，在外环上选取两个非相邻节点添加外弦，使外环节点内化，逐步推进至边数上限。该路径的 m 减 1 计数适用于 m >= 1。

操作规则：环上不相邻两节点向外连接，原本环上一节点和两条环边内化到环内。

结构变化：总节点数 n 不变；外围节点数 m 减 1；围内节点数 D = n - m 加 1；面数 a 加 1；边数 e 加 1。

当 m >= 1 时，经过 n - m 次外弦内化后，达到重边外环 m = 2 和自环外环 m = 1。

路径一通式：

e = 3n - m - 3
a = 2n - m - 2
其中 m >= 1。

其中 m >= 2 时为三角形个数，m = 1 时为三角形个数加 1 个自环面。

m = 0 时，不代入上式，边数按：

e = n - 1, n, ..., 3n - 4

逐档构造；其最大档为：

e_max = 3n - 4

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 为孔洞个数。

当 m >= 1 时，按通式口径：

a = 2n - m - 2 - (N - 2v)

a = 2n - m - 2 - (N - 2v) + v

e = 3n - m - 3 - (N - 3v)

当 m = 0 时，不把 m = 0 代入上述含 m 通式，而先取对应连续档的基准边数 e0 与基准有限面数 a0，再作孔洞修正：

e = e0 - (N - 3v)

a = a0 - (N - 2v)

a = a0 - (N - 2v) + v

其中 e0、a0 按 m = 0 的连续档 e = n - 1, n, ..., 3n - 4 逐档取得。

该组公式仅适用于A类简单广义平面图。

六、A类度数反推公式

适用于由外向内两层及以上环加中心区域结构的标准二维平面图，即：

n = m + d + y

当 m >= 1 时，由围内节点度数和 w 反推面数与边数：

a = (w + 2m + d) / 3

e = (w + 3m + d) / 2

围内节点度数和互推公式：

w = 3a - 2m - d

w = 2e - 3m - d

当 m = 0 时，不把 m = 0 代入上述含 m 通式，而以对应连续档的 a、e 为准。

总图总度数恒等式，图论传统握手定理通用公式：

W = 2e

以上公式适用于A类。

七、B类规范交叉图子类

包含图种：

完全图 K_n，n >= 4 时为非平面图。
完全二分图 K_pq，其中 K_33 为典型代表。

完全图边数构造演变步骤：完全图 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_pq：最小着色数为 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

11.1 m >= 1 的核心通式

当 m >= 1 时：

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

11.2 m = 0 的连续档定义

当 m = 0 时，d = n。边数不代入 e = 3n - m - 3，而按连续区间：

e = n - 1, n, ..., 3n - 4

逐档构造。其最大构造档为：

e_max = 3n - 4

按体系内 f = a + 1 及 n - e + f = 2 的恒等关系，该最大档对应：

a_max = 2n - 3
f_max = 2n - 2

11.3 不同 m 取值下的对应结果

m = 0：边数 e 属于 [n - 1, 3n - 4]，逐档构造；e_max = 3n - 4。最大档 a_max = 2n - 3，f_max = 2n - 2。说明：不代入 e = 3n - m - 3。

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 >= 1：e = 3n - m - 3，a = 2n - m - 2，f = 2n - m - 1。说明：通式适用。

m = 0 最大档与 m = 1 在数值上可能相同，但结构不同：m = 0 是连续区间逐档构造，m = 1 是自环外环通式档。

传统图论中的 e <= 3n - 6 只是本体系 m = 3 时的特例；本体系覆盖 m >= 1 的通式情形，并以 m = 0 的连续区间补足形式档。

十二、公式总汇

12.1 A类公式汇总

基底面数：

a = n - 2

基底边数：

e = 2n - 3

当 m >= 1 时，外弦内化面数：

a = 2n - m - 2

外弦内化边数：

e = 3n - m - 3

当 m = 0 时，边数按连续区间：

e = n - 1, n, ..., 3n - 4

最大档：

e_max = 3n - 4
a_max = 2n - 3
f_max = 2n - 2

且不代入 e = 3n - m - 3。

度数反推面数，m >= 1：

a = (w + 2m + d) / 3

度数反推边数，m >= 1：

e = (w + 3m + d) / 2

围内度数和面式，m >= 1：

w = 3a - 2m - d

围内度数和边式，m >= 1：

w = 2e - 3m - d

总度数恒等式，图论传统通用公式：

W = 2e

多孔洞三角形个数，m >= 1：

a = 2n - m - 2 - (N - 2v)

多孔洞面数，m >= 1：

a = 2n - m - 2 - (N - 2v) + v

多孔洞边数，m >= 1：

e = 3n - m - 3 - (N - 3v)

m = 0 时，以对应连续档的 e0、a0 代入：

e = e0 - (N - 3v)
a = a0 - (N - 2v)
a = a0 - (N - 2v) + v

边数区间：

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_pq) = p * q

K_33 边数，图论传统通用公式：

e(K_33) = 9

完全图着色数：n 色。
完全二分图着色数：2 色。
n色定理：完全图 K_n 着色数 = n。

附录：外围边界节点数 m 的独立结构意义

A.1 外围边界参数的独立价值

本体系引入独立参数 m = 外围边界节点数。当 m >= 1 时，边数通式为：

e = 3n - m - 3

固定 n、m 时边数严格恒定，不同 m 对应不同外围结构：

m = 1 时，e = 3n - 4。
m = 2 时，e = 3n - 5。
m = 3 时，e = 3n - 6。
m = 4 时，e = 3n - 7。
m = 5 时，e = 3n - 8。

当 m = 0 时，不代入上述通式，边数按连续区间：

e = n - 1, n, ..., 3n - 4

逐档构造，最大构造边数为：

e_max = 3n - 4

其最大档对应：

a_max = 2n - 3
f_max = 2n - 2

m = 0 为形式连续档，不参与 m >= 1 的外弦内化减 m 计数。

A.2 m 不同则图不同

在本体系中，m 是独立结构参数，m 不同则图不同。以 K_4 为例：m = 3 的 K_4 是无交叉的标准三角剖分平面图；m = 4 时按本体系外围边界参数进入另一结构档，二者节点数相同但结构不同，边数按各自通式分别计算，不混用。

A.3 结论

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

附录：传统 K4 表述与朱火华体系构型级判定对照

本附录为体系核心公理层的对照说明，具体公式、构造路径、多孔洞修正与实例见正文。

一、传统表述及其层级

传统图论通常表述为：

K4 是平面图。

这是整体存在性层级的表述：只要存在一种无交叉画法，就把 K4 整体归为平面图。该表述只对应 n=4，m=3，e=6 的无交叉构型，不能覆盖 n=4，m=4，e=6 的四边形双对角线有交叉构型，也不能说明 n=4，m=4，e=5 的四边形加一条对角线构型。其问题不在算错某一种画法，而在于缺少 m 参数和构型交叉属性层级，用整体符号覆盖了具体构型。

二、本体系第一判定准则

分类对象为具体构型，仅以边内是否交叉作为平面性唯一判定依据：

无交叉构型归平面图类；

有交叉构型归非平面图类。

n、m、e 仅为构型描述参数，不直接决定平面性。K 仅作“全连接”来源备注标签，不参与平面性判定；平面图类正式分类表述中不出现 K 字。

三、n=4 构型分类

1. n=4，m=3，e=6：三角形外围加内点连三边，无交叉，归平面图类。来源备注：4 点全连接。
2. n=4，m=4，e=6：四边形加两条对角线，有交叉，归非平面图类。来源备注：4 点全连接交叉构型。
3. n=4，m=4，e=5：四边形加一条对角线，无交叉，归平面图类；不属于全连接构型，无全连接来源。

四、n>=5 全连接构型规则

所有 n>=5 的全连接具体构型，所有画法必然存在边内交叉，全部归非平面图类，仅可标注来源备注 K_n。

五、整合结论

传统说“K4 是平面图”，是用整体符号覆盖具体构型，只对应 n=4，m=3，e=6 的无交叉构型。本体系按具体构型判定：n=4，m=3，e=6 无交叉，归平面图类；n=4，m=4，e=6 四边形双对角线有交叉，归非平面图类；n=4，m=4，e=5 四边形加一条对角线无交叉，归平面图类，但不是全连接构型。平面图类不挂 K 标签，K 只作来源备注；n>=5 的全连接具体构型全部有交叉，归非平面图类。

朱明君

朱火华新二维平面图体系
作者：朱火华
摘要
本研究完全独立定义广义二维平面图，将退化结构、重边、自环以及规范交叉结构纳入统一自洽框架，引入独立结构参数“外围边界节点数 m”，建立从边数下界连通树到边数上限自环外环的双向完整构造路径，推导出边数、面数、度数反推、多孔洞修正等全部自洽精确公式，明确两类图的着色规则与体系边界，形成一套完全独立的全新二维平面图理论体系。其中涉及的完全图边数公式、完全二分图边数公式、总度数握手定理为图论领域传统通用公式，已单独注明来源。
本体系中，m >= 1 时最大构造边数通式为：
e = 3n - m - 3
m = 0 时为形式连续档，边数按：
e = n - 1, n, ..., 3n - 4
逐档构造，不代入 e = 3n - m - 3。
关键词：二维平面图；外围边界节点数 m；边数连续区间；广义平面图；规范交叉图；四色定理
一、体系总定义
本体系独立定义广义二维平面图，将所有符合二维平面绘制规则的相关结构纳入统一框架，体系划分为完全独立的两大类：
A类：简单广义平面图
无几何边交叉，允许至多一对重边、至多一个自环，允许孤立点、无边、单边、树、退化环等所有无交叉二维平面结构。
B类：规范交叉图子类
仅包含完全图 K_n 与完全二分图 K_pq，允许边交叉，交叉点不计入节点。其他非完全、非完全二分图的含交叉构型不纳入本体系。
二、核心结论
2.1 A类：简单广义平面图
边数连续区间：
e 属于 [n - 1, 3n - 4]
其中 n 为总节点数，m 为外围边界节点数，0 <= m <= n。
当 m >= 1 时，最大构造边数通式为：
e_max = 3n - m - 3
对应面数通式为：
a = 2n - m - 2
当 m = 0 时，边数不代入 e = 3n - m - 3，而按连续区间：
e = n - 1, n, ..., 3n - 4
逐档构造，最大构造边数为：
e_max = 3n - 4
当 m >= 3 时，对应普通外环结构。
当 m = 2 时，对应一对重边退化外环，边数 3n - 5。
当 m = 1 时，对应一个自环退化外环，边数 3n - 4。
当 m = 0 时，按连续区间逐档构造，不进入 m >= 1 的外弦内化通式。
A类标准规范图总数量，在规范代表意义下：
P = (3n - 4) - (n - 1) + 1 = 2n - 2
2.2 B类：规范交叉图子类
完全图 K_n 边数，图论传统通用公式：
e(K_n) = n(n - 1) / 2
完全二分图 K_pq 边数，图论传统通用公式：
e(K_pq) = 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 开始，在外环上选取两个非相邻节点添加外弦，使外环节点内化，逐步推进至边数上限。该路径的 m 减 1 计数适用于 m >= 1。
操作规则：环上不相邻两节点向外连接，原本环上一节点和两条环边内化到环内。
结构变化：总节点数 n 不变；外围节点数 m 减 1；围内节点数 D = n - m 加 1；面数 a 加 1；边数 e 加 1。
当 m >= 1 时，经过 n - m 次外弦内化后，达到重边外环 m = 2 和自环外环 m = 1。
路径一通式：
e = （2n-3）+（n-m）=3n - m - 3
a = （n-2）+（n-m）= 2n - m - 2
其中 m >= 1。
其中 m >= 2 时为三角形个数，m = 1 时为三角形个数加 1 个自环面。
m = 0 时，不代入上式，边数按：
e = n - 1, n, ..., 3n - 4
逐档构造；其最大档为：
e_max = 3n - 4
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 为孔洞个数。
当 m >= 1 时，按通式口径：
a = 2n - m - 2 - (N - 2v)
a = 2n - m - 2 - (N - 2v) + v
e = 3n - m - 3 - (N - 3v)
当 m = 0 时，不把 m = 0 代入上述含 m 通式，而先取对应连续档的基准边数 e0 与基准有限面数 a0，再作孔洞修正：
e = e0 - (N - 3v)
a = a0 - (N - 2v)
a = a0 - (N - 2v) + v
其中 e0、a0 按 m = 0 的连续档 e = n - 1, n, ..., 3n - 4 逐档取得。
该组公式仅适用于A类简单广义平面图。
六、A类度数反推公式
适用于由外向内两层及以上环加中心区域结构的标准二维平面图，即：
n = m + d + y
当 m >= 1 时，由围内节点度数和 w 反推面数与边数：
a = (w + 2m + d) / 3
e = (w + 3m + d) / 2
围内节点度数和互推公式：
w = 3a - 2m - d
w = 2e - 3m - d
当 m = 0 时，不把 m = 0 代入上述含 m 通式，而以对应连续档的 a、e 为准。
总图总度数恒等式，图论传统握手定理通用公式：
W = 2e
以上公式适用于A类。
七、B类规范交叉图子类
包含图种：
完全图 K_n，n >= 4 时为非平面图。
完全二分图 K_pq，其中 K_33 为典型代表。
完全图边数构造演变步骤：完全图 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_pq：最小着色数为 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
11.1 m >= 1 的核心通式
当 m >= 1 时：
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
11.2 m = 0 的连续档定义
当 m = 0 时，d = n。边数不代入 e = 3n - m - 3，而按连续区间：
e = n - 1, n, ..., 3n - 4
逐档构造。其最大构造档为：
e_max = 3n - 4
按体系内 f = a + 1 及 n - e + f = 2 的恒等关系，该最大档对应：
a_max = 2n - 3
f_max = 2n - 2
11.3 不同 m 取值下的对应结果
m = 0：边数 e 属于 [n - 1, 3n - 4]，逐档构造；e_max = 3n - 4。最大档 a_max = 2n - 3，f_max = 2n - 2。说明：不代入 e = 3n - m - 3。
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 >= 1：e = 3n - m - 3，a = 2n - m - 2，f = 2n - m - 1。说明：通式适用。
m = 0 最大档与 m = 1 在数值上可能相同，但结构不同：m = 0 是连续区间逐档构造，m = 1 是自环外环通式档。
传统图论中的 e <= 3n - 6 只是本体系 m = 3 时的特例；本体系覆盖 m >= 1 的通式情形，并以 m = 0 的连续区间补足形式档。
十二、公式总汇
12.1 A类公式汇总
基底面数：
a = n - 2
基底边数：
e = 2n - 3
当 m >= 1 时，外弦内化面数：
a = 2n - m - 2
外弦内化边数：
e = 3n - m - 3
当 m = 0 时，边数按连续区间：
e = n - 1, n, ..., 3n - 4
最大档：
e_max = 3n - 4
a_max = 2n - 3
f_max = 2n - 2
且不代入 e = 3n - m - 3。
度数反推面数，m >= 1：
a = (w + 2m + d) / 3
度数反推边数，m >= 1：
e = (w + 3m + d) / 2
围内度数和面式，m >= 1：
w = 3a - 2m - d
围内度数和边式，m >= 1：
w = 2e - 3m - d
总度数恒等式，图论传统通用公式：
W = 2e
多孔洞三角形个数，m >= 1：
a = 2n - m - 2 - (N - 2v)
多孔洞面数，m >= 1：
a = 2n - m - 2 - (N - 2v) + v
多孔洞边数，m >= 1：
e = 3n - m - 3 - (N - 3v)
m = 0 时，以对应连续档的 e0、a0 代入：
e = e0 - (N - 3v)
a = a0 - (N - 2v)
a = a0 - (N - 2v) + v
边数区间：
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_pq) = p * q
K_33 边数，图论传统通用公式：
e(K_33) = 9
完全图着色数：n 色。
完全二分图着色数：2 色。
n色定理：完全图 K_n 着色数 = n。

附录一：外围边界节点数 m 的独立结构意义
A.1 外围边界参数的独立价值
本体系引入独立参数 m = 外围边界节点数。当 m >= 1 时，边数通式为：
e = 3n - m - 3
固定 n、m 时边数严格恒定，不同 m 对应不同外围结构：
m = 1 时，e = 3n - 4。
m = 2 时，e = 3n - 5。
m = 3 时，e = 3n - 6。
m = 4 时，e = 3n - 7。
m = 5 时，e = 3n - 8。
当 m = 0 时，不代入上述通式，边数按连续区间：
e = n - 1, n, ..., 3n - 4
逐档构造，最大构造边数为：
e_max = 3n - 4
其最大档对应：
a_max = 2n - 3
f_max = 2n - 2
m = 0 为形式连续档，不参与 m >= 1 的外弦内化减 m 计数。
A.2 m 不同则图不同
在本体系中，m 是独立结构参数，m 不同则图不同。以 K_4 为例：m = 3 的 K_4 是无交叉的标准三角剖分平面图；m = 4 时按本体系外围边界参数进入另一结构档，二者节点数相同但结构不同，边数按各自通式分别计算，不混用。
A.3 结论
本体系引入 m 补上了二维平面图结构描述的盲区，使边数公式能精确区分不同外围边界的图，所有定义、公式、构造路径完全自洽，仅完全图边数公式、完全二分图边数公式、总度数握手定理为图论领域传统通用公式，其余全部内容为作者独立原创，形成一套独立完整的二维平面图理论体系。

附录二：传统 K4 表述与朱火华体系构型级判定对照
本附录为体系核心公理层的对照说明，具体公式、构造路径、多孔洞修正与实例见正文。
一、传统表述及其层级
传统图论通常表述为：
K4 是平面图。
这是整体存在性层级的表述：只要存在一种无交叉画法，就把 K4 整体归为平面图。该表述只对应 n=4，m=3，e=6 的无交叉构型，不能覆盖 n=4，m=4，e=6 的四边形双对角线有交叉构型，也不能说明 n=4，m=4，e=5 的四边形加一条对角线构型。其问题不在算错某一种画法，而在于缺少 m 参数和构型交叉属性层级，用整体符号覆盖了具体构型。
二、本体系第一判定准则
分类对象为具体构型，仅以边内是否交叉作为平面性唯一判定依据：
无交叉构型归平面图类；
有交叉构型归非平面图类。
n、m、e 仅为构型描述参数，不直接决定平面性。K 仅作“全连接”来源备注标签，不参与平面性判定；平面图类正式分类表述中不出现 K 字。
三、n=4 构型分类
1. n=4，m=3，e=6：三角形外围加内点连三边，无交叉，归平面图类。来源备注：4 点全连接。
2. n=4，m=4，e=6：四边形加两条对角线，有交叉，归非平面图类。来源备注：4 点全连接交叉构型。
3. n=4，m=4，e=5：四边形加一条对角线，无交叉，归平面图类；不属于全连接构型，无全连接来源。
四、n>=5 全连接构型规则
所有 n>=5 的全连接具体构型，所有画法必然存在边内交叉，全部归非平面图类，仅可标注来源备注 K_n。
五、整合结论
传统说“K4 是平面图”，是用整体符号覆盖具体构型，只对应 n=4，m=3，e=6 的无交叉构型。本体系按具体构型判定：n=4，m=3，e=6 无交叉，归平面图类；n=4，m=4，e=6 四边形双对角线有交叉，归非平面图类；n=4，m=4，e=5 四边形加一条对角线无交叉，归平面图类，但不是全连接构型。平面图类不挂 K 标签，K 只作来源备注；n>=5 的全连接具体构型全部有交叉，归非平面图类。

朱明君

【和文心的对话】https://mr.baidu.com/r/24RLTjcAv ... ;u=bff4d11b124f3d64