CF後twitterで話してたのでまとめた。 楽しかった。togetter.com3*Nに対するエレガントな解答を募集しています。

謎のゲームを作った。 Sorting game swapしてソートするだけのゲーム。マージソート風にやるよりもクイックソート風にやった方が強いっぽい。 適当に似た色を選んでいく方法も割と強い。 マージソートのやり方 2個組、4個組、8個組までは気合。 このとき、各…

SAT solverで「数独」「美術館」「ひとりにしてくれ」を解きました。Githubにあげました。めっちゃ楽しかったので準急に多謝だー。（JOI春合宿で講義をしてくれた） 準備 SAT solverをインストールしましょう。僕はminisatにしました。（なんか入れるのに苦…