关于Carpi和Alessandro猜想
摘要：早先提出的开放v{C}ern''y猜想声称，每个具有n个状态的自动机的最短窗口长度不超过$(n-1)^2$。另一方面，目前已知的最佳上界为$n$的立方。最近，Alessandro和Carpi在他们的论文cite{CARPI1}中引入了自动机的强传递性的新概念，并猜想这个性质与emph{Extension}方法的结合可以得到一个二次上界，限制最短窗口的长度。他们还证实了这个猜想对于循环自动机是成立的。我们反驳了这个猜想和长期存在的emph{Extension}猜想。我们还考虑了广泛使用的Extension方法及其前景。
作者：M.V. Berlinkov
论文ID：0909.3790
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-02-15