首页    期刊浏览 2024年11月08日 星期五
登录注册

文章基本信息

  • 标题:On Randomized Generation of Slowly Synchronizing Automata
  • 本地全文:下载
  • 作者:Costanza Catalano ; Rapha{\"e}l M. Jungers
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2018
  • 卷号:117
  • 页码:1-16
  • DOI:10.4230/LIPIcs.MFCS.2018.48
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Motivated by the randomized generation of slowly synchronizing automata, we study automata made of permutation letters and a merging letter of rank n-1 . We present a constructive randomized procedure to generate synchronizing automata of that kind with (potentially) large alphabet size based on recent results on primitive sets of matrices. We report numerical results showing that our algorithm finds automata with much larger reset threshold than a mere uniform random generation and we present new families of automata with reset threshold of Omega(n^2/4) . We finally report theoretical results on randomized generation of primitive sets of matrices: a set of permutation matrices with a 0 entry changed into a 1 is primitive and has exponent of O(n log n) with high probability in case of uniform random distribution and the same holds for a random set of binary matrices where each entry is set, independently, equal to 1 with probability p and equal to 0 with probability 1-p , when np-log n - > infty as n - > infty .
  • 关键词:Synchronizing automata; random automata; Cern{\'y
国家哲学社会科学文献中心版权所有