18/06/25 22:22:25.93 /XT/YqNK.net
xから始まってコラッツの操作で到達できる数のうち最大のものをcollatz_max(x)とする。
n以下の自然数の中にlog(collatz_max(x))/log(x)>=3を満たすようなxが存在するか？
という問いはNP問題になると思う。
これをSATとしてあらわしてSATソルバに食わせて一気にデカいnについて解くというのはどうだろうか？
18/06/25 22:22:25.93 /XT/YqNK.net
xから始まってコラッツの操作で到達できる数のうち最大のものをcollatz_max(x)とする。
n以下の自然数の中にlog(collatz_max(x))/log(x)>=3を満たすようなxが存在するか？
という問いはNP問題になると思う。
これをSATとしてあらわしてSATソルバに食わせて一気にデカいnについて解くというのはどうだろうか？