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が答えになりそうですが、残念ながらいい感じに求める…

初戦でkimiyukiさんに負けてベスト8ですAIの概要はこっちに書いてあります。 piroz.hatenablog.comもう決勝からだいぶたっていてタイムシフトも消えてしまったのでかなり記憶が薄いです。 権利上の関係とかで動画にはならないのかな～～～ 決勝当日 チームラ…

CODE VS for STUDENTの決勝用AI提出が完了しました！残念ながら、予選通過したバージョンからいい感じの改良ができず、実質的にはわずかなバグ修正だけで終わってしまいました。 予選通過したときの記事にも貼ったAIの動画がこれです↓ youtu.be提出したAIの…