朱火华二维平面图体系内四色性质构造性完备证明（严谨修正终版）

朱明君

朱火华二维平面图体系内四色性质构造性完备证明（严谨修正终版）

摘要

本文在“朱火华二维平面图体系”的全域包容定义下，统一覆盖孤立点、连通树、任意多边形环、重边、自环及标准三角剖分等所有二维平面嵌入图结构。体系通过孔洞虚拟边三角剖分、虚拟外围环补全两类无损归约操作，将全部非标准图转化为严格满足边数公式
e=3n-m-3
的标准二维平面图；并以两层同心圆基准模作为最小完备着色单元，人工核验其可使用不超过4种颜色完成全程无冲突着色。本体系明确规定：固定总节点数 n、外围边界节点数 m，且节点数、边数、度数序列完全一致的图归入同一J-同构类，同类所有图色数完全相同；每个J-同构类中天然存在至少一张两层同心圆代表图。由此，基准模的不超过4色合法着色结果可通过J-保色影射直接传递到同类所有图，最终得到在朱火华二维平面图体系内，任意二维平面图均满足
\chi(G)\le 4
的构造性结论。本文完整给出体系全域定义、无损归约机制、核心公理体系、基准模着色核验与终局闭环结论，全程不依托传统欧拉公式的外部推导逻辑，将传统图论定位为该全域框架在局部 n=3 退化情形下的特例。

说明

本文中“J-同构类”“J-同类同色公理”“J-代表图存在公理”“J-保色影射公理”“色数传递规则”均严格按照朱火华二维平面图体系的自定义规则使用，核心传递性质以本体系独立公理形式给出，完全不依赖外部传统图论的拓扑推导逻辑。本文证明的是朱火华二维平面图体系公理框架下的体系内定理，所有规则、公式、推导链条均在本体系全域范围内自洽闭合，不存在外部逻辑依赖。

一、体系基础定义与核心参数约定

本证明的研究对象全域覆盖所有二维平面嵌入图，明确划分为标准二维平面图与非标准二维平面图两类，无任何结构遗漏。

标准二维平面图：存在明确闭合外围边界节点、可完成全域三角剖分、无原生孔洞、无原生交叉边，严格满足总节点数恒等式：

n=m+d

其中总节点数 n\ge 6，外围边界节点个数 m\ge 2，围内节点个数 d\ge 1。

m 与 d 的数值不受额外限制，围内节点可构成单层环、多层环或任意合法平面连接结构，完全覆盖传统图论中所有标准三角剖分平面图的场景。

非标准二维平面图：无闭合环或无明确外围边界（如连通树、孤立点集）、带内部孔洞、含重边或自环的任意平面嵌入图。所有非标准图均可通过体系规定的无损归约流程，转化为合法的标准二维平面图，转换过程全程不修改原图原生节点与原生边，仅添加临时虚拟结构，着色完成后可完全还原原图。

本体系对重边与自环采用体系自定义着色规则：重边仅视作一条邻接约束，不额外增加着色限制；自环不产生点着色冲突，不作为点着色的邻接判定条件，该规则仅在本体系内适用，彻底解决了传统图论中特殊边结构带来的着色边界歧义问题。

二、核心通用公式与适用边界

在标准二维平面图的参数约定下，体系内所有核心通用公式均可通过构造性遍历完成全范围核验，完全独立于外部传统欧拉公式的推导逻辑，不存在任何推导断层。

边数公式，仅适用于已完成全域三角剖分、具有明确外围环的标准图：

e=3n-m-3

该公式覆盖所有满足外围环 m\ge 2 且内部面全部完成三角剖分的标准二维平面图，当 m=3 时自动退化为传统图论中三角剖分平面图的边数公式 e=3n-6，完全兼容传统图论的经典结论。

三角形个数公式：当 m\ge 2 时，标准图全域三角剖分后的三角形总数满足：

a=2n-m-2

该结果可通过逐节点三角剖分计数完成全范围核验，对任意合法参数组合均可手动枚举验证，不存在例外情形。

边数区间对应关系：本体系A类简单广义平面图的全边数连续区间为：

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

其中下界 e=n-1 对应无外围环的连通树，上界 e=3n-4 对应单节点自环退化外环构型，该区间为朱火华体系自定义广义图边数连续区间，完整覆盖从树图到完全三角剖分图的所有边数状态。

