wata_orz https://blog.hatena.ne.jp/wata_orz/ てきとーな日記 https://wata-orz.hatenadiary.org/ Program 目的 TopCoderとかでいちいちΣ計算するのがだるかったのでプログラムで自動化を試みた。 ただΣ計算するだけではあまり意味が無いので、条件式を自動で場合分けして計算するものを考えたところ、式は多項式に限定し、条件式は線形不等式と定数を法とする合同式に限定すれば、サイズ小さければ解けそう…ということになったので作成開始。 最近のでいうとSRM455の550やSRM454の1000などを解けるようなのを目指す。 方針 [条件式]で条件が真の時1、偽の時0を返す関数を表すことにし、 を $x[a と書く。($xはxが整数全体を動くことを表す) 条件式は線形不等式[A合同式[a|A](Aがaで割り… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwata-orz.hatenadiary.org%2Fentry%2F20091223%2F1261582436" title="Σ電卓 - てきとーな日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-12-23 00:33:56 rich https://wata-orz.hatenadiary.org/entry/20091223/1261582436 1.0 100%