床関数・天井関数（floor function / ceiling function）の典型まとめ - りきぽん's 競プロblog

考察をショートカットしたいので書きました。負の数が絡むと頭が壊れがち。 見つけ次第追加していこうと思います。 定義 床関数 $ x $ が有理数のとき 天井関数 $ x $ が有理数のとき 不等式評価 床関数 天井関数 切り捨て除算を使った実装 オーバーフローを避けて $ab$ と $c$ を比較する 平方分割 $ \left\lfloor \frac{n}{ab} \right\rfloor = \left\lfloor \left\lfloor \frac{n}{a} \right\rfloor / b \right\rfloor $ Sum of Floor of Linear 定義 床関数 $ x \in \mathbb{R} $ 以下の最大の整数を $ \lfloor x \rfloor $ で表し、$ \lfloor \cdot \rfloor $ を床関数（floor fun