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-reactangle-in-a-histogram.hpp)

formal-power-series

• formal-power-series/fiduccia.hpp
• Formal Power Series (形式的べき級数) (formal-power-series/formal-power-series.hpp)
• formal-power-series/fps998.hpp
• sparse-fps (formal-power-series/sparse-fps.hpp)

graph

• graph/diameter.hpp
• graph/dijkstra.hpp
• graph/graph_template.hpp

math

• math/count_by_remainder.hpp
• math/external_gcd.hpp
• math/mod_pow.hpp
• modint (math/modint.hpp)

math/matrix

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

structure/segment-tree

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

structure

• Foldable Deque(Slide Window Aggregation) (structure/slide-window-aggregation.hpp)

template

• template/template.hpp

test/unittest

• test/unittest/unittest-template.cpp

test/verify

• test/verify/atcoder-tdpc-s.cpp

test/verify/fps

• test/verify/fps/yosupo-inv-of-formal-power-series-naive-test.cpp
• test/verify/fps/yosupo-kth-term-of-linearly-recurrent-sequence-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/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/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/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-log-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-matrix-product.test.cpp
• test/verify/math/matrix/yosupo-pow-of-matrix.test.cpp
• test/verify/math/matrix/yosupo-rank-of-matrix.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