名古屋で数学するプログラマ(仮)

@antimon2 が趣味兼一部本職の数学で何かするときのブログ。

2012-12-01から1ヶ月間の記事一覧

「充足可能性問題(3-SAT)を解く乱択アルゴリズム」 by Haxe

初雪です。さっき吹雪いてました。てか3か月ほどブログ更新滞ってました(>_ 統計とか機械学習の勉強も進んでないのですが、今日はリハビリに、また例の 3-SAT ネタでも投下しときます。半年以上前に『Rで「充足可能性問題(3-SAT)を解く乱択アルゴリズム」』…