Library Checker coverage

Library Checker coverage: 121/252 (48.0%), missing 131

Category	Covered	Total	Rate
Big Integer	0	6	0.0%
Convolution	9	15	60.0%
Data Structure	30	43	69.8%
Enumerative Combinatorics	11	17	64.7%
Geometry	0	8	0.0%
Graph	2	36	5.6%
Linear Algebra	8	17	47.1%
Number Theory	14	22	63.6%
Other	5	7	71.4%
Polynomial	24	26	92.3%
Sample	1	3	33.3%
Set Power Series	4	4	100.0%
String	1	11	9.1%
Tree	8	20	40.0%
Uncategorized	4	17	23.5%

Sample (3)

Status	Problem	Headers	Tests
❌	aplusb	-	-
✅	many_aplusb	util/fastio.hpp	verify/util/LC_many_aplusb.test.cpp
❌	many_aplusb_128bit	-	-

Data Structure (43)

Status	Problem	Headers	Tests
❌	associative_array	-	-
✅	predecessor_problem	data-structure/integer-set.hpp	verify/data-structure/LC_predecessor_problem.test.cpp
❌	ordered_set	-	-
✅	double_ended_priority_queue	data-structure/double-ended-priority-queue.hpp	verify/data-structure/LC_double_ended_priority_queue.test.cpp
✅	unionfind	union-find/union-find.hpp	verify/union-find/LC_unionfind.test.cpp
✅	unionfind_with_potential	modint/modint.hpp union-find/potentialized-union-find.hpp	verify/union-find/LC_unionfind_with_potential.test.cpp
✅	unionfind_with_potential_non_commutative_group	modint/modint.hpp union-find/potentialized-union-find.hpp	verify/union-find/LC_unionfind_with_potential_non_commutative_group.test.cpp
❌	range_parallel_unionfind	-	-
✅	static_range_sum	data-structure/binary-indexed-tree.hpp	verify/data-structure/LC_static_range_sum.test.cpp
✅	staticrmq	data-structure/sparse-table.hpp	verify/data-structure/LC_staticrmq.test.cpp
✅	point_add_range_sum	data-structure/binary-indexed-tree.hpp segment-tree/segment-tree.hpp	verify/data-structure/LC_point_add_range_sum.test.cpp verify/segment-tree/LC_point_add_range_sum.test.cpp
✅	point_set_range_composite	segment-tree/segment-tree.hpp modint/modint.hpp	verify/segment-tree/LC_point_set_range_composite.test.cpp
✅	point_set_range_composite_large_array	segment-tree/dynamic-segment-tree.hpp modint/modint.hpp	verify/segment-tree/LC_point_set_range_composite_large_array.dynamic_segment_tree.test.cpp
✅	range_affine_point_get	segment-tree/dynamic-dual-segment-tree.hpp modint/modint.hpp segment-tree/dual-segment-tree.hpp	verify/segment-tree/LC_range_affine_point_get.dynamic_dual_segment_tree.test.cpp verify/segment-tree/LC_range_affine_point_get.test.cpp
✅	range_affine_range_sum	segment-tree/lazy-segment-tree.hpp modint/modint.hpp	verify/segment-tree/LC_range_affine_range_sum.test.cpp
✅	range_affine_range_sum_large_array	segment-tree/dynamic-lazy-segment-tree.hpp modint/modint.hpp	verify/segment-tree/LC_range_affine_range_sum_large_array.test.cpp
❌	persistent_range_affine_range_sum	-	-
✅	range_set_range_composite	segment-tree/range-set-range-prod.hpp modint/modint.hpp	verify/segment-tree/LC_range_set_range_composite.test.cpp
✅	range_chmin_chmax_add_range_sum	segment-tree/range-chmin-chmax-add-range-sum.hpp	verify/segment-tree/LC_range_chmin_chmax_add_range_sum.test.cpp
✅	range_kth_smallest	data-structure/wavelet-matrix.hpp	verify/data-structure/LC_range_kth_smallest.test.cpp
❌	point_set_range_sort_range_composite	-	-
✅	range_reverse_range_sum	binary-search-tree/rbst-segment-tree.hpp	verify/binary-search-tree/LC_range_reverse_range_sum.rbst_segment_tree.test.cpp
❌	dynamic_sequence_range_affine_range_sum	-	-
❌	range_linear_add_range_min	-	-
✅	set_xor_min	data-structure/binary-trie.hpp	verify/data-structure/LC_set_xor_min.test.cpp
✅	line_add_get_min	data-structure/dynamic-li-chao-tree.hpp data-structure/li-chao-tree.hpp	verify/data-structure/LC_line_add_get_min.dynamic_li_chao_tree.test.cpp verify/data-structure/LC_line_add_get_min.test.cpp
✅	segment_add_get_min	data-structure/dynamic-li-chao-tree.hpp data-structure/li-chao-tree.hpp	verify/data-structure/LC_segment_add_get_min.dynamic_li_chao_tree.test.cpp verify/data-structure/LC_segment_add_get_min.test.cpp
✅	queue_operate_all_composite	data-structure/foldable-queue.hpp modint/modint.hpp	verify/data-structure/LC_queue_operate_all_composite.test.cpp
✅	deque_operate_all_composite	data-structure/foldable-deque.hpp modint/modint.hpp	verify/data-structure/LC_deque_operate_all_composite.test.cpp
✅	static_range_frequency	data-structure/wavelet-matrix.hpp	verify/data-structure/LC_static_range_frequency.test.cpp
✅	static_range_count_distinct	algorithm/mo.hpp data-structure/compress.hpp	verify/algorithm/LC_static_range_count_distinct.test.cpp
❌	static_range_mode_query	-	-
❌	static_range_lis_query	-	-
❌	static_range_inversions_query	-	-
❌	point_set_range_frequency	-	-
✅	rectangle_sum	data-structure/static-point-add-rectangle-sum.hpp data-structure/wavelet-matrix-with-weight.hpp	verify/data-structure/LC_rectangle_sum.static_point_add.test.cpp verify/data-structure/LC_rectangle_sum.wavelet_matrix.test.cpp
✅	point_add_rectangle_sum	data-structure/wavelet-matrix-with-segment-tree.hpp segment-tree/dynamic-segment-tree-2d.hpp segment-tree/segment-tree-2d.hpp	verify/data-structure/LC_point_add_rectangle_sum.wavelet_matrix.test.cpp verify/segment-tree/LC_point_add_rectangle_sum.dynamic_segment_tree_2d.test.cpp verify/segment-tree/LC_point_add_rectangle_sum.segment_tree_2d.test.cpp
✅	rectangle_add_point_get	segment-tree/dual-segment-tree-2d.hpp segment-tree/dynamic-dual-segment-tree-2d.hpp	verify/segment-tree/LC_rectangle_add_point_get.dual_segment_tree_2d.test.cpp verify/segment-tree/LC_rectangle_add_point_get.dynamic_dual_segment_tree_2d.test.cpp
✅	static_rectangle_add_rectangle_sum	data-structure/static-rectangle-add-rectangle-sum.hpp modint/modint.hpp	verify/data-structure/LC_static_rectangle_add_rectangle_sum.test.cpp
❌	dynamic_point_set_rectangle_affine_rectangle_sum	-	-
✅	area_of_union_of_rectangles	data-structure/rectangle-union-area.hpp	verify/data-structure/LC_area_of_union_of_rectangles.test.cpp
❌	persistent_queue	-	-
✅	persistent_unionfind	union-find/persistent-union-find.hpp	verify/union-find/LC_persistent_unionfind.test.cpp

