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

適当にまったりと。今回は下準備みたいなものだけです。 入力 せっかくなのでデータ形式は SAT Competitions の形式と揃えておこうかと思いました。出せるようなものはとても作れないですけど、比較する時にその方が便利そう。まず、入力はConjunctive Norma…