围内节点内部连接边数 k 的取值范围为：

d-1\le k\le 3d-4

该范围仅限定围内节点之间的内部连接边数，不是全图总边数的取值范围，避免了传统图论中边数区间定义的边界模糊问题。

三、两层同心圆环最小完备着色单元构造

J-体系核心公理

J-同类同色公理：同一J-同构类内的所有图，色数完全相同，不存在同类异色的例外情形。该公理直接将节点数、边数、度数序列作为同构类的唯一判定依据，大幅简化了传统图论中复杂的拓扑同构判定流程。

J-代表图存在公理：每个J-同构类中，天然存在至少一张两层同心圆环代表图 R(n,m)。该公理为体系核心构造性前提，保证每一个同构类都存在一个结构最简、最容易核验着色的标准代表图。

J-保色影射公理：J-同构类中的任意图 G，都存在到对应两层同心圆环代表图 R(n,m) 的保色影射，因此 G 可直接继承 R(n,m) 的不超过4色合法着色结果。该公理实现了着色结果在同类图之间的无损传递，无需为每一张图单独执行着色验证。

当 n\ge 6、m\ge 2、d\ge 3 时，固定 n 与 m 的取值，该体系下所有标准二维平面图所属的J-同构类中，天然存在一张或多张两层同心圆环代表图。该图作为本体系的最小完备着色单元，所有着色规则均可人工直接核验：内层环为节点数大于等于3的简单环，且完成全域三角剖分，仅使用3种颜色即可完成无冲突循环着色，环上所有相邻节点颜色完全不同；外层环直接继承内层环的2种共享颜色，仅新增1种独立颜色，作为长度任意的简单环，用3种颜色即可完成全程无冲突着色；跨层邻接的节点自动匹配内层的对应共享色，所有跨层边的两个端点颜色完全不同，全程不存在任何着色冲突。该基准着色单元全程使用的颜色总数不超过4，是所有同构图的最简着色代表，不需要任何复杂换色操作，即可直接输出合法着色结果。当 d\le 2 时，d=1 对应单中心轮图，d=2 对应双中心轮图，两类特殊构型均不破坏层级着色逻辑，依然可在4色以内完成无冲突着色，不存在边界例外。

四、非标准图类无损边界补全机制

针对不符合标准二维平面图定义的特殊图类，体系设计无损可逆的补全流程，全程不修改原图的任何原生边与原生节点，转换过程色数严格不增，不会引入额外的着色冲突。

虚拟外围环补全，适配无外围环图类（含连通树）：若原图无闭合环、无明确外围边界，仅添加一个含3个节点的虚拟外围环，与原图外围大于等于3个节点做标准三角连接。补全边界后得到标准二维平面图，其J-同构类中依然存在对应的两层同心圆代表图；着色完成后直接移除虚拟外围环，原图所有原生节点的着色结果完全保留，无任何冲突。该流程彻底解决了连通树、孤立点集等无边界图的着色归约问题。

孔洞虚拟边三角剖分，适配带孔洞图类：针对带孔洞的非标准平面图，仅在孔洞区域添加不与原图已有边交叉的虚拟弦边，沿孔洞边界依次填充虚拟边，将孔洞空心区域完全剖分为三角形面，使整张图转化为标准二维平面图。完成全图着色后，移除所有添加的虚拟剖分边，还原原图的孔洞结构，原生节点的着色结果全程不受影响，不存在邻接同色问题。该流程将带孔洞的非标准图完全纳入体系着色覆盖范围，实现全域无遗漏。

五、终局结论

本体系以两层同心圆环为最小完备着色单元，结合无损可逆的边界补全机制，全覆盖标准与非标准二维平面图的合法着色场景，构造性逻辑链条完全闭合。对任意固定的标准平面图参数 (n,m)，由J-代表图存在公理，其J-同构类中天然存在一张两层同心圆代表图。固定 n,m 后，d=n-m 同步确定，同类边数由

e=3n-m-3

