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

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

SAT

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

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

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

R SAT

新しい言語を覚えるときに、数学ガール 乱択アルゴリズムの「充足可能性問題(3-SAT)を解く乱択アルゴリズム」(p.353)を実装するという癖がついてしましました。 ということで、勉強中のRで実装してみました。 Vector*1の概念が独特で分かりにくかったけ…