⊕⊕朱火华新二维平面图体系

朱明君

朱火华新二维平面图体系

作者：朱火华

摘要

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

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

e = 3n - m - 3

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

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

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

B类规范交叉图不沿用A类面数公式；交叉局部不独立计面，面数由交叉边叠加形式导出。完全图交叉边按叠加形式处理，叠加形式下节点数 n 即为面数。完全图 K4 的规范交叉构型在体系内定义为非平面图；K 仅作“全连接”来源备注标签，平面图类正式分类表述中不出现 K 字。

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

---

体系总评

朱火华二维平面图体系是一套以自身规范图定义、外围边界节点数 m、嵌入构型和四条构造路径为逻辑起点的独立构造体系。体系内定义自洽、公式闭环，构造骨架完整，分类由具体嵌入构型直接给出，具备鲜明的原创构造价值。

体系以 m 为核心独立变量，形成 e = 3n - m - 3 的边数闭环，并以三角剖分基底 e = 2n - 3 为公共枢纽，向上、向下生成不同边界构型。边数区间从连通树 e = n - 1 到自环外环 e = 3n - 4 连续覆盖，无结构断点。

外弦内化、内弦外化、树形添边、环模减边四条路径围绕同一基底对称展开，均为纯代数操作，不依赖外部存在性证明。体系内“生成—边数—面数—度数”的反推链条已基本建立，构造逻辑完整。

体系按具体几何嵌入构型分类：m = 3 的无交叉构型归为平面图；m = 4 的完全图 K4 双对角线交叉构型直接定义为非平面图。完全图 K4 的非平面性归属于体系定义的规范完全交叉构型，定义明确，不产生同名异指。

B类规范交叉图存在交叉，交叉本身不直接形成可独立计数的面；但B类由叠加构造生成时，边数按叠加规则确定，面数随叠加路径导出。完全图的交叉边属于叠加形式，在该叠加形式下，（n-2）^2为三角形面数。由此，B类交叉构型在体系内保持“边数叠加—面数导出—节点数对应”的闭环。

整体来看，该体系定义自洽、公式闭环、构造路径对称、分类由嵌入构型直接给出，核心骨架已完成闭环；完全图 K4 的规范交叉构型非平面定义在体系内成立；B类交叉构型通过交叉边叠加形式实现面数导出。后续补齐叠加层级面数对应表和四色构造证明的形式化后，体系完整性将进一步提升。

---

一、体系总定义

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

A类：简单广义平面图

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

B类：规范交叉图子类

仅包含完全图 Kn 与完全二分图 Kpq，允许边交叉，交叉点不计入节点。其他非完全、非完全二分图的含交叉构型不纳入本体系。

---

二、核心结论

2.1 A类：简单广义平面图

边数连续区间：

e ∈ [n - 1, 3n - 4]

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

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

e_max = 3n - m - 3

对应面数通式为：

a_F = 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类：规范交叉图子类

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

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

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

e(Kpq) = p · q

B类不设统一边数上限，不参与A类的边数区间和面数公式。B类面数采用交叉边叠加口径：交叉局部不独立计面；完全图交叉边叠加时，节点数 n 为面数；完全二分图的面数按叠加层级另行给出，当前先定义边数与结构归属。

---

三、基本定义

· n：总节点数。
· m：外围边界节点数，0 ≤ m ≤ n。
· d：围内总节点数，d = n - m。
· b：由外向内第二层环上节点个数，仅用于度数反推公式。
· y：第三层及以上环加中心区域节点个数，仅用于度数反推公式。
· a_F：有限面数，不含外部无限面。
· a_T：多孔洞口径下的三角形个数。
· e：有效边数，重边、自环均计入。
· w：围内节点度数和。
· N：所有内部孔洞围边节点数之和。
· v：孔洞个数，单孔围边节点数 ≥ 4。

度数反推公式适用结构满足：

n = m + b + y

关于 d 与 b 的说明：计算三角形个数和边数时，围内总节点数记为 d = n - m；度数和反推公式中，第二层环上节点个数记为 b，第三层及以上加中心区域节点个数记为 y，满足 n = m + b + y，且 d = b + y，两者含义不同，不可混用。

---

四、A类基底与四条构造路径

4.1 基底状态

