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

コンテスト中に解けませんでした。 問題 D: Xor Sum - AtCoder Regular Contest 066 | AtCoder 解法 小さいに対して実験してOEISで検索します。 2,4,5,8,10,13,14,18,21,26,28,33,36,40,41 - OEISA007729が答えになりそうですが、残念ながらいい感じに求める…

唐突に解説を書きたくなったのでブログを生やしました。 嘘解法かと思って投げたのが想定解だった。 問題 No.307 最近色塗る問題多くない？ - yukicoder 回答 http://yukicoder.me/submissions/60722 解説 writer解説 http://yukicoder.me/problems/769/edit…