|
|
楼主 |
发表于 2026-10-21 16:24
|
显示全部楼层
朱火华新二维平面图体系
作者：朱火华
摘要
本研究完全独立定义广义二维平面图，将退化结构、重边、自环以及规范交叉结构纳入统一自洽框架，引入独立结构参数“外围边界节点数 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 的全连接具体构型全部有交叉，归非平面图类。 |
|
IP卡
狗仔卡
发表于 2026-10-21 07:41
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