NicheLibrary

NicheLibrary は既存の有名なライブラリで要件を満たせないものを補うためのライブラリです。メインのライブラリとして使用することは想定していません。
不具合の報告や修正の Issue / Pull Request は歓迎します。詳細は GitHub リポジトリの CONTRIBUTING.md などを参照してください。

Library Files

geometry/

• 凸多角形と直線の交点（$O(\log N)$） (geometry/line-convex-polygon-intersection.hpp)

graph/others/

• グラフ同型判定 (graph/others/graph-isomorphism.hpp)

graph/tree/

• 01 on Tree (graph/tree/01-on-tree.hpp)
• 重軽再帰 DP (graph/tree/hl-rec-dp.hpp)

math/matrix/

• 正方行列の 1 次式の行列式 (yukicoder No.1907 DETERMINATION) (math/matrix/determinant-of-linear-matrix-polynomial.hpp)
• 行列の階数と動的な 1 行・1 列更新 (math/matrix/dynamic-matrix-rank.hpp)

math/multiplicative-function/

• $m$ で割った余りごとの $N$ 以下の素数の個数の列挙 (math/multiplicative-function/prime-counting-modulo.hpp)

math/number-theory/

• floor sum (math/number-theory/floor-sum.hpp)
• 一般化 floor sum ($p+q\le 2$) (math/number-theory/generalized-floor-sum-pq-le-2.hpp)
• $A_i x\equiv B_i\pmod{M_i}$ の形の連立合同方程式 (math/number-theory/generalized-garner.hpp)

other/

• 区間インクリメント/デクリメントの最小回数（$\text{mod }m$） (other/minimum-mod-range-increment-decrement-operations.hpp)
• Rectangle Add Max Get (other/rectangle-add-max-get.hpp)

structure/others/

• 値の追加・削除と中央値取得 (structure/others/dynamic-median.hpp)

Verification Files

verify/

• verify/aoj-cgl-4-c.test.cpp
• verify/standalone-dynamic-matrix-rank.test.cpp
• verify/standalone-dynamic-median.test.cpp
• verify/standalone-generalized-floor-sum-pq-le-2.test.cpp
• verify/standalone-generalized-garner.test.cpp
• verify/standalone-graph-isomorphism.test.cpp
• verify/standalone-hl-rec-dp.test.cpp
• verify/standalone-minimum-mod-range-increment-decrement-operations.test.cpp
• verify/standalone-prime-counting-modulo.test.cpp
• verify/standalone-rectangle-add-max-get.test.cpp
• verify/yosupo-area-of-union-of-rectangles.test.cpp
• verify/yosupo-characteristic-polynomial.test.cpp
• verify/yosupo-counting-primes.test.cpp
• verify/yosupo-matrix-rank.test.cpp
• verify/yosupo-rooted-tree-topological-order-with-minimum-inversions.test.cpp
• verify/yosupo-sum-of-floor-of-linear.test.cpp
• verify/yukicoder-275.test.cpp
• verify/yukicoder-1907.test.cpp
• verify/yukicoder-2117.test.cpp
• verify/yukicoder-2362.test.cpp
• verify/yukicoder-2603.test.cpp
• verify/yukicoder-3148.test.cpp