library_for_cpp

Library Files

Algebra

• Algebra/Extended_Algebra.hpp
• Algebra/Fraction.hpp
• Algebra/Gaussian_Integer.hpp
• Nimber (Algebra/Nimber.hpp)
• 置換 (Algebra/Permutaion.hpp)
• 半環上の行列 (Algebra/Semiring_Matrix.hpp)
• Algebra/dynamic_modint.hpp
• Algebra/modint.hpp

Binary_Indexed_Tree

• Binary Indexed Tree (Fenwick Tree) (Binary_Indexed_Tree/Binary_Indexed_Tree.hpp)
• 区間加算 Binary Indexed Tree (Binary_Indexed_Tree/Range_Binary_Indexed_Tree.hpp)

Binary_Search

• Binary_Search/Count.hpp
• Binary_Search/General_Integer.hpp
• Binary_Search/Value.hpp

Calculate

• Hungarian 法 (Calculate/Hungarian.hpp)
• スライド最大値 (Calculate/Slide_Maximum.hpp)

Convolution

• Convolution/Bitwise_And_Convolution.hpp
• Convolution/Commutative_Idempotent_Monoid_Convolution_Base.hpp
• Convolution/Convolution_Base.hpp
• Convolution/Gcd_Convolution.hpp

Counting

• 組み合わせ論に関する基本的な計算 (Counting/Combination_Calculator.hpp)
• $q$ -数による組み合わせ論に関する基本的な計算 (Counting/Q_Analog_Combination_Calculator.hpp)

Data_Structure

• Adelson-Velskii-Landis 木 (Data_Structure/AVL_Tree.hpp)
• Best Sum (Data_Structure/Best_Sum.hpp)
• Binary Trie 木 (Data_Structure/Binary_Trie.hpp)
• Disjoint Sparse Table (Data_Structure/Disjoint_Sparse_Table.hpp)
• 双方向連結リスト (Data_Structure/Doubly_Linked_List.hpp)
• Dual Heap (Data_Structure/Dual_Heap.hpp)
• Sliding Window Aggregation (Data_Structure/Sliding_Window_Aggregation.hpp)

Functional_Graph

• Functional Graph (Functional_Graph/Functional_Graph.hpp)
• Monoid 重み付き Functional Graph (Functional_Graph/Monoid_Functional_Graph.hpp)

Geometry

• Geometry/base.hpp

Geometry/distance

• Geometry/distance/Distance_Line_and_Point.hpp

Geometry/intersection

• Geometry/intersection/Intersection_Circle_and_Circle.hpp
• Geometry/intersection/Intersection_Circle_and_Line.hpp
• Geometry/intersection/Intersection_Line_and_Line.hpp
• Geometry/intersection/Intersection_Segment_and_Segment.hpp

Geometry/object

• Geometry/object/Circle.hpp
• Geometry/object/Line.hpp
• Geometry/object/Point.hpp
• Geometry/object/Polygon.hpp
• Geometry/object/Segment.hpp
• Geometry/object/Triangle.hpp

Geometry/projection

• 点の直線への射影 (Geometry/projection/Projection_Point_Line.hpp)

Geometry/reflection

• 点の直線に関する対称移動 (Geometry/reflection/Reflection_Point_Line.hpp)
• 点に関する点の反転 (Geometry/reflection/Reflection_Point_Point.hpp)

Geometry/relationship

• Geometry/relationship/Parallel_Orthogonal_Line_Line.hpp
• Geometry/relationship/Relationship_Circle_and_Circle.hpp

Geometry/tangent

• Geometry/tangent/Common_Tangent_Points.hpp
• Geometry/tangent/Tangent_Point_from_Point_to_Circle.hpp

Geometry/triangle_center

• 三角形の重心 (Geometry/triangle_center/Centroid.hpp)
• Geometry/triangle_center/Circumcenter.hpp
• Geometry/triangle_center/Circumcircle.hpp
• Geometry/triangle_center/Incenter.hpp
• Geometry/triangle_center/Incircle.hpp

Geometry/utility

• Geometry/utility/Argument_Sort.hpp
• Geometry/utility/Convex_Hull.hpp
• Geometry/utility/Counter_Clockwise.hpp
• Geometry/utility/Division_Point.hpp
• Geometry/utility/Perpendicular_Bisector.hpp

Graph/Digraph

• 有向 Graph (Graph/Digraph/Digraph.hpp)
• 有向 Graph における Eulerian Trail (Graph/Digraph/Eulerian_Trail.hpp)
• Graph/Digraph/Path.hpp
• Graph/Digraph/Strongly_Connected_Components.hpp

