あるいは、ランダムなSAT問題の答えを分ける不思議な数字、4.27。調べたり実験したりしてたら面白くなってきたので、まとめておきます。 3-SAT? 3-SAT は、「「「変数か、変数を NOT した式」を3個 OR で繋げた式」を何個か AND で繋げた式」が与えられたと…