変数次多項式は異なる個の点における値を決めることで常に一意に定まります。(実数上で考えるとします。) 多変数にした場合はどうなるでしょうか。 「常に」は成り立たなくなり、多項式を決定するためにはうまく点を選ぶ必要があります。 必要条件はいくつか…

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

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