关于路染色题目和Cerny猜想.pdfVIP

上海交通大学硕士学位论文 I 关于路染色猜想与Cerny猜想 摘 要 摘要 路染色 road coloring 猜想最早是由Adler, Goodwyn 和Weiss 在 1977 年研究符号动力系统问题时提出的 它可以用图论 语言表述如下 设有向图G 的每个顶点的出度都是k, k 1 G 的一 个k 边染色称为确定的 如果此边染色使得G 的每个顶点的k 条出 边都染成 k 种不同颜色 G 的一种确定的k 边染色称为同步的 如 果G 中有顶点v 和颜色序列S 使得从G 的任一顶点u 到v 都有一 条 有向 途径 而沿此途径的各边所染颜色构成的序列等于 S G 称为可同步的 若 G 有同步的确定 k 边染色 显然 G 可同步的必 要条件是G 强连通 此外 不难证明G 可同步的一个必要条件是G 一定非周期 即不能把 V(G)分拆成p 个子集V , V ,...,V , p 2 使得 0 1 p 1 对于G 的任意一点u V 以u 为起点的每条边的终点都属于V i (i 1) mod p 路染色问题主要研究的是各点出度都是 k 的强连通有向图可同步的 条件 以及对于可同步的有向图 在同步的确定的染色之下 找到 如上所述的颜色序列 S 的方法 对此的主要猜想 即路染色猜想认 为 任何强连通 非周期 各点出度都是k k 1 的有向图 一定 是可同步的 与此紧密相关的还有Cerny 猜想 设G 是如上定义的 可同步的n 阶有向图 则对G 的任一同步的k 边染色 一定有相应 的同步的颜色序列 其长度不大于(n 1) 2 上海交通大学硕士学位论文 II 路染色猜想和Cerny 猜想自提出数十年以来 已经有人得出了各 种各样的结果 却一直未能获得根本的解决 本文的工作 主要有 两点 第一 对路染色猜想和Cerny 猜想做了一个综述 其中包括了数 十年来的经典结论 和最近的一些新的进展 在路染色问题和Cerny 猜想这两个问题上 世界各地的学者取得了许多各种各样的结论 而且所使用的描述语言各不相同 主要有基于纯粹图论的 和基于 自动机理论的 以及在符号动力的基础上进行研究的 因此将这些 结果用统一的描述方法进行归纳的工作 还是很有必要的 也是很 有意义的 第二 在路染色猜想方面做出了一些自己的工作 将已有的一些 结论进行了推广 得到了更为一般化的结论 关键字 路染色问题 Cerny 猜想 可同步的 染色 出度k 正则 上海交通大学硕士学位论文 III ON THE ROAD COLORING PROBLEM AND CERNY’s CONJECTURE ABSTRACT (Abstract) Road coloring conjecture was first posted in 1977 by Adler, Goodwyn and Weiss, w