Graph (36)

Status	Problem	Headers	Tests
✅	cycle_detection	graph/graph.hpp graph/cycle-detection.hpp	verify/graph/LC_cycle_detection.test.cpp
❌	cycle_detection_undirected	-	-
✅	shortest_path	graph/graph.hpp graph/shortest-path.hpp	verify/graph/LC_shortest_path.test.cpp
❌	scc	-	-
❌	incremental_scc	-	-
❌	k_shortest_walk	-	-
❌	two_edge_connected_components	-	-
❌	three_edge_connected_components	-	-
❌	biconnected_components	-	-
❌	connected_components_of_complement_graph	-	-
❌	eulerian_trail_directed	-	-
❌	eulerian_trail_undirected	-	-
❌	st_numbering	-	-
❌	min_cost_b_flow	-	-
❌	bipartitematching	-	-
❌	general_matching	-	-
❌	general_weighted_matching	-	-
❌	bipartite_edge_coloring	-	-
❌	assignment	-	-
❌	minimum_spanning_tree	-	-
❌	directedmst	-	-
❌	minimum_diameter_spanning_tree	-	-
❌	dominatortree	-	-
❌	maximum_independent_set	-	-
❌	chromatic_number	-	-
❌	chromatic_polynomial	-	-
❌	enumerate_triangles	-	-
❌	enumerate_cliques	-	-
❌	counting_c4	-	-
❌	tree_decomposition_width_2	-	-
❌	global_minimum_cut_of_dynamic_star_augmented_graph	-	-
❌	chordal_graph_recognition	-	-
❌	dynamic_graph_vertex_add_component_sum	-	-
❌	counting_eulerian_circuits	-	-
❌	counting_spanning_tree_undirected	-	-
❌	counting_spanning_tree_directed	-	-

