看板ACMCLUB
标 题Re: 台交赛
发信站批踢踢兔 (Sun Oct 9 23:54:28 2005)
转信站ptt!Group.NCTU!grouppost!Group.NCTU!ptt2
※ 引述《hil (随机客)》之铭言：
: ※ 引述《gomibako (gomibako)》之铭言：
: : sample input
: : a=0;
: : a++;
: : if(a>0){
: : halt;
: : }
: : a=0;
: : L:a++;
: : if(a>0){
: : goto L;
: : }
: : halt;
: : sample output
: : True(会停）
: : False（不会停）
: : 测资不太记得了，不过差不多是这样＠＠
: 果然有创意！
: 「随机猜想」：这类测资是否都可以用个interpreter模拟执行过程，
: 快到time limit时如果还没跑完，就「猜」不会停？
: 除非测资里有那种很贼的多层回圈，虽然一定会停，却不能用上述方法解决..
还可以更贼一点...
我看的 automata 课本用的范例是跑 5 个 integer loop,
b, c, d, e 的范围限定在 a 以下,
计算 b^e+c^e-d^e==0 => halt...
如果真的跑得出来, 电脑就有办法证出费玛最後定理啦. XD
--
※ 发信站: 批踢踢兔(ptt2.cc)
◆ From: 140.109.224.64