競技プログラミングでたまに使われるゼータ変換とメビウス変換について、逆変換だというのがどうもピンと来なかったので確かめてみる事にしました。 (多分探せばもっと高度でエレガントな証明があるんだろうなぁと思っています。) これらの変換は、集合上の…

ゴドマチの詰め探索をするプログラムを書きました。 結構頑張ったのと、個人的に面白かったので使ったアルゴリズムについて書いてみようと思います。 ゴドマチって？ 2人用の対戦型パズルゲームです。 ルールは考案された方のページでまとめられています。 …