Avatar
omochimetaru 7/9/2021 5:30 AM
元々の実装が、バグってるけど既存を解けるって状態を
5:31 AM
今まで解けなかったやつも解ける良い実装に置き換えるのであれば大丈夫そう
5:31 AM
本質的には計算不可能性が出現するっていう話があったけど、 そっちについては
The -requirement-machine-depth-limit and -requirement-machine-step-limit
↑こんなオプションが生えてるし、探索を諦めるようになるんじゃないか