有向图的路问题与同态

@文章{Macdonald2022TheRP,title={有向图的路问题和同态},author={索菲·麦克唐纳},日志={Theor.Comput.Sci.},年份={2022},体积={968},页数={113981},网址={https://api.semanticscholar.org/CorpusID:246430646}}

询问这篇论文
AI供电

关于推广道路着色定理的猜想的注记

道路着色定理刻画了一类具有常外度的强连通有向图,它允许同步道路着色

广义道路着色问题与周期有向图

利用半群方法和Trakhtman算法,给出了广义道路着色问题的一个证明,该证明独立于Beal和Perrin最近的工作。的代数性质

道路颜色问题

设G是一个有限有向图,它是不可约的和非周期的。假设G的每个顶点都指向至少两个其他顶点,并且假设G有一个素数长度的圈,它是G的一个适当子集。

同步自动机与道路着色问题的注记

引入了一种重标记方法,该方法可用于一大类自动机,以提高其“同步度”,并允许(例如)以几种等效的方式表示道路着色猜想。

道路着色问题

给出了道路着色问题的正解,并给出了其边缘颜色字母表中的一个单词,该单词将自动机映射到单个状态。

图形同构,概述

分析了图同构问题的推广和限制的相对计算复杂性,并证明了配价在正则无向图中似乎很重要。

图同构的一种有效算法

研究表明,重序图是同构的充分条件;也就是说,如果重排序图是相同的,那么给定的图是同构的。

欧拉有向图上的有限自动机的同步

本文证明了Fr?erný猜想和道路着色问题是关于有限自动机同步的两个开放问题,在顶点具有一致的入度和出度的特殊情况下。

同步强连接的部分DFA

得出的结论是,在两个模型中解决基本同步问题同样困难,因为对一个模型的结果进行根本改进意味着对另一个模型进行改进。
...