我院何勇教授研究成果发表在《Information and Computation》
时间:2022-01-30 访问量:
何勇教授团队长期致力于同步自动机领域的研究,近期在该研究方向取得新进展。研究成果以“Extremal synchronizing circular automata”为题,于2021年12月8日在线发表于Information and Computation杂志上,该期刊是中国计算机学会(CCF)指定的A类学术期刊。
同步自动机是一类很常见且有广泛应用的自动机,关于同步自动机最短同步字长度的 Černý 猜想目前是自动机的组合理论领域存留间最长的公开问题。何勇教授团队研究成果证实了Trahtman 猜想(不存在未知的极端同步自动机)对循环自动机的成立,将有效促进Černý 猜想的解决。