2-SATを想定解とする問題をyukicoderで出題しました。 No.470 Inverse S+T Problem - yukicoder想定解通りの2-SAT解法とは別に、計算量のよく分からない探索を結構通されてしまいました。 探索解の中に正当なものがあるのか、調べていたところ2-SATを暗黙的…