最近記事の更新が疎になってるので、もう少し更新頻度を上げたい
先日、友人からSATソルバーにおけるCDCLというアルゴリズムを非決定的なものに拡張できないかという話を聞き、それを考えるためにはまずCDCLそのものについてちゃんと理解しないとダメそうな気がしたので実装してみた
正直自分はSATとか離散数学的なことはあまり詳しくなく、なんなら少し苦手意識まであるのだけど、だからこそ(?)新鮮な感じがして面白かった
実装は主にこのサイトを参考にした:
正直CDCLについて知りたいなら確実にこのサイトを読むのが一番手っ取り早いので、ここではお気持ち部分だけ触れることにする
...つもりでそれなりにSATとCDCLについて書いていたが、途中でたるくなってしまったので下書きはボツにして何も書かないことにした
書くのが面倒で記事更新できなかったら本末転倒なのだ(ハム太郎