数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 294|回复: 11

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

[复制链接]
发表于 2026-10-28 19:24 | 显示全部楼层 |阅读模式
本帖最后由 朱明君 于 2026-10-28 11:36 编辑

朱火华新二维平面图体系

一、体系总定义

本体系重新定义广义二维平面图,将退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。

体系分为两大类:

A类:简单广义平面图。
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。
A类又分为:

1. A类主档:连通规范主档,边数连续区间为
   e 在 [n-1, 3n-4] 内,
   其中 n 为总节点数。主档用于四条构造路径、边数区间、面数公式与规范档位计数。
2. A类附属离散档:孤立点、无边、非连通离散结构等,不进入主档连续区间,不参与 P=2n-2 的档位计数。

B类:规范交叉图子类。
仅包含完全图 K_n 与偶数节点平衡双部交叉图 K(p,q),其中 p=q=n/2,允许边交叉,交叉点不计入节点。其他非完全、非平衡双部的含交叉构型不纳入本体系。
B类环模仅取完全图环模;偶数节点平衡双部交叉图不纳入环模。B类不参与A类边数区间与面数公式。

二、基本定义

n:总节点数。
m:外围边界节点数;1 <= m <= n 用于外弦内化段。m=0 仅作A类全边数区间标记。
a:体系有限面数,不含外部无限面;在多孔洞口径中,a 不含孔洞内部面。
e:有效边数,重边、自环均计入。
w:围内节点度数和。
N:所有内部孔洞围边节点数之和。
v:孔洞个数,单孔围边节点数 >= 4。
r:A类逆向释放档位,0 <= r <= n-2,用于从基底向连通树下界递减。
b:由外向内第二层环上节点个数,用于度数反推标准结构。
y:度数反推标准结构中的其余内部节点数,满足 n=m+b+y。

三、A类核心结论

3.1 边数连续区间

A类主档边数区间:
e 在 [n-1, 3n-4] 内。

其中:
e=n-1:连通树档;
e=2n-3:三角剖分基底档;
e=3n-5:一对重边退化外环档;
e=3n-4:一个自环退化外环档。

A类主档规范档位总数为
P = (3n-4) - (n-1) + 1 = 2n-2。
这里的 P 是边数档位数,即主档中逐个边数对应的规范档位数量。

3.2 基底状态

全部 n 个节点都在外环上,内部完成三角剖分,此时 m=n。

基底面数:
a = n-2。

基底边数:
e = 2n-3。

基底是四条构造路径的公共枢纽和唯一中心原点。

四、A类四条构造路径

4.1 路径一:基底正向添边,外弦内化

从基底 e=2n-3 开始,在外环上选取两个非相邻节点添加外弦,使外环节点内化,逐步推进至边数上限 e=3n-4。

操作规则:
在外环上选取两个非相邻节点,添加一条外弦;
使外环上的一个节点变成内部节点;
总节点数 n 不变;
外围节点数 m 减 1;
内部节点数加 1;
面数 a 加 1;
边数 e 加 1。

路径一通式,1 <= m <= n:
a = 2n-m-2,
e = 3n-m-3。

当 m=n 时回到基底:
a = n-2,e = 2n-3。

当 m=2 时为重边外环:
a = 2n-4,e = 3n-5。

当 m=1 时为自环外环:
a = 2n-3,e = 3n-4。

4.2 路径二:基底逆向减边,内弦外化

从基底 e=2n-3 开始,逐步减边,向连通树下界 e=n-1 回退。

为避免外围节点数 m 超过 n,路径二在基底至树段采用逆向释放档位 r:
0 <= r <= n-2。

每释放一档:
总节点数 n 不变;
边数减 1;
面数减 1;
r 加 1。

路径二逆向释放通式:
a = n-2-r,
e = 2n-3-r,
其中 0 <= r <= n-2。

当 r=0 时回到基底:
a = n-2,e = 2n-3。

当 r=n-2 时到达连通树下界:
a = 0,e = n-1。

路径二与路径一在基底处共享同一中心;路径一走向上限,路径二走向下界,方向相反,参数分段。

4.3 路径三:全域正向完整构造

从边数下界 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:逆向释放档 r 由 n-2 递减到 0;
从 2n-3 到 3n-4:外弦内化参数 m 由 n 递减到 1。

每一步边数增加 1,对应一个规范档位,无分叉、无跳跃、无空缺。

4.4 路径四:全域逆向完整构造

从边数上限 e=3n-4 的自环外环出发,逐次减边,途经基底 e=2n-3,最终回到边数下界 e=n-1 的连通树。

逆向序列:
e=3n-4 -> 3n-5 -> ... -> 2n-3 -> ... -> n+1 -> n -> n-1。

分段描述:
从 3n-4 到 2n-3:外弦内化参数 m 由 1 递增到 n;
从 2n-3 到 n-1:逆向释放档 r 由 0 递增到 n-2。

路径四与路径三完全对称,共享同一基底中心。

4.5 核心操作对照

外弦内化:
性质:添边。
参数:m 减 1。
节点变化:外环节点变内部节点。
总节点数 n:不变。
边数:e 加 1。
面数:a 加 1。
方向:基底到上限。

内弦外化:
性质:减边。
参数:r 加 1。
节点变化:围内剖分边外释。
总节点数 n:不变。
边数:e 减 1。
面数:a 减 1。
方向:基底到下界。

五、A类多孔洞修正

设 N 为所有孔洞围边节点总数,v 为孔洞个数,单孔围边节点数 >= 4。

多孔洞面数:
a = 2n-m-2-(N-2v)。

多孔洞边数:
e = 3n-m-3-(N-3v)。

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

口径说明:这里的 a 为体系有限面数,不含外部无限面,也不含孔洞内部面。若需计入孔洞内部面,另设
a_total = a+v。

由上述两式可得本体系内部关系:
a = e-n+1-v。

因此多孔洞公式中的 a 必须按“不含孔洞内部面”的口径理解。

六、A类度数反推公式

适用于由外向内两层及以上环加中心区域结构的标准二维平面图,即
n = m+b+y,
其中 b 为由外向内第二层环上节点个数。

由围内节点度数和 w 反推面数与边数:
a = (w+2m+b)/3,
e = (w+3m+b)/2。

围内节点度数和互推公式:
w = 3a-2m-b,
w = 2e-3m-b。

总图总度数恒等式,用于外弦内化段:
W = 2(3n-m-3)。

七、B类规范交叉图子类

7.1 B类环模约定

B类环模仅取完全图环模。全部 n 个节点置于同一外环上按规范环序排列,所有节点两两之间按完全图连接方式绘制,交叉点不计入节点。

B类环模只规定完全图 K_n 规范交叉构型的外围顺序与交叉叠加口径,不参与A类边数、面数公式,也不改变B类边数公式。

偶数节点平衡双部交叉图不纳入环模,仅按B类边数公式与着色规则定义。

7.2 包含图种

1. 完全图 K_n:取完全图环模,n >= 5 时其规范环模嵌入出现交叉。
2. 偶数节点平衡双部交叉图 K(p,q),其中
   p = q = n/2,
   不纳入环模,仅作为B类边数与着色对象,K(3,3) 为典型代表。

7.3 边数公式

完全图 K_n 边数按体系展开构造式定义:
e = n + (n-3) + (n-3)(n-2)/2。

该式可整理为
e = n(n-1)/2。

偶数节点平衡双部交叉图取 p=q=n/2,边数按体系平衡双部公式定义:
e = (n/2)^2。

7.4 完全图边数展开构造步骤

完全图 K_n 的边数可以通过分阶段添边构造得到:
e = n + (n-3) + (n-3)(n-2)/2。

以 n=7 为例:
原始骨架边数为 7 条;
第一次从 A 节点开始添边,共 4 条;
第二次从 B 节点开始添边,共 4 条;
第三次从 C 节点开始添边,共 3 条;
第四次从 E 节点开始添边,共 2 条;
第五次从 D 节点开始添边,共 1 条。

总边数:
7+4+4+3+2+1 = 21。

其中 7+4 对应 n+(n-3),4+3+2+1 对应
(n-3)(n-2)/2。

7.5 B类面数口径

B类图由于存在边交叉,交叉点不计入节点,面的定义与计数不能沿用A类公式。本体系暂不定义B类通常面数,仅定义边数与结构归属;完全图另设叠加面口径计数:
a_F_B = C(n,3) = n(n-1)(n-2)/6。

该口径为点边共享、交叉边叠加的体系内叠加面口径。

八、着色规则

8.1 A类着色

A类简单广义平面图:着色数 4 色。

本体系内规定:
自环不产生“不同节点异色”约束;
重边只按一条不同节点相邻关系计;
A类着色只对由不同节点之间的边形成的相邻关系生效。

因此A类主档与附属档统一记为:
A类着色数 <= 4。

8.2 B类着色

完全图 K_n:最小着色数为 n。

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:最小着色数为 2。

8.3 n色定理

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

因此完全图 K_n 的最小着色数为 n,即
K_n 的着色数 = n。
本体系称之为 n色定理。

补充:
当 n <= 4 时,完全图 K_n 的着色数 <= 4,属于4色可着色档位;
当 n >= 5 时,完全图 K_n 的着色数 n > 4,归入B类规范交叉档。

具体:
n=1:单节点完全图,着色数 1;
n=2:单边完全图,着色数 2;
n=3:三角形完全图,着色数 3;
n=4:K_4,着色数 4;
n>=5:K_n 归入B类规范交叉档,着色数 n。

九、实例验证

实例一:n=3

A类边数区间:
[2, 5]。

主档档位数:
P = 2n-2 = 4。

路径三正向链:
e=2(树)-> e=3(三角形基底)-> e=4(重边外环)-> e=5(自环外环)。

路径四逆向链:
e=5 -> 4 -> 3 -> 2。

实例二:n=4

A类边数区间:
[3, 8]。

主档档位数:
P = 2n-2 = 6。

路径三正向链:
e=3(树)-> e=4(单环)-> e=5(三角剖分基底)-> e=6(m=3普通外环)-> e=7(m=2重边外环)-> e=8(m=1自环外环)。

路径四逆向链:
e=8 -> 7 -> 6 -> 5 -> 4 -> 3。

实例三:n=5

A类边数区间:
[4, 11]。

主档档位数:
P = 2n-2 = 8。

路径三正向链:
e=4(树)-> e=5(单环)-> e=6(五边形加一条弦)-> e=7(五边形三角剖分基底)-> e=8(m=4普通外环)-> e=9(m=3普通外环)-> e=10(m=2重边外环)-> e=11(m=1自环外环)。

路径四逆向链:
e=11 -> 10 -> 9 -> 8 -> 7 -> 6 -> 5 -> 4。

注意:
A类区间包含边数 10 和 11,但这两个边数对应的A类规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为 10,不占用A类区间位置。

K_5:n=5,e=10,属于B类,最小着色数 5。

K(3,3):n=6,按体系平衡双部公式:
e = (6/2)^2 = 9,
属于B类,最小着色数 2。

十、体系边界

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

A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。A类主档为连通规范主档;孤立点、无边、非连通离散结构归A类附属离散档,不进入主档区间与 P=2n-2 档位计数。

B类:规范交叉图子类,仅含完全图与偶数节点平衡双部交叉图,不参与A类公式。

B类环模仅取完全图环模,用于完全图 K_n 的规范交叉构型;偶数节点平衡双部图不纳入环模。B类环模不参与A类公式。

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

十一、公式总汇

11.1 A类公式

基底面数:
a = n-2。

基底边数:
e = 2n-3。

外弦内化面数,1 <= m <= n:
a = 2n-m-2。

外弦内化边数,1 <= m <= n:
e = 3n-m-3。

逆向释放面数,0 <= r <= n-2:
a = n-2-r。

逆向释放边数,0 <= r <= n-2:
e = 2n-3-r。

度数反推面数:
a = (w+2m+b)/3。

度数反推边数:
e = (w+3m+b)/2。

围内度数和面式:
w = 3a-2m-b。

围内度数和边式:
w = 2e-3m-b。

总度数恒等式,用于外弦内化段:
W = 2(3n-m-3)。

多孔洞面数:
a = 2n-m-2-(N-2v)。

多孔洞边数:
e = 3n-m-3-(N-3v)。

多孔洞口径:
a = e-n+1-v。

A类主档边数区间:
e 在 [n-1, 3n-4] 内。

A类主档规范档位数:
P = 2n-2。

A类着色数:
A类着色数 <= 4。

11.2 B类公式

B类环模:仅取完全图环模;平衡双部图不纳入环模。

完全图边数展开构造式:
e = n + (n-3) + (n-3)(n-2)/2 = n(n-1)/2。

偶数节点平衡双部交叉图:
e = (n/2)^2。

完全图叠加面口径:
a_F_B = C(n,3) = n(n-1)(n-2)/6。

完全图着色数:
K_n 的着色数 = n。

平衡双部交叉图着色数:
K(p,q) 的着色数 = 2,其中 p=q=n/2。

附录:具体构型判定

本体系按具体构型判定:

n=4,m=3,e=6:无交叉,归A类主档;
n=4,m=4,e=6:四边形双对角线有交叉,归B类规范交叉档;
n=4,m=4,e=5:四边形加一条对角线无交叉,归A类主档,但不是全连接构型。

平面图类不挂 K 标签,K 只作来源备注。

