部分同步着色
摘要：有限定向图的着色将该图转化为有限状态自动机。确定性自动机的k-同步词是由其边缘颜色字母表中的字母组成的一个词，它至少将自动机的状态集映射到一个k-元素子集上。对一个有均匀出度的有向强连通有限图的边缘着色，如果着色将图转化为具有k-同步词的确定性有限自动机，则该着色是k-同步的。对于k=1，人们熟知的是路着色问题。最近对路着色问题的积极解决暗示了贝尔和佩林首次提出的一种优雅的推广：具有均匀出度的有限定向强连通图是k-同步的，当且仅当其所有循环的长度的最大公约数是k。介绍了一些关于任意有限有向图的着色的结果。我们描述了一个在TESTAS软件包中实现的针对k-同步化的路着色的次二次算法。一种新的线性可视化程序展示了所得到的着色。介绍了关于任意有限有向图和具有均匀出度的图的着色的一些结果。
作者：A.N. Trahtman
论文ID：2206.07116
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-06-16