m1une's library
This is a C++ library for competitive programming authored by m1une. I made this library to use it for my own, but you may copy any code from this library for competitive programming purposes.
I used generative AI for the development of this library. If you found any bugs, please contact me via my Twitter account.
みうねが自分で使うためにまとめた競技プログラミング用のライブラリです。 生成AIを開発のために使用しています。
バグ等を発見した方がいましたらみうねのTwitterまでご連絡くれると嬉しいです。
説明は英語で書かれていますので、英語が不得手な方は適宜翻訳などして読んでください。
Library Files
acted_monoid
Acted Monoid Concept
(acted_monoid/concept.hpp)
Range Add Range ArgMax
(acted_monoid/range_add_range_arg_max.hpp)
Range Add Range ArgMin
(acted_monoid/range_add_range_arg_min.hpp)
Range Add Range Max
(acted_monoid/range_add_range_max.hpp)
Range Add Range Min
(acted_monoid/range_add_range_min.hpp)
Range Add Range Min Count
(acted_monoid/range_add_range_min_count.hpp)
Range Add Range Sum
(acted_monoid/range_add_range_sum.hpp)
Range Affine Range Min Max
(acted_monoid/range_affine_range_min_max.hpp)
Range Affine Range Sum
(acted_monoid/range_affine_range_sum.hpp)
Range Affine Range Sum of Squares
(acted_monoid/range_affine_range_sum_of_squares.hpp)
Range AP Add Range Sum
(acted_monoid/range_ap_add_range_sum.hpp)
Range AP Update Range Min Max
(acted_monoid/range_ap_update_range_min_max.hpp)
Range AP Update Range Sum
(acted_monoid/range_ap_update_range_sum.hpp)
Range Bitwise AND/OR/XOR Range Sum
(acted_monoid/range_bitwise_and_or_xor_range_sum.hpp)
Range Flip Range Binary Inversion
(acted_monoid/range_flip_range_binary_inversion.hpp)
Range Flip Range Sum
(acted_monoid/range_flip_range_sum.hpp)
Range Multiply Range Sum
(acted_monoid/range_mul_range_sum.hpp)
Range OR Range Sum
(acted_monoid/range_or_range_sum.hpp)
Range Update Range Longest True
(acted_monoid/range_update_range_longest_true.hpp)
Range Update Range Max
(acted_monoid/range_update_range_max.hpp)
Range Update Range Max Subarray
(acted_monoid/range_update_range_max_subarray.hpp)
Range Update Range Min
(acted_monoid/range_update_range_min.hpp)
Range Update Range Product
(acted_monoid/range_update_range_product.hpp)
Range Update Range Sum
(acted_monoid/range_update_range_sum.hpp)
Range XOR Range Sum
(acted_monoid/range_xor_range_sum.hpp)
Range Xor Range Xor
(acted_monoid/range_xor_range_xor.hpp)
Acted Monoid Wrapper
(acted_monoid/wrapper.hpp)
algo
algo/dp
algo/enumeration
Enumeration Algorithms All
(algo/enumeration/all.hpp)
Combination Masks
(algo/enumeration/combination.hpp)
Gray Code
(algo/enumeration/gray_code.hpp)
Permutation Lexicographical Order
(algo/enumeration/permutation_lexicographical_order.hpp)
Segment Tree Range Split
(algo/enumeration/segtree_range.hpp)
Submask Enumeration
(algo/enumeration/submask.hpp)
algo/offline
Offline Algorithms All
(algo/offline/all.hpp)
CDQ Divide And Conquer
(algo/offline/cdq_divide_and_conquer.hpp)
Mo's Algorithm
(algo/offline/mo.hpp)
Parallel Binary Search
(algo/offline/parallel_binary_search.hpp)
algo/search
Search Algorithms All
(algo/search/all.hpp)
Bisect
(algo/search/bisect.hpp)
Golden Section Search
(algo/search/golden_section_search.hpp)
Ternary Search
(algo/search/ternary_search.hpp)
algo/sequence
Sequence Algorithms All
(algo/sequence/all.hpp)
Inversion Count
(algo/sequence/inversion_count.hpp)
Longest Increasing Subsequence (LIS)
(algo/sequence/lis.hpp)
Merge Intervals
(algo/sequence/merge_intervals.hpp)
Mex
(algo/sequence/mex.hpp)
Non-Adjacent Selection Sums
(algo/sequence/non_adjacent_selection.hpp)
Number of Subsequences
(algo/sequence/number_of_subsequences.hpp)
Run Length Encoding
(algo/sequence/run_length_encoding.hpp)
Meet-in-the-Middle Subset Sum
(algo/sequence/subset_sum.hpp)
beats_acted_monoid
Beats Acted Monoid Concept
(beats_acted_monoid/concept.hpp)
Range Bitwise AND/OR Range Sum
(beats_acted_monoid/range_bitwise_and_or_range_sum.hpp)
Range Chmin/Chmax/Add Range Sum
(beats_acted_monoid/range_chmin_chmax_add_range_sum.hpp)
Beats Acted Monoid Wrapper
(beats_acted_monoid/wrapper.hpp)
.
convex
Alien Trick
(convex/alien_trick.hpp)
Convex All
(convex/all.hpp)
Convex Hull Trick
(convex/convex_hull_trick.hpp)
Li Chao Tree
(convex/li_chao_tree.hpp)
Slope Trick
(convex/slope_trick.hpp)
convex/monge
Monge All
(convex/monge/all.hpp)
Monge Checks
(convex/monge/check.hpp)
Divide-and-Conquer DP Optimization
(convex/monge/divide_and_conquer_optimization.hpp)
Knuth Optimization
(convex/monge/knuth_optimization.hpp)
LARSCH
(convex/monge/larsch.hpp)
Structured Min-Plus and Max-Plus Convolution
(convex/monge/min_plus_convolution.hpp)
Monotone Minima
(convex/monge/monotone_minima.hpp)
SMAWK
(convex/monge/smawk.hpp)
ds/binary_trie
Binary Trie
(ds/binary_trie/binary_trie.hpp)
Binary Trie with Monoid
(ds/binary_trie/binary_trie_monoid.hpp)
ds/bst
Mex Multiset
(ds/bst/mex_multiset.hpp)
Ordered Multiset
(ds/bst/ordered_multiset.hpp)
Ordered Set
(ds/bst/ordered_set.hpp)
Persistent Ordered Multiset
(ds/bst/persistent_ordered_multiset.hpp)
Persistent Ordered Set
(ds/bst/persistent_ordered_set.hpp)
Predecessor Set
(ds/bst/predecessor_set.hpp)
Rollback Ordered Multiset
(ds/bst/rollback_ordered_multiset.hpp)
Rollback Ordered Set
(ds/bst/rollback_ordered_set.hpp)
ds/deque
ds/detail
ds/dsu
DSU (Disjoint Set Union)
(ds/dsu/dsu.hpp)
DSU with Monoid
(ds/dsu/dsu_monoid.hpp)
Partially Persistent DSU
(ds/dsu/partially_persistent_dsu.hpp)
Persistent DSU
(ds/dsu/persistent_dsu.hpp)
Persistent Potentialized DSU
(ds/dsu/persistent_potentialized_dsu.hpp)
Potentialized DSU
(ds/dsu/potentialized_dsu.hpp)
Range-Parallel DSU
(ds/dsu/range_parallel_dsu.hpp)
Rollback DSU
(ds/dsu/rollback_dsu.hpp)
Rollback Potentialized DSU
(ds/dsu/rollback_potentialized_dsu.hpp)
ds/dynamic_array
Dynamic Array
(ds/dynamic_array/dynamic_array.hpp)
Dynamic Lazy Monoid Array
(ds/dynamic_array/dynamic_lazy_monoid_array.hpp)
Dynamic Monoid Array
(ds/dynamic_array/dynamic_monoid_array.hpp)
Persistent Dynamic Array
(ds/dynamic_array/persistent_dynamic_array.hpp)
Persistent Dynamic Lazy Monoid Array
(ds/dynamic_array/persistent_dynamic_lazy_monoid_array.hpp)
Persistent Dynamic Monoid Array
(ds/dynamic_array/persistent_dynamic_monoid_array.hpp)
Rollback Dynamic Array
(ds/dynamic_array/rollback_dynamic_array.hpp)
Rollback Dynamic Lazy Monoid Array
(ds/dynamic_array/rollback_dynamic_lazy_monoid_array.hpp)
Rollback Dynamic Monoid Array
(ds/dynamic_array/rollback_dynamic_monoid_array.hpp)
ds/dynamic_connectivity
Dynamic Connectivity
(ds/dynamic_connectivity/all.hpp)
Offline Dynamic Connectivity
(ds/dynamic_connectivity/offline_dynamic_connectivity.hpp)
Online Dynamic Connectivity
(ds/dynamic_connectivity/online_dynamic_connectivity.hpp)
ds/dynamic_tree
Lazy Link-Cut Tree
(ds/dynamic_tree/lazy_link_cut_tree.hpp)
Lazy Path Link-Cut Tree
(ds/dynamic_tree/lazy_path_link_cut_tree.hpp)
Link-Cut Tree
(ds/dynamic_tree/link_cut_tree.hpp)
Path Link-Cut Tree
(ds/dynamic_tree/path_link_cut_tree.hpp)
Rake-Compress Link-Cut Tree
(ds/dynamic_tree/rake_compress_link_cut_tree.hpp)
ds/hash_table
ds/hash_table/hash_common.hpp
Hash Map
(ds/hash_table/hash_map.hpp)
Hash Set
(ds/hash_table/hash_set.hpp)
ds/heap
Double-Ended Priority Queue
(ds/heap/double_ended_priority_queue.hpp)
Meldable Heap
(ds/heap/meldable_heap.hpp)
ds/interval_set
ds/queue
ds/range_query
Cumulative Sum (1D, 2D, 3D)
(ds/range_query/cumulative_sum.hpp)
Disjoint Sparse Table
(ds/range_query/disjoint_sparse_table.hpp)
Fenwick Tree (Binary Indexed Tree)
(ds/range_query/fenwick_tree.hpp)
Fenwick Tree 2D
(ds/range_query/fenwick_tree_2d.hpp)
K-d Tree
(ds/range_query/kd_tree.hpp)
Merge Sort Tree
(ds/range_query/merge_sort_tree.hpp)
Offline-Registered Point-Update Range Order Statistics with Sums
(ds/range_query/offline_point_update_range_order_statistics_sum.hpp)
Offline Rectangle Add Rectangle Sum
(ds/range_query/offline_rectangle_add_rectangle_sum.hpp)
Static Range Inversion Count
(ds/range_query/range_inversion_count.hpp)
Static Range LIS Query
(ds/range_query/range_lis_query.hpp)
Range Majority
(ds/range_query/range_majority.hpp)
Range Sort Range Composite
(ds/range_query/range_sort_range_composite.hpp)
Sliding Window Aggregation
(ds/range_query/sliding_window_aggregation.hpp)
Sliding Window Aggregation Deque
(ds/range_query/sliding_window_aggregation_deque.hpp)
Sparse Table
(ds/range_query/sparse_table.hpp)
Custom Square-Root Blocks
(ds/range_query/sqrt_blocks.hpp)
Square-Root Decomposition
(ds/range_query/sqrt_decomposition.hpp)
Sqrt Tree
(ds/range_query/sqrt_tree.hpp)
Static Range Count Distinct
(ds/range_query/static_range_count_distinct.hpp)
Static Range Mode Query
(ds/range_query/static_range_mode_query.hpp)
Static Rectangle Sum
(ds/range_query/static_rectangle_sum.hpp)
ds/segtree
Chmin Chmax Add Segment Tree Beats!
(ds/segtree/chmin_chmax_add_segtree.hpp)
Dual Segment Tree
(ds/segtree/dual_segtree.hpp)
Dual Segtree 2D
(ds/segtree/dual_segtree_2d.hpp)
Dynamic Dual Segment Tree
(ds/segtree/dynamic_dual_segtree.hpp)
Dynamic Lazy Segment Tree
(ds/segtree/dynamic_lazy_segtree.hpp)
Dynamic Segment Tree
(ds/segtree/dynamic_segtree.hpp)
ds/segtree/dynamic_segtree_common.hpp
Lazy Segment Tree
(ds/segtree/lazy_segtree.hpp)
Persistent Dual Segment Tree
(ds/segtree/persistent_dual_segtree.hpp)
Persistent Dynamic Dual Segment Tree
(ds/segtree/persistent_dynamic_dual_segtree.hpp)
Persistent Dynamic Lazy Segment Tree
(ds/segtree/persistent_dynamic_lazy_segtree.hpp)
Persistent Dynamic Segment Tree
(ds/segtree/persistent_dynamic_segtree.hpp)
Persistent Lazy Segment Tree
(ds/segtree/persistent_lazy_segtree.hpp)
ds/segtree/persistent_node_pool.hpp
Persistent Segment Tree
(ds/segtree/persistent_segtree.hpp)
ds/segtree/persistent_segtree_beats.hpp
Rollback Dual Segment Tree
(ds/segtree/rollback_dual_segtree.hpp)
Rollback Dynamic Dual Segment Tree
(ds/segtree/rollback_dynamic_dual_segtree.hpp)
Rollback Dynamic Lazy Segment Tree
(ds/segtree/rollback_dynamic_lazy_segtree.hpp)
Rollback Dynamic Segment Tree
(ds/segtree/rollback_dynamic_segtree.hpp)
Rollback Lazy Segment Tree
(ds/segtree/rollback_lazy_segtree.hpp)
Rollback Segment Tree
(ds/segtree/rollback_segtree.hpp)
Rollback Segment Tree Beats
(ds/segtree/rollback_segtree_beats.hpp)
Segment Tree
(ds/segtree/segtree.hpp)
Segtree 2D
(ds/segtree/segtree_2d.hpp)
Generic Segment Tree Beats!
(ds/segtree/segtree_beats.hpp)
ds/stack
ds/wavelet_matrix
Dynamic Wavelet Matrix
(ds/wavelet_matrix/dynamic_wavelet_matrix.hpp)
Dynamic Wavelet Matrix with Sums
(ds/wavelet_matrix/dynamic_wavelet_matrix_sum.hpp)
Wavelet Matrix
(ds/wavelet_matrix/wavelet_matrix.hpp)
Wavelet Matrix 2D
(ds/wavelet_matrix/wavelet_matrix_2d.hpp)
Wavelet Matrix with Sums
(ds/wavelet_matrix/wavelet_matrix_sum.hpp)
game
Game Library
(game/all.hpp)
Green Hackenbush
(game/green_hackenbush.hpp)
Grundy Numbers
(game/grundy.hpp)
DAG Minimax
(game/minimax.hpp)
Nim
(game/nim.hpp)
Nim Product
(game/nim_product.hpp)
Partisan Game Outcomes
(game/partisan_game.hpp)
Game Retrograde Analysis
(game/retrograde_analysis.hpp)
Silver Dollar Game
(game/silver_dollar_game.hpp)
Subtraction Game
(game/subtraction_game.hpp)
geometry
Geometry Bundle
(geometry/all.hpp)
Angle Sort
(geometry/angle_sort.hpp)
Circles
(geometry/circle.hpp)
Circle Coverage Areas
(geometry/circle_coverage_areas.hpp)
Area of Union of Circles
(geometry/circle_union_area.hpp)
Closest Pair of Points
(geometry/closest_pair.hpp)
Convex Decomposition
(geometry/convex_decomposition.hpp)
Convex Hull
(geometry/convex_hull.hpp)
Convex Layers
(geometry/convex_layers.hpp)
Convex Polygons
(geometry/convex_polygon.hpp)
Count Points in Triangle
(geometry/count_points_in_triangle.hpp)
Delaunay Triangulation
(geometry/delaunay_triangulation.hpp)
Euclidean Minimum Spanning Tree
(geometry/euclidean_mst.hpp)
Farthest Pair of Points
(geometry/farthest_pair.hpp)
Half-Plane Intersection
(geometry/half_plane_intersection.hpp)
Lattice-Point Count
(geometry/lattice_point_count.hpp)
Linear Objects
(geometry/linear.hpp)
Manhattan Minimum Spanning Tree
(geometry/manhattan_mst.hpp)
Manhattan Segment Intersections
(geometry/manhattan_segment_intersections.hpp)
Minimum Enclosing Circle
(geometry/minimum_enclosing_circle.hpp)
Minkowski Sum
(geometry/minkowski_sum.hpp)
Perpendicular Bisector
(geometry/perpendicular_bisector.hpp)
2D Point and Predicates
(geometry/point.hpp)
Polygons
(geometry/polygon.hpp)
Area of Union of Rectangles
(geometry/rectangle_union_area.hpp)
Steiner Convex Decomposition
(geometry/steiner_convex_decomposition.hpp)
Voronoi Diagram
(geometry/voronoi_diagram.hpp)
geometry/detail
graph
Graph All
(graph/all.hpp)
Bellman-Ford
(graph/bellman_ford.hpp)
BFS
(graph/bfs.hpp)
Biconnected Components
(graph/biconnected_components.hpp)
Bipartite Graph
(graph/bipartite.hpp)
Block-Cut Tree
(graph/block_cut_tree.hpp)
Chordal Graph Recognition
(graph/chordal_graph_recognition.hpp)
Chromatic Number
(graph/chromatic_number.hpp)
Complement-Graph Connected Components
(graph/complement_connected_components.hpp)
Connected Components
(graph/connected_components.hpp)
Count Four Cycles
(graph/count_four_cycles.hpp)
Graph Counting
(graph/counting.hpp)
Cow Game (Difference Constraints)
(graph/cow_game.hpp)
Cycle Detection
(graph/cycle_detection.hpp)
DAG Algorithms
(graph/dag.hpp)
DAG Longest Path
(graph/dag_longest_path.hpp)
DAG Path Count
(graph/dag_path_count.hpp)
Minimum DAG Path Cover
(graph/dag_path_cover.hpp)
DAG Reachability and Transitive Reduction
(graph/dag_reachability.hpp)
DAG Shortest Path
(graph/dag_shortest_path.hpp)
DFS
(graph/dfs.hpp)
Dijkstra
(graph/dijkstra.hpp)
Directed Graph Algorithms
(graph/directed.hpp)
Directed Minimum Spanning Tree
(graph/directed_mst.hpp)
Dominator Tree
(graph/dominator_tree.hpp)
Enumerate Cliques
(graph/enumerate_cliques.hpp)
Enumerate Triangles
(graph/enumerate_triangles.hpp)
Eulerian Trail
(graph/eulerian_trail.hpp)
Functional Graph
(graph/functional_graph.hpp)
General Matching
(graph/general_matching.hpp)
General Weighted Matching
(graph/general_weighted_matching.hpp)
Graph
(graph/graph.hpp)
Grid
(graph/grid.hpp)
Incremental Strongly Connected Components
(graph/incremental_scc.hpp)
K-Shortest Walk
(graph/k_shortest_walk.hpp)
Kruskal
(graph/kruskal.hpp)
LowLink
(graph/lowlink.hpp)
Matrix-Tree Theorem
(graph/matrix_tree_theorem.hpp)
Maximum Clique, Independent Set, and Vertex Cover
(graph/maximum_clique.hpp)
Minimum Steiner Tree
(graph/minimum_steiner_tree.hpp)
Namori Graph Decomposition
(graph/namori.hpp)
Range Edge Graph
(graph/range_edge_graph.hpp)
Replacement Paths
(graph/replacement_paths.hpp)
Strongly Connected Components
(graph/scc.hpp)
Shortest Path
(graph/shortest_path.hpp)
st-Numbering
(graph/st_numbering.hpp)
Three-Edge-Connected Components
(graph/three_edge_connected_components.hpp)
Topological Sort
(graph/topological_sort.hpp)
Two-Edge-Connected Components
(graph/two_edge_connected_components.hpp)
Two-Satisfiability
(graph/two_sat.hpp)
Undirected Graph Algorithms
(graph/undirected.hpp)
Warshall-Floyd
(graph/warshall_floyd.hpp)
0-1 BFS
(graph/zero_one_bfs.hpp)
graph/flow
Bounded Flow
(graph/flow/bounded_flow.hpp)
Bounded Min Cost Flow
(graph/flow/bounded_min_cost_flow.hpp)
Flow
(graph/flow/flow.hpp)
Gomory-Hu Tree
(graph/flow/gomory_hu.hpp)
Max Flow
(graph/flow/max_flow.hpp)
Min Cost Flow
(graph/flow/min_cost_flow.hpp)
graph/tree
Tree All
(graph/tree/all.hpp)
Cartesian Tree
(graph/tree/cartesian_tree.hpp)
Centroid Decomposition
(graph/tree/centroid_decomposition.hpp)
Tree Cumulative Sum
(graph/tree/cumulative_sum.hpp)
Tree Diameter
(graph/tree/diameter.hpp)
Tree Distance Frequency
(graph/tree/distance_frequency.hpp)
DSU on Tree
(graph/tree/dsu_on_tree.hpp)
Euler Tour
(graph/tree/euler_tour.hpp)
Heavy Light Decomposition
(graph/tree/heavy_light_decomposition.hpp)
Mo on Tree
(graph/tree/mo_on_tree.hpp)
Range Contour Query on Tree
(graph/tree/range_contour_query.hpp)
Rerooting DP
(graph/tree/rerooting_dp.hpp)
Rerooting Static Top Tree
(graph/tree/rerooting_static_top_tree.hpp)
Rooted Tree
(graph/tree/rooted_tree.hpp)
Sparse Table LCA
(graph/tree/sparse_table_lca.hpp)
Static Top Tree
(graph/tree/static_top_tree.hpp)
Tree
(graph/tree/tree.hpp)
Hash of Tree
(graph/tree/tree_hash.hpp)
Virtual Tree
(graph/tree/virtual_tree.hpp)
01 on Tree
(graph/tree/zero_one_on_tree.hpp)
heuristic
Heuristic Search
(heuristic/all.hpp)
Beam Search
(heuristic/beam_search.hpp)
Hill Climbing
(heuristic/hill_climbing.hpp)
Heuristic Objective
(heuristic/objective.hpp)
Simulated Annealing
(heuristic/simulated_annealing.hpp)
math
Math All
(math/all.hpp)
Base-N Numbers
(math/base_n.hpp)
Bernoulli Numbers and Power Sums
(math/bernoulli.hpp)
Binomial Coefficient Modulo an Arbitrary Modulus
(math/binomial_coefficient_mod.hpp)
Bit Ceil
(math/bit_ceil.hpp)
Bitwise Convolution
(math/bitwise_convolution.hpp)
Combinatorial Sequences
(math/combinatorial_sequences.hpp)
Combinatorics
(math/combinatorics.hpp)
Cyclotomic Polynomial
(math/cyclotomic_polynomial.hpp)
Discrete Logarithm
(math/discrete_logarithm.hpp)
Divisor Convolution
(math/divisor_convolution.hpp)
Gaussian Integer
(math/gaussian_integer.hpp)
Generalized Floor Sum
(math/generalized_floor_sum.hpp)
Integer Roots and Powers
(math/integer_arithmetic.hpp)
Lucas's Theorem
(math/lucas.hpp)
ModInt
(math/modint.hpp)
Modular Kth Root
(math/modular_kth_root.hpp)
Modular Square Root
(math/modular_square_root.hpp)
Multiplicative Function Prefix Sum
(math/multiplicative_function_prefix_sum.hpp)
Multidimensional Convolution
(math/multivariate_convolution.hpp)
Newton Method
(math/newton_method.hpp)
Number Theory
(math/number_theory.hpp)
Partition Function
(math/partition_function.hpp)
Prefix Sum of Binomial Coefficients
(math/prefix_sum_of_binom.hpp)
64-bit Prime Factorization
(math/prime_factorization.hpp)
Prime Sieve
(math/prime_sieve.hpp)
Primitive Root
(math/primitive_root.hpp)
Rational Number
(math/rational.hpp)
Rational Approximation
(math/rational_approximation.hpp)
Repunit
(math/repunit.hpp)
Set Power Series
(math/set_power_series.hpp)
Squarefree Count
(math/squarefree_count.hpp)
Stern-Brocot Tree
(math/stern_brocot_tree.hpp)
Subset Convolution
(math/subset_convolution.hpp)
Tetration
(math/tetration.hpp)
Totient Sum
(math/totient_sum.hpp)
Sum of Two Squares
(math/two_square_sum.hpp)
XOR Basis
(math/xor_basis.hpp)
Zeta and Mobius Transform
(math/zeta_mobius_transform.hpp)
math/fps
Formal Power Series All
(math/fps/all.hpp)
Formal Power Series Composition
(math/fps/composition.hpp)
Compositional Inverse of Formal Power Series
(math/fps/compositional_inverse.hpp)
Convolution
(math/fps/convolution.hpp)
Long Long Convolution
(math/fps/convolution_ll.hpp)
Floating-Point Convolution
(math/fps/floating_point_convolution.hpp)
Formal Power Series
(math/fps/formal_power_series.hpp)
Geometric-Sequence Polynomial Evaluation and Interpolation
(math/fps/geometric_sequence_evaluation.hpp)
Polynomial Half-GCD
(math/fps/half_gcd.hpp)
Lagrange Inversion Formula
(math/fps/lagrange_inversion.hpp)
Linear Recurrences and Bostan-Mori
(math/fps/linear_recurrence.hpp)
Multipoint Evaluation and Interpolation
(math/fps/multipoint_evaluation.hpp)
Polynomial Factorization
(math/fps/polynomial_factorization.hpp)
Polynomial Roots over a Finite Field
(math/fps/polynomial_roots.hpp)
Solve Formal Power Series Equation
(math/fps/solve_fps_equation.hpp)
Sparse Formal Power Series
(math/fps/sparse_formal_power_series.hpp)
math/fps/internal
math/matrix
Adjugate Matrix
(math/matrix/adjugate.hpp)
Matrix Bundle
(math/matrix/all.hpp)
Bit Matrix
(math/matrix/bit_matrix.hpp)
Characteristic Polynomial
(math/matrix/characteristic_polynomial.hpp)
Determinant Modulo a Composite Modulus
(math/matrix/determinant_mod.hpp)
Hafnian
(math/matrix/hafnian.hpp)
Matrix Linear Algebra
(math/matrix/linear_algebra.hpp)
Dense Matrix
(math/matrix/matrix.hpp)
Pfaffian
(math/matrix/pfaffian.hpp)
Sparse Determinant
(math/matrix/sparse_determinant.hpp)
matroid
Matroid All
(matroid/all.hpp)
Graphic Matroid
(matroid/graphic_matroid.hpp)
Linear Matroid
(matroid/linear_matroid.hpp)
Linear Matroid Intersection
(matroid/linear_matroid_intersection.hpp)
Matroid Intersection
(matroid/matroid_intersection.hpp)
Partition Matroid
(matroid/partition_matroid.hpp)
Uniform Matroid
(matroid/uniform_matroid.hpp)
Weighted Matroid Intersection
(matroid/weighted_matroid_intersection.hpp)
monoid
Add Monoid
(monoid/add.hpp)
Affine Monoid
(monoid/affine.hpp)
Bitwise AND Monoid
(monoid/and.hpp)
ArgMax Monoid
(monoid/arg_max.hpp)
ArgMin Monoid
(monoid/arg_min.hpp)
Binary Inversion Monoid
(monoid/binary_inversion.hpp)
Bottom K Monoid
(monoid/bottom_k.hpp)
Bracket Monoid
(monoid/bracket.hpp)
Monoid Concept
(monoid/concept.hpp)
GCD Monoid
(monoid/gcd.hpp)
Longest Same Monoid
(monoid/longest_same.hpp)
Longest True Monoid
(monoid/longest_true.hpp)
Matrix Monoid
(monoid/matrix.hpp)
Max Monoid
(monoid/max.hpp)
MaxCount Monoid
(monoid/max_count.hpp)
Max-Plus Matrix Monoid
(monoid/max_plus_matrix.hpp)
Max Subarray Monoid
(monoid/max_subarray.hpp)
Min Monoid
(monoid/min.hpp)
MinCount Monoid
(monoid/min_count.hpp)
MinMax Monoid
(monoid/min_max.hpp)
Min-Plus Matrix Monoid
(monoid/min_plus_matrix.hpp)
Min Subarray Monoid
(monoid/min_subarray.hpp)
Multiply Monoid
(monoid/mul.hpp)
Bitwise OR Monoid
(monoid/or.hpp)
Permutation Monoid
(monoid/permutation.hpp)
Monoid Power
(monoid/power.hpp)
Rolling Hash Monoid
(monoid/rolling_hash.hpp)
Strict Max 2 Monoid
(monoid/strict_max2.hpp)
Strict Min 2 Monoid
(monoid/strict_min2.hpp)
Top K Monoid
(monoid/top_k.hpp)
Top K Count Monoid
(monoid/top_k_count.hpp)
Update Monoid
(monoid/update.hpp)
Monoid Wrapper
(monoid/wrapper.hpp)
Bitwise XOR Monoid
(monoid/xor.hpp)
optimization
Optimization All
(optimization/all.hpp)
Hungarian Algorithm
(optimization/hungarian.hpp)
Integer Linear Programming
(optimization/integer_lp.hpp)
K-Value Project Selection
(optimization/k_project_selection.hpp)
Project Selection
(optimization/project_selection.hpp)
Simplex Algorithm
(optimization/simplex.hpp)
string
Aho-Corasick
(string/aho_corasick.hpp)
String Algorithms Bundle
(string/all.hpp)
Deque Eertree
(string/deque_eertree.hpp)
Eertree
(string/eertree.hpp)
Knuth-Morris-Pratt
(string/kmp.hpp)
Levenshtein Distance
(string/levenshtein_distance.hpp)
Longest Common Extension
(string/longest_common_extension.hpp)
Longest Common Subsequence
(string/longest_common_subsequence.hpp)
Longest Common Substring
(string/longest_common_substring.hpp)
Lyndon Factorization
(string/lyndon_factorization.hpp)
Manacher Algorithm
(string/manacher.hpp)
Map Trie
(string/map_trie.hpp)
Minimum Rotation
(string/minimum_rotation.hpp)
Palindrome Lexicographical Order
(string/palindrome_lexicographical_order.hpp)
Prefix-Substring LCS
(string/prefix_substring_lcs.hpp)
Static Rolling Hash
(string/rolling_hash.hpp)
Runs
(string/runs.hpp)
String Hash
(string/string_hash.hpp)
Suffix Array and LCP Array
(string/suffix_array.hpp)
Suffix Automaton
(string/suffix_automaton.hpp)
Suffix Tree
(string/suffix_tree.hpp)
Trie
(string/trie.hpp)
Wildcard Pattern Matching
(string/wildcard_pattern_matching.hpp)
Z Algorithm
(string/z_algorithm.hpp)
utilities
Base64 Sequence Encoding
(utilities/base64.hpp)
BigInt
(utilities/bigint.hpp)
Chmin Chmax
(utilities/chmin_chmax.hpp)
Compressor
(utilities/compressor.hpp)
Dice
(utilities/dice.hpp)
Dynamic Bitset
(utilities/dynamic_bitset.hpp)
Fast IO
(utilities/fast_io.hpp)
Grid Transform
(utilities/grid_transform.hpp)
Int1024
(utilities/int1024.hpp)
Int128
(utilities/int128.hpp)
Int256
(utilities/int256.hpp)
Int512
(utilities/int512.hpp)
Parser
(utilities/parser.hpp)
Random
(utilities/random.hpp)
Random Testing
(utilities/random_testing.hpp)
Shifted Array
(utilities/shifted_array.hpp)
Timer
(utilities/timer.hpp)
Y Combinator
(utilities/y_combinator.hpp)
utilities/detail
Verification Files
verify/acted_monoid
verify/algo/dp
verify/algo/enumeration
verify/algo/enumeration/combination.test.cpp
verify/algo/enumeration/gray_code.test.cpp
verify/algo/enumeration/permutation_lexicographical_order.test.cpp
verify/algo/enumeration/segtree_range.test.cpp
verify/algo/enumeration/submask.test.cpp
verify/algo/offline
verify/algo/offline/cdq_divide_and_conquer.test.cpp
verify/algo/offline/mo.test.cpp
verify/algo/offline/parallel_binary_search.test.cpp
verify/algo/search
verify/algo/search/bisect.test.cpp
verify/algo/search/golden_section_search.test.cpp
verify/algo/search/ternary_search.test.cpp
verify/algo/sequence
verify/algo/sequence/longest_increasing_subsequence.test.cpp
verify/algo/sequence/merge_intervals.test.cpp
verify/algo/sequence/non_adjacent_selection.test.cpp
verify/algo/sequence/number_of_subsequences.test.cpp
verify/algo/sequence/sequence_algorithms.test.cpp
verify/algo/sequence/subset_sum.test.cpp
verify/beats_acted_monoid
verify/beats_acted_monoid/range_bitwise_and_or_range_sum.test.cpp
verify/beats_acted_monoid/range_chmin_chmax_add_range_sum.test.cpp
verify/convex
verify/convex/alien_trick.test.cpp
verify/convex/convex_hull_trick.test.cpp
verify/convex/li_chao_tree.test.cpp
verify/convex/li_chao_tree_segment.test.cpp
verify/convex/slope_trick.test.cpp
verify/convex/monge
verify/convex/monge/max_plus_convolution_concave_arbitrary.test.cpp
verify/convex/monge/max_plus_convolution_concave_concave.test.cpp
verify/convex/monge/min_plus_convolution_convex_arbitrary.test.cpp
verify/convex/monge/min_plus_convolution_convex_convex.test.cpp
verify/convex/monge/monge_algorithms.test.cpp
verify/convex/monge/monge_dp_optimization.test.cpp
verify/ds/binary_trie
verify/ds/bst
verify/ds/bst/mex_multiset.test.cpp
verify/ds/bst/ordered_multiset.test.cpp
verify/ds/bst/ordered_set.test.cpp
verify/ds/bst/persistent_ordered_multiset.test.cpp
verify/ds/bst/persistent_ordered_set.test.cpp
verify/ds/bst/predecessor_set.test.cpp
verify/ds/deque
verify/ds/dsu
verify/ds/dsu/dsu.test.cpp
verify/ds/dsu/dsu_monoid.test.cpp
verify/ds/dsu/partially_persistent_dsu.test.cpp
verify/ds/dsu/persistent_dsu.test.cpp
verify/ds/dsu/persistent_dsu_library_checker.test.cpp
verify/ds/dsu/persistent_potentialized_dsu.test.cpp
verify/ds/dsu/potentialized_dsu.test.cpp
verify/ds/dsu/range_parallel_dsu.test.cpp
verify/ds/dsu/rollback_dsu.test.cpp
verify/ds/dsu/rollback_potentialized_dsu.test.cpp
verify/ds/dsu/unionfind_with_potential_non_commutative_group.test.cpp
verify/ds/dynamic_array
verify/ds/dynamic_array/dynamic_array.test.cpp
verify/ds/dynamic_array/dynamic_lazy_monoid_array.test.cpp
verify/ds/dynamic_array/dynamic_lazy_monoid_array_range_ap.test.cpp
verify/ds/dynamic_array/dynamic_monoid_array.test.cpp
verify/ds/dynamic_array/persistent_dynamic_array.test.cpp
verify/ds/dynamic_array/persistent_dynamic_lazy_monoid_array.test.cpp
verify/ds/dynamic_array/persistent_dynamic_lazy_monoid_array_range_ap.test.cpp
verify/ds/dynamic_array/persistent_dynamic_monoid_array.test.cpp
verify/ds/dynamic_connectivity
verify/ds/dynamic_tree
verify/ds/dynamic_tree/lazy_link_cut_tree.test.cpp
verify/ds/dynamic_tree/lazy_path_link_cut_tree.test.cpp
verify/ds/dynamic_tree/link_cut_tree.test.cpp
verify/ds/dynamic_tree/path_link_cut_tree.test.cpp
verify/ds/dynamic_tree/rake_compress_link_cut_tree.test.cpp
verify/ds/dynamic_tree/yosupo_point_set_tree_path_composite_sum.test.cpp
verify/ds/hash_table
verify/ds/hash_table/hash_map.test.cpp
verify/ds/hash_table/hash_map_associative_array.test.cpp
verify/ds/hash_table/hash_set.test.cpp
verify/ds/heap
verify/ds/interval_set
verify/ds
verify/ds/persistent_cow.test.cpp
verify/ds/persistent_release.test.cpp
verify/ds/rollback_counterparts.test.cpp
verify/ds/queue
verify/ds/range_query
verify/ds/range_query/cumulative_sum.test.cpp
verify/ds/range_query/disjoint_sparse_table.test.cpp
verify/ds/range_query/fenwick_tree.test.cpp
verify/ds/range_query/fenwick_tree_2d.test.cpp
verify/ds/range_query/kd_tree.test.cpp
verify/ds/range_query/merge_sort_tree.test.cpp
verify/ds/range_query/merge_sort_tree_sum.test.cpp
verify/ds/range_query/offline_rectangle_add_rectangle_sum.test.cpp
verify/ds/range_query/range_inversion_count.test.cpp
verify/ds/range_query/range_lis_query.test.cpp
verify/ds/range_query/range_majority.test.cpp
verify/ds/range_query/range_sort_range_composite.test.cpp
verify/ds/range_query/sliding_window_aggregation.test.cpp
verify/ds/range_query/sliding_window_aggregation_deque.test.cpp
verify/ds/range_query/sparse_table.test.cpp
verify/ds/range_query/sqrt_blocks.test.cpp
verify/ds/range_query/sqrt_decomposition.test.cpp
verify/ds/range_query/sqrt_tree.test.cpp
verify/ds/range_query/static_range_count_distinct.test.cpp
verify/ds/range_query/static_range_mode_query.test.cpp
verify/ds/range_query/static_rectangle_sum.test.cpp
verify/ds/segtree
verify/ds/segtree/chmin_chmax_add_segtree.test.cpp
verify/ds/segtree/dual_segtree.test.cpp
verify/ds/segtree/dual_segtree_2d.test.cpp
verify/ds/segtree/dynamic_dual_segtree.test.cpp
verify/ds/segtree/dynamic_lazy_segtree.test.cpp
verify/ds/segtree/dynamic_segtree.test.cpp
verify/ds/segtree/lazy_segtree.test.cpp
verify/ds/segtree/persistent_dual_segtree.test.cpp
verify/ds/segtree/persistent_dynamic_dual_segtree.test.cpp
verify/ds/segtree/persistent_dynamic_lazy_segtree.test.cpp
verify/ds/segtree/persistent_dynamic_segtree.test.cpp
verify/ds/segtree/persistent_lazy_segtree.test.cpp
verify/ds/segtree/persistent_segtree.test.cpp
verify/ds/segtree/persistent_segtree_beats.test.cpp
verify/ds/segtree/range_add_range_min.test.cpp
verify/ds/segtree/range_update_range_product.test.cpp
verify/ds/segtree/segtree.test.cpp
verify/ds/segtree/segtree_2d.test.cpp
verify/ds/segtree/segtree_beats.test.cpp
verify/ds/stack
verify/ds/wavelet_matrix
verify/ds/wavelet_matrix/dynamic_wavelet_matrix.test.cpp
verify/ds/wavelet_matrix/dynamic_wavelet_matrix_sum.test.cpp
verify/ds/wavelet_matrix/wavelet_matrix.test.cpp
verify/ds/wavelet_matrix/wavelet_matrix_2d.test.cpp
verify/ds/wavelet_matrix/wavelet_matrix_sum.test.cpp
verify/game
verify/game/classic_games.test.cpp
verify/game/game_algorithms.test.cpp
verify/game/nim_product.test.cpp
verify/game/partisan_minimax.test.cpp
verify/geometry
verify/geometry/angle_sort.test.cpp
verify/geometry/centroid.test.cpp
verify/geometry/circle_boundary_intersection.test.cpp
verify/geometry/circle_circle_intersection.test.cpp
verify/geometry/circle_circle_intersection_area.test.cpp
verify/geometry/circle_common_tangents.test.cpp
verify/geometry/circle_coverage_areas.test.cpp
verify/geometry/circle_filled.test.cpp
verify/geometry/circle_line_intersection.test.cpp
verify/geometry/circle_operations.test.cpp
verify/geometry/circle_polygon_intersection_area.test.cpp
verify/geometry/circle_ray.test.cpp
verify/geometry/circle_relation.test.cpp
verify/geometry/circle_tangent_points.test.cpp
verify/geometry/circle_union_area.test.cpp
verify/geometry/circumcircle.test.cpp
verify/geometry/closest_pair.test.cpp
verify/geometry/closest_points.test.cpp
verify/geometry/convex_decomposition.test.cpp
verify/geometry/convex_diameter.test.cpp
verify/geometry/convex_hull.test.cpp
verify/geometry/convex_layers.test.cpp
verify/geometry/convex_polygon.test.cpp
verify/geometry/count_points_in_triangle.test.cpp
verify/geometry/delaunay_triangulation.test.cpp
verify/geometry/euclidean_mst.test.cpp
verify/geometry/farthest_pair.test.cpp
verify/geometry/floating_predicates.test.cpp
verify/geometry/geometry_algorithms.test.cpp
verify/geometry/half_plane_intersection.test.cpp
verify/geometry/half_plane_intersection_random.test.cpp
verify/geometry/incircle.test.cpp
verify/geometry/is_convex_polygon.test.cpp
verify/geometry/lattice_point_count.test.cpp
verify/geometry/linear_intersection.test.cpp
verify/geometry/manhattan_mst.test.cpp
verify/geometry/manhattan_segment_intersections.test.cpp
verify/geometry/minimum_enclosing_circle.test.cpp
verify/geometry/minkowski_sum.test.cpp
verify/geometry/perpendicular_bisector.test.cpp
verify/geometry/point_in_polygon.test.cpp
verify/geometry/polygon_area.test.cpp
verify/geometry/polygon_clipping.test.cpp
verify/geometry/polygon_filled.test.cpp
verify/geometry/polygon_operations.test.cpp
verify/geometry/projection.test.cpp
verify/geometry/rational.test.cpp
verify/geometry/ray.test.cpp
verify/geometry/rectangle_union_area.test.cpp
verify/geometry/segment_intersection.test.cpp
verify/geometry/segment_intersection_point.test.cpp
verify/geometry/steiner_convex_decomposition.test.cpp
verify/geometry/voronoi_diagram.test.cpp
verify/graph
verify/graph/bfs.test.cpp
verify/graph/biconnected_components.test.cpp
verify/graph/bipartite_edge_coloring.test.cpp
verify/graph/bipartite_matching.test.cpp
verify/graph/block_cut_tree.test.cpp
verify/graph/chordal_graph_recognition.test.cpp
verify/graph/chromatic_number.test.cpp
verify/graph/chromatic_number_randomized.test.cpp
verify/graph/complement_connected_components.test.cpp
verify/graph/count_four_cycles.test.cpp
verify/graph/counting_spanning_tree_directed.test.cpp
verify/graph/counting_spanning_tree_undirected.test.cpp
verify/graph/cow_game.test.cpp
verify/graph/cycle_detection.test.cpp
verify/graph/cycle_detection_undirected.test.cpp
verify/graph/dag_algorithms.test.cpp
verify/graph/dfs.test.cpp
verify/graph/dijkstra_custom_cost.test.cpp
verify/graph/directed_mst.test.cpp
verify/graph/dominator_tree.test.cpp
verify/graph/enumerate_cliques.test.cpp
verify/graph/enumerate_triangles.test.cpp
verify/graph/eulerian_trail_directed.test.cpp
verify/graph/eulerian_trail_undirected.test.cpp
verify/graph/functional_graph.test.cpp
verify/graph/general_weighted_matching.test.cpp
verify/graph/graph_algorithms.test.cpp
verify/graph/graph_counting.test.cpp
verify/graph/incremental_scc.test.cpp
verify/graph/k_shortest_walk.test.cpp
verify/graph/library_checker_general_matching.test.cpp
verify/graph/library_checker_lowest_common_ancestor.test.cpp
verify/graph/library_checker_maximum_independent_set.test.cpp
verify/graph/minimum_spanning_tree.test.cpp
verify/graph/minimum_steiner_tree.test.cpp
verify/graph/namori.test.cpp
verify/graph/range_edge_graph.test.cpp
verify/graph/replacement_paths.test.cpp
verify/graph/scc.test.cpp
verify/graph/shortest_path.test.cpp
verify/graph/st_numbering.test.cpp
verify/graph/three_edge_connected_components.test.cpp
verify/graph/two_edge_connected_components.test.cpp
verify/graph/two_sat.test.cpp
verify/graph/flow
verify/graph/flow/flow_algorithms.test.cpp
verify/graph/flow/max_flow.test.cpp
verify/graph/flow/max_flow_dinic.test.cpp
verify/graph/flow/max_flow_push_relabel.test.cpp
verify/graph/flow/min_cost_b_flow.test.cpp
verify/graph/flow/min_cost_flow.test.cpp
verify/graph/tree
verify/graph/tree/cartesian_tree.test.cpp
verify/graph/tree/distance_frequency.test.cpp
verify/graph/tree/dsu_on_tree.test.cpp
verify/graph/tree/jump_on_tree.test.cpp
verify/graph/tree/mo_on_tree.test.cpp
verify/graph/tree/rooted_tree_isomorphism_classification.test.cpp
verify/graph/tree/tree_algorithms.test.cpp
verify/graph/tree/tree_cumulative_sum.test.cpp
verify/graph/tree/tree_diameter.test.cpp
verify/graph/tree/vertex_add_range_contour_sum_on_tree.test.cpp
verify/graph/tree/vertex_add_subtree_sum.test.cpp
verify/graph/tree/vertex_get_range_contour_add_on_tree.test.cpp
verify/graph/tree/zero_one_on_tree.test.cpp
verify/heuristic
verify/heuristic/beam_search.test.cpp
verify/heuristic/hill_climbing.test.cpp
verify/heuristic/simulated_annealing.test.cpp
verify/math
verify/math/base_n.test.cpp
verify/math/bell_number.test.cpp
verify/math/bernoulli_number.test.cpp
verify/math/bernoulli_utilities.test.cpp
verify/math/binomial_coefficient_mod.test.cpp
verify/math/bitwise_and_convolution.test.cpp
verify/math/bitwise_convolution.test.cpp
verify/math/counting_primes.test.cpp
verify/math/cyclotomic_polynomial.test.cpp
verify/math/discrete_logarithm.test.cpp
verify/math/divisor_convolution.test.cpp
verify/math/enumerate_primes.test.cpp
verify/math/enumerate_quotients.test.cpp
verify/math/extended_gcd.test.cpp
verify/math/factorize.test.cpp
verify/math/floor_sum.test.cpp
verify/math/gcd_of_gaussian_integers.test.cpp
verify/math/generalized_floor_sum.test.cpp
verify/math/integer_arithmetic.test.cpp
verify/math/lcm_convolution.test.cpp
verify/math/lucas.test.cpp
verify/math/math_algorithms.test.cpp
verify/math/modint.test.cpp
verify/math/modular_kth_root.test.cpp
verify/math/modular_square_root.test.cpp
verify/math/multivariate_convolution_cyclic.test.cpp
verify/math/multivariate_convolution_truncated.test.cpp
verify/math/newton_method.test.cpp
verify/math/partition_function.test.cpp
verify/math/prefix_sum_of_binom.test.cpp
verify/math/prefix_sum_of_binom_randomized.test.cpp
verify/math/primality_test.test.cpp
verify/math/primitive_root.test.cpp
verify/math/rational.test.cpp
verify/math/rational_approximation.test.cpp
verify/math/repunit.test.cpp
verify/math/set_power_series_exp.test.cpp
verify/math/set_power_series_log.test.cpp
verify/math/squarefree_count.test.cpp
verify/math/stern_brocot_tree.test.cpp
verify/math/stirling_number_of_the_second_kind.test.cpp
verify/math/subset_convolution.test.cpp
verify/math/sum_of_multiplicative_function.test.cpp
verify/math/sum_of_totient_function.test.cpp
verify/math/tetration.test.cpp
verify/math/two_square_sum.test.cpp
verify/math/xor_basis.test.cpp
verify/math/yosupo_factorize.test.cpp
verify/math/yosupo_stern_brocot_tree.test.cpp
verify/math/yukicoder_2362.test.cpp
verify/math/zeta_mobius_transform.test.cpp
verify/math/fps
verify/math/fps/composition.test.cpp
verify/math/fps/compositional_inverse.test.cpp
verify/math/fps/convolution_ll.test.cpp
verify/math/fps/convolution_mod.test.cpp
verify/math/fps/convolution_mod_large.test.cpp
verify/math/fps/exp_of_formal_power_series.test.cpp
verify/math/fps/exp_of_formal_power_series_sparse.test.cpp
verify/math/fps/find_linear_recurrence.test.cpp
verify/math/fps/floating_point_convolution.test.cpp
verify/math/fps/fps_algorithms.test.cpp
verify/math/fps/half_gcd.test.cpp
verify/math/fps/inv_of_formal_power_series.test.cpp
verify/math/fps/inv_of_formal_power_series_sparse.test.cpp
verify/math/fps/kth_term_of_linearly_recurrent_sequence.test.cpp
verify/math/fps/lagrange_inversion.test.cpp
verify/math/fps/log_of_formal_power_series.test.cpp
verify/math/fps/log_of_formal_power_series_sparse.test.cpp
verify/math/fps/multipoint_evaluation.test.cpp
verify/math/fps/multipoint_evaluation_geometric.test.cpp
verify/math/fps/polynomial_factorization.test.cpp
verify/math/fps/polynomial_interpolation.test.cpp
verify/math/fps/polynomial_interpolation_geometric.test.cpp
verify/math/fps/polynomial_roots.test.cpp
verify/math/fps/polynomial_taylor_shift.test.cpp
verify/math/fps/pow_of_formal_power_series.test.cpp
verify/math/fps/pow_of_formal_power_series_sparse.test.cpp
verify/math/fps/sqrt_of_formal_power_series.test.cpp
verify/math/fps/sqrt_of_formal_power_series_sparse.test.cpp
verify/math/matrix
verify/math/matrix/adjugate.test.cpp
verify/math/matrix/bit_matrix_inverse.test.cpp
verify/math/matrix/bit_matrix_linear_system.test.cpp
verify/math/matrix/bit_matrix_product.test.cpp
verify/math/matrix/bit_matrix_rank.test.cpp
verify/math/matrix/characteristic_polynomial.test.cpp
verify/math/matrix/hafnian.test.cpp
verify/math/matrix/inverse_matrix.test.cpp
verify/math/matrix/matrix.test.cpp
verify/math/matrix/matrix_det.test.cpp
verify/math/matrix/matrix_det_arbitrary_mod.test.cpp
verify/math/matrix/matrix_product.test.cpp
verify/math/matrix/matrix_rank.test.cpp
verify/math/matrix/pfaffian.test.cpp
verify/math/matrix/sparse_determinant.test.cpp
verify/math/matrix/system_of_linear_equations.test.cpp
verify/matroid
verify/matroid/linear_matroid_intersection.test.cpp
verify/matroid/matroid_intersection.test.cpp
verify/matroid/matroids.test.cpp
verify/matroid/weighted_matroid_intersection.test.cpp
verify/monoid
verify/optimization
verify/optimization/hungarian.test.cpp
verify/optimization/integer_lp.test.cpp
verify/optimization/k_project_selection.test.cpp
verify/optimization/project_selection.test.cpp
verify/optimization/simplex.test.cpp
verify/string
verify/string/aho_corasick.test.cpp
verify/string/aoj_alds1_14_b.test.cpp
verify/string/deque_eertree.test.cpp
verify/string/eertree.test.cpp
verify/string/kmp.test.cpp
verify/string/levenshtein_distance.test.cpp
verify/string/longest_common_extension.test.cpp
verify/string/longest_common_subsequence.test.cpp
verify/string/longest_common_substring.test.cpp
verify/string/lyndon_factorization.test.cpp
verify/string/manacher.test.cpp
verify/string/map_trie.test.cpp
verify/string/minimum_rotation.test.cpp
verify/string/palindrome_lexicographical_order.test.cpp
verify/string/prefix_substring_lcs.test.cpp
verify/string/runs.test.cpp
verify/string/string_algorithms.test.cpp
verify/string/string_hash.test.cpp
verify/string/suffix_array.test.cpp
verify/string/suffix_automaton.test.cpp
verify/string/suffix_tree.test.cpp
verify/string/trie.test.cpp
verify/string/wildcard_pattern_matching.test.cpp
verify/string/yosupo_zalgorithm.test.cpp
verify/utilities
verify/utilities/arrow_dice.test.cpp
verify/utilities/base64.test.cpp
verify/utilities/basic_utilities.test.cpp
verify/utilities/bigint_addition.test.cpp
verify/utilities/bigint_division.test.cpp
verify/utilities/bigint_gcd.test.cpp
verify/utilities/bigint_multiplication.test.cpp
verify/utilities/dice.test.cpp
verify/utilities/dynamic_bitset.test.cpp
verify/utilities/extra_utilities.test.cpp
verify/utilities/fast_io.test.cpp
verify/utilities/grid_transform.test.cpp
verify/utilities/int1024.test.cpp
verify/utilities/int256.test.cpp
verify/utilities/int512.test.cpp
verify/utilities/parser.test.cpp
verify/utilities/random_generators.test.cpp
verify/utilities/random_testing.test.cpp
verify/utilities/shifted_array.test.cpp
verify/utilities/template_fast_io.test.cpp