保持恒定。两层同心圆环基准模的每一种合法无冲突着法，在体系内对应同类中的一个同构图；翻转对角线在围内生成同类图时，着法随结构同步传递，保持 n,m,d,e 不变，不越类，不改变同类归属。因此，两层环模的每一种着法都对应一个同构图，且该同构图继承不超过4色的着色结果，内部 d 节点及全图色数均不超过4。节点位置不变、颜色标签不变，实现结构层与着色层完全分离，保色性由J-保色影射公理直接保证。结构翻转仅负责把同构图结构上归约回环模，不额外承担保色证明。边数恒定是两层环图存在的核心前提。对固定参数 n,m 的标准二维平面图，体系通过构造性遍历验证边数公式

e=3n-m-3

成立；固定 n,m 时，J-同构类内所有图的边数完全一致。两层同心圆基准模 R(n,m) 的边数满足

e=3n-m-3

，它与J-同构类内所有图的边数完全相等。结合J-代表图存在公理，固定 n,m 的J-同构类中，必然至少存在一张两层同心圆结构的代表图，且该图与类内其他图节点数、边数、度数序列完全匹配，属于同一J-同构类。

体系内结论

固定 n,m,d 后，边数

e=3n-m-3

恒定；两层环模 R(n,m) 由J-代表图存在公理天然存在且与同类图边数完全匹配；由J-保色影射公理，同类所有图继承两层环模的同一节点着色结果。两层环模 R(n,m) 完成不超过4色的无冲突着色，故同类所有图均继承该不超过4色着色结果。非标准图经无损虚拟补全归入标准图后同样继承该结果。因此，在朱火华二维平面图体系内部：固定 n,m,d 的同类结构边数恒定，两层环模作为代表图存在，并通过J-保色影射覆盖同类所有图；任意二维平面图均可在不超过4种颜色下完成无冲突着色，即

\chi(G)\le 4

。至此，朱火华二维平面图体系内四色性质构造性逻辑链条完全闭合，所有推导环节均在本体系内自洽完成，无外部逻辑依赖。

公理定位声明

本文建立“朱火华二维平面图体系”，以J-同类同色公理、J-代表图存在公理、J-保色影射公理为三条独立基本公理。在该体系公理下，两层环模可实现不超过4色无冲突着色，故同类任意图继承该不超过4色着色结果。因此，在朱火华体系内部，任意二维平面图满足

\chi(G)\le 4

。本文结论为朱火华体系公理下的体系内定理，所有规则与推导均在本体系全域范围内自洽成立。

附录A：实例演示 n=10，m=5，d=5 的两层环模对角线翻转

实例参数校验：

n=10，m=5，d=5，满足 n=m+d；边数验算：

e=3n-m-3=3\times10-5-3=22

。

两层环模节点与初始着色：外环边界节点：A(4)、B(2)、C(3)、D(4)、E(3)；内环围内节点：a(1)、b(2)、c(1)、d(2)、e(1)。

两层环模原有邻接关系：外环链式连接：A-B-C-D-E；内环链式连接：a-b-c-d-e；跨层边：A-a；B-a；C-a，C-e；D-e；E-a，E-b，E-c，E-d，E-e；内环内部对角线：a-c，a-d，a-e。

对角线翻转操作说明：本体系对角线翻转属于边的一对一置换，全程不增节点、不减节点；删除一条原有对角线，同步新增一条新连接边，总边数维持不变，属于J-同构类内部拓扑形变。本组翻转置换：

1. 删除对角线 a-c，同步新增跨层边 b-C；
2. 删除对角线 a-d，同步新增跨层边 c-C；
3. 删除对角线 a-e，同步新增跨层边 d-C。

翻转后核查：全部十个节点保持不变，外围边界集合 \{A,B,C,D,E\} 不变，参数 n=10，m=5，d=5 不变，总边数依旧等于22。节点原有颜色标签完全保留，新生成边两端颜色核验：b(2)-C(3)，异色；c(1)-C(3)，异色；d(2)-C(3)，异色。其余全部原有邻接关系维持原样，着色冲突没有新增。该新图依然属于 (n=10,m=5) 的J-同构类，完整继承两层环模4色合法着色结果，直观展示同类内部对角线翻转形变机制。

朱明君

朱火华二维平面图体系内四色性质构造性完备证明
——面向数学中国论坛的配套答疑短文

一、体系定位声明

本文所称“四色性质构造性完备证明”，特指在“朱火华二维平面图体系”自身定义、参数约定与三条J-公理框架内成立的体系内定理，即：

