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)

internal/

• 128 bit 整数型 (internal/int128.hpp)

math/combinatorics/

• 二項係数の和（オンライン） (math/combinatorics/online-binomial-sum.hpp)

math/matrix/

• 1 次行列多項式の行列式（yukicoder No.1907 DETERMINATION） (math/matrix/determinant-of-linear-matrix-polynomial.hpp)
• 行列の更新に伴う階数の計算 (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（次数 2 以下） (math/number-theory/generalized-floor-sum-degree-le-2.hpp)
• $A_i x\equiv B_i\pmod{M_i}$ の形の連立合同方程式 (math/number-theory/generalized-garner.hpp)

other/

• 列から互いに隣り合わない $k$ 個の要素を選んだときの総和の最大値または最小値の列挙 (other/enumerate-maximum-independent-set-path-sums.hpp)
• 法 $m$ で 2 つの数列を一致させるために区間の各要素をインクリメントまたはデクリメントする最小回数 (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-01-on-tree.test.cpp
• verify/standalone-determinant-of-linear-matrix-polynomial.test.cpp
• verify/standalone-dynamic-matrix-rank.test.cpp
• verify/standalone-dynamic-median.test.cpp
• verify/standalone-enumerate-maximum-independent-set-path-sums.test.cpp
• verify/standalone-floor-sum.test.cpp
• verify/standalone-generalized-floor-sum-degree-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-int128.test.cpp
• verify/standalone-line-convex-polygon-intersection.test.cpp
• verify/standalone-minimum-mod-range-increment-decrement-operations.test.cpp
• verify/standalone-online-binomial-sum.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-many-aplusb-128bit.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-2512.test.cpp
• verify/yukicoder-2603.test.cpp
• verify/yukicoder-3148.test.cpp
• verify/yukicoder-3322.test.cpp