SAT
初雪です。さっき吹雪いてました。てか3か月ほどブログ更新滞ってました(>_ 統計とか機械学習の勉強も進んでないのですが、今日はリハビリに、また例の 3-SAT ネタでも投下しときます。半年以上前に『Rで「充足可能性問題(3-SAT)を解く乱択アルゴリズム」』…
新しい言語を覚えるときに、数学ガール 乱択アルゴリズムの「充足可能性問題(3-SAT)を解く乱択アルゴリズム」(p.353)を実装するという癖がついてしましました。 ということで、勉強中のRで実装してみました。 Vector*1の概念が独特で分かりにくかったけ…