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

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

ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。 充足可能性問題 - Wikipedia のソルバーを作ろうとしています。 (1): 入出力フォーマット。全探索するソルバ つづく...