Tree (20)

Status	Problem	Headers	Tests
✅	tree_diameter	graph/graph.hpp tree/tree-diameter.hpp	verify/tree/LC_tree_diameter.test.cpp
✅	lca	graph/graph.hpp tree/lowest-common-ancestor.hpp	verify/tree/LC_lowest_common_ancestor.test.cpp
✅	jump_on_tree	graph/graph.hpp tree/tree-jump.hpp	verify/tree/LC_jump_on_tree.test.cpp
❌	frequency_table_of_tree_distance	-	-
❌	rooted_tree_isomorphism_classification	-	-
✅	tree_path_composite_sum	modint/modint.hpp tree/rerooting-dp.hpp	verify/tree/LC_tree_path_composite_sum.test.cpp
✅	vertex_add_path_sum	algebraic-structure/monoid.hpp graph/graph.hpp tree/tree-vertex-set-path-prod.hpp	verify/tree/LC_vertex_add_path_sum.test.cpp
✅	vertex_set_path_composite	graph/graph.hpp modint/modint.hpp tree/tree-vertex-set-path-prod.hpp	verify/tree/LC_vertex_set_path_composite.test.cpp
✅	vertex_add_subtree_sum	algebraic-structure/monoid.hpp graph/graph.hpp tree/tree-vertex-set-subtree-prod.hpp	verify/tree/LC_vertex_add_subtree_sum.test.cpp
❌	vertex_add_range_contour_sum_on_tree	-	-
❌	vertex_get_range_contour_add_on_tree	-	-
❌	point_set_tree_path_composite_sum_fixed_root	-	-
❌	point_set_tree_path_composite_sum	-	-
❌	dynamic_tree_vertex_add_path_sum	-	-
❌	dynamic_tree_vertex_set_path_composite	-	-
❌	dynamic_tree_vertex_add_subtree_sum	-	-
❌	dynamic_tree_subtree_add_subtree_sum	-	-
✅	cartesian_tree	algorithm/cartesian-tree.hpp	verify/algorithm/LC_cartesian_tree.test.cpp
❌	common_interval_decomposition_tree	-	-
❌	rooted_tree_topological_order_with_minimum_inversions	-	-

Convolution (15)

