snuke https://blog.hatena.ne.jp/snuke/ あなたは嘘つきですかと聞かれたら「YES」と答えるブログ https://snuke.hatenablog.com/ 問題 | 解説まとめまずはコードです。 このコードでやっていることを解説します。まず、各マスには「黒」または「白」ではなく、「黒」または「(1,1)~(4,4)」を割り当てることにします。 ただし、(j,k)は「j番目の白マスグループのk番目のマス」を表すものとします。 これを実現するには、黒を割り当てることを表す x[1]~x[36] の他に、マス i に (j,k) を割り当てることを表す変数 x'[i][j][k] を用意し、条件を節として書き連ねていきます。 書かなければいけない条件は以下の通りです。 各マスは「黒」または「(1,1)~(4,4)」のいずれかちょうど１つに割り当てなけれ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsnuke.hatenablog.com%2Fentry%2F2017%2F12%2F27%2F002541" title="Xmas Contest 2017 I問題 SAT Puzzle 解説 - あなたは嘘つきですかと聞かれたら「YES」と答えるブログ" 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 2017-12-27 00:25:41 rich https://snuke.hatenablog.com/entry/2017/12/27/002541 1.0 100%