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