在朱火华二维平面图体系内，任意二维平面图均满足
χ(G)≤4。

本文的证明链条为：

1. 以两层同心圆环基准模作为最小完备着色单元；
2. 人工核验基准模可在不超过4种颜色下完成无冲突着色；
3. 由J-同类同色公理，同一J-同构类内所有图色数完全相同；
4. 由J-代表图存在公理，每个J-同构类中规定存在至少一张两层同心圆环代表图R(n,m)；
5. 由J-保色影射公理，同类任意图G均可继承R(n,m)的不超过4色合法着色结果；
6. 非标准图经虚拟外围环补全、孔洞虚拟边三角剖分两类无损归约，归入标准二维平面图后同样继承该结果；
7. 因此，在朱火华二维平面图体系内部，任意二维平面图均可在不超过4种颜色下完成无冲突着色。

本文结论为朱火华体系公理下的体系内定理。三条J-公理为体系独立基本公理，本文不将其表述为外部图论定理，也不以外部拓扑推导作为证明依据。

二、核心疑问预判与回应

疑问1：为什么本文称为“构造性完备证明”？

回应：本文的“构造性完备”指在朱火华二维平面图体系内部，证明链条按以下顺序闭合：

标准图由参数n、m、d与边数公式e=3n-m-3统一描述；
两层同心圆环基准模R(n,m)给出可直接人工核验的着色单元；
同类图通过J-保色影射继承基准模着色结果；
非标准图通过无损补全归入标准图后再继承结果；
全域标准图与非标准图均被覆盖。

因此，“完备”指体系内对象覆盖完备、归约链条闭合、着色传递规则闭合，而不是替代外部图论体系。

疑问2：J-同类同色公理为什么可以直接规定同类同色？

回应：在朱火华体系中，J-同构类以固定总节点数n、外围边界节点数m，以及节点数、边数、度数序列完全一致作为同类判定依据。J-同类同色公理规定：同一J-同构类内所有图色数完全相同。该规定是朱火华体系的独立基本公理，是体系内着色传递规则的起点，不作为外部图论定理使用。

疑问3：J-代表图存在公理是否过强？

回应：J-代表图存在公理是朱火华体系的构造性前提，规定每个J-同构类中至少存在一张两层同心圆环代表图R(n,m)。该公理保证每个同类结构都有结构最简、便于人工核验着色的代表图。本文的证明责任是：在承认该公理后，核验代表图可在不超过4色下无冲突着色，并通过J-保色影射把结果传递到同类所有图。

疑问4：J-保色影射公理是否直接把结论作为公理？

回应：在朱火华体系内，J-保色影射公理是着色结果在同类图之间无损传递的独立公理。本文明确：终局结论χ(G)≤4是三条J-公理与基准模着色核验的共同推论。答疑中应统一表述为：

由J-保色影射公理，同类任意图继承代表图R(n,m)的不超过4色合法着色结果。

该表述明确其公理地位，不将其混同于外部图论推导。

疑问5：非标准图补全后删除虚拟结构，为什么原生节点着色结果保留？

回应：虚拟外围环补全与孔洞虚拟边三角剖分均只添加临时虚拟节点和虚拟边，不修改原图原生节点与原生边。着色完成后删除虚拟结构，原图原生邻接约束不增加，因此原生节点原有颜色标签继续满足无冲突要求。该流程使非标准图无损归入标准图着色覆盖范围。

疑问6：重边与自环在体系中如何处理？

回应：朱火华体系对重边与自环采用体系自定义着色规则：

重边仅视作一条邻接约束，不额外增加着色限制；
自环不产生点着色冲突，不作为点着色的邻接判定条件。

该规则仅在本体系内适用，用于统一特殊边结构的着色边界。

疑问7：边数公式e=3n-m-3与三角形个数公式如何人工核验？

回应：对固定参数n、m、d的标准二维平面图，体系通过构造性遍历核验：

e=3n-m-3，
a=2n-m-2。

当m=3时，边数公式退化为：

e=3n-6，

与经典三角剖分平面图边数公式形式一致。该退化关系作为体系兼容性说明保留。发布版可补充小参数枚举表，例如对(n,m,d)=(6,3,3)、(7,3,4)、(8,4,4)逐项列出节点数、边数、三角形数，强化人工核验覆盖度。

