CP-Algorithms Library

Library Files

cp-algo/

• cp-algo/number_theory.hpp

cp-algo/geometry/

• cp-algo/geometry/closest_pair.hpp
• cp-algo/geometry/convex_hull.hpp
• cp-algo/geometry/point.hpp

cp-algo/graph/

• cp-algo/graph/base.hpp
• cp-algo/graph/cycle.hpp
• cp-algo/graph/edge_types.hpp
• cp-algo/graph/euler.hpp
• cp-algo/graph/mst.hpp
• cp-algo/graph/shortest_path.hpp

cp-algo/linalg/

• cp-algo/linalg/frobenius.hpp
• cp-algo/linalg/matrix.hpp
• cp-algo/linalg/vector.hpp

cp-algo/math/

• cp-algo/math/affine.hpp
• cp-algo/math/combinatorics.hpp
• cp-algo/math/common.hpp
• cp-algo/math/cvector.hpp
• cp-algo/math/factorials.hpp
• cp-algo/math/fft.hpp
• cp-algo/math/fft64.hpp
• cp-algo/math/multivar.hpp
• cp-algo/math/poly.hpp

cp-algo/math/poly/impl/

• cp-algo/math/poly/impl/div.hpp
• cp-algo/math/poly/impl/euclid.hpp

cp-algo/number_theory/

• cp-algo/number_theory/discrete_log.hpp
• cp-algo/number_theory/discrete_sqrt.hpp
• cp-algo/number_theory/euler.hpp
• cp-algo/number_theory/factorize.hpp
• cp-algo/number_theory/modint.hpp
• cp-algo/number_theory/primality.hpp
• cp-algo/number_theory/two_squares.hpp

cp-algo/random/

• cp-algo/random/rng.hpp

cp-algo/structures/

• cp-algo/structures/bit_array.hpp
• cp-algo/structures/bitpack.hpp
• cp-algo/structures/dsu.hpp
• cp-algo/structures/eertree.hpp
• cp-algo/structures/fenwick.hpp
• cp-algo/structures/fenwick_set.hpp
• cp-algo/structures/segtree.hpp
• cp-algo/structures/stack_union.hpp
• cp-algo/structures/treap.hpp

cp-algo/structures/segtree/metas/

• cp-algo/structures/segtree/metas/affine.hpp
• cp-algo/structures/segtree/metas/base.hpp
• cp-algo/structures/segtree/metas/chmin_chmax_add.hpp

cp-algo/structures/treap/

• cp-algo/structures/treap/common.hpp

cp-algo/structures/treap/metas/

• cp-algo/structures/treap/metas/base.hpp
• cp-algo/structures/treap/metas/reverse.hpp

cp-algo/util/

• cp-algo/util/big_alloc.hpp
• cp-algo/util/bit.hpp
• cp-algo/util/bump_alloc.hpp
• cp-algo/util/checkpoint.hpp
• cp-algo/util/complex.hpp
• cp-algo/util/compress_coords.hpp
• cp-algo/util/simd.hpp
• cp-algo/util/sort.hpp

Verification Files

verify/combi/

• Binomial Coefficient (Prime Mod) (verify/combi/binom.test.cpp)
• Many Factorials (verify/combi/many_facts.test.cpp)
• Many Factorials (dynamic Mod) (verify/combi/many_facts_dynamic.test.cpp)

verify/geometry/

• Sort Points by Argument (verify/geometry/arg.test.cpp)
• Closest Pair of Points (verify/geometry/closest_pair.test.cpp)
• Static Convex Hull (verify/geometry/hull.test.cpp)

verify/graph/

• Cycle Detection (Directed) (verify/graph/cycle_directed.test.cpp)
• Cycle Detection (Undirected) (verify/graph/cycle_undirected.test.cpp)
• Eulerian Trail (Directed) (verify/graph/euler_directed.test.cpp)
• Eulerian Trail (Undirected) (verify/graph/euler_undirected.test.cpp)
• Minimum Spanning Tree (verify/graph/mst.test.cpp)
• Shortest Path (verify/graph/shortest_path.test.cpp)

verify/linalg/

• Adjugate Matrix (verify/linalg/adj.test.cpp)
• Characteristic Polynomial (verify/linalg/characteristic.test.cpp)
• Matrix Determinant (verify/linalg/det.test.cpp)
• Counting Eulerian Circuits (verify/linalg/euler_circs.test.cpp)
• Inverse Matrix (verify/linalg/inv.test.cpp)
• Matching on General Graph (verify/linalg/matching.test.cpp)
• Pow of Matrix (verify/linalg/pow.test.cpp)
• Pow of Matrix (Frobenius) (verify/linalg/pow_fast.test.cpp)
• Matrix Product (verify/linalg/prod.test.cpp)
• Matrix Product (dynamic modint) (verify/linalg/prod_dynamic_modint.test.cpp)
• Rank of Matrix (verify/linalg/rank.test.cpp)
• Counting Spanning Trees (Directed) (verify/linalg/spanning_directed.test.cpp)
• Counting Spanning Trees (Undirected) (verify/linalg/spanning_undirected.test.cpp)
• System of Linear Equations (verify/linalg/system.test.cpp)
• Matching on General Graph (Tutte matrix) (verify/linalg/tutte.test.cpp)

