Mae向きなブログ

Mae向きな日記のブログ版。ようやくこちらに移行してきました。

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

5/7に『数学ガール 乱択アルゴリズム (数学ガールシリーズ 4)』の第9章で紹介されている「充足可能性問題(3-SAT)を解く乱択アルゴリズム(p353)」をRubyで作成しました。

Ruby


twitter

とツィートしたところ,@omasanoriさんがClojureで作ってくださいました。他の言語版も追記していきます。