ProconLibrary

Library Files

DataStructure/

• DataStructure/2d_segment_tree.hpp
• KDTree (DataStructure/kd_tree.hpp)
• n次元累積和 (DataStructure/nth_accumulater.hpp)
• 永続スタック (DataStructure/persistent_stack.hpp)
• 重み付きUnion Find (DataStructure/weighted_union_find.hpp)

EnumerativeCombinatorics/

• 二項係数 (素数 mod) (EnumerativeCombinatorics/binomial_coefficient_prime_mod.hpp)

Geometry/

• Geometry/convex.hpp
• Geometry/point.hpp

Geometry/convex_algo/

• Geometry/convex_algo/contains_point.hpp
• Geometry/convex_algo/count_grid_points.hpp
• Geometry/convex_algo/find_furthest_pair.hpp

Graph/

• Graph/minimum_steiner_tree.hpp

Hash/

• Zobrist Hash (多重集合) (Hash/zobrist_count_hash.hpp)
• Zobrist Hash (立方数判定) (Hash/zobrist_cubic_hash.hpp)
• Zobrist Hash (Hash/zobrist_hash_base.hpp)
• Zobrist Hash (偶奇判定) (Hash/zobrist_parity_hash.hpp)
• Zobrist Hash (集合) (Hash/zobrist_type_hash.hpp)

Heuristic/

• Heuristic/approx_tsp_solver.hpp
• Heuristic/fast_random_engine.hpp
• 永続スタック (生ポインタ) (Heuristic/raw_pointer_persistent_stack.hpp)

Math/

• 差分制約系 (牛ゲー) (Math/difference_constraints_solver.hpp)
• 約数列挙 (Math/enumerate_divisor.hpp)
• 素数列挙 (Math/enumerate_primes.hpp)
• 高速素因数分解 (Math/fast_factorizer.hpp)
• 積算のオーバーフロー判定 (Math/is_multiplication_overflow.hpp)
• k乗根（整数） (Math/kth_root_integer.hpp)
• 整数累乗 (mod) (Math/mod_power.hpp)
• 等比数列の総和 (mod) (Math/mod_sum_of_geometric_sequence.hpp)
• 素数判定 (Math/primality_test.hpp)
• 素因数分解 (Math/prime_factorize.hpp)

Other/

• 二分探索 (Other/binary_search.hpp)
• 繰り返し二乗法 (Other/fast_power.hpp)

String/

• ランレングス圧縮 (String/run_length_encode.hpp)

Tree/

• ダブリング (Tree/doubling.hpp)
• Heavy-Light 分解 (HLD) (Tree/heavy_light_decomposition.hpp)
• Tree/lowest_common_ancestor.hpp
• Tree/trie.hpp

Verification Files

test/DataStructure/2d-segment-tree/

• test/DataStructure/2d-segment-tree/aoj-1068.cpp

test/DataStructure/kd-tree/

• test/DataStructure/kd-tree/aoj-DSL_2_C.cpp
• test/DataStructure/kd-tree/yukicoder-2909.cpp

test/DataStructure/nth_accumulater/

• test/DataStructure/nth_accumulater/abc300-f.cpp
• test/DataStructure/nth_accumulater/abc331-d.cpp
• test/DataStructure/nth_accumulater/abc354-d.cpp
• test/DataStructure/nth_accumulater/abc366-d.cpp
• test/DataStructure/nth_accumulater/yosupo-static_range_sum.cpp

test/DataStructure/persistent_stack/

• test/DataStructure/persistent_stack/abc273-e.cpp

test/DataStructure/weighted_union_find/

• test/DataStructure/weighted_union_find/aoj-DSL_1_B.cpp
• test/DataStructure/weighted_union_find/yosupo-unionfind_with_potential.cpp

test/EnumerativeCombinatorics/binomial_coefficient_prime_mod/

• test/EnumerativeCombinatorics/binomial_coefficient_prime_mod/yosupo-binomial_coefficient_prime_mod.cpp

test/Geometry/convex/