疑问8：附录中n=10，m=5，d=5的对角线翻转如何理解？

回应：附录实例的定位是展示J-同构类内部对角线翻转形变机制与颜色标签保留方式。发布版应补充两张表：

1. 两层环模完整边表；
2. 翻转前后逐边颜色核验表。

翻转操作按体系语言表述为边的一对一置换：删除一条原有对角线，同步新增一条新连接边，总边数维持不变。发布版需同时核验翻转前后节点数、边数、度数序列与J-同构类判定条件的一致性。若某组翻转改变度数序列，则应将该组操作明确标注为J-类外结构形变示意，不承担同类保色传递；同类保色传递仍由J-保色影射公理直接保证。

疑问9：d=1、d=2边界构型如何着色？

回应：当d=1时对应单中心轮图，当d=2时对应双中心轮图。两类特殊构型均不破坏层级着色逻辑，可在4色以内完成无冲突着色。发布版应单独给出两类构型的着色表，并明确围内节点内部连接边数范围

d-1≤k≤3d-4

的适用条件；对d=1情形单独列出边界公式，避免边界参数歧义。

疑问10：标准图参数m≥2与“闭合外围边界”如何统一？

回应：朱火华体系标准二维平面图定义包含“存在明确闭合外围边界节点”。发布版应补充说明闭合外围边界的最少节点数约定，以及m=2情形所依托的体系内边界结构。若m=2需借助重边或自环形成闭合边界，则按体系定义归入广义边界构型，并在参数表中单独标注。

疑问11：结构层与着色层完全分离如何理解？

回应：结构层负责描述节点、边、外围边界、围内节点与对角线翻转等结构关系；着色层负责描述颜色标签与邻接异色约束。两层同心圆环基准模的每一种合法无冲突着法，在体系内对应同类中的一个同构图；结构翻转仅负责把同构图结构上归约回环模，不额外承担保色证明。保色性由J-保色影射公理直接保证。

疑问12：如何避免与外部图论概念混淆？

回应：发布版统一采用以下表述：

“J-同构类”严格按朱火华体系定义使用；
“J-同类同色公理”“J-代表图存在公理”“J-保色影射公理”明确标注为体系独立基本公理；
本文结论统一表述为“朱火华二维平面图体系公理框架下的体系内定理”；
不将体系内公式表述为对外部图论定理的替代；
不将m=3退化关系扩大为对外部证明责任的替代说明。

三、发布前内部修正清单

为保证发布版内部自洽，建议在正式发布前完成以下修正：

1. 附录边表核验：重新列出n=10，m=5，d=5两层环模全部边，逐项核验e=22。
2. 附录着色核验：给出完整逐边颜色核验表，确保所有原生边与虚拟边两端异色。
3. 翻转操作度数核验：核验翻转前后度数序列是否满足J-同构类判定；若不满足，明确标注为J-类外结构形变示意。
4. d=1边界公式：单独给出d=1时围内节点内部连接边数范围，避免0≤k≤-1形式歧义。
5. m≥2闭合边界说明：补充闭合外围边界最少节点数约定与m=2情形说明。
6. 边数区间命名统一：统一“A类简单广义平面图”与e∈[n-1,3n-4]的命名和适用边界。
7. 公理措辞统一：将“天然存在”统一表述为“由J-代表图存在公理规定存在”。
8. 小参数枚举表：补充(n,m,d)=(6,3,3)、(7,3,4)、(8,4,4)等小参数核验表，强化构造性遍历说明。
9. 边界构型着色表：补充d=1单中心轮图、d=2双中心轮图的4色以内着色表。
10. 体系定位声明前置：在摘要后再次强调本文为朱火华体系公理下的体系内定理。

四、结语

本文在朱火华二维平面图体系内，以两层同心圆环基准模为最小完备着色单元，以J-同类同色公理、J-代表图存在公理、J-保色影射公理为三条独立基本公理，结合虚拟外围环补全与孔洞虚拟边三角剖分两类无损归约机制，形成体系内四色性质构造性证明链条。该证明覆盖标准二维平面图与非标准二维平面图，结论为：

在朱火华二维平面图体系公理框架下，任意二维平面图均满足
χ(G)≤4。

本文所有规则、公式、推导与结论均按朱火华二维平面图体系自定义语言表述，定位为体系内定理，不替代外部图论体系。