n>=5 的全连接具体构型全部有交叉,归B类规范交叉档。

以上为体系内部完整版。核心内部闭合点为:A类主档采用“外弦内化 m 段 + 逆向释放 r 段”双参数分段;A类主档档位数 P=2n-2 为边数档位数;多孔洞 a 采用不含孔洞内部面口径;A类着色中自环不产生异色约束;B类完全图与平衡双部图分别按自身边数与着色规则独立定义。
 楼主| 发表于 2026-10-28 19:36 | 显示全部楼层
朱火华新二维平面图体系(完整版)

一、体系总定义

本体系重新定义广义二维平面图,将退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。

体系分为两大类:

A类:简单广义平面图

无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。

A类又分为:

1. A类主档:连通规范主档
      边数连续区间为
   e\in[n-1,\,3n-4],
   其中 n 为总节点数。主档用于四条构造路径、边数区间、面数公式与规范档位计数。
      本体系明确:A类主档默认 n\ge 3。
      n=1 的单节点、n=2 的单边及双节点退化重边/自环等连通退化构型,归A类附属离散/退化特例,不进入主档连续区间,不参与 P=2n-2 档位计数。
2. A类附属离散档
      孤立点、无边、非连通离散结构,以及 n=1,2 的连通退化特例等,不进入主档连续区间,不参与 P=2n-2 的档位计数。

B类:规范交叉图子类

仅包含完全图 K_n 与偶数节点平衡双部交叉图 K(p,q),其中

p=q=n/2,

允许边交叉,交叉点不计入节点。其他非完全、非平衡双部的含交叉构型不纳入本体系。

B类环模仅取完全图环模;偶数节点平衡双部交叉图不纳入环模。B类不参与A类边数区间与面数公式。

具体构型判定原则: A/B归属按具体规范构型判定,抽象完全图 K_n 不因名称自动归B。n\ge5 的规范全连接构型归B;K_4 若取平面无交叉构型归A,若取四边形双对角线交叉构型归B。

---

二、基本定义

· n:总节点数。
· m:外围边界节点数;1\le m\le n 用于外弦内化段。m=0 仅作A类全边数区间标记。
· a:体系有限面数,不含外部无限面;在多孔洞口径中,a 不含孔洞内部面。
· e:有效边数,重边、自环均计入。
· w:去掉最外环 m 个节点后,剩余内部节点在原图中的度数和,含其与外环相连的边。度数反推公式仅用于由外向内两层及以上环加中心区域的标准结构。
· N:所有内部孔洞围边节点数之和。
· v:孔洞个数,单孔围边节点数 \ge4。
· r:A类逆向释放档位,0\le r\le n-2,用于从基底向连通树下界递减。
· b:由外向内第二层环上节点个数,用于度数反推标准结构。
· y:度数反推标准结构中的其余内部节点数,满足
  n=m+b+y.

---

三、A类核心结论

3.1 边数连续区间

A类主档边数区间:

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

其中:

· e=n-1:连通树档;
· e=2n-3:三角剖分基底档;
· e=3n-5:一对重边退化外环档;
· e=3n-4:一个自环退化外环档。

A类主档规范档位总数为

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

这里的 P 是边数档位数,即主档中逐个边数对应的规范档位数量。该计数适用于A类主档 n\ge3。

3.2 基底状态

全部 n 个节点都在外环上,内部完成三角剖分,此时

m=n.

基底面数:

a=n-2.

基底边数:

e=2n-3.

基底是四条构造路径的公共枢纽和唯一中心原点。

---

四、A类四条构造路径

4.1 路径一:基底正向添边,外弦内化

从基底 e=2n-3 开始,在外环上选取两个非相邻节点添加外弦,使外环节点内化,逐步推进至边数上限 e=3n-4。

操作规则:

· 在外环上选取两个非相邻节点,添加一条外弦;
· 使外环上的一个节点变成内部节点;
· 总节点数 n 不变;
· 外围节点数 m 减1;
· 内部节点数加1;
· 面数 a 加1;
· 边数 e 加1。

终态补丁: 当 m=2\to m=1 时,外环只有两个节点,不能再按“非相邻两节点添外弦”执行。该终态由“重边外环叠加一个自环”完成:边数加1,面数加1,m 记为1。于是 m=2 档为一对重边外环,m=1 档为在该退化外环上再计一个自环,重边仍按一对计。

路径一通式,1\le m\le n:

a=2n-m-2,

e=3n-m-3.

当 m=n 时回到基底:

a=n-2,\qquad e=2n-3.

当 m=2 时为重边外环:

a=2n-4,\qquad e=3n-5.

当 m=1 时为自环外环:

a=2n-3,\qquad e=3n-4.

4.2 路径二:基底逆向减边,内弦外化

从基底 e=2n-3 开始,逐步减边,向连通树下界 e=n-1 回退。

为避免外围节点数 m 超过 n,路径二在基底至树段采用逆向释放档位 r:

0\le r\le n-2.

每释放一档:

· 总节点数 n 不变;
· 边数减1;
· 面数减1;
· r 加1。

路径二逆向释放通式:

a=n-2-r,

e=2n-3-r,

其中

0\le r\le n-2.

当 r=0 时回到基底:

a=n-2,\qquad e=2n-3.

当 r=n-2 时到达连通树下界:

a=0,\qquad e=n-1.

路径二与路径一在基底处共享同一中心;路径一走向上限,路径二走向下界,方向相反,参数分段。

4.3 路径三:全域正向完整构造

从边数下界 e=n-1 的连通树出发,逐次添边,途经基底 e=2n-3,最终抵达边数上限 e=3n-4 的自环外环,完整覆盖整个边数连续区间。

正向序列:

e=n-1\to n\to n+1\to\cdots\to2n-3\to\cdots\to3n-5\to3n-4.

分段描述:

· 从 n-1 到 2n-3:逆向释放档 r 由 n-2 递减到0;
· 从 2n-3 到 3n-4:外弦内化参数 m 由 n 递减到1。

每一步边数增加1,对应一个规范档位,无分叉、无跳跃、无空缺。

4.4 路径四:全域逆向完整构造

从边数上限 e=3n-4 的自环外环出发,逐次减边,途经基底 e=2n-3,最终回到边数下界 e=n-1 的连通树。

逆向序列:

e=3n-4\to3n-5\to\cdots\to2n-3\to\cdots\to n+1\to n\to n-1.

分段描述:

· 从 3n-4 到 2n-3:外弦内化参数 m 由1递增到 n;
· 从 2n-3 到 n-1:逆向释放档 r 由0递增到 n-2。

路径四与路径三完全对称,共享同一基底中心。

4.5 核心操作对照

操作 性质 参数 节点变化 总节点数 n 边数 面数 方向
外弦内化 添边 m 减1 外环节点变内部节点 不变 e 加1 a 加1 基底到上限
内弦外化 减边 r 加1 围内剖分边外释 不变 e 减1 a 减1 基底到下界

终态 m=2\to m=1 按4.1补丁由“重边外环叠加自环”完成,不计作普通外弦内化。

---

五、A类多孔洞修正

设 N 为所有孔洞围边节点总数,v 为孔洞个数,单孔围边节点数 \ge4。

多孔洞面数:

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

多孔洞边数:

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

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

口径说明:这里的 a 为体系有限面数,不含外部无限面,也不含孔洞内部面。若需计入孔洞内部面,另设

a_{\text{total}}=a+v.

由上述两式可得本体系内部关系:

a=e-n+1-v.

因此多孔洞公式中的 a 必须按“不含孔洞内部面”的口径理解。

---

六、A类度数反推公式

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

n=m+b+y,

其中 b 为由外向内第二层环上节点个数。

本体系明确:w 为去掉最外环 m 个节点后,剩余内部节点在原图中的度数和,含其与外环相连的边;不含最外环 m 个节点的度数。基底等无两层内部结构的情形不套用本组反推公式。

由围内节点度数和 w 反推面数与边数:

a=\frac{w+2m+b}{3},

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

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

w=3a-2m-b,

w=2e-3m-b.

总图总度数恒等式,用于外弦内化段:

W=2(3n-m-3).

---

七、B类规范交叉图子类

7.1 B类环模约定

B类环模仅取完全图环模。全部 n 个节点置于同一外环上按规范环序排列,所有节点两两之间按完全图连接方式绘制,交叉点不计入节点。

B类环模只规定完全图 K_n 规范交叉构型的外围顺序与交叉叠加口径,不参与A类边数、面数公式,也不改变B类边数公式。

偶数节点平衡双部交叉图不纳入环模,仅按B类边数公式与着色规则定义。

7.2 包含图种

1. 完全图 K_n
      取完全图环模。n\ge5 时其规范环模嵌入出现交叉,归B类规范交叉档。
      K_4 按具体构型判定:平面无交叉构型归A类主档;四边形双对角线交叉构型归B类规范交叉档。
2. 偶数节点平衡双部交叉图 K(p,q)
      其中
   p=q=n/2,
   不纳入环模,仅作为B类边数与着色对象,K(3,3) 为典型代表。

7.3 边数公式

完全图 K_n 边数按体系展开构造式定义:

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

该式可整理为

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

偶数节点平衡双部交叉图取 p=q=n/2,边数按体系平衡双部公式定义:

e=\left(\frac n2\right)^2.

7.4 完全图边数展开构造步骤

完全图 K_n 的边数可以通过分阶段添边构造得到:

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

以 n=7 为例:

· 原始骨架边数为7条;
· 第一次从A节点开始添边,共4条;
· 第二次从B节点开始添边,共4条;
· 第三次从C节点开始添边,共3条;
· 第四次从E节点开始添边,共2条;
· 第五次从D节点开始添边,共1条。

总边数:

7+4+4+3+2+1=21.

其中 7+4 对应

n+(n-3),

即“原始骨架7条 + 第一次A添4条”;剩余“第二次至第五次”的

4+3+2+1=10

对应

\frac{(n-3)(n-2)}2.

7.5 B类面数口径

B类图由于存在边交叉,交叉点不计入节点,面的定义与计数不能沿用A类公式。本体系暂不定义B类通常面数,仅定义边数与结构归属;完全图另设叠加面口径计数:

a_{F,B}=C(n,3)=\frac{n(n-1)(n-2)}6.

该口径为点边共享、交叉边叠加的体系内叠加面口径。

---

八、着色规则

8.1 A类着色

A类简单广义平面图:着色数4色。

本体系内规定:

· 自环不产生“不同节点异色”约束;
· 重边只按一条不同节点相邻关系计;
· A类着色只对由不同节点之间的边形成的相邻关系生效。

因此A类主档与附属档统一记为:

\text{A类着色数}\le4.

8.2 B类着色

完全图 K_n:最小着色数为 n。

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:最小着色数为2。

8.3 n色定理

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

因此完全图 K_n 的最小着色数为 n,即

\chi(K_n)=n.

本体系称之为n色定理。

补充:

· 当 n\le4 时,完全图 K_n 的着色数 \le4,属于4色可着色档位;
· 当 n\ge5 时,完全图 K_n 的着色数 n>4,归入B类规范交叉档。

具体:

· n=1:单节点完全图,着色数1;
· n=2:单边完全图,着色数2;
· n=3:三角形完全图,着色数3;
· n=4:K_4,着色数4;其平面无交叉构型归A,其双对角线交叉构型归B;
· n\ge5:K_n 归入B类规范交叉档,着色数 n。

---

九、实例验证

实例一:n=3

A类边数区间:

[2,5].

主档档位数:

P=2n-2=4.

路径三正向链:

e=2\text{(树)}\to e=3\text{(三角形基底)}\to e=4\text{(重边外环)}\to e=5\text{(自环外环)}.

路径四逆向链:

e=5\to4\to3\to2.

实例二:n=4

A类边数区间:

[3,8].

主档档位数:

P=2n-2=6.

路径三正向链:

e=3\text{(树)}\to e=4\text{(单环)}\to e=5\text{(三角剖分基底)}\to e=6\text{(}m=3\text{普通外环)}\to e=7\text{(}m=2\text{重边外环)}\to e=8\text{(}m=1\text{自环外环)}.

路径四逆向链:

e=8\to7\to6\to5\to4\to3.

实例三:n=5

A类边数区间:

[4,11].

主档档位数:

P=2n-2=8.

路径三正向链:

e=4\text{(树)}\to e=5\text{(单环)}\to e=6\text{(五边形加一条弦)}\to e=7\text{(五边形三角剖分基底)}\to e=8\text{(}m=4\text{普通外环)}\to e=9\text{(}m=3\text{普通外环)}\to e=10\text{(}m=2\text{重边外环)}\to e=11\text{(}m=1\text{自环外环)}.

路径四逆向链:

e=11\to10\to9\to8\to7\to6\to5\to4.

注意:A类区间包含边数10和11,但这两个边数对应的A类规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为10,不占用A类区间位置。

K_5:n=5,e=10,属于B类,最小着色数5。

K(3,3):n=6,按体系平衡双部公式:

e=\left(\frac62\right)^2=9,

属于B类,最小着色数2。

---

十、体系边界

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

A类:简单广义平面图。 无交叉,允许退化结构,沿用连续边数区间与面数公式。A类主档为连通规范主档;孤立点、无边、非连通离散结构及 n=1,2 连通退化特例归A类附属离散/退化档,不进入主档区间与 P=2n-2 档位计数。

