18/05/26 05:32:28.98 c0tJyFtX.net
通常のコラッツ予想3x+1ですが、
①プログラムが無限走行→オールNothing出る
(Cを繰り返すと集合が1つになる事が使えないか)
②オールNothing出ない→プログラムは停止
③全てのnでオールNothing出ない(難しい?)
④全てのnでプログラムは停止する
というのを考えたのですが、
実際証明するとなると難しいですかね。
18/05/26 05:32:28.98 c0tJyFtX.net
通常のコラッツ予想3x+1ですが、
①プログラムが無限走行→オールNothing出る
(Cを繰り返すと集合が1つになる事が使えないか)
②オールNothing出ない→プログラムは停止
③全てのnでオールNothing出ない(難しい?)
④全てのnでプログラムは停止する
というのを考えたのですが、
実際証明するとなると難しいですかね。