|
|
|
|
| A259482型
|
| 最小确定性有限自动机中的状态数，该自动机完全接受字母表{1,2，…，n}上的所有12…n排列的字符串作为子序列。
(历史；已发布版本)
|
|
|
|
|
#25通过米歇尔·马库斯2020年8月30日星期日美国东部夏令时04:17:09 |
|
|
|
|
|
|
|
#24通过乔格·阿恩特2020年8月30日星期日04:03:37 EDT |
|
|
|
|
|
|
|
#23个通过凯文·赖德2020年8月30日星期日04:00:52 EDT |
|
|
|
|
|
|
|
#22通过凯文·赖德2020年8月30日星期日03:59:29 EDT |
|
| 链接
|
Kevin Ryde，<a href=“/A259482型/a259482.pl.txt“>Perl程序运行Foma或SFST来构造DFA</a>
|
|
| 状态
|
经核准的
编辑
|
|
|
|
|
|
|
#21个通过乔格·阿恩特美国东部时间2020年8月21日星期五03:01:41 |
|
|
|
|
|
|
|
#20通过米歇尔·马库斯美国东部时间2020年8月21日星期五02:27:48 |
|
|
|
|
|
|
|
#19通过凯文·赖德2020年8月21日星期五02:16:40 EDT |
|
|
|
|
|
|
|
#18通过凯文·赖德2020年8月21日星期五02:11:09 EDT |
|
| 数据
|
2014年2月6日，44日,1651377
|
|
| 扩展
|
a（5）来自凯文·赖德2020年8月21日
|
|
| 状态
|
经核准的
编辑
|
|
|
|
|
讨论
|
| 8月21日星期五
| 02:16
| 凯文·赖德：上传我使用的代码之前进行预览（Perl生成并运行Foma或SFST脚本）：https://user42.tuxfamily.org/temorary/a259482.pl没有太大的复杂度，因为它只需要确认n=1到4，并生成一个新的n=5。这两种方法是交叉检查。两者都运行在大约500毫克到1吉比特的32位RAM中。对于通用DFA最小化，怀疑n=6可能不切实际。
|
|
|
|
|
|
|
#17通过乔格·阿恩特2015年6月28日，美国东部夏令时14:15:32 |
|
|
|
|
|
|
|
#16通过查尔斯·格里特豪斯四世2015年东部夏令时周日6月28日12:59:39 |
|
|
|
|
|
讨论
|
| 孙军28
| 14:15
| 乔格·阿恩特：同意“不错”
|
|
|
|
|
|