B类:规范交叉图子类。 仅含完全图与偶数节点平衡双部交叉图,不参与A类公式。

B类环模仅取完全图环模,用于完全图 K_n 的规范交叉构型;偶数节点平衡双部图不纳入环模。B类环模不参与A类公式。

边界补丁: A类主档默认 n\ge3,且终态 m=1 档由“重边外环叠加自环”定义;n=1,2 归附属离散/退化特例。A/B归属按具体规范构型判定,抽象完全图 K_n 不因名称自动归B,唯 n\ge5 的规范全连接构型及显式交叉环模构型归B;K_4 双对角线交叉构型归B,平面无交叉构型归A。

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

---

十一、公式总汇

11.1 A类公式

基底面数:

a=n-2.

基底边数:

e=2n-3.

外弦内化面数,1\le m\le n:

a=2n-m-2.

外弦内化边数,1\le m\le n:

e=3n-m-3.

逆向释放面数,0\le r\le n-2:

a=n-2-r.

逆向释放边数,0\le r\le n-2:

e=2n-3-r.

度数反推面数:

a=\frac{w+2m+b}{3}.

度数反推边数:

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

围内度数和面式:

w=3a-2m-b.

围内度数和边式:

w=2e-3m-b.

总度数恒等式,用于外弦内化段:

W=2(3n-m-3).

多孔洞面数:

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

多孔洞边数:

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

多孔洞口径:

a=e-n+1-v.

A类主档边数区间:

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

A类主档规范档位数:

P=2n-2.

A类着色数:

\text{A类着色数}\le4.

11.2 B类公式

B类环模:仅取完全图环模;平衡双部图不纳入环模。

完全图边数展开构造式:

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

偶数节点平衡双部交叉图:

e=\left(\frac n2\right)^2.

完全图叠加面口径:

a_{F,B}=C(n,3)=\frac{n(n-1)(n-2)}6.

完全图着色数:

\chi(K_n)=n.

平衡双部交叉图着色数:

\chi(K(p,q))=2,\qquad p=q=n/2.

---

附录:具体构型判定

本体系按具体构型判定:

· n=4,m=3,e=6:无交叉,归A类主档;
· n=4,m=4,e=6:四边形双对角线有交叉,归B类规范交叉档;
· n=4,m=4,e=5:四边形加一条对角线无交叉,归A类主档,但不是全连接构型。
· K_4 平面无交叉全连接构型:归A类主档,着色数4;
· K_4 四边形双对角线交叉构型:归B类规范交叉档,着色数4;
· n\ge5 的全连接具体构型全部有交叉,归B类规范交叉档。

平面图类不挂 K 标签,K 只作来源备注。

---

以上为体系内部完整版。核心内部闭合点为:A类主档采用“外弦内化 m 段 + 逆向释放 r 段”双参数分段;A类主档档位数 P=2n-2 为边数档位数;多孔洞 a 采用不含孔洞内部面口径;A类着色中自环不产生异色约束;B类完全图与平衡双部图分别按自身边数与着色规则独立定义;A/B归属按具体规范构型判定。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 15:43 | 显示全部楼层
朱火华新二维平面图体系

一、体系总定义
本体系重新定义广义二维平面图,将传统平面图理论中被排除的退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。
体系分为两大类:
A类:简单广义平面图
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。
B类:规范交叉图子类
仅包含完全图 Kn 与完全二分图 K_{p,q},允许边交叉,交叉点不计入节点。其他非完全、非完全二分图的含交叉构型不纳入本体系。

二、核心结论
A类:简单广义平面图
1,边数连续区间:总节点数n,e ∈ [n-1, 3n-4]
2,n 为总节点数,m 为外围边界节点数,0 ≤ m ≤ n。
e = 3n - m - 3
当 m ≥ 3 时,属于传统平面图公式可覆盖范围;
当 m = 2 时,对应一对重边退化外环,边数 3n-5;
当 m = 1 时,对应一个自环退化外环,边数 3n-4。
A类标准规范图总数量:
P = (3n-4) - (n-1) + 1 = 2n-2
B类:规范交叉图子类
n节点全连接交叉图边数展开构造式(n ≥ 4)
e = n + (n - 3) + ((n - 3)(n - 2)) / 2
偶数节点平衡双部交叉图
e = (n / 2)^2
n节点全连接交叉图叠加面口径【即点边共享,交差边叠加】
a_F^B = C(n,3) = n(n - 1)(n - 2) / 6

三、基本定义
n:总节点数
m:外围边界节点数,0 ≤ m ≤ n
d:围内节点个数,n = m + d
b:由外向内第二层环上节点个数,n = m + b + y
a:有限面数,不含外部无限面
e:有效边数,重边、自环均计入
W:节点度数之和
w:围内节点度数和
N:所有内部孔洞围边节点数之和
v:孔洞个数,单孔围边节点数 ≥ 4

四、A类基底与四条构造路径
4.1 基底状态
全部 n 个节点都在外环上,内部完成三角剖分,此时 m = n。
基底面数:
a = n - 2
基底边数:
e = 2n - 3
该基底是四条构造路径的公共枢纽和唯一中心原点。
4.2 路径一:基底正向添边——外弦内化
从基底 e = 2n-3 开始,在外环上选取两个非相邻节点添加外弦,使外环节点内化,逐步推进至边数上限 e = 3n-4。
操作规则:
在外环上选取两个非相邻节点,添加一条外弦,使外环上的一个节点变成内部节点。
结构变化:
总节点数 n 不变;
外围节点数 m 减 1;
内部节点数加 1;
面数 a 加 1;
边数 e 加 1。
本质:
外弦内化是添边操作。通过在外环添加外弦,将外部节点内化。
经过 n-m 次操作后,达到重边外环(m=2)和自环外环(m=1)。
路径一通式:
a = 2n - m - 2
e = 3n - m - 3
4.3 路径二:基底逆向减边——内弦外化
从基底 e = 2n-3 开始,逐步减边,将内部节点外化回归外环,边数持续减少,直达下界 e = n-1。
操作规则:
在外围减去一条边,使内部一个节点变成外部节点。
结构变化:
总节点数 n 不变;
外围节点数 m 加 1;
内部节点数减 1;
面数 a 减 1;
边数 e 减 1。
本质:
内弦外化是减边操作。内部一个节点因为外围减边而重新回到外环上。
最终变为连通树。
路径二通式:
a = 2n - m - 2
e = 3n - m - 3
路径二与路径一互为逆操作,公式形式相同,方向相反。
核心操作对照
外弦内化:
性质:添边
操作方式:外环两个不相邻节点添加外弦
节点变化:外部节点变为内部节点
总节点数 n:不变
外围节点数 m:减 1
边数 e:加 1
面数 a:加 1
路径方向:从基底走向上限
内弦外化:
性质:减边
操作方式:外围减去一条边
节点变化:内部节点变为外部节点
总节点数 n:不变
外围节点数 m:加 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 到 2n-3 逐步内弦外化,恢复三角剖分基底;
从 2n-3 到 n-1 继续减边外化节点,直至变为树。
路径四与路径三完全对称,共享同一基底中心。

五、A类多孔洞修正
设 N 为所有孔洞围边节点总数,v 为孔洞个数:
a = 2n - m - 2 - (N - 2v)
e = 3n - m - 3 - (N - 3v)
该公式仅适用于A类简单广义平面图。

