Re: 台交賽
※ 引述《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
討論串 (同標題文章)