|
|
朱火华二维平面图体系内四色性质构造性完备证明
摘要：本文按朱火华二维平面图体系自身的公理、定义与着色约定，说明该体系内部四色性质 chi(G) <= 4 的构造性完备证明。该结论为体系内定理，不等同于传统图论的四色定理。
一、研究范围与图分类
朱火华二维平面图体系将孤立点、树、多边形环、重边、自环以及三角剖分平面图纳入统一处理范围。
体系将图分为标准二维平面图和非标准二维平面图。标准图具有完整闭合的外围边界，可全部三角剖分，无孔洞、无交叉边，并满足公式：
n = m + d
其中，n 为总节点数，m 为外围边界节点数，d 为围内节点数。
树、孤立点、带孔洞图、含重边或自环的图属于非标准图。体系通过临时虚拟结构将非标准图无损转换为标准图：转换过程中原图的点和边不发生改变，仅增加虚拟辅助结构；着色完成后删除虚拟结构，原图恢复。
体系另设特殊着色约定：重边只计一次邻接；自环不构成着色冲突。该约定用于明确边界情形的处理规则。
二、独立公式与适用范围
体系采用独立公式系统，不依赖欧拉公式，可人工遍历核验。核心边数公式为：
e = 3n - m - 3
该公式用于标准二维平面图；非标准图经虚拟结构无损归约后进入标准图框架再套用。当外围边界 m = 3 时，公式化为：
e = 3n - 6
这是该体系在边界三点情形下的特殊形式。体系另给出三角形计数、广义图边数区间等配套公式。
三、三条 J-体系公理
证明核心为三条 J-体系公理。
第一，J-同类同色公理：同一 J-同构类中所有图的色数相同，不会出现同类中部分图四色足够、部分图需要更多颜色的情形。
第二，J-代表图存在公理：每一 J-同构类均存在一张两层同心圆基准模，作为该类代表图。该图结构简单，便于人工逐边核验着色。
第三，J-保色影射公理：同类中任意一张图均存在指向两层环模的保色映射，可直接继承基准模的合法着色，无需逐图重新着色。
四、两层同心圆基准模的着色核验
两层同心圆基准模可人工逐边检查。内层环采用 3 种颜色循环着色；外层环复用内层 2 种颜色，并加入第 4 种颜色；跨层相连节点颜色全部错开。由此，整张基准模颜色总数不超过 4。
特殊情形下，围内节点较少时，d = 1 的单中心轮和 d = 2 的双中心轮同样可在四色以内完成着色，无例外。
五、可逆对角线翻转与 J-同构类生成
由基准模生成同构类其他图的关键操作为四边形对角线翻转，亦称可逆边置换。其基本形式为：在四边形中删除旧对角线并换上另一条对角线；节点不变，总边数不变，节点颜色标签保持不变；新生成边两端天然异色，着色不冲突。
该操作具有双向可逆性：从基准模出发经翻转可生成同构类中其他图；任意翻转生成的图经反向操作可退回两层同心圆基准模。因此，着色继承不是停留在公理层面的断言，而是可来回操作、逐边核验的构造通路。无需枚举全部图，基准模与可逆翻转算子即可生成完整 J-同构类，实现类闭合完备。
两层环模连接法指：保持点、位置、颜色不变，仅改变边连接；新增边全部异色，所得图为着色保真图，属于同一 J-同构类。对角线翻转是实现该连接变换的具体手段。
六、非标准图的两套无损归约工具
第一，虚拟外围环补全。针对树、孤立点等无闭合外圈的图，临时增加三点虚拟外环，使其成为标准图；着色完成后删除虚拟环，原图着色完整保留。
第二，孔洞虚拟边三角剖分。针对带孔洞图，在孔洞内部加入不交叉虚拟弦，将孔洞填满三角形；着色完成后删除虚拟边，孔洞恢复，原图着色不受破坏。
其逻辑为：若补全后的标准图可四色着色，则删除虚拟结构后原图同样四色可染。
七、证明链条收束
在标准图框架内，固定 n、m、d，边数 e 确定。依据公理，对应 J-同构类必存在两层同心圆基准模。基准模经人工核验四色无冲突。依靠可逆对角线翻转生成整个同构类，全部成员继承该着色。非标准图通过虚拟归约转入标准图框架，同样继承结果。
因此，在朱火华二维平面图体系内部，任意二维平面图满足：
chi(G) <= 4
即色数不超过 4。整套推导在体系内自洽，不需要计算机，不需要穷举，可人工核验。
八、J-同构类生成与全域着色保真闭环
在朱火华二维平面图体系中，J-同构类不是抽象集合定义，而是由两层同心圆基准模与可逆对角线翻转操作完整生成的闭合构造空间。
体系确立：每一组固定参数 (n, m, d, e) 的 J-同构类，唯一以两层同心圆基准模为本类原生代表图、着色源头与拓扑基准锚点。
同一 J-同构类内部，所有拓扑形变均由四边形对角线一对一置换完成：删除旧对角线并同步生成新对角线；全程节点总数 n、边界节点数 m、围内节点数 d、总边数 e、节点度数序列、节点颜色标签恒定不变。该操作为 J-类内部专属拓扑变换，不跳出当前同构类。
该变换具有三项构造性质。
第一，正向生成性：从两层环模基准图出发，经有限次对角线翻转，可持续生成本 J-同构类内所有合法拓扑构型；所有衍生图完全继承基准模的原始四色合法着色，翻转新增边两端天然异色，全程着色保真、无冲突、无换色。
第二，反向可逆性：任意一张由翻转生成的 J-同构图，均可通过对应反向对角线翻转原路回溯、无损还原为原始两层同心圆基准模。基准模与同类图之间不是单向公理假定，而是可互相转换、可双向核验的严格构造关系。
第三，类闭合完备性：所有经该可逆翻转生成的图，参数不变、度数序列不变、色数不变、着色体系同源统一，完整闭合构成整个 J-同构类全域。
由此，体系完成三重统一：代表图存在性由基准模原生锚点构造保证；J-同构类全域覆盖由可逆翻转算子的生成闭合性保证；全域保色影射由双向翻转的着色保真与同源同色机制构造性实现。
因此，无需外部假设、无需枚举、无需拓扑比对、无需计算机辅助。只要基准模实现四色无冲突着色，所有 J-同类图通过可逆翻转通路天然继承同一套合法着色，体系四色性质即实现纯人工、构造性、可逐边核验、双向闭环、全域完备的证明。
九、实例说明
取两层环模参数 n = 10，m = 5，d = 5，即外环 5 个点、内环 5 个点，预先完成合法四色着色，每条边两端颜色不同。
以两层环模为图二。在图二中作 D-d 连接，得到图三；在图二中作 e-c 连接，得到图四。
图三为两层环模变型，其围内节点结构为 d = 1+4，即 1 个中心节点、外围 4 个节点，呈中心-外围构型。
对图三中的 D-d 对角线执行翻转为 e-c 连接，图三变为同构图四。图四同样保持 d = 1+4 的中心-外围结构，即 1 个中心节点、外围 4 个节点。
对图四中同构的 e-c 连接执行反向对角线翻转为 D-d 连接，图四变回两层环模变型图三。
该实例中，正向翻转与反向翻转构成双向可逆通路：两层环模变型图三经 D-d 翻转为 e-c 连接得到图四；图四经 e-c 反向翻转为 D-d 连接还原图三。
全过程节点总数、边界节点数、围内节点数、总边数及节点颜色标签保持不变；翻转新增边两端颜色错开，无冲突。同构图 d = 1+4 的中心-外围结构在双向翻转中保持稳定，着色由基准模连续传递，类内成员继承同一套合法四色着色。
十、实例说明一
仍取两层环模参数 n = 10，m = 5，d = 5，即外环 5 个点、内环 5 个点，预先完成合法四色着色，每条边两端颜色不同。
以两层环模为基准图。在该基准图上依次执行可逆对角线翻转：
第一步，将 e-a 连接翻转为 E-d 连接；
第二步，将 d-a 连接翻转为 E-c 连接；
第三步，将 c-a 连接翻转为 E-d 连接。
经上述连续三次可逆对角线翻转，两层环模生成同构图，其中 d 为树形。
全过程节点总数、边界节点数、围内节点数、总边数保持不变，原颜色标签完全保留；每次翻转新产生边两端颜色错开，无冲突，着色由基准模连续传递到同构图。反向执行对应翻转，可由该同构图逐级回溯、无损还原为两层环模。
由此可直观核验：基准模着色经可逆对角线翻转在同构类内保持保真，对角线翻转不影响着色传递，类内成员继承同一套合法四色着色。
十一、结论与边界说明
综上，在朱火华二维平面图体系内部，按该体系自身定义、着色约定与三条 J-体系公理，任意二维平面图满足 chi(G) <= 4。证明为体系内自洽的构造性证明，不需要计算机，不需要穷举，人工可核验。
该结论成立条件是三条基础公理及体系定义。传统图论四色定理是另一框架下的结论，二者前提不同，并列看待，不存在谁替代谁。
实例一；两层环模 n=10, m=5, d=5,
图二D-d连接为图三，e-c连接为图四，
图三两层环模D-d对角线翻转为e-c连接，变为同构图四，
图四同构图e-c对角线翻转为D-d连接，变回两层环模图三，
对角线翻转不影响着色传递。
实例二；两层环模 n=10, m=5, d=5,
图二a-c连接,a-d连接,a-e连接为图三，
图二E-b连接,E-c连接,E-d连接为图四，
图三两层环模经3条对角线翻转变为同构图四，
图四同构图经3条对角线翻转变回两层环模图三，
对角线翻转不影响着色传递。
|
|
IP卡
狗仔卡
发表于 2026-11-5 19:51
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡
楼主