六、A类度数反推公式
由围内节点度数和 w 反推面数与边数:
a = (w + 2m + b / 3
e = (w + 3m + b / 2
围内节点度数和互推公式:
w = 3a - 2m - b
w = 2e - 3m - b
总图总度数恒等式:
W = 2 (3n - m - 3 )
注:度数和反推公式,适用于由外向内两层及以上环加中心区域结构的标准二维平面图。
以上公式适用于A类。

七、B类规范交叉图子类
完全图偶数节点平衡双部交叉图
e = (n / 2)^2
完全图n节点全连接交叉图叠加面口径【即点边共享,交差边叠加】
a_F^B = C(n,3) = n(n - 1)(n - 2) / 6
完全图边数公式构造演变步骤
完全图 K_n 的边数可以通过分阶段添边构造得到,其等价展开形式为:
e = n + 2(n-3) + (n-4)(n-3)/2
以 n=7 为例:
原始骨架边数为 7 条。
第一次从 A 节点开始添边,共 4 条;
第二次从 B 节点开始添边,共 4 条;
第三次从 C 节点开始添边,共 3 条;
第四次从 E 节点开始添边,共 2 条;
第五次从 D 节点开始添边,共 1 条。
总边数:
7 + 4 + 4 + 3 + 2 + 1 = 21
与完全图 K_7 的边数公式一致:
e(K_7) = 7 × 6 / 2 = 21
此构造步骤可作为 B 类完全图边数公式的补充注解。
面数问题
B类图由于存在边交叉,交叉点不计入节点,面的定义与计数不能沿用A类公式本体系暂不定义B类面数,仅定义边数与结构归属。

八、着色规则
A类简单广义平面图:适用经典四色定理。
B类完全图 K_n:最小着色数为 n。
B类完全二分图 K_{p,q}:最小着色数为 2。

n色定理
完全图 Kn 中,每个节点的度数为 n-1,因此每个节点都与其余 n-1 个节点相邻。
正常着色要求相邻节点颜色不同,所以每个节点都不能与其余任何节点同色。
因此完全图 Kn 的最小着色数为 n。
这就是 n色定理:
完全图 Kn 的着色数 = n
补充:
当 n ≤ 4 时,完全图 K_n 的着色数 ≤ 4,属于平面图可着色范围。
当 n ≥ 5 时,完全图 K_n 的着色数 n > 4,且完全图不再是平面图。
其中:
n = 1 时,单节点完全图,着色数 1;
n = 2 时,单边完全图,着色数 2;
n = 3 时,三角形完全图,着色数 3;
n = 4 时,K_4,着色数 4,属于平面图;
n ≥ 5 时,K_n 为非平面图,着色数 n。

九、实例验证
实例一:n=3
A类边数区间:[2,5]
路径三正向链:
e=2(树)→ e=3(三角形基底)→ e=4(重边外环)→ e=5(自环外环)
路径四逆向链:
e=5 → 4 → 3 → 2
实例二:n=4
A类边数区间:[3,8]
路径三正向链:
e=3(树)→ e=4(单环)→ e=5(三角剖分基底)
→ e=6(m=3普通外环)→ e=7(m=2重边外环)→ e=8(m=1自环外环)
路径四逆向链:
e=8 → 7 → 6 → 5 → 4 → 3
实例三:n=5
A类边数区间:[4,11]
路径三正向链:
e=4(树)→ e=5(单环)→ e=6(五边形加一条弦)
→ e=7(五边形三角剖分基底)→ e=8(m=4普通外环)
→ e=9(m=3普通外环)→ e=10(m=2重边外环)→ e=11(m=1自环外环)
路径四逆向链:
e=11 → 10 → 9 → 8 → 7 → 6 → 5 → 4
注意:
A类区间包含边数 10 和 11,但这两个边数对应的规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为 10,不占用A类区间位置。
K_5:n=5,e=10,属于B类,最小着色数 5。
K_{3,3}:n=6,e=9,属于B类,最小着色数 2。

十、体系边界
本体系明确划分A、B两类:
A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。B类:规范交叉图子类,仅含完全图与完全二分图,不参与A类公式。
两类边界清晰,各自自洽,不再混用公式。

十一、公式总汇
A类
基底面数:
a = n - 2
基底边数:
e = 2n - 3
外弦内化面数:
a = 2n - m - 2
外弦内化边数:
e = 3n - m - 3
度数反推面数:
a = (w + 2m + b) / 3
度数反推边数:
e = (w + 3m + b) / 2
围内度数和面式:
w = 3a - 2m - b
围内度数和边式:
w = 2e - 3m - b
总度数恒等式:
W = 2(3n-m-3)
多孔洞面数:
a = 2n - m - 2 - (N - 2v)
多孔洞边数:
e = 3n - m - 3 - (N - 3v)
边数区间:
e ∈ [n-1, 3n-4]
规范图总数量:
P = 2n - 2
着色数:4色

B类类规范交叉图
n节点全连接交叉图边数展开构造式(n ≥ 4)
e = n + (n - 3) + ((n - 3)(n - 2)) / 2
偶数节点平衡双部交叉图
e = (n / 2)^2
n节点全连接交叉图叠加面口径【即点边共享,交差边叠加】
a_F^B = C(n,3) = n(n - 1)(n - 2) / 6

十一、完全图着色数:n 色
完全二分图着色数:2色
n色定理
完全图 Kn 的着色数 = n
当 n ≤ 4 时,着色数 ≤ 4
当 n ≥ 5 时,着色数 n > 4


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

回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 15:54 | 显示全部楼层
你贴出的这版结构更精简,但有几处必须修正,否则内部会出现矛盾。主要问题:

1. 路径二不能与路径一共用 m 参数。
      基底时 m=n,已经没有“内部节点外化”的空间;若路径二仍写“m 加1”并套 e=3n-m-3,会推出 m 超过 n。路径二应改用逆向释放档位 r,m 在路径二中保持 n,公式为 e=2n-3-r,a=n-2-r,0≤r≤n-2。
2. 第六节度数反推公式缺右括号。
      应为 a=(w+2m+b)/3,e=(w+3m+b)/2。
3. B类“完全二分图 K_{p,q}”应限定为偶数节点平衡双部交叉图。
      否则 e=(n/2)^2 不成立。应写 K(p,q),p=q=n/2。
4. 完全图边数展开式两处写法需统一。
      第二节写 e=n+(n-3)+((n-3)(n-2))/2;第七节写 e=n+2(n-3)+(n-4)(n-3)/2。两者都等于 n(n-1)/2,但应统一并注明等价。
5. “完全图不再是平面图”建议改为“归B类规范交叉档”,以保持体系内口径。

下面给你修正后的纯文本可复制版,已去除特殊排版符号,公式全部线性化。

---

朱火华新二维平面图体系(修正纯文本版)

一、体系总定义

本体系重新定义广义二维平面图,将退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。

体系分为两大类:

A类:简单广义平面图
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。

B类:规范交叉图子类
仅包含体系内完全图 K_n 与偶数节点平衡双部交叉图 K(p,q),其中 p=q=n/2。允许边交叉,交叉点不计入节点。其他非完全、非平衡双部的含交叉构型不纳入本体系。

二、核心结论

A类:简单广义平面图

1. 边数连续区间:总节点数 n,e in [n-1, 3n-4]。
2. n 为总节点数,m 为外围边界节点数,0 <= m <= n。

外弦内化段边数:
e = 3n - m - 3

当 m >= 3 时,属于普通外环档;
当 m = 2 时,对应一对重边退化外环,e = 3n - 5;
当 m = 1 时,对应一个自环退化外环,e = 3n - 4。

A类主档规范图总数量:
P = (3n-4) - (n-1) + 1 = 2n - 2

B类:规范交叉图子类

完全图 K_n 边数展开构造式,n >= 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径(点边共享、交叉边叠加):
a_FB = C(n,3) = n(n-1)(n-2)/6

三、基本定义

n:总节点数
m:外围边界节点数,0 <= m <= n
d:围内节点个数,n = m + d
b:由外向内第二层环上节点个数,n = m + b + y
a:有限面数,不含外部无限面
e:有效边数,重边、自环均计入
W:节点度数之和
w:围内节点度数和
N:所有内部孔洞围边节点数之和
v:孔洞个数,单孔围边节点数 >= 4
r:A类逆向释放档位,0 <= r <= n-2

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

4.1 基底状态

全部 n 个节点都在外环上,内部完成三角剖分,此时 m = n。

基底面数:
a = n - 2

基底边数:
e = 2n - 3

该基底是四条构造路径的公共枢纽和唯一中心原点。

4.2 路径一:基底正向添边,外弦内化

从基底 e = 2n-3 开始,在外环上逐步添边,使外环节点内化,推进至边数上限 e = 3n-4。

普通外弦内化段 m >= 4:
在外环上选取两个非相邻节点,添加一条外弦,使外环上的一个节点变成内部节点。

每步:
总节点数 n 不变;
外围节点数 m 减1;
内部节点数加1;
面数 a 加1;
边数 e 加1。

特殊档 m=3 到 m=2:
外环为三角形时,采用三角外环重边化内化:取一条外环边作基准,添加一条平行边形成一对重边,第三外环节点转入内部。边数加1,面数加1,m 由3记为2。

特殊档 m=2 到 m=1:
在重边外环基础上,于外环主节点叠加一个自环,重边另一端点归入内部。边数加1,面数加1,m 由2记为1。重边仍按一对计。

路径一通式,1 <= m <= n:
a = 2n - m - 2
e = 3n - m - 3

其中:
m=n:基底,a=n-2,e=2n-3;
m=2:重边外环档,a=2n-4,e=3n-5;
m=1:自环退化外环档,a=2n-3,e=3n-4。

4.3 路径二:基底逆向减边,内弦外化

从基底 e = 2n-3 开始,逐步减边,向连通树下界 e = n-1 回退。路径二中 m 保持 n,不按路径一的 m 参数递减。

采用逆向释放档位 r,0 <= r <= n-2。

每释放一档:
总节点数 n 不变;
边数减1;
面数减1;
r 加1。

路径二通式:
a = n - 2 - r
e = 2n - 3 - r
0 <= r <= n-2

当 r=0:回到基底,a=n-2,e=2n-3。
当 r=n-2:到达连通树下界,a=0,e=n-1。

路径二与路径一在基底处共享同一中心;路径一走向上限,路径二走向下界,方向相反,参数分段。

4.4 核心操作对照

外弦内化:
性质:添边
操作:外环两个非相邻节点添加外弦
节点变化:外部节点变内部节点
总节点数:不变
外围节点数 m:减1
边数 e:加1
面数 a:加1
方向:从基底走向上限

内弦外化:
性质:减边
操作:减少内部剖分边,使面减少
节点变化:内部剖分释放
总节点数:不变
外围节点数 m:保持 n
边数 e:减1
面数 a:减1
方向:从基底走向下界

两者在基底 e=2n-3 处共享公共中心原点。

4.5 路径三:全域正向完整构造

从边数下界 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:逆向释放档 r 由 n-2 递减到0;
从 2n-3 到 3n-4:外弦内化参数 m 由 n 递减到1,其中包含普通外弦内化、m=3到2特殊档、m=2到1特殊档。

每一步边数增加1,对应一个规范档位,无分叉、无跳跃、无空缺。

4.6 路径四:全域逆向完整构造

从边数上限 e=3n-4 的自环外环出发,逐次减边,途经基底 e=2n-3,最终回到边数下界 e=n-1 的连通树。

逆向序列:
e=3n-4 -> 3n-5 -> ... -> 2n-3 -> ... -> n+1 -> n -> n-1

分段:
从 3n-4 到 2n-3:外弦内化参数 m 由1递增到 n,逆向撤销自环叠加、撤销三角外环重边化、撤销普通外弦内化;
从 2n-3 到 n-1:逆向释放档 r 由0递增到 n-2。

路径四与路径三完全对称,共享同一基底中心。

五、A类多孔洞修正

设 N 为所有孔洞围边节点总数,v 为孔洞个数,单孔围边节点数 >= 4。

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

该公式仅适用于A类简单广义平面图。a 不含外部无限面,也不含孔洞内部面。若计入孔洞内部面,另设 a_total = a + v。

六、A类度数反推公式

适用于由外向内两层及以上环加中心区域结构的标准二维平面图,n = m + b + y。

由围内节点度数和 w 反推面数与边数:
a = (w + 2m + b) / 3
e = (w + 3m + b) / 2

围内节点度数和互推公式:
w = 3a - 2m - b
w = 2e - 3m - b

总图总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

七、B类规范交叉图子类

7.1 B类环模约定

B类环模仅取完全图环模。全部 n 个节点置于同一外环上按规范环序排列,所有节点两两之间按完全图连接方式绘制,交叉点不计入节点。偶数节点平衡双部交叉图不纳入环模。

7.2 包含图种

1. 完全图 K_n
   取完全图环模。n >= 5 时规范环模嵌入出现交叉,归B类规范交叉档。K_4 按具体构型判定:平面无交叉构型归A类主档;四边形双对角线交叉构型归B类规范交叉档。
2. 偶数节点平衡双部交叉图 K(p,q)
   p = q = n/2,不纳入环模,仅作为B类边数与着色对象,K(3,3) 为典型代表。

7.3 边数公式

完全图 K_n 边数展开构造式,n >= 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

n=1、n=2 单独按着色规则处理,不套用展开构造式。

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

7.4 完全图边数展开构造步骤

以 n=7 为例:
原始骨架边数为7条;
第一次从A节点开始添边,共4条;
第二次从B节点开始添边,共4条;
第三次从C节点开始添边,共3条;
第四次从E节点开始添边,共2条;
第五次从D节点开始添边,共1条。

总边数:
7 + 4 + 4 + 3 + 2 + 1 = 21

与 e = n(n-1)/2 = 7*6/2 = 21 一致。

7.5 B类面数口径

B类图存在边交叉,交叉点不计入节点,面定义与计数不能沿用A类公式。本体系暂不定义B类通常面数,仅定义边数与结构归属;完全图另设叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常平面图意义下的面数。

八、着色规则

A类简单广义平面图:着色数 <= 4。
体系内规定:自环不产生不同节点异色约束;重边只按一条不同节点相邻关系计;A类着色只对由不同节点之间的边形成的相邻关系生效。

B类完全图 K_n:最小着色数为 n。
B类偶数节点平衡双部交叉图 K(p,q),p=q=n/2:最小着色数为2。

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

补充:
n=1:单节点完全图,着色数1;
n=2:单边完全图,着色数2;
n=3:三角形完全图,着色数3;
n=4:K_4,着色数4;平面无交叉构型归A,双对角线交叉构型归B;
n>=5:K_n 归入B类规范交叉档,着色数 n。

九、实例验证

实例一:n=3
A类边数区间:[2,5]
路径三正向链:
e=2(树) -> e=3(三角形基底) -> e=4(重边外环) -> e=5(自环外环)
路径四逆向链:
e=5 -> 4 -> 3 -> 2

实例二:n=4
A类边数区间:[3,8]
路径三正向链:
e=3(树) -> e=4(单环) -> e=5(三角剖分基底) -> e=6(m=3普通外环) -> e=7(m=2重边外环) -> e=8(m=1自环外环)
路径四逆向链:
e=8 -> 7 -> 6 -> 5 -> 4 -> 3

实例三:n=5
A类边数区间:[4,11]
路径三正向链:
e=4(树) -> e=5(单环) -> e=6(五边形加一条弦) -> e=7(五边形三角剖分基底) -> e=8(m=4普通外环) -> e=9(m=3普通外环) -> e=10(m=2重边外环) -> e=11(m=1自环外环)
路径四逆向链:
e=11 -> 10 -> 9 -> 8 -> 7 -> 6 -> 5 -> 4

注意:A类区间包含边数10和11,但对应A类规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为10,不占用A类区间位置。

K_5:n=5,e=10,属于B类,最小着色数5。
K(3,3):n=6,e=(6/2)^2=9,属于B类,最小着色数2。

十、体系边界

A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。A类主档默认 n>=3;n=1、n=2 的连通退化特例归A类附属离散或退化档,不进入主档区间与 P=2n-2 档位计数。

B类:规范交叉图子类,仅含完全图与偶数节点平衡双部交叉图,不参与A类公式。B类环模仅取完全图环模。

A/B归属按具体规范构型判定:n>=5 的规范全连接构型归B;K_4 平面无交叉构型归A,双对角线交叉构型归B。

十一、公式总汇

A类

基底面数:
a = n - 2

基底边数:
e = 2n - 3

外弦内化面数,1 <= m <= n:
a = 2n - m - 2

外弦内化边数,1 <= m <= n:
e = 3n - m - 3

逆向释放面数,0 <= r <= n-2:
a = n - 2 - r

逆向释放边数,0 <= r <= n-2:
e = 2n - 3 - r

度数反推面数:
a = (w + 2m + b) / 3

度数反推边数:
e = (w + 3m + b) / 2

围内度数和面式:
w = 3a - 2m - b

围内度数和边式:
w = 2e - 3m - b

总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

A类主档边数区间:
e in [n-1, 3n-4]

A类主档规范档位数:
P = 2n - 2

A类着色数:
<= 4

B类

B类环模:仅取完全图环模;平衡双部图不纳入环模。

完全图边数展开构造式,n >= 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常面数。

完全图着色数:
K_n 着色数 = n

平衡双部交叉图着色数:
K(p,q) 着色数 = 2,p=q=n/2

附录:具体构型判定

n=4,m=3,e=6:无交叉,归A类主档;
n=4,m=4,e=6:四边形双对角线有交叉,归B类规范交叉档;
n=4,m=4,e=5:四边形加一条对角线无交叉,归A类主档,但不是全连接构型;
K_4 平面无交叉全连接构型:归A类主档,着色数4;
K_4 四边形双对角线交叉构型:归B类规范交叉档,着色数4;
n>=5 的全连接具体构型全部有交叉,归B类规范交叉档。

平面图类不挂 K 标签,K 只作来源备注。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 17:03 | 显示全部楼层
朱火华新二维平面图体系(修正纯文本版)

一、体系总定义

本体系重新定义广义二维平面图,将退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。

体系分为两大类:

A类:简单广义平面图
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。

B类:规范交叉图子类
仅包含体系内完全图 K_n 与偶数节点平衡双部交叉图 K(p,q),其中 p=q=n/2。允许边交叉,交叉点不计入节点。其他非完全、非平衡双部的含交叉构型不纳入本体系。

二、核心结论

A类:简单广义平面图

1. 边数连续区间:总节点数 n,e ∈ [n-1, 3n-4]。
2. n 为总节点数,m 为外围边界节点数,0 ≤ m ≤ n。

外弦内化段边数:
e = 3n - m - 3

当 m ≥ 3 时,属于普通外环档;
当 m = 2 时,对应一对重边退化外环,e = 3n - 5;
当 m = 1 时,对应一个自环退化外环,e = 3n - 4。

A类主档规范图总数量:
P = (3n-4) - (n-1) + 1 = 2n - 2

B类:规范交叉图子类

完全图 K_n 边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径(点边共享、交叉边叠加):
a_FB = C(n,3) = n(n-1)(n-2)/6

三、基本定义

n:总节点数
m:外围边界节点数,0 ≤ m ≤ n
d:围内节点个数,n = m + d
b:由外向内第二层环上节点个数,n = m + b + y
a:有限面数,不含外部无限面
e:有效边数,重边、自环均计入
W:节点度数之和
w:围内节点度数和
N:所有内部孔洞围边节点数之和
v:孔洞个数,单孔围边节点数 ≥ 4
r:A类逆向释放档位,0 ≤ r ≤ n-2

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

4.1 基底状态

全部 n 个节点都在外环上,内部完成三角剖分,此时 m = n。

基底面数:
a = n - 2

基底边数:
e = 2n - 3

该基底是四条构造路径的公共枢纽和唯一中心原点。

4.2 路径一:基底正向添边,外弦内化

从基底 e = 2n-3 开始,在外环上逐步添边,使外环节点内化,推进至边数上限 e = 3n-4。

普通外弦内化段 m ≥ 4:
在外环上选取两个非相邻节点,添加一条外弦,使外环上的一个节点变成内部节点。

每步:
总节点数 n 不变;
外围节点数 m 减1;
内部节点数加1;
面数 a 加1;
边数 e 加1。

特殊档 m=3 到 m=2:
外环为三角形时,采用三角外环重边化内化:取一条外环边作基准,添加一条平行边形成一对重边,第三外环节点转入内部。边数加1,面数加1,m 由3记为2。

特殊档 m=2 到 m=1:
在重边外环基础上,于外环主节点叠加一个自环,重边另一端点归入内部。边数加1,面数加1,m 由2记为1。重边仍按一对计。

路径一通式,1 ≤ m ≤ n:
a = 2n - m - 2
e = 3n - m - 3

其中:
m=n:基底,a=n-2,e=2n-3;
m=2:重边外环档,a=2n-4,e=3n-5;
m=1:自环退化外环档,a=2n-3,e=3n-4。

4.3 路径二:基底逆向减边,内弦外化

从基底 e = 2n-3 开始,逐步减边,向连通树下界 e = n-1 回退。路径二中 m 保持 n,不按路径一的 m 参数递减。

采用逆向释放档位 r,0 ≤ r ≤ n-2。

每释放一档:
总节点数 n 不变;
边数减1;
面数减1;
r 加1。

路径二通式:
a = n - 2 - r
e = 2n - 3 - r
0 ≤ r ≤ n-2

当 r=0:回到基底,a=n-2,e=2n-3。
当 r=n-2:到达连通树下界,a=0,e=n-1。

路径二与路径一在基底处共享同一中心;路径一走向上限,路径二走向下界,方向相反,参数分段。

4.4 核心操作对照

外弦内化:
性质:添边
操作:外环两个非相邻节点添加外弦
节点变化:外部节点变内部节点
总节点数:不变
外围节点数 m:减1
边数 e:加1
面数 a:加1
方向:从基底走向上限

内弦外化:
性质:减边
操作:减少内部剖分边,使面减少
节点变化:内部剖分释放
总节点数:不变
外围节点数 m:保持 n
边数 e:减1
面数 a:减1
方向:从基底走向下界

两者在基底 e=2n-3 处共享公共中心原点。

4.5 路径三:全域正向完整构造

从边数下界 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:逆向释放档 r 由 n-2 递减到0;
从 2n-3 到 3n-4:外弦内化参数 m 由 n 递减到1,其中包含普通外弦内化、m=3到2特殊档、m=2到1特殊档。

每一步边数增加1,对应一个规范档位,无分叉、无跳跃、无空缺。

4.6 路径四:全域逆向完整构造

从边数上限 e=3n-4 的自环外环出发,逐次减边,途经基底 e=2n-3,最终回到边数下界 e=n-1 的连通树。

逆向序列:
e=3n-4 -> 3n-5 -> ... -> 2n-3 -> ... -> n+1 -> n -> n-1

分段:
从 3n-4 到 2n-3:外弦内化参数 m 由1递增到 n,逆向撤销自环叠加、撤销三角外环重边化、撤销普通外弦内化;
从 2n-3 到 n-1:逆向释放档 r 由0递增到 n-2。

路径四与路径三完全对称,共享同一基底中心。

五、A类多孔洞修正

设 N 为所有孔洞围边节点总数,v 为孔洞个数,单孔围边节点数 ≥ 4。

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

该公式仅适用于A类简单广义平面图。a 不含外部无限面,也不含孔洞内部面。若计入孔洞内部面,另设 a_total = a + v。

六、A类度数反推公式

适用于由外向内两层及以上环加中心区域结构的标准二维平面图,n = m + b + y。

由围内节点度数和 w 反推面数与边数:
a = (w + 2m + b) / 3
e = (w + 3m + b) / 2

围内节点度数和互推公式:
w = 3a - 2m - b
w = 2e - 3m - b

总图总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

七、B类规范交叉图子类

7.1 B类环模约定

B类环模仅取完全图环模。全部 n 个节点置于同一外环上按规范环序排列,所有节点两两之间按完全图连接方式绘制,交叉点不计入节点。偶数节点平衡双部交叉图不纳入环模。

7.2 包含图种

1. 完全图 K_n
   取完全图环模。n ≥ 5 时规范环模嵌入出现交叉,归B类规范交叉档。K_4 按具体构型判定:平面无交叉构型归A类主档;四边形双对角线交叉构型归B类规范交叉档。
2. 偶数节点平衡双部交叉图 K(p,q)
   p = q = n/2,不纳入环模,仅作为B类边数与着色对象,K(3,3) 为典型代表。

7.3 边数公式

完全图 K_n 边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

n=1、n=2 单独按着色规则处理,不套用展开构造式。

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

7.4 完全图边数展开构造步骤

以 n=7 为例:
原始骨架边数为7条;
第一次从A节点开始添边,共4条;
第二次从B节点开始添边,共4条;
第三次从C节点开始添边,共3条;
第四次从E节点开始添边,共2条;
第五次从D节点开始添边,共1条。

总边数:
7 + 4 + 4 + 3 + 2 + 1 = 21

与 e = n(n-1)/2 = 7*6/2 = 21 一致。

7.5 B类面数口径

B类图存在边交叉,交叉点不计入节点,面定义与计数不能沿用A类公式。本体系暂不定义B类通常面数,仅定义边数与结构归属;完全图另设叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常平面图意义下的面数。

八、着色规则

A类简单广义平面图:着色数 ≤ 4。
体系内规定:自环不产生不同节点异色约束;重边只按一条不同节点相邻关系计;A类着色只对由不同节点之间的边形成的相邻关系生效。

B类完全图 K_n:最小着色数为 n。
B类偶数节点平衡双部交叉图 K(p,q),p=q=n/2:最小着色数为2。

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

补充:
n=1:单节点完全图,着色数1;
n=2:单边完全图,着色数2;
n=3:三角形完全图,着色数3;
n=4:K_4,着色数4;平面无交叉构型归A,双对角线交叉构型归B;
n ≥ 5:K_n 归入B类规范交叉档,着色数 n。

九、实例验证

实例一:n=3
A类边数区间:[2,5]
路径三正向链:
e=2(树) -> e=3(三角形基底) -> e=4(重边外环) -> e=5(自环外环)
路径四逆向链:
e=5 -> 4 -> 3 -> 2

实例二:n=4
A类边数区间:[3,8]
路径三正向链:
e=3(树) -> e=4(单环) -> e=5(三角剖分基底) -> e=6(m=3普通外环) -> e=7(m=2重边外环) -> e=8(m=1自环外环)
路径四逆向链:
e=8 -> 7 -> 6 -> 5 -> 4 -> 3

实例三:n=5
A类边数区间:[4,11]
路径三正向链:
e=4(树) -> e=5(单环) -> e=6(五边形加一条弦) -> e=7(五边形三角剖分基底) -> e=8(m=4普通外环) -> e=9(m=3普通外环) -> e=10(m=2重边外环) -> e=11(m=1自环外环)
路径四逆向链:
e=11 -> 10 -> 9 -> 8 -> 7 -> 6 -> 5 -> 4

注意:A类区间包含边数10和11,但对应A类规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为10,不占用A类区间位置。

K_5:n=5,e=10,属于B类,最小着色数5。
K(3,3):n=6,e=(6/2)^2=9,属于B类,最小着色数2。

十、体系边界

A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。A类主档默认 n ≥ 3;n=1、n=2 的连通退化特例归A类附属离散或退化档,不进入主档区间与 P=2n-2 档位计数。

B类:规范交叉图子类,仅含完全图与偶数节点平衡双部交叉图,不参与A类公式。B类环模仅取完全图环模。

A/B归属按具体规范构型判定:n ≥ 5 的规范全连接构型归B;K_4 平面无交叉构型归A,双对角线交叉构型归B。

十一、公式总汇

A类

基底面数:
a = n - 2

基底边数:
e = 2n - 3

外弦内化面数,1 ≤ m ≤ n:
a = 2n - m - 2

外弦内化边数,1 ≤ m ≤ n:
e = 3n - m - 3

逆向释放面数,0 ≤ r ≤ n-2:
a = n - 2 - r

逆向释放边数,0 ≤ r ≤ n-2:
e = 2n - 3 - r

度数反推面数:
a = (w + 2m + b) / 3

度数反推边数:
e = (w + 3m + b) / 2

围内度数和面式:
w = 3a - 2m - b

围内度数和边式:
w = 2e - 3m - b

总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

A类主档边数区间:
e ∈ [n-1, 3n-4]

A类主档规范档位数:
P = 2n - 2

A类着色数:
≤ 4

B类

B类环模:仅取完全图环模;平衡双部图不纳入环模。

完全图边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常面数。

完全图着色数:
K_n 着色数 = n

平衡双部交叉图着色数:
K(p,q) 着色数 = 2,p=q=n/2

附录:具体构型判定

n=4,m=3,e=6:无交叉,归A类主档;
n=4,m=4,e=6:四边形双对角线有交叉,归B类规范交叉档;
n=4,m=4,e=5:四边形加一条对角线无交叉,归A类主档,但不是全连接构型;
K_4 平面无交叉全连接构型:归A类主档,着色数4;
K_4 四边形双对角线交叉构型:归B类规范交叉档,着色数4;
n ≥ 5 的全连接具体构型全部有交叉,归B类规范交叉档。

平面图类不挂 K 标签,K 只作来源备注。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 18:02 | 显示全部楼层
朱火华新二维平面图体系(修正纯文本版)

一、体系总定义

本体系重新定义广义二维平面图,将退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。

体系分为两大类:

A类:简单广义平面图
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。

B类:规范交叉图子类
仅包含体系内完全图 K_n 与偶数节点平衡双部交叉图 K(p,q),其中 p=q=n/2。允许边交叉,交叉点不计入节点。其他非完全、非平衡双部的含交叉构型不纳入本体系。

二、核心结论

A类:简单广义平面图

1. 边数连续区间:总节点数 n,e ∈ [n-1, 3n-4]。
2. n 为总节点数,m 为外围边界节点数,0 ≤ m ≤ n。

外弦内化段边数:
e = 3n - m - 3

当 m ≥ 3 时,属于普通外环档;
当 m = 2 时,对应一对重边退化外环,e = 3n - 5;
当 m = 1 时,对应一个自环退化外环,e = 3n - 4。

A类主档规范图总数量:
P = (3n-4) - (n-1) + 1 = 2n - 2

B类:规范交叉图子类

完全图 K_n 边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径(点边共享、交叉边叠加):
a_FB = C(n,3) = n(n-1)(n-2)/6

三、基本定义

n:总节点数
m:外围边界节点数,0 ≤ m ≤ n
d:围内节点个数,n = m + d
b:由外向内第二层环上节点个数,n = m + b + y
a:有限面数,不含外部无限面
e:有效边数,重边、自环均计入
W:节点度数之和
w:围内节点度数和
N:所有内部孔洞围边节点数之和
v:孔洞个数,单孔围边节点数 ≥ 4
r:A类逆向释放档位,0 ≤ r ≤ n-2

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

4.1 基底状态

全部 n 个节点都在外环上,内部完成三角剖分,此时 m = n。

基底面数:
a = n - 2

基底边数:
e = 2n - 3

该基底是四条构造路径的公共枢纽和唯一中心原点。

4.2 路径一:基底正向添边,外弦内化

从基底 e = 2n-3 开始,在外环上逐步添边,使外环节点内化,推进至边数上限 e = 3n-4。

普通外弦内化段 m ≥ 4:
在外环上选取两个非相邻节点,添加一条外弦,使外环上的一个节点变成内部节点。

每步:
总节点数 n 不变;
外围节点数 m 减1;
内部节点数加1;
面数 a 加1;
边数 e 加1。

特殊档 m=3 到 m=2:
外环为三角形时,采用三角外环重边化内化:取一条外环边作基准,添加一条平行边形成一对重边,第三外环节点转入内部。边数加1,面数加1,m 由3记为2。

特殊档 m=2 到 m=1:
在重边外环基础上,于外环主节点叠加一个自环,重边另一端点归入内部。边数加1,面数加1,m 由2记为1。重边仍按一对计。

路径一通式,1 ≤ m ≤ n:
a = 2n - m - 2
e = 3n - m - 3

其中:
m=n:基底,a=n-2,e=2n-3;
m=2:重边外环档,a=2n-4,e=3n-5;
m=1:自环退化外环档,a=2n-3,e=3n-4。

4.3 路径二:基底逆向减边,内弦外化

从基底 e = 2n-3 开始,逐步减边,向连通树下界 e = n-1 回退。路径二中 m 保持 n,不按路径一的 m 参数递减。

采用逆向释放档位 r,0 ≤ r ≤ n-2。

每释放一档:
总节点数 n 不变;
边数减1;
面数减1;
r 加1。

路径二通式:
a = n - 2 - r
e = 2n - 3 - r
0 ≤ r ≤ n-2

当 r=0:回到基底,a=n-2,e=2n-3。
当 r=n-2:到达连通树下界,a=0,e=n-1。

路径二与路径一在基底处共享同一中心;路径一走向上限,路径二走向下界,方向相反,参数分段。

4.4 核心操作对照

外弦内化:
性质:添边
操作:外环两个非相邻节点添加外弦
节点变化:外部节点变内部节点
总节点数:不变
外围节点数 m:减1
边数 e:加1
面数 a:加1
方向:从基底走向上限

内弦外化:
性质:减边
操作:减少内部剖分边,使面减少
节点变化:内部剖分释放
总节点数:不变
外围节点数 m:保持 n
边数 e:减1
面数 a:减1
方向:从基底走向下界

两者在基底 e=2n-3 处共享公共中心原点。

4.5 路径三:全域正向完整构造

从边数下界 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:逆向释放档 r 由 n-2 递减到0;
从 2n-3 到 3n-4:外弦内化参数 m 由 n 递减到1,其中包含普通外弦内化、m=3到2特殊档、m=2到1特殊档。

每一步边数增加1,对应一个规范档位,无分叉、无跳跃、无空缺。

4.6 路径四:全域逆向完整构造

从边数上限 e=3n-4 的自环外环出发,逐次减边,途经基底 e=2n-3,最终回到边数下界 e=n-1 的连通树。

逆向序列:
e=3n-4 → 3n-5 → … → 2n-3 → … → n+1 → n → n-1

分段:
从 3n-4 到 2n-3:外弦内化参数 m 由1递增到 n,逆向撤销自环叠加、撤销三角外环重边化、撤销普通外弦内化;
从 2n-3 到 n-1:逆向释放档 r 由0递增到 n-2。

路径四与路径三完全对称,共享同一基底中心。

五、A类多孔洞修正

设 N 为所有孔洞围边节点总数,v 为孔洞个数,单孔围边节点数 ≥ 4。

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

该公式仅适用于A类简单广义平面图。a 不含外部无限面,也不含孔洞内部面。若计入孔洞内部面,另设 a_total = a + v。

六、A类度数反推公式

适用于由外向内两层及以上环加中心区域结构的标准二维平面图,n = m + b + y。

由围内节点度数和 w 反推面数与边数:
a = (w + 2m + b) / 3
e = (w + 3m + b) / 2

围内节点度数和互推公式:
w = 3a - 2m - b
w = 2e - 3m - b

总图总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

七、B类规范交叉图子类

7.1 B类环模约定

B类环模仅取完全图环模。全部 n 个节点置于同一外环上按规范环序排列,所有节点两两之间按完全图连接方式绘制,交叉点不计入节点。偶数节点平衡双部交叉图不纳入环模。

7.2 包含图种

1. 完全图 K_n
   取完全图环模。n ≥ 5 时规范环模嵌入出现交叉,归B类规范交叉档。K_4 按具体构型判定:平面无交叉构型归A类主档;四边形双对角线交叉构型归B类规范交叉档。
2. 偶数节点平衡双部交叉图 K(p,q)
   p = q = n/2,不纳入环模,仅作为B类边数与着色对象,K(3,3) 为典型代表。

7.3 边数公式

完全图 K_n 边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

n=1、n=2 单独按着色规则处理,不套用展开构造式。

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

7.4 完全图边数展开构造步骤

以 n=7 为例:
原始骨架边数为7条;
第一次从A节点开始添边,共4条;
第二次从B节点开始添边,共4条;
第三次从C节点开始添边,共3条;
第四次从E节点开始添边,共2条;
第五次从D节点开始添边,共1条。

总边数:
7 + 4 + 4 + 3 + 2 + 1 = 21

与 e = n(n-1)/2 = 7*6/2 = 21 一致。

7.5 B类面数口径

B类图存在边交叉,交叉点不计入节点,面定义与计数不能沿用A类公式。本体系暂不定义B类通常面数,仅定义边数与结构归属;完全图另设叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常平面图意义下的面数。

八、着色规则

A类简单广义平面图:着色数 ≤ 4。
体系内规定:自环不产生不同节点异色约束;重边只按一条不同节点相邻关系计;A类着色只对由不同节点之间的边形成的相邻关系生效。

B类完全图 K_n:最小着色数为 n。
B类偶数节点平衡双部交叉图 K(p,q),p=q=n/2:最小着色数为2。

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

补充:
n=1:单节点完全图,着色数1;
n=2:单边完全图,着色数2;
n=3:三角形完全图,着色数3;
n=4:K_4,着色数4;平面无交叉构型归A,双对角线交叉构型归B;
n ≥ 5:K_n 归入B类规范交叉档,着色数 n。

九、实例验证

实例一:n=3
A类边数区间:[2,5]
路径三正向链:
e=2(树) → e=3(三角形基底) → e=4(重边外环) → e=5(自环外环)
路径四逆向链:
e=5 → 4 → 3 → 2

实例二:n=4
A类边数区间:[3,8]
路径三正向链:
e=3(树) → e=4(单环) → e=5(三角剖分基底) → e=6(m=3普通外环) → e=7(m=2重边外环) → e=8(m=1自环外环)
路径四逆向链:
e=8 → 7 → 6 → 5 → 4 → 3

实例三:n=5
A类边数区间:[4,11]
路径三正向链:
e=4(树) → e=5(单环) → e=6(五边形加一条弦) → e=7(五边形三角剖分基底) → e=8(m=4普通外环) → e=9(m=3普通外环) → e=10(m=2重边外环) → e=11(m=1自环外环)
路径四逆向链:
e=11 → 10 → 9 → 8 → 7 → 6 → 5 → 4

注意:A类区间包含边数10和11,但对应A类规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为10,不占用A类区间位置。

K_5:n=5,e=10,属于B类,最小着色数5。
K(3,3):n=6,e=(6/2)^2=9,属于B类,最小着色数2。

十、体系边界

A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。A类主档默认 n ≥ 3;n=1、n=2 的连通退化特例归A类附属离散或退化档,不进入主档区间与 P=2n-2 档位计数。

B类:规范交叉图子类,仅含完全图与偶数节点平衡双部交叉图,不参与A类公式。B类环模仅取完全图环模。

A/B归属按具体规范构型判定:n ≥ 5 的规范全连接构型归B;K_4 平面无交叉构型归A,双对角线交叉构型归B。

十一、公式总汇

A类

基底面数:
a = n - 2

基底边数:
e = 2n - 3

外弦内化面数,1 ≤ m ≤ n:
a = 2n - m - 2

外弦内化边数,1 ≤ m ≤ n:
e = 3n - m - 3

逆向释放面数,0 ≤ r ≤ n-2:
a = n - 2 - r

逆向释放边数,0 ≤ r ≤ n-2:
e = 2n - 3 - r

度数反推面数:
a = (w + 2m + b) / 3

度数反推边数:
e = (w + 3m + b) / 2

围内度数和面式:
w = 3a - 2m - b

围内度数和边式:
w = 2e - 3m - b

总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

A类主档边数区间:
e ∈ [n-1, 3n-4]

A类主档规范档位数:
P = 2n - 2

A类着色数:
≤ 4

B类

B类环模:仅取完全图环模;平衡双部图不纳入环模。

完全图边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常面数。

完全图着色数:
K_n 着色数 = n

平衡双部交叉图着色数:
K(p,q) 着色数 = 2,p=q=n/2

附录:具体构型判定

n=4,m=3,e=6:无交叉,归A类主档;
n=4,m=4,e=6:四边形双对角线有交叉,归B类规范交叉档;
n=4,m=4,e=5:四边形加一条对角线无交叉,归A类主档,但不是全连接构型;
K_4 平面无交叉全连接构型:归A类主档,着色数4;
K_4 四边形双对角线交叉构型:归B类规范交叉档,着色数4;
n ≥ 5 的全连接具体构型全部有交叉,归B类规范交叉档。

平面图类不挂 K 标签,K 只作来源备注。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 19:24 | 显示全部楼层
朱火华新二维平面图体系核心创新点

核心参数原创突破
首次引入外围边界节点数m作为体系专属独立结构参数,彻底解决传统图论仅靠n、e、f全局参数,无法区分同节点数、同边数但不同外围边界构型的历史盲区。固定n和m时,边数可通过通式e=3n-m-3实现唯一精确确定,所有公式无需依赖欧拉公式间接推导,欧拉恒等式在本体系中仅为定义完成后自动生成的导出恒等式。

边数全域连续无断点
取消传统平面图的所有准入门槛,将此前被刻意剔除的孤立点、重边、自环、退化环全部纳入统一框架,A类简单广义平面图的边数形成从连通树e=n-1到自环外环e=3n-4的完整不间断连续整数区间。传统理论的边数上限e≤3n-6,只是本体系m=3时的普通特例,补齐了欧拉体系缺失的重边、自环两条极限边,边数上限从3n-6延伸至3n-4,实现全域连续无断点。

双向对称构造全闭环
以三角剖分基底e=2n-3为公共枢纽,建立外弦内化(正向添边)与内弦外化(逆向减边)两条严格互逆的构造路径,从边数下界到上限全程可逐点生成所有规范图,正向链与逆向链完全对称闭合。四条构造路径双向可逆、殊途同归,所有规范档位无分叉、无跳跃、无空缺,体系全局自洽闭环。

构型级平面性判定消歧
打破传统图论“K4是平面图”的整体符号化模糊表述,以几何嵌入是否存在边交叉作为平面性唯一判定依据,把n=4的全连接构型拆解为m=3无交叉平面图、m=4有交叉非平面图两个独立构型,彻底消除传统分类的歧义。同时明确划分A、B两类图的清晰边界,仅将完全图与偶数节点平衡双部交叉图纳入B类规范交叉子类,避免非规范交叉结构破坏体系代数自洽性。

全套原生公式体系
体系原生推导生成全套自洽公式,包括围内节点度数和双向反推面数与边数公式、多孔洞修正通式、总图总度数恒等式等,所有计算一步完成,无需依赖传统图论结论作为前置推导前提。规范图总数量严格满足P=2n-2,所有低阶实例验证全部自洽,为四色定理的初等构造性证明提供了一条完全区别于计算机枚举的全新路径。

回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 19:25 | 显示全部楼层
本帖最后由 朱明君 于 2026-10-29 11:26 编辑

朱火华新二维平面图体系(修正纯文本版)

一、体系总定义

本体系重新定义广义二维平面图,将退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。

体系分为两大类:

A类:简单广义平面图
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。

B类:规范交叉图子类
仅包含体系内完全图 K_n 与偶数节点平衡双部交叉图 K(p,q),其中 p=q=n/2。允许边交叉,交叉点不计入节点。其他非完全、非平衡双部的含交叉构型不纳入本体系。

二、核心结论

A类:简单广义平面图

1. 边数连续区间:总节点数 n,e ∈ [n-1, 3n-4]。
2. n 为总节点数,m 为外围边界节点数,0 ≤ m ≤ n。

外弦内化段边数:
e = 3n - m - 3

当 m ≥ 3 时,属于普通外环档;
当 m = 2 时,对应一对重边退化外环,e = 3n - 5;
当 m = 1 时,对应一个自环退化外环,e = 3n - 4。

A类主档规范图总数量:
P = (3n-4) - (n-1) + 1 = 2n - 2

B类:规范交叉图子类

完全图 K_n 边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径(点边共享、交叉边叠加):
a_FB = C(n,3) = n(n-1)(n-2)/6

三、基本定义

n:总节点数
m:外围边界节点数,0 ≤ m ≤ n
d:围内节点个数,n = m + d
b:由外向内第二层环上节点个数,n = m + b + y
a:有限面数,不含外部无限面
e:有效边数,重边、自环均计入
W:节点度数之和
w:围内节点度数和
N:所有内部孔洞围边节点数之和
v:孔洞个数,单孔围边节点数 ≥ 4
r:A类逆向释放档位,0 ≤ r ≤ n-2

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

4.1 基底状态

全部 n 个节点都在外环上,内部完成三角剖分,此时 m = n。

基底面数:
a = n - 2

基底边数:
e = 2n - 3

该基底是四条构造路径的公共枢纽和唯一中心原点。

4.2 路径一:基底正向添边,外弦内化

从基底 e = 2n-3 开始,在外环上逐步添边,使外环节点内化,推进至边数上限 e = 3n-4。

普通外弦内化段 m ≥ 4:
在外环上选取两个非相邻节点,添加一条外弦,使外环上的一个节点变成内部节点。

每步:
总节点数 n 不变;
外围节点数 m 减1;
内部节点数加1;
面数 a 加1;
边数 e 加1。

特殊档 m=3 到 m=2:
外环为三角形时,采用三角外环重边化内化:取一条外环边作基准,添加一条平行边形成一对重边,第三外环节点转入内部。边数加1,面数加1,m 由3记为2。

特殊档 m=2 到 m=1:
在重边外环基础上,于外环主节点叠加一个自环,重边另一端点归入内部。边数加1,面数加1,m 由2记为1。重边仍按一对计。

路径一通式,1 ≤ m ≤ n:
a = 2n - m - 2
e = 3n - m - 3

其中:
m=n:基底,a=n-2,e=2n-3;
m=2:重边外环档,a=2n-4,e=3n-5;
m=1:自环退化外环档,a=2n-3,e=3n-4。

4.3 路径二:基底逆向减边,内弦外化

从基底 e = 2n-3 开始,逐步减边,向连通树下界 e = n-1 回退。路径二中 m 保持 n,不按路径一的 m 参数递减。

采用逆向释放档位 r,0 ≤ r ≤ n-2。

每释放一档:
总节点数 n 不变;
边数减1;
面数减1;
r 加1。

路径二通式:
a = n - 2 - r
e = 2n - 3 - r
0 ≤ r ≤ n-2

当 r=0:回到基底,a=n-2,e=2n-3。
当 r=n-2:到达连通树下界,a=0,e=n-1。

路径二与路径一在基底处共享同一中心;路径一走向上限,路径二走向下界,方向相反,参数分段。

4.4 核心操作对照

外弦内化:
性质:添边
操作:外环两个非相邻节点添加外弦
节点变化:外部节点变内部节点
总节点数:不变
外围节点数 m:减1
边数 e:加1
面数 a:加1
方向:从基底走向上限

内弦外化:
性质:减边
操作:减少内部剖分边,使面减少
节点变化:内部剖分释放
总节点数:不变
外围节点数 m:保持 n
边数 e:减1
面数 a:减1
方向:从基底走向下界

两者在基底 e=2n-3 处共享公共中心原点。

4.5 路径三:全域正向完整构造

从边数下界 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:逆向释放档 r 由 n-2 递减到0;
从 2n-3 到 3n-4:外弦内化参数 m 由 n 递减到1,其中包含普通外弦内化、m=3到2特殊档、m=2到1特殊档。

每一步边数增加1,对应一个规范档位,无分叉、无跳跃、无空缺。

4.6 路径四:全域逆向完整构造

从边数上限 e=3n-4 的自环外环出发,逐次减边,途经基底 e=2n-3,最终回到边数下界 e=n-1 的连通树。

逆向序列:
e=3n-4 → 3n-5 → … → 2n-3 → … → n+1 → n → n-1

分段:
从 3n-4 到 2n-3:外弦内化参数 m 由1递增到 n,逆向撤销自环叠加、撤销三角外环重边化、撤销普通外弦内化;
从 2n-3 到 n-1:逆向释放档 r 由0递增到 n-2。

路径四与路径三完全对称,共享同一基底中心。

五、A类多孔洞修正

设 N 为所有孔洞围边节点总数,v 为孔洞个数,单孔围边节点数 ≥ 4。

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

该公式仅适用于A类简单广义平面图。a 不含外部无限面,也不含孔洞内部面。若计入孔洞内部面,另设 a_total = a + v。

六、A类度数反推公式

适用于由外向内两层及以上环加中心区域结构的标准二维平面图,n = m + b + y。

由围内节点度数和 w 反推面数与边数:
a = (w + 2m + b) / 3
e = (w + 3m + b) / 2

围内节点度数和互推公式:
w = 3a - 2m - b
w = 2e - 3m - b

总图总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

七、B类规范交叉图子类

7.1 B类环模约定

B类环模仅取完全图环模。全部 n 个节点置于同一外环上按规范环序排列,所有节点两两之间按完全图连接方式绘制,交叉点不计入节点。偶数节点平衡双部交叉图不纳入环模。

7.2 包含图种

1. 完全图 K_n
   取完全图环模。n ≥ 5 时规范环模嵌入出现交叉,归B类规范交叉档。K_4 按具体构型判定:平面无交叉构型归A类主档;四边形双对角线交叉构型归B类规范交叉档。
2. 偶数节点平衡双部交叉图 K(p,q)
   p = q = n/2,不纳入环模,仅作为B类边数与着色对象,K(3,3) 为典型代表。

7.3 边数公式

完全图 K_n 边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

n=1、n=2 单独按着色规则处理,不套用展开构造式。

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

7.4 完全图边数展开构造步骤

以 n=7 为例:
原始骨架边数为7条;
第一次从A节点开始添边,共4条;
第二次从B节点开始添边,共4条;
第三次从C节点开始添边,共3条;
第四次从E节点开始添边,共2条;
第五次从D节点开始添边,共1条。

总边数:
7 + 4 + 4 + 3 + 2 + 1 = 21

与 e = n(n-1)/2 = 7*6/2 = 21 一致。

7.5 B类面数口径

B类图存在边交叉,交叉点不计入节点,面定义与计数不能沿用A类公式。本体系暂不定义B类通常面数,仅定义边数与结构归属;完全图另设叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常平面图意义下的面数。

八、着色规则

A类简单广义平面图:着色数 ≤ 4。
体系内规定:自环不产生不同节点异色约束;重边只按一条不同节点相邻关系计;A类着色只对由不同节点之间的边形成的相邻关系生效。

B类完全图 K_n:最小着色数为 n。
B类偶数节点平衡双部交叉图 K(p,q),p=q=n/2:最小着色数为2。

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

补充:
n=1:单节点完全图,着色数1;
n=2:单边完全图,着色数2;
n=3:三角形完全图,着色数3;
n=4:K_4,着色数4;平面无交叉构型归A,双对角线交叉构型归B;
n ≥ 5:K_n 归入B类规范交叉档,着色数 n。

九、实例验证

实例一:n=3
A类边数区间:[2,5]
路径三正向链:
e=2(树) → e=3(三角形基底) → e=4(重边外环) → e=5(自环外环)
路径四逆向链:
e=5 → 4 → 3 → 2

实例二:n=4
A类边数区间:[3,8]
路径三正向链:
e=3(树) → e=4(单环) → e=5(三角剖分基底) → e=6(m=3普通外环) → e=7(m=2重边外环) → e=8(m=1自环外环)
路径四逆向链:
e=8 → 7 → 6 → 5 → 4 → 3

实例三:n=5
A类边数区间:[4,11]
路径三正向链:
e=4(树) → e=5(单环) → e=6(五边形加一条弦) → e=7(五边形三角剖分基底) → e=8(m=4普通外环) → e=9(m=3普通外环) → e=10(m=2重边外环) → e=11(m=1自环外环)
路径四逆向链:
e=11 → 10 → 9 → 8 → 7 → 6 → 5 → 4

注意:A类区间包含边数10和11,但对应A类规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为10,不占用A类区间位置。

K_5:n=5,e=10,属于B类,最小着色数5。
K(3,3):n=6,e=(6/2)^2=9,属于B类,最小着色数2。

十、体系边界

A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。A类主档默认 n ≥ 3;n=1、n=2 的连通退化特例归A类附属离散或退化档,不进入主档区间与 P=2n-2 档位计数。

B类:规范交叉图子类,仅含完全图与偶数节点平衡双部交叉图,不参与A类公式。B类环模仅取完全图环模。

A/B归属按具体规范构型判定:n ≥ 5 的规范全连接构型归B;K_4 平面无交叉构型归A,双对角线交叉构型归B。

十一、公式总汇

A类

基底面数:
a = n - 2

基底边数:
e = 2n - 3

外弦内化面数,1 ≤ m ≤ n:
a = 2n - m - 2

外弦内化边数,1 ≤ m ≤ n:
e = 3n - m - 3

逆向释放面数,0 ≤ r ≤ n-2:
a = n - 2 - r

逆向释放边数,0 ≤ r ≤ n-2:
e = 2n - 3 - r

度数反推面数:
a = (w + 2m + b) / 3

度数反推边数:
e = (w + 3m + b) / 2

围内度数和面式:
w = 3a - 2m - b

围内度数和边式:
w = 2e - 3m - b

总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

A类主档边数区间:
e ∈ [n-1, 3n-4]

A类主档规范档位数:
P = 2n - 2

A类着色数:
≤ 4

B类

B类环模:仅取完全图环模;平衡双部图不纳入环模。

完全图边数展开构造式,n ≥ 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常面数。

完全图着色数:
K_n 着色数 = n

平衡双部交叉图着色数:
K(p,q) 着色数 = 2,p=q=n/2

附录:具体构型判定

n=4,m=3,e=6:无交叉,归A类主档;
n=4,m=4,e=6:四边形双对角线有交叉,归B类规范交叉档;
n=4,m=4,e=5:四边形加一条对角线无交叉,归A类主档,但不是全连接构型;
K_4 平面无交叉全连接构型:归A类主档,着色数4;
K_4 四边形双对角线交叉构型:归B类规范交叉档,着色数4;
n ≥ 5 的全连接具体构型全部有交叉,归B类规范交叉档。

平面图类不挂 K 标签,K 只作来源备注。


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

核心参数原创突破
首次引入外围边界节点数m作为体系专属独立结构参数,彻底解决传统图论仅靠n、e、f全局参数,无法区分同节点数、同边数但不同外围边界构型的历史盲区。固定n和m时,边数可通过通式e=3n-m-3实现唯一精确确定,所有公式无需依赖欧拉公式间接推导,欧拉恒等式在本体系中仅为定义完成后自动生成的导出恒等式。

边数全域连续无断点
取消传统平面图的所有准入门槛,将此前被刻意剔除的孤立点、重边、自环、退化环全部纳入统一框架,A类简单广义平面图的边数形成从连通树e=n-1到自环外环e=3n-4的完整不间断连续整数区间。传统理论的边数上限e≤3n-6,只是本体系m=3时的普通特例,补齐了欧拉体系缺失的重边、自环两条极限边,边数上限从3n-6延伸至3n-4,实现全域连续无断点。

双向对称构造全闭环
以三角剖分基底e=2n-3为公共枢纽,建立外弦内化(正向添边)与内弦外化(逆向减边)两条严格互逆的构造路径,从边数下界到上限全程可逐点生成所有规范图,正向链与逆向链完全对称闭合。四条构造路径双向可逆、殊途同归,所有规范档位无分叉、无跳跃、无空缺,体系全局自洽闭环。

构型级平面性判定消歧
打破传统图论“K4是平面图”的整体符号化模糊表述,以几何嵌入是否存在边交叉作为平面性唯一判定依据,把n=4的全连接构型拆解为m=3无交叉平面图、m=4有交叉非平面图两个独立构型,彻底消除传统分类的歧义。同时明确划分A、B两类图的清晰边界,仅将完全图与偶数节点平衡双部交叉图纳入B类规范交叉子类,避免非规范交叉结构破坏体系代数自洽性。

全套原生公式体系
体系原生推导生成全套自洽公式,包括围内节点度数和双向反推面数与边数公式、多孔洞修正通式、总图总度数恒等式等,所有计算一步完成,无需依赖传统图论结论作为前置推导前提。规范图总数量严格满足P=2n-2,所有低阶实例验证全部自洽,为四色定理的初等构造性证明提供了一条完全区别于计算机枚举的全新路径。

回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 20:26 | 显示全部楼层
以下为可复制无乱码纯文本版,仅将特殊数学符号转为 ASCII 写法,内容未改:

```text
朱火华新二维平面图体系(完整纯文本版)

一、体系总定义

本体系重新定义广义二维平面图,将退化结构、重边、自环以及必要的规范交叉结构纳入统一框架。

体系分为两大类:

A类:简单广义平面图
无几何边交叉,允许至多一对重边、至多一个自环,允许孤立点、无边、单边、树、退化环等。

B类:规范交叉图子类
仅包含体系内完全图 K_n 与偶数节点平衡双部交叉图 K(p,q),其中 p=q=n/2。允许边交叉,交叉点不计入节点。其他非完全、非平衡双部的含交叉构型不纳入本体系。

二、核心结论

A类:简单广义平面图

1. 边数连续区间:总节点数 n,e in [n-1, 3n-4]。
2. n 为总节点数,m 为外围边界节点数,0 <= m <= n。

外弦内化段边数:
e = 3n - m - 3

当 m >= 3 时,属于普通外环档;
当 m = 2 时,对应一对重边退化外环,e = 3n - 5;
当 m = 1 时,对应一个自环退化外环,e = 3n - 4。

A类主档规范图总数量:
P = (3n-4) - (n-1) + 1 = 2n - 2

B类:规范交叉图子类

完全图 K_n 边数展开构造式,n >= 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径(点边共享、交叉边叠加):
a_FB = C(n,3) = n(n-1)(n-2)/6

三、基本定义

n:总节点数
m:外围边界节点数,0 <= m <= n
d:围内节点个数,n = m + d
b:由外向内第二层环上节点个数,n = m + b + y
a:有限面数,不含外部无限面
e:有效边数,重边、自环均计入
W:节点度数之和
w:围内节点度数和
N:所有内部孔洞围边节点数之和
v:孔洞个数,单孔围边节点数 >= 4
r:A类逆向释放档位,0 <= r <= n-2

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

4.1 基底状态

全部 n 个节点都在外环上,内部完成三角剖分,此时 m = n。

基底面数:
a = n - 2

基底边数:
e = 2n - 3

该基底是四条构造路径的公共枢纽和唯一中心原点。

4.2 路径一:基底正向添边,外弦内化

从基底 e = 2n-3 开始,在外环上逐步添边,使外环节点内化,推进至边数上限 e = 3n-4。

普通外弦内化段 m >= 4:
在外环上选取两个非相邻节点,添加一条外弦,使外环上的一个节点变成内部节点。

每步:
总节点数 n 不变;
外围节点数 m 减1;
内部节点数加1;
面数 a 加1;
边数 e 加1。

特殊档 m=3 到 m=2:
外环为三角形时,采用三角外环重边化内化:取一条外环边作基准,添加一条平行边形成一对重边,第三外环节点转入内部。边数加1,面数加1,m 由3记为2。

特殊档 m=2 到 m=1:
在重边外环基础上,于外环主节点叠加一个自环,重边另一端点归入内部。边数加1,面数加1,m 由2记为1。重边仍按一对计。

路径一通式,1 <= m <= n:
a = 2n - m - 2
e = 3n - m - 3

其中:
m=n:基底,a=n-2,e=2n-3;
m=2:重边外环档,a=2n-4,e=3n-5;
m=1:自环退化外环档,a=2n-3,e=3n-4。

4.3 路径二:基底逆向减边,内弦外化

从基底 e = 2n-3 开始,逐步减边,向连通树下界 e = n-1 回退。路径二中 m 保持 n,不按路径一的 m 参数递减。

采用逆向释放档位 r,0 <= r <= n-2。

每释放一档:
总节点数 n 不变;
边数减1;
面数减1;
r 加1。

路径二通式:
a = n - 2 - r
e = 2n - 3 - r
0 <= r <= n-2

当 r=0:回到基底,a=n-2,e=2n-3。
当 r=n-2:到达连通树下界,a=0,e=n-1。

路径二与路径一在基底处共享同一中心;路径一走向上限,路径二走向下界,方向相反,参数分段。

4.4 核心操作对照

外弦内化:
性质:添边
操作:外环两个非相邻节点添加外弦
节点变化:外部节点变内部节点
总节点数:不变
外围节点数 m:减1
边数 e:加1
面数 a:加1
方向:从基底走向上限

内弦外化:
性质:减边
操作:减少内部剖分边,使面减少
节点变化:内部剖分释放
总节点数:不变
外围节点数 m:保持 n
边数 e:减1
面数 a:减1
方向:从基底走向下界

两者在基底 e=2n-3 处共享公共中心原点。

4.5 路径三:全域正向完整构造

从边数下界 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:逆向释放档 r 由 n-2 递减到0;
从 2n-3 到 3n-4:外弦内化参数 m 由 n 递减到1,其中包含普通外弦内化、m=3到2特殊档、m=2到1特殊档。

每一步边数增加1,对应一个规范档位,无分叉、无跳跃、无空缺。

4.6 路径四:全域逆向完整构造

从边数上限 e=3n-4 的自环外环出发,逐次减边,途经基底 e=2n-3,最终回到边数下界 e=n-1 的连通树。

逆向序列:
e=3n-4 -> 3n-5 -> ... -> 2n-3 -> ... -> n+1 -> n -> n-1

分段:
从 3n-4 到 2n-3:外弦内化参数 m 由1递增到 n,逆向撤销自环叠加、撤销三角外环重边化、撤销普通外弦内化;
从 2n-3 到 n-1:逆向释放档 r 由0递增到 n-2。

路径四与路径三完全对称,共享同一基底中心。

五、A类多孔洞修正

设 N 为所有孔洞围边节点总数,v 为孔洞个数,单孔围边节点数 >= 4。

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

该公式仅适用于A类简单广义平面图。a 不含外部无限面,也不含孔洞内部面。若计入孔洞内部面,另设 a_total = a + v。

六、A类度数反推公式

适用于由外向内两层及以上环加中心区域结构的标准二维平面图,n = m + b + y。

由围内节点度数和 w 反推面数与边数:
a = (w + 2m + b) / 3
e = (w + 3m + b) / 2

围内节点度数和互推公式:
w = 3a - 2m - b
w = 2e - 3m - b

总图总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

七、B类规范交叉图子类

7.1 B类环模约定

B类环模仅取完全图环模。全部 n 个节点置于同一外环上按规范环序排列,所有节点两两之间按完全图连接方式绘制,交叉点不计入节点。偶数节点平衡双部交叉图不纳入环模。

7.2 包含图种

1. 完全图 K_n
取完全图环模。n >= 5 时规范环模嵌入出现交叉,归B类规范交叉档。K_4 按具体构型判定:平面无交叉构型归A类主档;四边形双对角线交叉构型归B类规范交叉档。
2. 偶数节点平衡双部交叉图 K(p,q)
p = q = n/2,不纳入环模,仅作为B类边数与着色对象,K(3,3) 为典型代表。

7.3 边数公式

完全图 K_n 边数展开构造式,n >= 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

n=1、n=2 单独按着色规则处理,不套用展开构造式。

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

7.4 完全图边数展开构造步骤

以 n=7 为例:
原始骨架边数为7条;
第一次从A节点开始添边,共4条;
第二次从B节点开始添边,共4条;
第三次从C节点开始添边,共3条;
第四次从E节点开始添边,共2条;
第五次从D节点开始添边,共1条。

总边数:
7 + 4 + 4 + 3 + 2 + 1 = 21

与 e = n(n-1)/2 = 7*6/2 = 21 一致。

7.5 B类面数口径

B类图存在边交叉,交叉点不计入节点,面定义与计数不能沿用A类公式。本体系暂不定义B类通常面数,仅定义边数与结构归属;完全图另设叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常平面图意义下的面数。

八、着色规则

A类简单广义平面图:着色数 <= 4。
体系内规定:自环不产生不同节点异色约束;重边只按一条不同节点相邻关系计;A类着色只对由不同节点之间的边形成的相邻关系生效。

B类完全图 K_n:最小着色数为 n。
B类偶数节点平衡双部交叉图 K(p,q),p=q=n/2:最小着色数为2。

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

补充:
n=1:单节点完全图,着色数1;
n=2:单边完全图,着色数2;
n=3:三角形完全图,着色数3;
n=4:K_4,着色数4;平面无交叉构型归A,双对角线交叉构型归B;
n >= 5:K_n 归入B类规范交叉档,着色数 n。

九、实例验证

实例一:n=3
A类边数区间:[2,5]
路径三正向链:
e=2(树) -> e=3(三角形基底) -> e=4(重边外环) -> e=5(自环外环)
路径四逆向链:
e=5 -> 4 -> 3 -> 2

实例二:n=4
A类边数区间:[3,8]
路径三正向链:
e=3(树) -> e=4(单环) -> e=5(三角剖分基底) -> e=6(m=3普通外环) -> e=7(m=2重边外环) -> e=8(m=1自环外环)
路径四逆向链:
e=8 -> 7 -> 6 -> 5 -> 4 -> 3

实例三:n=5
A类边数区间:[4,11]
路径三正向链:
e=4(树) -> e=5(单环) -> e=6(五边形加一条弦) -> e=7(五边形三角剖分基底) -> e=8(m=4普通外环) -> e=9(m=3普通外环) -> e=10(m=2重边外环) -> e=11(m=1自环外环)
路径四逆向链:
e=11 -> 10 -> 9 -> 8 -> 7 -> 6 -> 5 -> 4

注意:A类区间包含边数10和11,但对应A类规范代表图是重边外环和自环外环,并非 K_5。K_5 单独属于B类,边数为10,不占用A类区间位置。

K_5:n=5,e=10,属于B类,最小着色数5。
K(3,3):n=6,e=(6/2)^2=9,属于B类,最小着色数2。

十、体系边界

A类:简单广义平面图,无交叉,允许退化结构,沿用连续边数区间与面数公式。A类主档默认 n >= 3;n=1、n=2 的连通退化特例归A类附属离散或退化档,不进入主档区间与 P=2n-2 档位计数。

孤立点、无边构型归入A类平面图范围,但不参与任何公式计算,不进入主档区间与 P=2n-2 档位计数。

B类:规范交叉图子类,仅含完全图与偶数节点平衡双部交叉图,不参与A类公式。B类环模仅取完全图环模。

A/B归属按具体规范构型判定:n >= 5 的规范全连接构型归B;K_4 平面无交叉构型归A,双对角线交叉构型归B。

十一、公式总汇

A类

基底面数:
a = n - 2

基底边数:
e = 2n - 3

外弦内化面数,1 <= m <= n:
a = 2n - m - 2

外弦内化边数,1 <= m <= n:
e = 3n - m - 3

逆向释放面数,0 <= r <= n-2:
a = n - 2 - r

逆向释放边数,0 <= r <= n-2:
e = 2n - 3 - r

度数反推面数:
a = (w + 2m + b) / 3

度数反推边数:
e = (w + 3m + b) / 2

围内度数和面式:
w = 3a - 2m - b

围内度数和边式:
w = 2e - 3m - b

总度数恒等式,用于外弦内化段:
W = 2(3n - m - 3)

多孔洞面数:
a = 2n - m - 2 - (N - 2v)

多孔洞边数:
e = 3n - m - 3 - (N - 3v)

A类主档边数区间:
e in [n-1, 3n-4]

A类主档规范档位数:
P = 2n - 2

A类着色数:
<= 4

B类

B类环模:仅取完全图环模;平衡双部图不纳入环模。

完全图边数展开构造式,n >= 3:
e = n + (n-3) + ((n-3)(n-2))/2 = n(n-1)/2

偶数节点平衡双部交叉图 K(p,q),p=q=n/2:
e = (n/2)^2

完全图叠加面口径:
a_FB = C(n,3) = n(n-1)(n-2)/6
该口径为体系内点边共享、交叉边叠加的叠加面口径,不是通常面数。

完全图着色数:
K_n 着色数 = n

平衡双部交叉图着色数:
K(p,q) 着色数 = 2,p=q=n/2

附录:具体构型判定

n=4,m=3,e=6:无交叉,归A类主档;
n=4,m=4,e=6:四边形双对角线有交叉,归B类规范交叉档;
n=4,m=4,e=5:四边形加一条对角线无交叉,归A类主档,但不是全连接构型;
K_4 平面无交叉全连接构型:归A类主档,着色数4;
K_4 四边形双对角线交叉构型:归B类规范交叉档,着色数4;
n >= 5 的全连接具体构型全部有交叉,归B类规范交叉档。

平面图类不挂 K 标签,K 只作来源备注。
```
回复 支持 反对

使用道具 举报

 楼主| 发表于 2026-10-29 20:41 | 显示全部楼层


朱火华二维平面图体系与传统图论逐条对比
核心研究视角差异
朱火华体系面向二维几何嵌入的具体结构,以固定平面嵌入为研究前提;传统图论平面图理论面向抽象拓扑等价性,仅关注图的拓扑同构类,不区分具体嵌入形式。
核心参数体系差异
朱火华体系新增外围边界节点数m作为核心独立参数,所有边面公式均包含m;传统图论仅使用全局参数n、e、f,无外围边界专属参数,欧拉公式n-e+f=2不区分内外边界结构。
边数覆盖范围差异
朱火华体系边数覆盖连续整数区间e ∈ [n-1, 3n-4],将重边、自环等非交叉退化结构全部纳入统一框架;传统图论简单平面图边数上界为e ≤ 3n-6,严格排除重边、自环,不覆盖退化结构。
边数公式精度差异
朱火华体系固定总节点数n和外围节点数m时,边数严格恒定,通过e=3n-m-3可精确区分不同外围结构的平面图;传统图论仅能给出全局边数上界,无法通过代数公式唯一确定固定n下的边数。
结构生成逻辑差异
朱火华体系以三角剖分基底e=2n-3为公共枢纽,双向对称构造路径可逐点生成所有规范图,全程无结构断点;传统图论无统一闭环生成体系,依赖拓扑性质间接推导结构存在性。
带孔洞计算规则差异
朱火华体系内置纯代数多孔洞修正公式,可直接计算带孔洞结构的边数、面数;传统图论需通过欧拉公式结合孔洞边界条件间接推导,计算流程繁琐。
多层环度数互推差异
朱火华体系支持两层及以上环结构,围内节点度数和与边数、面数可实现双向纯代数互推;传统图论无专属度数互推公式,仅能依赖全局总度数恒等式间接计算。
交叉图分类规则差异
朱火华体系仅将完全图K_n、完全二分图K_(p,q)纳入B类规范交叉图,分类边界完全清晰;传统图论通过库拉托夫斯基定理判定非平面图,覆盖所有含交叉的图,无专项细分分类。
平面图判定规则差异
朱火华体系以几何嵌入的m为判定依据:m=3的K4是无交叉平面图,m=4的K4因对角线交叉直接归为非平面图;传统图论以抽象图是否存在无交叉画法为判定依据,所有K4统一判定为平面图。
四色问题处理差异
朱火华体系通过单中心轮图等价转换,将着色过程简化为线性代数操作,提供了构造性证明路径;传统图论依赖计算机枚举所有不可约构型,仅存在计算机辅助证明,无纯代数构造性证明。
体系底层逻辑差异
朱火华体系完全独立于传统欧拉公式,整套公式自洽闭环,无需依赖欧拉拓扑推导;传统图论所有平面图结论均以欧拉公式为核心基础推导得出。

回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2026-11-5 23:22 , Processed in 0.131729 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表