图着色与色数
图色素
图的色数是图可着色的最小颜色数。这个定义有点微妙,因为它通常不是直接的最小的数量是多少。对于某些类型的图,例如完整( )或二部( )的时候,可能的选择很少,所以我们可以决定 因为每个顶点都必须有不同的颜色。色数的最小分量对于快速证明许多基本定理很有用,因为它允许关注极端情况,而不是一般情况(这里是最小化颜色数量的图形着色)。正是因为这个原因,数学家更喜欢这样的定义。
一个图表 被称为 似是而非的如果存在一个图着色上 与 颜色。如果一个图形是 -可着色的,那么它就是 似是而非的任何 .一个图的色数至少与其子图的色数一样大。一个图的色数最多比只少一个顶点的子图的色数大1。
考虑到 循环图 在哪里 .证明
假设 是偶数。然后, 因为里面有两条相邻的边 .但是一个图着色 存在于顶点交替被涂成红色和蓝色的地方,所以 .
假设 是奇数。然后, 因为里面有两条相邻的边 .此外, 由于顶点颜色不能交替,最终被着色的顶点将与红色和蓝色顶点相邻。但是一个图着色 存在的地方 顶点交替被涂成红色和蓝色,最后的顶点被涂成黄色,所以 .
假设一个图 和一个图 组合起来创建一个图表 通过连接的每个顶点 的每个顶点 否则所有的顶点和边都保持不变。证明
让 有一个图形着色与颜色 而且 有一个图形着色与颜色 .然后,给顶点上色 从 而且 相应的颜色 .因为没有顶点 而且 是相同的颜色,这构成了图形的着色 ,这意味着 .
现在,考虑一个最小的图着色 .假设有 顶点之间的颜色 ,假设有 顶点之间的颜色 .因为每一个顶点 是否与里面的每个顶点相邻 ,两个顶点集不能有任何共同的颜色。所以这个图着色 有准确的 颜色。但是请注意, 而且 否则,色数将不是最小的(顶点的子图从 在 正是 ;同样, ).所以 .
由此可见,
色多项式
的色多项式 的图 对每个自然数都是多项式吗 ,返回数字 的 色素的 . 最小的不是根的正整数是多少 .的程度 等于?的顶点数 .
考虑一个无环图 在 顶点(也称为树)。证明 .
考虑一个任意的顶点 .有 可能的颜色。现在,考虑它的每一个邻居;有 每种可能的颜色。然后,每个顶点的邻居也有 可能的颜色,等等。顶点的颜色不会有任何进一步的限制,因为图不包含任何周期.因此,有 第一个顶点的选择 每个选项 随后的顶点;总共有 选择。
边缘色素
最常见的边着色类似于图(顶点)着色。图的每条边都有一个颜色,这样就不会有相邻的两条边是相同的颜色。这样的着色是一种适当的边缘着色.对于循环图,这种类比变成了等价,因为存在边-顶点对偶。然而,一般来说,色数与最小值无关 这样就有了一条合适的边 色素的存在。
另一种边缘着色是用在拉姆齐理论和类似的问题。在这种情况下,图的边是彩色的 Colors和数学家研究得到的彩色图的子结构,以确定存在多少大小的完全子图。
最后一种边缘着色用于研究生成树.边缘着色的方式是这样的:不存在一个相同颜色的循环,对给定的图进行这种边缘着色所需的最小颜色数量被称为它的树性。
证明任何平面图的边着色最多为三种颜色,其中相同颜色的边允许相邻,但相同颜色的边不允许循环。