library

どっくどくぷりん

Library Files

convolution

• 約数についてのゼータ変換/メビウス変換 (convolution/divisor-zeta-moebius-transform.hpp)
• 倍数についてのゼータ変換/メビウス変換 (convolution/multiple-zeta-moebius-transform.hpp)
• 下位集合についての高速ゼータ変換/メビウス変換 (convolution/subset-zeta-moebius-transform.hpp)
• 上位集合についての高速ゼータ変換/メビウス変換 (convolution/superset-zeta-moebius-transform.hpp)

dp/automaton

• 決定性有限オートマトン(DFA, Deterministic Finite Automaton) (dp/automaton/automaton.hpp)
• あまりを管理するオートマトン(remainder.hpp) (dp/automaton/remainder.hpp)

dp

• Cumulative Sum 2D (二次元累積和) (dp/cumulative-sum-2d.hpp)
• dp/largest-rectangle-in-a-histogram.hpp

.

• dropbox_refresh.py

formal-power-series

• Fiducciaのアルゴリズム (きたまさ法?) (formal-power-series/fiduccia.hpp)
• Formal Power Series (形式的べき級数) (formal-power-series/formal-power-series.hpp)
• mod 998244353でのFPS(Formal Power Series, 形式的べき級数) (formal-power-series/fps998.hpp)
• formal-power-series/naive-fps.hpp
• sparse-fps (formal-power-series/sparse-fps.hpp)

graph

• Bellmanford(ベルマンフォード法) (graph/bellmanford.hpp)
• Tree Diameter(木の直径) (graph/diameter.hpp)
• Dijkstra(ダイクストラ法) (graph/dijkstra.hpp)
• graph/graph_template.hpp

graph/tree

• Heavy-Light Decomposition(HL分解, HLD) (graph/tree/heavy_light_decomposition.hpp)

math

• count by remainder (math/count_by_remainder.hpp)
• math/external_gcd.hpp
• math/linear_function.hpp
• math/mod_pow.hpp
• modint (math/modint.hpp)

math/matrix

• Matrix(行列) (math/matrix/matrix.hpp)

structure

• Potentialized Union Find Tree (ポテンシャルつきUnionFind木) (structure/potentialized-union-find-tree.hpp)
• Foldable Deque(Slide Window Aggregation) (structure/slide-window-aggregation.hpp)

structure/segment-tree

• Segment Tree(セグメント木) (structure/segment-tree/segment-tree.hpp)

template

• template/template.hpp

test/unittest

• test/unittest/unittest-template.cpp

test/verify/fps

• test/verify/fps/yosupo-inv-of-formal-power-series-naive-test.cpp

Verification Files

.

• example.test.cpp

test/unittest

• test/unittest/unittest-multiple-divisor-moebius-transform.test.cpp

test/verify

• test/verify/aoj-0560.test.cpp
• test/verify/aoj-dpl3-c.test.cpp
• test/verify/aoj-grl-1b.test.cpp
• test/verify/atcoder-tdpc-s.test.cpp
• test/verify/yosupo-deque-operate-all-composite.test.cpp
• test/verify/yosupo-queue-operate-all-composite.test.cpp
• test/verify/yosupo-shortest-path.test.cpp
• test/verify/yosupo-tree-diameter.test.cpp
• test/verify/yosupo-vertex-add-path-sum.test.cpp
• test/verify/yosupo-vertex-add-subtree-sum.test.cpp
• test/verify/yosupo-vertex-set-path-composite.test.cpp
• test/verify/yuki-372-itsautomatic.test.cpp
• test/verify/yuki-9000.test.cpp

test/verify/convolution

• test/verify/convolution/yosupo-and-convolution.test.cpp
• test/verify/convolution/yosupo-gcd-convolution.test.cpp
• test/verify/convolution/yosupo-lcm-convolution.test.cpp
• test/verify/convolution/yosupo-normal-convolution.test.cpp

test/verify/fps

• test/verify/fps/yosupo-division-of-polynomials.test.cpp
• test/verify/fps/yosupo-exp-of-formal-power-series.test.cpp
• test/verify/fps/yosupo-inv-of-formal-power-series-fast2.test.cpp
• test/verify/fps/yosupo-inv-of-formal-power-series-sparse.test.cpp
• test/verify/fps/yosupo-kth-term-of-linearly-recurrent-sequence.test.cpp
• test/verify/fps/yosupo-log-of-formal-power-series.test.cpp
• test/verify/fps/yosupo-pow-of-formal-power-series.test.cpp

test/verify/math/matrix

• test/verify/math/matrix/yosupo-inverse-of-matrix.test.cpp
• test/verify/math/matrix/yosupo-linear-equation.test.cpp
• test/verify/math/matrix/yosupo-matrix-product.test.cpp
• test/verify/math/matrix/yosupo-pow-of-matrix.test.cpp
• test/verify/math/matrix/yosupo-rank-of-matrix.test.cpp

test/verify/structure

• test/verify/structure/aoj-dsl1-b.test.cpp

unabstracted_libs/segment-tree

• unabstracted_libs/segment-tree/aoj-dsl-2-a(RMQ).test.cpp
• unabstracted_libs/segment-tree/aoj-dsl-2-b(RSQ).test.cpp
• unabstracted_libs/segment-tree/aoj-dsl-2-d(RUQ).test.cpp
• unabstracted_libs/segment-tree/aoj-dsl-2-e(RAQ).test.cpp