《朱火华新二维平面图体系》

朱明君

朱火华新二维平面图体系

作者：朱火华

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

原创声明：除文中专门标注的三条传统通用公式以外，体系内全部定义、结构参数、定理、构造路径、推导公式、构型判定规则均为朱火华独立原创成果。
仅下面三条属于学界已有，作为引用素材：

1.完全图边数传统公式：e(Kn)=n(n-1)/2
2.完全二分图原始乘积公式：e(Kpq)=p·q
3.握手定理总度数公式：W=2e

本体系中，m >= 1 时最大构造边数通式为：
e = 3n - m - 3
由基底递推：e=(2n-3)+(n-m)=3n-m-3
对应面数
aF = 2n - m - 2
由基底递推：aF=(n-2)+(n-m)=2n-m-2

m = 0 时为形式连续档，边数按：
e = n - 1, n, ..., 3n - 4
逐档构造，不代入 e = 3n - m - 3。

B类规范交叉图不沿用A类面数公式；交叉局部不独立计面，面数由交叉边叠加形式导出。完全图交叉边按叠加形式处理，叠加形式下 n 为节点数；B类面数按：
aF = (n - 2)^2 - (n - 4), n >= 4
导出。

完全图 K4 的规范交叉构型在体系内定义为非平面图；K 仅作「全连接」来源备注标签，平面图类正式分类表述中不出现 K 字。

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

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

体系以 m 为核心独立变量，边数与面数均可由基底三角剖分构型做增量递推：
e=(2n-3)+(n-m)=3n-m-3
aF=(n-2)+(n-m)=2n-m-2
基底三角剖分：e = 2n - 3，aF=n-2
边数区间从连通树 e = n - 1 到自环外环 e = 3n - 4 连续覆盖，无结构断点。

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

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

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

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

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

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

其中，边数连续区间：
e ∈ [n - 1, 3n - 4]
及规范图档数：
P = 2n - 2
仅针对连通规范代表图。孤立点、无边、多连通分量等退化结构归入A类平面图定义范围，但不参与该连续区间和档数计算，按连通分量另行描述。

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

二、核心结论
2.1 A类：简单广义平面图
连通规范代表图边数连续区间：
e ∈ [n - 1, 3n - 4]
其中 n 为总节点数，m 为外围边界节点数，0 <= m <= n。

当 m >= 1 时，最大构造边数通式与基底递推：
e_max = 3n - m - 3
e_max=(2n-3)+(n-m)=3n-m-3

对应面数通式与基底递推：
aF = 2n - m - 2
aF=(n-2)+(n-m)=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 = 2n - 2

2.2 B类：规范交叉图子类
引用传统已知公式
完全图传统通用边数：
e(Kn)=n(n-1)/2
完全二分图传统通用原始形式：
e(Kpq)=p·q

偶数总节点平衡完全二分图（本体系原创）
当二分图整体总节点数 n 为偶数、完全平衡二分图 p=q 时：
e=(n/2)^2

B类不设统一边数上限，不参与A类边数、面数公式体系。

B类完全图面数叠加口径（本体系原创）
aF=(n-2)^2-(n-4), n>=4

三、基本定义

- n：总节点数
- m：外围边界节点数
- d：围内节点数 d=n-m
- b：第二层环节点数
- y：三层以上及中心节点数
- aF：有限面数
- a：三角形个数
- e：有效边数
- w：围内度数和
- W：总度数
- N：孔洞围边节点总和
- v：孔洞个数

全部符号定义、参数含义为本体系独立设定。

四、A类基底与四条构造路径
4.1 基底
e=2n-3, aF=n-2, m=n

4.2 路径一：外弦内化（添边正向）
e=3n-m-3，递推 e=(2n-3)+(n-m)=3n-m-3
aF=2n-m-2，递推 aF=(n-2)+(n-m)=2n-m-2

4.3 路径二：内弦外化（减边逆向）
与路径一严格互逆，公式完全一致。

4.3A 环模减边：基底->连通树
4.3B 树形添边：连通树->基底

4.4 全域正向完整构造
n-1->n->...->2n-3->...->3n-4

4.5 全域逆向完整构造
3n-4->3n-5->...->2n-3->...->n-1

四条构造路径、基底选取、双向全域构造方法均为原创。

五、A类多孔洞修正公式（原创）
5.1 m>=2
aT=2n-m-2-(N-2v)
aF=2n-m-2-(N-2v)+v
e=3n-m-3-(N-3v)

5.2 m=1
aT=2n-m-3-(N-2v)
aF=aT+v+1

5.3 m=0
以对应档位 e0,aF0 修正：
e=e0-(N-3v)
aT=aF0-(N-2v)
aF=aF0-(N-2v)+v

六、度数反推体系（原创）
设 n 为总节点数，m 为外围边界节点数，e 为边数，a 为三角形个数，b 为由外向内第二层环上节点数，W 为总度数之和，w 为围内节点度数之和。

则
W=2(3n-m-3)
w=3a-2m-b
w=2e-3m-b

引用：握手定理 W=2e

七、B类完整体系
7.1 传统引用公式（公共已知）
e(Kn)=n(n-1)/2, e(Kpq)=pq

7.2 平衡完全二分图核心公式（原创）
偶数总节点平衡二分图表达式
e=(n/2)^2

7.3 完全图展开构造式（体系原创分解）
e=n+2(n-3)+((n-4)(n-3))/2

7.4 B类面数叠加公式（原创）
aF=(n-2)^2-(n-4), n>=4