Graph/Graph

• 二部グラフ (Graph/Graph/Bipartition.hpp)
• Graph/Graph/Connected_Components.hpp
• 全域木の計上 (Graph/Graph/Count_Spanning_Trees.hpp)
• Graph/Graph/Enumerate_Cliques.hpp
• Graph/Graph/Enumerate_Triangles.hpp
• 無向 Graph における Eulerian Trail (Graph/Graph/Eulerian_Trail.hpp)
• 無向 Graph (Graph/Graph/Graph.hpp)
• Graph/Graph/Lowlink.hpp
• Graph/Graph/Path.hpp
• Graph/Graph/Two_Edge_Connected_Components.hpp

Graph/Weighted_Digraph

• Graph/Weighted_Digraph/Dijkstra.hpp
• Graph/Weighted_Digraph/Weighted_Digraph.hpp

Graph/Weighted_Graph

• Kruskal 法 (Graph/Weighted_Graph/Kruskal.hpp)
• Graph/Weighted_Graph/Minimum_Spanning_Tree.hpp
• Prim 法 (Graph/Weighted_Graph/Prim.hpp)
• 重み付き無向グラフ (Graph/Weighted_Graph/Weighted_Graph.hpp)

Integer

• 整数の桁 (Integer/Digit.hpp)
• Integer/Divisors.hpp
• Euler's Totient 関数 (Integer/Euler_Totient.hpp)
• ミラー・ラビン素数判定法 (Integer/Miller_Rabin_Primality_Test.hpp)
• モンゴメリ乗算 (Integer/Odd_Montgomery_Multiplication.hpp)
• Integer/Pollard_Rho.hpp
• Integer/Prime.hpp
• 素数の個数計上 $\pi(x)$ (Integer/Prime_Pi.hpp)
• 商の列挙 (Quotients) (Integer/Quotients.hpp)
• Integer/Smallest_Prime_Factor.hpp

Knapsack

• Knapsack/Base.hpp
• 0-1 Knapsack 問題 (Knapsack/Knapsack_01.hpp)
• Knapsack 問題 (Knapsack/Knapsack_Infinity.hpp)
• 個数制限付き Knapsack 問題 (Knapsack/Knapsack_Limitation.hpp)

Linear_Algebra

• Linear_Algebra/Field_Matrix.hpp
• Linear_Algebra/Rank.hpp
• Linear_Algebra/Reduction.hpp

Math

• Bezout の等式 (Math/Bezout.hpp)
• Floor Linear Sum (Math/Floor_Linear_Sum.hpp)
• 区間積 (Math/Interval_Product.hpp)
• Montmort 数 (Math/Montmort_Number.hpp)
• Stern Brocot 木 (Math/Stern_Brocot_Tree.hpp)
• Math/Two_SAT.hpp
• XOR ベクトル空間 (Math/XOR_Vector_Space.hpp)

Max_Flow

• 最大流 (Max_Flow/Max_Flow.hpp)
• Max_Flow/Project_Selection_Problem.hpp

Min_Cost_Flow

• Min_Cost_Flow/Bipartite_Weighted_Matching.hpp
• Min_Cost_Flow/Min_Cost_Flow.hpp

Modulo

• Modulo/Composite.hpp
• 離散対数問題 (Modulo/Discrete_Log.hpp)
• Garner (Modulo/Garner.hpp)
• Modulo/Modulo.hpp
• 剰余類の指数 (Modulo/Order.hpp)
• Modulo/Solve.hpp
• 平方根 mod (Modulo/Sqrt.hpp)
• 指数タワー (Modulo/Tower.hpp)

Modulo_Polynomial