Status	Problem	Headers	Tests
✅	convolution_mod	modint/modint.hpp fft/ntt.hpp fps/fps-ntt-friendly.hpp fps/relaxed.hpp	verify/convolution/LC_convolution_mod.test.cpp verify/fps/LC_convolution_mod.relaxed.test.cpp verify/fps/LC_convolution_mod.semirelaxed.test.cpp
✅	convolution_mod_1000000007	modint/modint.hpp convolution/intmod.hpp	verify/convolution/LC_convolution_mod_1000000007.test.cpp
✅	convolution_mod_2_64	convolution/mod2_64.hpp	verify/convolution/LC_convolution_mod_2_64.test.cpp
❌	convolution_mod_large	-	-
✅	bitwise_and_convolution	modint/modint.hpp set/or-convolution.hpp set/and-convolution.hpp	verify/set/LC_bitwise_and_convolution.or.test.cpp verify/set/LC_bitwise_and_convolution.test.cpp
✅	bitwise_xor_convolution	modint/modint.hpp set/xor-convolution.hpp	verify/set/LC_bitwise_xor_convolution.test.cpp
✅	gcd_convolution	modint/modint.hpp convolution/gcd.hpp	verify/convolution/LC_gcd_convolution.test.cpp
✅	lcm_convolution	modint/modint.hpp convolution/lcm.hpp	verify/convolution/LC_lcm_convolution.test.cpp
❌	multivariate_convolution	-	-
❌	multivariate_convolution_cyclic	-	-
❌	mul_modp_convolution	-	-
❌	mul_mod2n_convolution	-	-
✅	min_plus_convolution_convex_arbitrary	convolution/min-plus-convex.hpp	verify/convolution/LC_min_plus_convolution_convex_arbitrary.test.cpp
✅	min_plus_convolution_convex_convex	convolution/min-plus-convex.hpp	verify/convolution/LC_min_plus_convolution_convex_convex.test.cpp
❌	min_plus_convolution_concave_arbitrary	-	-

Number Theory (22)

Status	Problem	Headers	Tests
✅	enumerate_quotients	number-theory/enumerate-quotients.hpp	verify/number-theory/LC_enumerate_quotients.test.cpp
✅	primality_test	number-theory/miller-rabin.hpp	verify/number-theory/LC_primality_test.test.cpp
✅	counting_primes	number-theory/prime-count.hpp	verify/number-theory/LC_counting_primes.test.cpp
✅	enumerate_primes	number-theory/prime-sieve.hpp	verify/number-theory/LC_enumerate_primes.test.cpp
✅	factorize	number-theory/pollard-rho.hpp	verify/number-theory/LC_factorize.test.cpp
✅	primitive_root	number-theory/primitive-root.hpp	verify/number-theory/LC_primitive_root.test.cpp
✅	sum_of_floor_of_linear	math/floor-monoid-product.hpp math/floor-sum.hpp	verify/math/LC_sum_of_floor_of_linear.monoid.test.cpp verify/math/LC_sum_of_floor_of_linear.test.cpp
✅	min_of_mod_of_linear	math/min-of-mod-of-linear.hpp	verify/math/LC_min_of_mod_of_linear.test.cpp
✅	rational_approximation	math/stern-brocot-tree.hpp	verify/math/LC_rational_approximation.test.cpp
✅	stern_brocot_tree	math/stern-brocot-tree.hpp	verify/math/LC_stern_brocot_tree.test.cpp
✅	counting_squarefrees	number-theory/count-square-free.hpp	verify/number-theory/LC_counting_squarefrees.test.cpp
✅	sum_of_totient_function	modint/modint.hpp number-theory/totient-function.hpp	verify/number-theory/LC_sum_of_totient_function.test.cpp
❌	sum_of_multiplicative_function_large	-	-
❌	bernoulli_number	-	-
✅	sqrt_mod	modint/mod-sqrt.hpp	verify/modint/LC_sqrt_mod.test.cpp
❌	kth_root_mod	-	-
✅	kth_root_integer	math/util.hpp	verify/math/LC_kth_root_integer.test.cpp
❌	discrete_logarithm_mod	-	-
❌	tetration_mod	-	-
❌	gcd_of_gaussian_integers	-	-
❌	two_square_sum	-	-
❌	nim_product_64	-	-

Polynomial (26)