• test/Geometry/convex/aoj-0079.cpp
• test/Geometry/convex/aoj-CGL_4_A.cpp
• test/Geometry/convex/yosupo-static_convex_hull.cpp

test/Geometry/convex_algo/contains_point/

• test/Geometry/convex_algo/contains_point/abc296-g.cpp

test/Geometry/convex_algo/find_furthest_pair/

• test/Geometry/convex_algo/find_furthest_pair/aoj-CGL_4_B.cpp
• test/Geometry/convex_algo/find_furthest_pair/yosupo-find_furthest_pair.cpp

test/Geometry/point/

• test/Geometry/point/aoj-CGL_1_C.cpp

test/Graph/minimum_steiner_tree/

• test/Graph/minimum_steiner_tree/yosupo-minimum_steiner_tree.cpp

test/Hash/zobrist_hash/

• test/Hash/zobrist_hash/abc238-g.cpp
• test/Hash/zobrist_hash/abc250-e.cpp
• test/Hash/zobrist_hash/abc367-f.cpp

test/Heuristic/approx_tsp_solver/

• test/Heuristic/approx_tsp_solver/my_test.cpp

test/Heuristic/raw_pointer_persistent_stack/

• test/Heuristic/raw_pointer_persistent_stack/abc273-e.cpp

test/Math/difference_constraints_solver/

• test/Math/difference_constraints_solver/aoj-0304.cpp

test/Math/enumerate_divisor/

• test/Math/enumerate_divisor/aoj-ITP1_3_D.test.cpp
• test/Math/enumerate_divisor/aoj-ITP1_3_D.test2.cpp

test/Math/enumerate_primes/

• test/Math/enumerate_primes/yosupo-enumerate_primes.test.cpp

test/Math/fast_factorize/

• test/Math/fast_factorize/yosupo-factorize.cpp

test/Math/is_multiplication_overflow/

• test/Math/is_multiplication_overflow/abc169-b.test.cpp

test/Math/kth_root_integer/

• test/Math/kth_root_integer/yosupo-kth_root_integer.cpp

test/Math/mod_power/

• test/Math/mod_power/aoj-NTL_1_B.cpp
• test/Math/mod_power/my_test.cpp

test/Math/mod_sum_of_geometric_sequence/

• test/Math/mod_sum_of_geometric_sequence/abc293-e.test.cpp

test/Math/pow_of_matrix/

• test/Math/pow_of_matrix/yosupo-pow_of_matrix.cpp

test/Math/primality_test/

• test/Math/primality_test/yosupo-primality_test.cpp

test/Math/prime_factorize/

• test/Math/prime_factorize/aoj-NTL_1_A.test.cpp

test/Other/binary_search/

• test/Other/binary_search/yukicoder-0067.cpp

test/String/run_length_encode/

• test/String/run_length_encode/hackerrank-run-length-encoding.cpp
• test/String/run_length_encode/yukicoder-0203.cpp

test/Tree/doubling/

• test/Tree/doubling/abc167-d.test.cpp
• test/Tree/doubling/abc241-e.test.cpp
• test/Tree/doubling/abc367-e.test.cpp
• test/Tree/doubling/typical90-bf.test.cpp

test/Tree/heavy_light_decomposition/

• test/Tree/heavy_light_decomposition/aoj-GRL_5_D.cpp
• test/Tree/heavy_light_decomposition/yosupo-lca.cpp
• test/Tree/heavy_light_decomposition/yosupo-vertex_add_path_sum.cpp
• test/Tree/heavy_light_decomposition/yosupo-vertex_add_subtree_sum.cpp
• test/Tree/heavy_light_decomposition/yosupo-vertex_set_path_composite.cpp
• test/Tree/heavy_light_decomposition/yukicoder-1641.cpp
• test/Tree/heavy_light_decomposition/yukicoder-399.cpp

test/Tree/lowest_common_ancestor/

• test/Tree/lowest_common_ancestor/aoj-GRL_5_C.cpp
• test/Tree/lowest_common_ancestor/yosupo-lca.cpp

test/Tree/trie/

• test/Tree/trie/aoj-ALDS1_4.cpp