• Bell 数 (Modulo_Polynomial/Bell_Number.hpp)
• Bernoulli 数 (Modulo_Polynomial/Bernoulli_Number.hpp)
• 微積分 (Modulo_Polynomial/Calculus.hpp)
• Modulo_Polynomial/Exp.hpp
• Modulo_Polynomial/Fast_Power_Series.hpp
• 分数式の係数 (Modulo_Polynomial/Fraction_Coefficient.hpp)
• 巨大な $N$ に対する $N!$ (Modulo_Polynomial/Huge_Factorial.hpp)
• Log (Modulo_Polynomial/Log.hpp)
• 剰余環を係数体とする多項式環 (Modulo_Polynomial/Modulo_Polynomial.hpp)
• 多点評価 (Modulo_Polynomial/Multipoint_Evaluation.hpp)
• 線形漸化式の第 $N$ 項 (Modulo_Polynomial/Nth_Term_of_Linearly_Recurrent_Sequence.hpp)
• 離散フーリエ変換, 数論変換 (Modulo_Polynomial/Numeric_Theory_Translation.hpp)
• 分割数 (P) (Modulo_Polynomial/Partition_P.hpp)
• 分割数 (Q) (Modulo_Polynomial/Partition_Q.hpp)
• Modulo_Polynomial/Power.hpp
• 第 I 種 Stirling 数 (Modulo_Polynomial/Stirling_1st.hpp)
• 第 II 種 Stirling 数 (Modulo_Polynomial/Stirling_2nd.hpp)
• Subset Sum (多項式) (Modulo_Polynomial/Subset_Sum.hpp)
• Taylor Shift (Modulo_Polynomial/Taylor_Shift.hpp)

Others

• トポロジカルソート (Others/Topological_Sort.hpp)

Queries

• Mo (Queries/Mo.hpp)

Segment_Tree

• 双対 Segment Tree (Segment_Tree/Dual_Segment_Tree.hpp)
• 遅延評価 Segment Tree (Segment_Tree/Lazy_Segment_Tree.hpp)
• Segment Tree (Segment_Tree/Segment_Tree.hpp)

Segment_Tree/preset

• Segment_Tree/preset/Range_Add_Range_Min.hpp
• Segment_Tree/preset/Range_Add_Range_Sum.hpp
• 区間アフィン変換, 区間和に関する遅延セグメント木 (Segment_Tree/preset/Range_Composite_Range_Sum.hpp)

Sequence

• i の左の子として j を設定する (Sequence/Cartesian_Tree.hpp)
• Hamming 距離 (Sequence/Hamming_Distance.hpp)
• 最長増加部分列 (Sequence/Longest_Increasing_Subsequence.hpp)
• 連長圧縮 (Run Length Encoding) (Sequence/Run_Length_Encoding.hpp)
• Trie 木 (Sequence/Trie.hpp)
• 最長共通接頭辞 (Z-Algorithm) (Sequence/Z_Algorithm.hpp)

Summation

• 条件を満たす整数の組の計上 (Summation/Counting.hpp)
• 特殊な数列の総和 (Summation/Summation.hpp)

Tree

• Tree/Generator.hpp
• 全方位木 DP (Rerooting DP) (Tree/Rerooting.hpp)
• 部分木に関するクエリ (Tree/Subtree_Monoid_Vertex_Query.hpp)
• Tree/Tree.hpp
• 木 DP (Tree/Tree_DP.hpp)

Union_Find

• 辺 xy を加える. これによって x, y が連結になった場合, 連結成分の色の更新を行う. (Union_Find/Coloring_Union_Find.hpp)
• 群作用 Union Find (Union_Find/Group_Action_Union_Find.hpp)
• ポテンシャル付き Union Find (Union_Find/Potentilized_Union_Find.hpp)
• Union Find (Union_Find/Union_Find.hpp)

template

• template/bitop.hpp
• template/concepts.hpp
• enumerable (template/enumerable.hpp)
• template/exception.hpp
• template/inout.hpp
• template/macro.hpp
• template/math.hpp
• template/template.hpp
• template/utility.hpp

Verification Files

verify/aizu_online_judge/alds1

• verify/aizu_online_judge/alds1/11D.test.cpp

verify/aizu_online_judge/cgl

• verify/aizu_online_judge/cgl/1A.test.cpp
• verify/aizu_online_judge/cgl/1B.test.cpp
• verify/aizu_online_judge/cgl/1C.test.cpp
• verify/aizu_online_judge/cgl/2A.test.cpp
• verify/aizu_online_judge/cgl/2B.test.cpp
• verify/aizu_online_judge/cgl/2C.test.cpp
• verify/aizu_online_judge/cgl/3A.test.cpp
• verify/aizu_online_judge/cgl/4A.test.cpp
• verify/aizu_online_judge/cgl/7A.test.cpp
• verify/aizu_online_judge/cgl/7B.test.cpp
• verify/aizu_online_judge/cgl/7C.test.cpp
• verify/aizu_online_judge/cgl/7D.test.cpp
• verify/aizu_online_judge/cgl/7E.test.cpp
• verify/aizu_online_judge/cgl/7F.test.cpp
• verify/aizu_online_judge/cgl/7G.test.cpp

verify/aizu_online_judge/dpl1