八、着色规则（体系自洽定义）

1.A类去自环简单平面图：四色可染
2.B类完全图 Kn：n 色定理（引用）
3.B类完全二分图：2色可染（引用）

本体系A、B两类划分之下的着色适用边界判定规则为原创。

九、实例验证
n=3、n=4、n=5、多孔洞、度数反推全部自洽吻合。

十、体系边界

- A类：无交叉广义平面图，完整连续边数体系
- B类：规范交叉完全图、完全二分图，使用独创叠加面数、独创平衡二分图公式

A/B两大子类划分、构型平面性判定边界为原创。

十一、纯代数构造核心（体系最大创新）
本体系不依赖欧拉公式作为前提，欧拉关系只是本体系自动导出的恒等式。

m>=1：
e=3n-m-3, aF=2n-m-2, f=2n-m-1
自动满足：
n-e+f=2

以本体系公式导出欧拉关系式，而不是以欧拉公式作为起点，这个论证思路属于原创。

十二、总公式总汇
全部原创内容

1.参数 m（外围边界节点数）定义
2.A类核心边数通式：e=3n-m-3，基底递推 e=(2n-3)+(n-m)=3n-m-3
3.A类面数通式：aF=2n-m-2，基底递推 aF=(n-2)+(n-m)=2n-m-2
4.A类边数全域连续区间、档数公式 P=2n-2
5.四条双向对称构造路径（外弦内化、内弦外化、环模减边、树形添边）
6.多孔洞全套修正公式
7.围内度数 w 全套度数反推方程组
8.B类偶数总节点平衡完全二分图公式：e=(n/2)^2
9.B类完全图展开构造分解式
10.B类交叉构型叠加面数公式：aF=(n-2)^2-(n-4)
11.A类/B类构型分类定义、平面性判定准则（K4交叉构型判定）
12.基底选取，纯代数构造，欧拉公式后置导出的论证框架

仅三条引用传统

1.e(Kn)=n(n-1)/2
2.e(Kpq)=pq
3.W=2e

十三、三大核心创新

1.全域参数 m 补齐所有平面图结构盲区，传统平面图论只是本体系 m=3 的特例
2.纯代数四条对称构造路径，不依赖欧拉公理，欧拉公式作为导出恒等式，边数和面数都可以直接由基底增量递推得到
3.构型级平面性判定：按嵌入构型区分，交叉即非平面，厘清K4歧义，建立A/B两类划分

十四、原创确权声明
除以下三条属于已有经典图论公式仅作引用之外，整篇论文的定义、参数、分类、构造方法、全部推导公式、判定准则均属于朱火华独立原创成果。

引用条目（仅此三条）：

1.完全图边数 e(Kn)=n(n-1)/2
2.完全二分图原始形式 e(Kpq)=p·q
3.握手定理 W=2e

结语
本体系定义自洽、公式全部闭环、构造完整对称、边界清晰独立，突破传统欧拉平面图论局限，建立了全新的、完全自主的二维平面图代数构造体系，除少数引用经典公式外，整套理论框架、参数、构造路径、各类推导公式与构型判定规则全部为原创，具备独立学术价值。

附录：A类基底与四条构造路径（精简版）

4.1 基底
环上 n 节点，先三角剖分。e=2n-3，a_F=n-2，m=n，d=0。基底是四条路径的公共中心。

4.2 路径一：基底正向添边（外弦内化）
从基底 e=2n-3，a_F=n-2 出发，外环两不相邻节点加外弦，使外环节点内化。每步：n不变，m-1，d+1，e+1，a_F+1，一共进行 (n-m) 次操作。

递推计算：
e=(2n-3)+(n-m)=3n-m-3
a_F=(n-2)+(n-m)=2n-m-2

通式（m>=1）：e=3n-m-3，a_F=2n-m-2。
m=0 时不代入，按 e=n-1,n,...,3n-4 逐档构造，最大档 e_max=3n-4。

4.3 路径二：内弦外化（逆向减边）
从 e=3n-6 出发，外环减一边，内部一节点外化。每步：m+1，d-1，e-1，a_F-1。回到基底 e=2n-3。与路径一严格互逆，通式相同。

4.3A 环模减边：基底到树
从 e=2n-3 起，环上减一边，再依次减环内剖分线，直至 e=n-1。每步：m=n不变，d=0，e-1，a_F-1。终为连通树：e=n-1，a_F=0。
注：e=n-1 处图不止一种，本体系选定连通树为规范代表。

4.3B 树形添边：树到基底
从 e=n-1 连通树起，首尾两节点添边连接，再依次三角剖分，至 e=2n-3。每步：m=n不变，d=0，e+1，a_F+1。终回基底：e=2n-3，a_F=n-2。
注：与4.3A终点一致，保证正逆链严格对接。

核心对照
外弦内化：添边，m-1，d+1，e+1，a_F+1，基底到上限。
内弦外化：减边，m+1，d-1，e-1，a_F-1，上限到基底。
二者严格互逆，共享基底 e=2n-3。

4.4 路径三：全域正向
序列：e=n-1, n, ..., 2n-3, ..., 3n-5, 3n-4。
n-1 到 2n-3 为树形添边；2n-3 到 3n-4 为外弦内化。
注：e=n-1 处选定连通树为规范代表。

4.5 路径四：全域逆向
序列：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（树）到 2n-3（基底）到 3n-4（上限），四条路径在规范代表意义下唯一对接。