Status	Problem	Headers	Tests
✅	inv_of_formal_power_series	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/relaxed.hpp	verify/fps/LC_inv_of_formal_power_series.relaxed.test.cpp verify/fps/LC_inv_of_formal_power_series.test.cpp
✅	exp_of_formal_power_series	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/relaxed.hpp	verify/fps/LC_exp_of_formal_power_series.relaxed.test.cpp verify/fps/LC_exp_of_formal_power_series.test.cpp
✅	log_of_formal_power_series	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/relaxed.hpp	verify/fps/LC_log_of_formal_power_series.relaxed.test.cpp verify/fps/LC_log_of_formal_power_series.test.cpp
✅	pow_of_formal_power_series	modint/modint.hpp fps/fps-ntt-friendly.hpp	verify/fps/LC_pow_of_formal_power_series.test.cpp
✅	sqrt_of_formal_power_series	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/fps-sqrt.hpp fps/relaxed.hpp	verify/fps/LC_sqrt_of_formal_power_series.relaxed.test.cpp verify/fps/LC_sqrt_of_formal_power_series.test.cpp
✅	composition_of_formal_power_series	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/composition.hpp	verify/fps/LC_composition_of_formal_power_series.test.cpp
✅	compositional_inverse_of_formal_power_series	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/compositional-inv.hpp	verify/fps/LC_compositional_inverse_of_formal_power_series.test.cpp
✅	inv_of_formal_power_series_sparse	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/sparse.hpp	verify/fps/LC_inv_of_formal_power_series_sparse.test.cpp
✅	exp_of_formal_power_series_sparse	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/sparse.hpp	verify/fps/LC_exp_of_formal_power_series_sparse.test.cpp
✅	log_of_formal_power_series_sparse	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/sparse.hpp	verify/fps/LC_log_of_formal_power_series_sparse.test.cpp
✅	pow_of_formal_power_series_sparse	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/sparse.hpp	verify/fps/LC_pow_of_formal_power_series_sparse.test.cpp
✅	sqrt_of_formal_power_series_sparse	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/sparse.hpp	verify/fps/LC_sqrt_of_formal_power_series_sparse.test.cpp
✅	product_of_polynomial_sequence	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/product-of-polynomials.hpp	verify/fps/LC_product_of_polynomial_sequence.test.cpp
✅	multipoint_evaluation	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/multipoint-evaluation.hpp	verify/fps/LC_multipoint_evaluation.test.cpp
✅	multipoint_evaluation_on_geometric_sequence	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/multipoint-evaluation.hpp	verify/fps/LC_multipoint_evaluation_on_geometric_sequence.test.cpp
✅	polynomial_interpolation	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/polynomial-interpolation.hpp	verify/fps/LC_polynomial_interpolation.test.cpp
✅	polynomial_interpolation_on_geometric_sequence	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/polynomial-interpolation.hpp	verify/fps/LC_polynomial_interpolation_on_geometric_sequence.test.cpp
✅	polynomial_taylor_shift	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/taylor-shift.hpp	verify/fps/LC_polynomial_taylor_shift.test.cpp
✅	shift_of_sampling_points_of_polynomial	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/sampling-points-shift.hpp	verify/fps/LC_shift_of_sampling_points_of_polynomial.test.cpp
✅	division_of_polynomials	modint/modint.hpp fps/fps-ntt-friendly.hpp	verify/fps/LC_division_of_polynomials.test.cpp
✅	inv_of_polynomials	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/polynomial-gcd.hpp	verify/fps/LC_inv_of_polynomials.test.cpp
❌	factorization_of_polynomials	-	-
✅	conversion_from_monomial_basis_to_newton_basis	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/monomial-basis-to-newton-basis.hpp	verify/fps/LC_conversion_from_monomial_basis_to_newton_basis.test.cpp
❌	polynomial_root_finding	-	-
✅	composition_of_formal_power_series_large	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/composition.hpp	verify/fps/LC_composition_of_formal_power_series_large.test.cpp
✅	compositional_inverse_of_formal_power_series_large	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/compositional-inv.hpp	verify/fps/LC_compositional_inverse_of_formal_power_series_large.test.cpp

Set Power Series (4)