• verify/aizu_online_judge/dpl1/1B.test.cpp
• verify/aizu_online_judge/dpl1/1C.test.cpp
• verify/aizu_online_judge/dpl1/1F.test.cpp
• verify/aizu_online_judge/dpl1/1G.test.cpp
• verify/aizu_online_judge/dpl1/1H.test.cpp

verify/aizu_online_judge/dsl

• verify/aizu_online_judge/dsl/2G.test.cpp
• verify/aizu_online_judge/dsl/2G_2.test.cpp
• verify/aizu_online_judge/dsl/2H.test.cpp
• verify/aizu_online_judge/dsl/3D.test.cpp

verify/aizu_online_judge/grl

• verify/aizu_online_judge/grl/3A.test.cpp
• verify/aizu_online_judge/grl/3B.test.cpp
• verify/aizu_online_judge/grl/4B.test.cpp
• verify/aizu_online_judge/grl/6A.test.cpp
• verify/aizu_online_judge/grl/6B.test.cpp

verify/aizu_online_judge/ntl

• verify/aizu_online_judge/ntl/1D.test.cpp
• verify/aizu_online_judge/ntl/1E.test.cpp

verify/original

• verify/original/Fraction.test.cpp
• verify/original/Functional_Graph.test.cpp
• verify/original/Partition_Q.test.cpp
• verify/original/Permutation.test.cpp
• verify/original/enumerable.test.cpp

verify/yosupo_library_checker/convolution

• verify/yosupo_library_checker/convolution/Bitwise_And_Convolution.test.cpp
• verify/yosupo_library_checker/convolution/Gcd_Convolution.test.cpp

verify/yosupo_library_checker/data_structure

• verify/yosupo_library_checker/data_structure/Binary_Indexed_Tree.test.cpp
• verify/yosupo_library_checker/data_structure/Deque_Operate_All_Composite.test.cpp
• verify/yosupo_library_checker/data_structure/Double-Ended_Priority_Queue.test.cpp
• verify/yosupo_library_checker/data_structure/Ordered_Set.test.cpp
• verify/yosupo_library_checker/data_structure/Point_Set_Range_Composite.test.cpp
• verify/yosupo_library_checker/data_structure/Queue_Operate_All_Composite.test.cpp
• verify/yosupo_library_checker/data_structure/Range_Affine_Point_Get.test.cpp
• verify/yosupo_library_checker/data_structure/Range_Affine_Range_Sum.test.cpp
• verify/yosupo_library_checker/data_structure/Segment_Tree.test.cpp
• verify/yosupo_library_checker/data_structure/Set_Xor-Min.test.cpp
• verify/yosupo_library_checker/data_structure/Static_Range_Sum-2.test.cpp
• verify/yosupo_library_checker/data_structure/Static_Range_Sum.test.cpp
• verify/yosupo_library_checker/data_structure/Union_Find.test.cpp
• verify/yosupo_library_checker/data_structure/Union_Find_with_Non-Commutative_Group_Potential.test.cpp
• verify/yosupo_library_checker/data_structure/Union_Find_with_Potential.test.cpp

verify/yosupo_library_checker/enumerate_combinatorics

• verify/yosupo_library_checker/enumerate_combinatorics/Bell_Number.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/Binomial_Coefficient_Prime_Mod.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/Factorial.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/Montmort_Number.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/Partition_Function.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/Stirling_Number_of_the_First_Kind.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/Stirling_Number_of_the_Second_Kind.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/Subset_Sum.test.cpp
• verify/yosupo_library_checker/enumerate_combinatorics/q-Binomial_Coefficient_Prime_Mod.test.cpp

verify/yosupo_library_checker/geometry

• verify/yosupo_library_checker/geometry/Argument_Sort.test.cpp
• verify/yosupo_library_checker/geometry/Static_Convex_Hull.test.cpp

verify/yosupo_library_checker/graph

• verify/yosupo_library_checker/graph/Assignment_Problem.test.cpp
• verify/yosupo_library_checker/graph/Count_Spanning_Trees_Undirected.test.cpp
• verify/yosupo_library_checker/graph/Directed_Dijkstra.test.cpp
• verify/yosupo_library_checker/graph/Enumerate_Cliques.test.cpp
• verify/yosupo_library_checker/graph/Enumerate_Triangles.test.cpp
• verify/yosupo_library_checker/graph/Eulerian_Trail_Directed.test.cpp
• verify/yosupo_library_checker/graph/Eulerian_Trail_Undirected.test.cpp
• verify/yosupo_library_checker/graph/Minimum_Spanning_Tree_by_Kruskal.test.cpp
• verify/yosupo_library_checker/graph/Minimum_Spanning_Tree_by_Prim.test.cpp
• verify/yosupo_library_checker/graph/Strongly_Connected_Components.test.cpp
• verify/yosupo_library_checker/graph/Two_Edge_Connected_Components.test.cpp

