图论-图的着色

四色猜想：每个平面地图，均可最多用到四种色，对其国家着色，使相邻国家着不同色。

图的边着色：

色素：{1,2,...,k}

k边着色：π：E->{1,2,...,k}。是个映射。

着色是正常的：两条相邻的边e1，e2，通过π，映射成不同颜色，如

G的边色数：G的正常k边着色的，最小k值。记为

G是k边可着色的：图G存在一个正常k边着色。

分划：有限集A的子集族，里面任何两个不同子集的交集为∅，且全体子集的并集为A。

色组：是，着色的一个色组，且，有可能是∅。

导出，一个E上的分划

E的匹配：着色正常，G无环，且每个色组非空。

分划，导出一个，G的k边着色：使每个

边色数必须大于等于，G的最大度△：

ps：除了对最大度的顶点，进行正常边着色，还要考虑着出来的色，兼容这些边的其它邻边。

下文的边着色，均指正常边着色。

ps：边着色，作G’的边着色，绰绰有余。若uv关联于唯一个最大度的顶点，则，且，所以对uv进行着色，从-中，选出一种新的颜色来着色，因此有