Status	Problem	Headers	Tests
✅	subset_convolution	modint/modint.hpp set/subset-convolution.hpp	verify/set/LC_subset_convolution.test.cpp
✅	power_projection_of_set_power_series	modint/modint.hpp set/power-projection-of-set-power-series.hpp	verify/set/LC_power_projection_of_set_power_series.test.cpp
✅	exp_of_set_power_series	modint/modint.hpp set/exp-of-set-power-series.hpp	verify/set/LC_exp_of_set_power_series.test.cpp
✅	polynomial_composite_set_power_series	modint/modint.hpp set/composite-set-power-series.hpp	verify/set/LC_polynomial_composite_set_power_series.test.cpp

Enumerative Combinatorics (17)

Status	Problem	Headers	Tests
✅	factorial	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/p-recursive.hpp	verify/fps/LC_factorial.p_recursive.test.cpp
❌	many_factorials	-	-
✅	montmort_number_mod	modint/dynamic-modint.hpp fps/famous-sequences.hpp	verify/fps/LC_montmort_number_mod.test.cpp
✅	bell_number	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/famous-sequences.hpp	verify/fps/LC_bell_number.test.cpp
✅	binomial_coefficient	modint/binomial-general-mod.hpp	verify/modint/LC_binomial_coefficient.test.cpp
✅	binomial_coefficient_prime_mod	modint/dynamic-modint.hpp modint/factorial.hpp	verify/modint/LC_binomial_coefficient_prime_mod.test.cpp
❌	q_binomial_coefficient_prime_mod	-	-
✅	partition_function	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/famous-sequences.hpp	verify/fps/LC_partition_function.test.cpp
✅	stirling_number_of_the_first_kind	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/famous-sequences.hpp	verify/fps/LC_stirling_number_of_the_first_kind.test.cpp
✅	stirling_number_of_the_first_kind_fixed_k	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/famous-sequences.hpp	verify/fps/LC_stirling_number_of_the_first_kind_fixed_k.test.cpp
✅	stirling_number_of_the_second_kind	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/famous-sequences.hpp	verify/fps/LC_stirling_number_of_the_second_kind.test.cpp
✅	stirling_number_of_the_second_kind_fixed_k	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/famous-sequences.hpp	verify/fps/LC_stirling_number_of_the_second_kind_fixed_k.test.cpp
❌	stirling_number_of_the_first_kind_small_p_large_n	-	-
❌	stirling_number_of_the_second_kind_small_p_large_n	-	-
✅	sharp_p_subset_sum	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/count-subset-sum.hpp	verify/fps/LC_sharp_p_subset_sum.test.cpp
❌	number_of_subsequences	-	-
❌	number_of_increasing_sequences_between_two_sequences	-	-

Linear Algebra (17)

Status	Problem	Headers	Tests
✅	matrix_product	modint/modint.hpp matrix/matrix.hpp	verify/matrix/LC_matrix_product.test.cpp
✅	matrix_product_mod_2	matrix/matrix-mod2.hpp	verify/matrix/LC_matrix_product_mod_2.test.cpp
✅	pow_of_matrix	modint/modint.hpp matrix/matrix.hpp	verify/matrix/LC_pow_of_matrix.test.cpp
✅	matrix_det	modint/modint.hpp matrix/matrix.hpp	verify/matrix/LC_matrix_det.test.cpp
❌	matrix_det_arbitrary_mod	-	-
✅	matrix_det_mod_2	matrix/matrix-mod2.hpp	verify/matrix/LC_matrix_det_mod_2.test.cpp
❌	sparse_matrix_det	-	-
❌	matrix_rank	-	-
✅	matrix_rank_mod_2	matrix/matrix-mod2.hpp	verify/matrix/LC_matrix_rank_mod_2.test.cpp
❌	system_of_linear_equations	-	-
❌	system_of_linear_equations_mod_2	-	-
✅	inverse_matrix	modint/modint.hpp matrix/matrix.hpp	verify/matrix/LC_inverse_matrix.test.cpp
✅	inverse_matrix_mod_2	matrix/matrix-mod2.hpp	verify/matrix/LC_inverse_matrix_mod_2.test.cpp
❌	adjugate_matrix	-	-
❌	characteristic_polynomial	-	-
❌	hafnian_of_matrix	-	-
❌	intersection_of_f2_vector_spaces	-	-

