redcat_prog https://blog.hatena.ne.jp/redcat_prog/ 似非プログラマの覚え書き https://redcat-prog.hatenadiary.org/ アルゴリズム Java k-CNF の充足可能な(つまり、全ての clause が真になるような真偽値の)割り当てを求める問題は k-SAT(Satisfiability Problem)と呼ばれる。同書にならって 3-SAT を考える。問題としては、これまた同書でユーリが「僕」に示した問題で行ってみよう。まず変数を 4 個用意し、それぞれ以下の意味とする。 x[0] : 強い x[1] : 正しい x[2] : 美しい x[3] : 優しい これを用いて、同問題の P1 〜 P8 を書き下してみよう。なお、配列の index が 0 から始まる都合上、p[0] 〜 p[7] に変えておく。 boolean [] x… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fredcat-prog.hatenadiary.org%2Fentry%2F20110424%2F1303616073" title="乱択アルゴリズムに挑む(その 3) - 似非プログラマの覚え書き" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-04-24 12:34:33 rich https://redcat-prog.hatenadiary.org/entry/20110424/1303616073 1.0 100%