verify/number_theory/

• Discrete Logarithm (verify/number_theory/discrete_log.test.cpp)
• Factorize (verify/number_theory/factorize.test.cpp)
• Sqrt Mod (verify/number_theory/modsqrt.test.cpp)
• Primality Test (verify/number_theory/primality.test.cpp)
• Primitive Root (verify/number_theory/primitive_root.test.cpp)
• Represent A Number As Two Square Sum (verify/number_theory/two_squares.test.cpp)

verify/poly/

• Bell Number (verify/poly/bell.test.cpp)
• Convolution mod $10^9+7$ (verify/poly/convolution107.test.cpp)
• Convolution (Mod $2^{64}$) (verify/poly/convolution64.test.cpp)
• Convolution (Large) (verify/poly/convolution_large.test.cpp)
• Convolution on the Multiplicative Monoid of $\mathbb Z/p\mathbb{Z}$ (verify/poly/convolution_mul.test.cpp)
• Division of Polynomials (verify/poly/div.test.cpp)
• Exp of Power Series (verify/poly/exp.test.cpp)
• Find Linear Recurrence (verify/poly/find_linrec.test.cpp)
• Polynomial Interpolation (verify/poly/inter.test.cpp)
• Polynomial Interpolation (Geometric Sequence) (verify/poly/inter_geo.test.cpp)
• Inv of Power Series (verify/poly/inv.test.cpp)
• Inv of Polynomials (verify/poly/inv_mod.test.cpp)
• Consecutive Terms of Linear Recursion (verify/poly/linrec_consecutive.test.cpp)
• Kth term of Linearly Recurrent Sequence (verify/poly/linrec_single.test.cpp)
• Log of Power Series (verify/poly/log.test.cpp)
• Multipoint Evaluation (verify/poly/multieval.test.cpp)
• Multipoint Evaluation (Geometric Sequence) (verify/poly/multieval_geo.test.cpp)
• Multidimensional Convolution (Truncated) (verify/poly/multivar.test.cpp)
• Conversion to Newton Basis (verify/poly/newton.test.cpp)
• Pow of Power Series (verify/poly/pow.test.cpp)
• Product of Polynomial Sequence (verify/poly/prod_sequence.test.cpp)
• Polynomial Root Finding (verify/poly/roots.test.cpp)
• Shift of Sampling Points of Polynomial (verify/poly/sampling.test.cpp)
• Sqrt of Power Series (verify/poly/sqrt.test.cpp)
• $\sum\limits_{i=0}^\infty r^i i^d$ (verify/poly/sum_exp_poly.test.cpp)
• Polynomial Taylor Shift (verify/poly/taylor.test.cpp)
• Wildcard Pattern Matching (verify/poly/wildcard.test.cpp)

verify/string/

• Eertree (verify/string/eertree.test.cpp)

verify/structures/bitpack/

• Determinant of Matrix (Mod 2) (verify/structures/bitpack/det_mod_2.test.cpp)
• Inverse Matrix (Mod 2) (verify/structures/bitpack/inv_mod_2.test.cpp)
• Matrix Product (Mod 2) (verify/structures/bitpack/prod_mod_2.test.cpp)
• System of Linear Equations (Mod 2) (verify/structures/bitpack/system_mod_2.test.cpp)

verify/structures/fenwick/

• Longest Increasing Subsequence (verify/structures/fenwick/lis.test.cpp)
• Ordered Set (verify/structures/fenwick/ordered_set.test.cpp)
• Point Add Range Sum (verify/structures/fenwick/point_add_range_sum.test.cpp)

verify/structures/segtree/

• Range Affine Range Sum (verify/structures/segtree/range_affine_range_sum.test.cpp)
• Range Chmin Chmax Add Range Sum (verify/structures/segtree/range_chmin_chmax_add_range_sum.test.cpp)

verify/structures/treap/

• Build Cartesian Tree (verify/structures/treap/cartesian_tree.test.cpp)
• Dynamic Range Affine Range Sum (verify/structures/treap/dynamic_sequence_range_affine_range_sum.test.cpp)
• Range Reverse Range Sum (verify/structures/treap/range_reverse_range_sum.test.cpp)