この記事はhttps://adventar.org/calendars/4520の22日目の記事として書かれました。昨日はRisebbitさんのシークエント計算の自動証明を実装してみたでした。 夏休みなんかノリでSAT Solverを作ったんで、大変だったところとか書いておきます。 SATとは? 論…

東京工業大学プログラミングコンテスト2019 - AtCoderrisujirohさんJoe先輩とチームを組んで5位(オンサイト2位)でした。最初はrisujirohさんとの2人チームだったんですが、僕がJSC2019の予選で橙から黄に転落したことで、3人でチームを組めることに。会場で…

https://atcoder.jp/contests/dp/tasks/dp_y座標をpairに格納してソートしたものをPとする。訪れるマスのPのindexをa_1 a_2->a_3->...->a_mの順番でしか訪問できない。なので、最後に訪れる場所で場合分けできて包除できる。 包除の問題で集合ではなく個数で…

https://community.topcoder.com/stat?c=problem_statement&pm=14266完全に知っているかどうかの問題ですが…問題文がややこしいが、{1,2,...,n}から{1,2,...,n}への関数fを無限回適用したものをgとして、g(1),g(2),...,g(n)がk個の値を取る時のfの個数を求め…