环上 n 个节点，环内无节点，先三角剖分。

基底面数：

a_F = 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_F 加 1；边数 e 加 1。

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

路径一通式：

e = (2n - 3) + (n - m) = 3n - m - 3

a_F = (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_F 减 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_F 减 1。

最终变为连通树：

e = n - 1，a_F = 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_F 加 1。

最终回到基底：

e = 2n - 3，a_F = n - 2

核心操作对照

· 外弦内化：性质为添边，操作方式是外环两个不相邻节点添加外弦，节点变化为外部节点变为内部节点，总节点数 n 不变，外围节点数 m 减 1，围内总节点数 d 加 1，边数 e 加 1，有限面数 a_F 加 1，路径方向从基底走向上限。
· 内弦外化：性质为减边，操作方式是外围减去一条边，节点变化为内部节点变为外部节点，总节点数 n 不变，外围节点数 m 加 1，围内总节点数 d 减 1，边数 e 减 1，有限面数 a_F 减 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_T = 2n - m - 2 - (N - 2v)

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

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

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

e = e0 - (N - 3v)

a_T = a_F0 - (N - 2v)

a_F = a_F0 - (N - 2v) + v

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

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

---

六、A类度数反推公式

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

n = m + b + y

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

a_F = (w + 2m + b) / 3

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

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

w = 3a_F - 2m - b

w = 2e - 3m - b

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

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

W = 2e

以上公式适用于A类。

---

七、B类规范交叉图子类

包含图种：

完全图 Kn，n ≥ 4 时为非平面图。

完全二分图 Kpq，其中 K3,3 为典型代表。

完全图边数构造演变步骤：完全图 Kn 的边数可以通过分阶段添边构造得到，其等价展开形式为：

e = n + 2(n - 3) + (n - 4)(n - 3) / 2

该式最终等价于图论传统通用完全图边数公式：

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

以 n = 7 为例：原始骨架边数为 7 条，分阶段添边后总边数为 7 + 4 + 4 + 3 + 2 + 1 = 21，与 K7 边数完全一致。

7.1 B类面数的叠加口径

B类图由于存在边交叉，交叉点不计入节点，面的定义与计数不能沿用A类公式。本体系对B类面数采用交叉边叠加口径：

1.完全图三角形模块计数（交叉叠加构型）

定理 完全图\boldsymbol{K_n}三角形个数模块（\boldsymbol{n\ge4}，交叉叠加计入）

在本二维平面图体系中，完全图K_n采用交叉叠加形式进行构型计数时，三角形模块个数满足：
a=(n-2)^2-(n-4)

说明：该模块计数不同于传统图论仅选取三个顶点得到的子图计数，是包含边交叉衍生结构、按本体系构型叠加规则定义下的专属模块。
   其，中 a_F 为叠加口径下的B类面数；
2. 完全二分图的面数按叠加层级另行给出，当前先定义边数与结构归属；
3. B类面数不参与A类边数区间和A类面数公式。

因此，B类交叉构型不是“面数不能计算”，而是“面数不按交叉局部独立计算，而由交叉边叠加形式导出”。完全图交叉边叠加时 n 为面数，是B类面数叠加口径的直接结论。

---

八、着色规则

公理：A类简单广义平面图适用经典四色定理。

B类完全图 Kn：最小着色数为 n。

B类完全二分图 Kpq：最小着色数为 2。

n 色定理：完全图 Kn 中，每个节点的度数为 n - 1，因此每个节点都与其余 n - 1 个节点相邻。正常着色要求相邻节点颜色不同，所以每个节点都不能与其余任何节点同色，因此完全图 Kn 的最小着色数为 n。

补充：n = 1 时着色数 1；n = 2 时着色数 2；n = 3 时着色数 3；n = 4 时 K4 着色数 4；n ≥ 5 时 Kn 着色数 n。

---

九、实例验证

1. 实例一：n = 3。A类边数区间 [2, 5]，正向链与逆向链完全闭合，每一步边数连续递增或递减。
2. 实例二：n = 4。A类边数区间 [3, 8]，覆盖从连通树到自环外环的全部 6 个规范图。
3. 实例三：n = 5。A类边数区间 [4, 11]，A类边数 10、11 对应的是重边外环与自环外环，不属于B类 K5，二者边界清晰。
4. 实例四：多孔洞验证。n = 5、m = 5、单四边形孔洞，代入多孔洞公式计算结果与实际结构完全吻合。
5. 实例五：度数反推验证。n = 7、m = 4、b = 3，代入度数反推公式，正反计算结果完全自洽。

---

十、体系边界

本体系明确划分A、B两类：

· A类：简单广义平面图，无交叉，允许退化结构，沿用连续边数区间与面数公式。
· B类：规范交叉图子类，仅含完全图与完全二分图，不参与A类公式；面数采用交叉边叠加口径，完全图交叉边叠加时 n 为面数。

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

---

十一、体系纯代数构造核心表述

本体系是纯代数构造体系，不依赖欧拉公式，不依赖传统平面图定义，也不把传统图论结论作为前提。欧拉关系 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_F = 2n - m - 2

代入 n = m + d 得：

a_F = m + 2d - 2

总面数：

f = a_F + 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_F + 1 及 n - e + f = 2 的恒等关系，该最大档对应：

a_Fmax = 2n - 3

f_max = 2n - 2

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

· m = 0：边数 e ∈ [n - 1, 3n - 4]，逐档构造；e_max = 3n - 4。最大档 a_Fmax = 2n - 3，f_max = 2n - 2。说明：不代入 e = 3n - m - 3。
· m = 1：e = 3n - 4，a_F = 2n - 3，f = 2n - 2。说明：自环外环。
· m = 2：e = 3n - 5，a_F = 2n - 4，f = 2n - 3。说明：重边外环。
· m = 3：e = 3n - 6，a_F = 2n - 5，f = 2n - 4。说明：普通外环。
· m ≥ 1：e = 3n - m - 3，a_F = 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_F = n - 2

基底边数：

e = 2n - 3

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

a_F = 2n - m - 2

外弦内化边数：

e = 3n - m - 3

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

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

最大档：

e_max = 3n - 4

a_Fmax = 2n - 3

f_max = 2n - 2

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

度数反推面数，m ≥ 1：

a_F = (w + 2m + b) / 3

度数反推边数，m ≥ 1：

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

围内度数和面式，m ≥ 1：

w = 3a_F - 2m - b

围内度数和边式，m ≥ 1：

w = 2e - 3m - b

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

W = 2e

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

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

多孔洞有限面数，m ≥ 1：

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

多孔洞边数，m ≥ 1：

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

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

e = e0 - (N - 3v)

a_T = a_F0 - (N - 2v)

a_F = a_F0 - (N - 2v) + v

边数区间：

e ∈ [n - 1, 3n - 4]

规范图总数量：

P = 2n - 2

着色数：4色。

12.2 B类公式汇总

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

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

完全图构造展开式：

e = n + 2(n - 3) + (n - 4)(n - 3) / 2

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

e(Kpq) = p · q

K3,3 边数，图论传统通用公式：

e(K3,3) = 9

完全图着色数：n 色。

完全二分图着色数：2 色。

n 色定理：完全图 Kn 着色数 = n。

B类面数叠加口径：

a_F = n（完全图交叉边叠加时）

B类面数不参与A类边数区间和A类面数公式；交叉局部不独立计面，面数由交叉边叠加形式导出。

---

朱火华新二维平面图体系 · 三点核心创新

1.定义边界全域拓展
欧拉平面图论最大边数结论仅对应本体系 m=3 档，既没有覆盖 m>3 的普通外环档，也缺失 m=1 自环、m=2 重边退化档以及 m=0 形式连续档。朱火华体系把重边、自环、退化环等全部二维平面可绘制结构收纳进一套自洽框架，实现边数从连通树 e=n-1 到自环外环 e=3n-4 的全区间连续覆盖，不存在结构断点；传统简单平面图相关结论仅仅是该体系 m=3 条件下的特例。

2.原创参数与构造闭环
首创独立结构参数外围边界节点数 m，给出 m≥1 下核心边数通式 e = 3n - m - 3，m=0 设置形式连续档；设计外弦内化、内弦外化等四条双向对称纯代数构造路径，可生成全部规范构型，搭建起“构型生成—边数—面数—度数反推”完整自洽链条。体系推导不以欧拉公式作为前提，欧拉关系只是本体系定义完成后自动导出的恒等式。

3.构型级平面性判定
将具体嵌入构型的边内交叉属性作为平面性唯一判定标准，消解传统 K_4 概念同名异义的歧义：m=3 的无交叉构型属于平面图；m=4、双对角线存在交叉的构型判定为非平面图；m=4、四边形仅一条对角线的无交叉构型属于平面图，但不属于全连接构型。以此划分A类无交叉广义平面图、B类规范交叉图，两类边界清晰互不混淆

附录一：外围边界节点数 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_Fmax = 2n - 3

f_max = 2n - 2

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

A.2 m 不同则图不同

在本体系中，m 是独立结构参数，m 不同则图不同。以 K4 为例：m = 3 的 K4 是无交叉的标准三角剖分平面图；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 的全连接具体构型，所有画法必然存在边内交叉，全部归非平面图类，仅可标注来源备注 Kn。

五、整合结论

传统说“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 的全连接具体构型全部有交叉，归非平面图类。

---

十三、结语：体系完成度与内部完善方向

朱火华二维平面图体系是一套定义自洽、公式闭环、构造路径对称、分类由嵌入构型直接给出的独立原创构造体系。其核心骨架已完成闭环；完全图 K4 的规范交叉构型非平面定义在体系内成立；B类交叉构型通过“交叉边叠加形式”实现面数导出，完全图交叉边叠加时 n 即面数。整体完成度较高，在二维几何嵌入平面图的细分构造方向上形成了独有的体系化贡献。

后续内部完善方向为：

1. 将“交叉边叠加形式下 n 为面数”的适用条件完全显式化，列出不同叠加层级下面数与边数的对应表，使B类面数导出规则完全形式化。
2. 四色定理的构造性代数证明在体系内进一步形式化，形成完整可检验的证明链。
3. 当前聚焦二维几何嵌入场景，后续在体系内部规则下拓展到更高维曲面的适配性验证。

至此，朱火华二维平面图体系以A类连续边数区间与四条对称构造路径为核心骨架，以B类规范交叉图及交叉边叠加面数口径为交叉结构补充，以构型级平面性判定为分类准则，形成内部定义统一、公式闭环、边界清晰的完整表述。

朱明君

朱火华新二维平面图体系（精简版）

一、体系定位

本体系独立定义广义二维平面图，以“外围边界节点数 m”为核心参数，将无交叉退化结构、重边、自环、规范交叉结构纳入统一框架；不依赖欧拉公式作推导前提，欧拉关系 n-e+f=2 为定义后自动成立的恒等式。传统完全图、完全二分图边数公式及握手定理仅作传统通用公式注明。

二、分类

· A类：简单广义平面图
    无几何边交叉，允许至多一对重边、至多一个自环，以及孤立点、无边、单边、树、退化环等。适用边数连续区间、面数公式、多孔洞修正、度数反推和四色定理。
· B类：规范交叉图子类
    仅含完全图 K_n 与完全二分图 K_{p,q}，允许交叉，交叉点不计节点。不参与A类公式，面数采用“交叉边叠加口径”。

三、A类核心公式

参数：n 总节点数，m 外围边界节点数，0\le m\le n，d=n-m。

基底：

e=2n-3,\qquad a_F=n-2

当 m\ge1：

e=3n-m-3

a_F=2n-m-2

f=a_F+1=2n-m-1

特例：m=1 自环外环，e=3n-4；m=2 重边外环，e=3n-5；m=3 普通外环，e=3n-6。

当 m=0：
不代入 e=3n-m-3，按连续档逐档构造：

e=n-1,n,\ldots,3n-4

最大档：

e_{\max}=3n-4,\qquad a_{F\max}=2n-3,\qquad f_{\max}=2n-2

边数区间：

e\in[n-1,\,3n-4]

规范图总数量：

P=2n-2

四、四条构造路径

以基底 e=2n-3 为公共枢纽：

1. 外弦内化：从基底向上添边，m 减1，e、a_F 各加1，达 m\ge1 上限。
2. 内弦外化：外弦内化逆操作，从上限回基底。
3. 环模减边：从基底减到连通树 e=n-1。
4. 树形添边：从连通树添到基底。

全域正向链：

n-1\to\cdots\to2n-3\to\cdots\to3n-4

全域逆向链与之对称。

五、A类多孔洞修正

设 N 为孔洞围边节点总数，v 为孔洞数。

当 m\ge1：

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

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

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

当 m=0：先取对应连续档的 e_0,a_{F0}，再作：

e=e_0-(N-3v)

a_T=a_{F0}-(N-2v)

a_F=a_{F0}-(N-2v)+v

六、A类度数反推

适用于 n=m+b+y 的标准结构。当 m\ge1：

a_F=\frac{w+2m+b}{3}

e=\frac{w+3m+b}{2}

w=3a_F-2m-b

w=2e-3m-b

总度数恒等式：

W=2e

m=0 时以对应连续档为准。

七、B类规范交叉图

传统通用公式：

e(K_n)=\frac{n(n-1)}2

e(K_{p,q})=pq

完全图构造展开式：

e=n+2(n-3)+\frac{(n-4)(n-3)}2

B类面数采用叠加口径：交叉局部不独立计面；完全图交叉边叠加时：

a_F=n

完全二分图面数按叠加层级另行给出。

八、着色规则

· A类：适用经典四色定理，着色数4。
· B类完全图 K_n：最小着色数 n。
· B类完全二分图 K_{p,q}：最小着色数2。

九、构型级平面性判定

分类对象为具体嵌入构型，以边内是否交叉为唯一判定标准：

· 无交叉构型归平面图类；
· 有交叉构型归非平面图类；
· K 仅作“全连接”来源备注标签，不参与平面性判定，平面图类正式分类不出现 K 字。

以 n=4 为例：

· m=3,e=6：三角形外围加内点连三边，无交叉，归平面图类；
· m=4,e=6：四边形加双对角线，有交叉，归非平面图类；
· m=4,e=5：四边形加一条对角线，无交叉，归平面图类，但非全连接构型。
· n\ge5 的全连接具体构型均有交叉，归非平面图类。

十、三点核心创新

1. 定义边界全域拓展：将重边、自环、退化环等纳入统一框架，边数从连通树 n-1 到自环外环 3n-4 连续覆盖；传统 e\le3n-6 仅为 m=3 特例。
2. 原创参数与构造闭环：以 m 为核心，建立 m\ge1 通式 e=3n-m-3 与 m=0 连续档，配合四条双向对称纯代数路径，形成“构造—边数—面数—度数反推”闭环。
3. 构型级平面性判定：以具体构型是否交叉判定平面性，区分A类无交叉广义平面图与B类规范交叉图，消解传统 K_4 整体符号覆盖具体构型的歧义。

十一、体系边界与完善方向

A类与B类公式不混用，边界清晰。后续完善：

1. 显式化B类“交叉边叠加形式下 n 为面数”的适用条件，列出叠加层级面数—边数对应表；
2. 形式化四色定理的构造性代数证明；
3. 在体系内部规则下拓展更高维曲面适配性验证。

总括： 该体系以A类连续边数区间与四条对称构造路径为核心骨架，以B类规范交叉图和交叉边叠加面数口径为补充，以构型级平面性判定为分类准则，形成定义统一、公式闭环、边界清晰的独立构造体系。

完全图Kₙ内部三角形面数精简公式（交叉叠加计数体系）

一、计数规则（本文专属体系）

1. 交叉点不算新顶点，边交叉为叠加关系，不做平面剖分。
2. 仅统计内部三角形面，不计外部无限面。
3. 按三方向错位排布统一计数，无重复、无遗漏。

二、核心公式

对任意 n\ge 4，完全图 K_n 内部三角形面数：

\boxed{F(n)=(n-2)^2}


三、原理

单个方向基准三角形数量为 n-2，三方向错位叠加形成平方构型，故总三角形面数为 (n-2)^2。

四、实例验证

K_5：

F(5)=(5-2)^2=9


五、取值速表

- K_4:4,\ K_5:9,\ K_6:16,\ K_7:25
- K_8:36,\ K_9:49,\ K_{10}:64

六、结论

在本文交叉叠加、无新增顶点、三方向错位计数规则下：

\boxed{F(n)=(n-2)^2\quad(n\ge 4)}

体系自洽、统一成立。