非确定性自动机在同构意义下的均匀随机生成
形式语言与自动机理论
2015-12-10 v1
摘要
本文研究非确定性自动机（NFA）在同构意义下的均匀随机生成问题。首先，我们展示如何使用蒙特卡洛方法均匀采样一个NFA。其次，我们展示如何使用Metropolis-Hastings算法在同构意义下均匀生成NFA。利用标记技术，我们表明在实践中可以高效地转移到修改后的马尔可夫链中，从而允许生成具有数十个状态的同构意义下的随机NFA。这一通用方法也应用于NFA的几个有趣子类（同构意义下），例如具有唯一初始状态和有界输出度的NFA。最后，我们证明对于这些有趣的NFA子类，转移到Metropolis马尔可夫链可以在多项式时间内完成。有前景的实验结果构成了一项实际贡献。
引用
@article{arxiv.1512.02797,
title = {On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism},
author = {Pierre-Cyrille Heam and Jean-Luc Joly},
journal= {arXiv preprint arXiv:1512.02797},
year = {2015}
}
备注
Frank Drewes. CIAA 2015, Aug 2015, Umea, Sweden. Springer, 9223, pp.12, 2015, Implementation and Application of Automata - 20th International Conference