verify/yosupo_library_checker/linear_algebra

• verify/yosupo_library_checker/linear_algebra/Determinant.test.cpp
• verify/yosupo_library_checker/linear_algebra/Inverse.test.cpp
• verify/yosupo_library_checker/linear_algebra/Matrix_Product.test.cpp
• verify/yosupo_library_checker/linear_algebra/Power_Matrix.test.cpp
• verify/yosupo_library_checker/linear_algebra/Rank.test.cpp

verify/yosupo_library_checker/number_theory

• verify/yosupo_library_checker/number_theory/Bernoulli_Number.test.cpp
• verify/yosupo_library_checker/number_theory/Counting_Primes.test.cpp
• verify/yosupo_library_checker/number_theory/Discrete_Log.test.cpp
• verify/yosupo_library_checker/number_theory/Enumerate_Primes.test.cpp
• verify/yosupo_library_checker/number_theory/Enumerate_Quotients.test.cpp
• verify/yosupo_library_checker/number_theory/Factorize.test.cpp
• verify/yosupo_library_checker/number_theory/Floor_Linear_Sum.test.cpp
• verify/yosupo_library_checker/number_theory/Gaussian_Integers.test.cpp
• verify/yosupo_library_checker/number_theory/Miller_Rabin_Primality_Test.test.cpp
• verify/yosupo_library_checker/number_theory/Min_of_Mod_of_Linear.test.cpp
• verify/yosupo_library_checker/number_theory/Nim_Product.test.cpp
• verify/yosupo_library_checker/number_theory/Rational_Approximation.test.cpp
• verify/yosupo_library_checker/number_theory/Sqrt_Mod.test.cpp
• verify/yosupo_library_checker/number_theory/Stern-Brocot_Tree.test.cpp
• verify/yosupo_library_checker/number_theory/Tetration_Mod.test.cpp

verify/yosupo_library_checker/other

• verify/yosupo_library_checker/other/Kth_term_of_Linearly_Recurrent_Sequence.test.cpp
• verify/yosupo_library_checker/other/Longest_Increasing_Subsequence.test.cpp
• verify/yosupo_library_checker/other/two_sat.test.cpp

verify/yosupo_library_checker/polynomial

• verify/yosupo_library_checker/polynomial/Convolution.test.cpp
• verify/yosupo_library_checker/polynomial/Division.test.cpp
• verify/yosupo_library_checker/polynomial/Exp.test.cpp
• verify/yosupo_library_checker/polynomial/Inverse.test.cpp
• verify/yosupo_library_checker/polynomial/Log.test.cpp
• verify/yosupo_library_checker/polynomial/Multipoint_Evaluation.test.cpp
• verify/yosupo_library_checker/polynomial/Power.test.cpp
• verify/yosupo_library_checker/polynomial/Product_of_Polynomial_Sequence.test.cpp
• verify/yosupo_library_checker/polynomial/Taylor_Shift.test.cpp

verify/yosupo_library_checker/sample

• verify/yosupo_library_checker/sample/a_plus_b.test.cpp

verify/yosupo_library_checker/string

• verify/yosupo_library_checker/string/Z_Algorithm.test.cpp

verify/yosupo_library_checker/tree

• verify/yosupo_library_checker/tree/Cartesian_Tree.test.cpp
• verify/yosupo_library_checker/tree/Jump_on_tree.test.cpp
• verify/yosupo_library_checker/tree/Lowest_Common_Ancestor.test.cpp
• verify/yosupo_library_checker/tree/Tree_Diameter.test.cpp
• verify/yosupo_library_checker/tree/Tree_Path_Composite_Sum.test.cpp
• verify/yosupo_library_checker/tree/Vertex_Add_Subtree_Sum.test.cpp

verify/yukicoder

• verify/yukicoder/1358.test.cpp
• verify/yukicoder/1780.test.cpp
• verify/yukicoder/187.test.cpp
• verify/yukicoder/1984.test.cpp
• verify/yukicoder/2558.test.cpp
• verify/yukicoder/763.test.cpp
• verify/yukicoder/Modulo_Order.test.cpp