String (11)

Status	Problem	Headers	Tests
✅	zalgorithm	string/z-algorithm.hpp	verify/string/LC_zalgorithm.test.cpp
❌	enumerate_palindromes	-	-
❌	suffixarray	-	-
❌	number_of_substrings	-	-
❌	runenumerate	-	-
❌	prefix_substring_lcs	-	-
❌	lyndon_factorization	-	-
❌	longest_common_substring	-	-
❌	eertree	-	-
❌	palindromes_in_deque	-	-
❌	wildcard_pattern_matching	-	-

Geometry (8)

Status	Problem	Headers	Tests
❌	sort_points_by_argument	-	-
❌	static_convex_hull	-	-
❌	count_points_in_triangle	-	-
❌	closest_pair	-	-
❌	furthest_pair	-	-
❌	convex_layers	-	-
❌	manhattanmst	-	-
❌	euclidean_mst	-	-

Big Integer (6)

Status	Problem	Headers	Tests
❌	addition_of_big_integers	-	-
❌	multiplication_of_big_integers	-	-
❌	division_of_big_integers	-	-
❌	addition_of_hex_big_integers	-	-
❌	multiplication_of_hex_big_integers	-	-
❌	division_of_hex_big_integers	-	-

Other (7)

Status	Problem	Headers	Tests
❌	two_sat	-	-
❌	longest_increasing_subsequence	-	-
✅	sum_of_exponential_times_polynomial	modint/modint.hpp modint/factorial.hpp modint/power-table.hpp fps/sum-of-exp-poly.hpp	verify/fps/LC_sum_of_exponential_times_polynomial.test.cpp
✅	sum_of_exponential_times_polynomial_limit	modint/modint.hpp modint/factorial.hpp modint/power-table.hpp fps/sum-of-exp-poly.hpp	verify/fps/LC_sum_of_exponential_times_polynomial_limit.test.cpp
✅	find_linear_recurrence	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/berlekamp-massey.hpp	verify/fps/LC_find_linear_recurrence.test.cpp
✅	kth_term_of_linearly_recurrent_sequence	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/linearly-recurrent-sequence.hpp	verify/fps/LC_kth_term_of_linearly_recurrent_sequence.test.cpp
✅	consecutive_terms_of_linear_recurrent_sequence	modint/modint.hpp fps/fps-ntt-friendly.hpp fps/linearly-recurrent-sequence.hpp	verify/fps/LC_consecutive_terms_of_linear_recurrent_sequence.test.cpp

Uncategorized (17)

Status	Problem	Headers	Tests
❌	aho_corasick	-	-
❌	convolution_F_2_64	-	-
❌	deque	-	-
❌	dirichlet_convolution_and_prefix_sums	-	-
❌	dirichlet_inverse_and_prefix_sums	-	-
❌	discrete_logarithm_fixed_mod	-	-
❌	incremental_minimum_spanning_forest	-	-
✅	inv_of_formal_power_series_2d	modint/modint.hpp fps/fps-2d-ntt-friendly.hpp	verify/fps/LC_inv_of_formal_power_series_2d.test.cpp
❌	log_of_set_power_series	-	-
❌	majority_voting	-	-
❌	minimum_enclosing_circle	-	-
❌	minimum_steiner_tree	-	-
❌	pfaffian_of_matrix	-	-
❌	prefix_sum_of_polynomial	-	-
✅	range_add_range_min	data-structure/range-add-range-min.hpp	verify/data-structure/LC_range_add_range_min.test.cpp
✅	static_range_sum_with_upper_bound	data-structure/wavelet-matrix-with-weight.hpp	verify/data-structure/LC_static_range_sum_with_upper_bound.test.cpp
✅	sum_of_multiplicative_function	modint/modint.hpp number-theory/lucy-dp.hpp number-theory/sum-of-multiplicative-function.hpp	verify/number-theory/LC_sum_of_multiplicative_function.test.cpp