论同化与收缩的区别.docVIP

论同化与收缩的区别 ——同商讨 雷 明 （二○一四年九月十九日） 1、同化 我在研究四色问题时用了一个术语——同化，即把图中不相邻的两个顶点凝结成一个顶点的过程。 这一过程在聂祖安所译的《图论的例和反例》一书中也叫做同化，书中第17页讲“消色数”时说：说“G的一个初等同态∈是将G的两个不相邻的点同化。”；在哈拉里的《图论》（中文版）一书中第164页中讲“同态”时说“G的一个初等同态是将两个不相邻的点等同起来。”他用了“等同”一词，把两个不相邻的顶点“等同起来”，也就是将该两顶点“凝结”在一起，也就是“同化”的意思。书中第165页中还说“G的所有完全同态中最小的阶一定是χ（G）”，这就是说任意图的色数χ（G）就等于其最小完全同态的顶点数（即最小完全同态的阶）。我认为这里的“同化”和“等同”实质上是相同的，都是说的将不相邻的两个顶点凝结在了一起。 李修睦在他的《图论导引》第320页中讲“联边凝缩”时这样说：“所谓联边凝缩，即选原图中的两个非邻点联边，再将这边凝缩成一点，保留两个端点上原先所有的联边”。这里的结果实质上是把两个不相邻的顶点凝结在了一起，也是一个同化的过程。 同化运算的作用主要是求图的最小完全同态。任何一个图，通过有限次的同化后，最终都可得到一个顶点数最少的完全图，这就是图的最小完全同态。因为最小完全同态中的每一个顶点都是由不相邻的顶点同化到一起的，所以最小完全同态的每一个顶点都代表着一个顶独立集，最小完全同态的顶点数也就是图的最小顶独立集数。一个顶独立集中的顶点由于其间均不相邻，着同一颜色是完全可以的。因此也就有图的最小完全同态的顶点数或者图的最小顶独立集数等于其色数的结论。 作李修睦教授在说了以上的话后继续说：“继续这样做，原图的阶便逐渐变小，且原图逐渐变成一个集团”。这与我说的任意图同化的结果都是一个不可再进行同化的完全图的结论是相同的。 2、收缩 图论中早已有“收缩”一词，说得明确一点，收缩就是将图中两个相邻的顶点沿该两点间的边凝结到一起的过程。 我们在上面引用的李修睦教授的话中，有“凝结”一词，这也就是“收缩”的意思，也是沿着一条边把两个相邻顶点凝结在一起的过程，不过这里的“边”是把原图中两个不相邻顶点间“联”结起来而成的一条边，这条边在原图中是不存在的。 哈拉里在他的书第131页说中说：“一个图的的一个初等收缩由等同两个邻接的点u和v得到，即移去u和v，再加上一个新点w，使它邻接于所有邻接于u或v的点。”这一说法不太明确。但他又继续说：“彼得森图可收缩到K5，只要将它的联结五边形和五角星的五条边uivi每一条收缩到一个新点w就可以了。”（如图1）这后一种说法比前一种说法就更加明确了，收缩实质上就是把两个相邻顶点凝结到一起的过程。 到此，彼得森图还是否可以再继续进行收缩，哈拉里没有说，但根据他对收缩的定义，我认为是还可以继续收缩的，因为K图中相邻的顶点还有的是，若继续收缩下去，最后将是一个孤立的顶点。 关于收缩，哈拉里在他的书第156页中还说：“还有几个关于着色的猜想。其中最有意思的一个与收缩有关，它属于哈德维格尔。”哈拉里对哈德维格尔猜想的描述是这样的：“哈德维格尔猜想 每一个连通的n色图可以收缩到Kn”（其实这个Kn就是该n色图的一个最小完全同态，其顶点数n就是该图的色数n——雷注）。然后哈拉里又说：“这个猜想说：每一个5色图可以收缩到K5”。 这里哈拉里在谈哈德维格尔猜想时所说的收缩又具有了同化的过程，与他定义“G的一个初等同态是将两个不相邻的点等同起来。”具有相同的意思，与我说的同化也是相同的。“n色图可以收缩到K”就是把着有不同颜色的顶点同化到一起，得到n个顶点，这n个顶点间已两两相邻，所以就是一个K图。把这个K图再按原路返回去，就可得到已着有n色的原图。 3、关于收缩，其它文献中也有不同的的提法。 上面提到的李修睦教授关于“联边凝缩”一段话中的“凝缩”实际上就是“收缩”的定义；《图论的例和反例》一书中第212页对“收缩”的解释是：“H是G的收缩，如果H是从G由一系列的初等收缩得到的图”，又一处提法是：“H是G的收缩，如果它可从G经有限次初等收缩得到。后者就是将将两个相邻的点同化，即两个相邻的点u和v一个点所代替，这个点与u或v的相邻点都邻接”；王朝瑞的《图论》一书中第156页有这样一段话：“把图的一条边e删去并使它的两个端点重合，则称边e被收缩”；在范益政等所译的《图论导引》一书中第221页也有一段话：“对于图G和G的一条边e＝uv，图G＇称为是由G通过收缩边e（或叠合顶点u和v）而得到的图”； 韦斯特在他的《图论导引》（中文版）一书中第417页解释“收缩”一词时说：“收缩：将边uv用一个以前与u或v关联的边相关联的顶点w替换”。所有这些提法虽然不同，但都可以看出“收缩”