Library Checker
強力なテストケースでアルゴリズムの正当性を検証できるジャッジです。主にライブラリ用途の問題が揃っています。
問題一覧
- addition_of_big_integers
- addition_of_hex_big_integers
- adjugate_matrix
- aplusb
- area_of_union_of_rectangles
- assignment
- associative_array
- bell_number
- bernoulli_number
- biconnected_components
- binomial_coefficient
- binomial_coefficient_prime_mod
- bipartite_edge_coloring
- bipartitematching
- bitwise_and_convolution
- bitwise_xor_convolution
- cartesian_tree
- characteristic_polynomial
- chordal_graph_recognition
- chromatic_number
- chromatic_polynomial
- closest_pair
- common_interval_decomposition_tree
- composition_of_formal_power_series
- composition_of_formal_power_series_large
- compositional_inverse_of_formal_power_series
- compositional_inverse_of_formal_power_series_large
- connected_components_of_complement_graph
- consecutive_terms_of_linear_recurrent_sequence
- conversion_from_monomial_basis_to_newton_basis
- convex_layers
- convolution_mod
- convolution_mod_1000000007
- convolution_mod_2_64
- convolution_mod_large
- count_points_in_triangle
- counting_c4
- counting_eulerian_circuits
- counting_primes
- counting_spanning_tree_directed
- counting_spanning_tree_undirected
- counting_squarefrees
- cycle_detection
- cycle_detection_undirected
- deque_operate_all_composite
- directedmst
- discrete_logarithm_mod
- division_of_big_integers
- division_of_hex_big_integers
- division_of_polynomials
- dominatortree
- double_ended_priority_queue
- dynamic_graph_vertex_add_component_sum
- dynamic_point_set_rectangle_affine_rectangle_sum
- dynamic_sequence_range_affine_range_sum
- dynamic_tree_subtree_add_subtree_sum
- dynamic_tree_vertex_add_path_sum
- dynamic_tree_vertex_add_subtree_sum
- dynamic_tree_vertex_set_path_composite
- eertree
- enumerate_cliques
- enumerate_palindromes
- enumerate_primes
- enumerate_quotients
- enumerate_triangles
- euclidean_mst
- eulerian_trail_directed
- eulerian_trail_undirected
- exp_of_formal_power_series
- exp_of_formal_power_series_sparse
- exp_of_set_power_series
- factorial
- factorize
- find_linear_recurrence
- frequency_table_of_tree_distance
- furthest_pair
- gcd_convolution
- gcd_of_gaussian_integers
- general_matching
- general_weighted_matching
- global_minimum_cut_of_dynamic_star_augmented_graph
- hafnian_of_matrix
- incremental_minimum_spanning_forest
- incremental_scc
- intersection_of_f2_vector_spaces
- inv_of_formal_power_series
- inv_of_formal_power_series_sparse
- inv_of_polynomials
- inverse_matrix
- inverse_matrix_mod_2
- jump_on_tree
- k_shortest_walk
- kth_root_integer
- kth_root_mod
- kth_term_of_linearly_recurrent_sequence
- lca
- lcm_convolution
- line_add_get_min
- log_of_formal_power_series
- log_of_formal_power_series_sparse
- longest_common_substring
- longest_increasing_subsequence
- lyndon_factorization
- majority_voting
- manhattanmst
- many_aplusb
- many_aplusb_128bit
- many_factorials
- matrix_det
- matrix_det_arbitrary_mod
- matrix_det_mod_2
- matrix_product
- matrix_product_mod_2
- matrix_rank
- matrix_rank_mod_2
- maximum_independent_set
- min_cost_b_flow
- min_of_mod_of_linear
- min_plus_convolution_concave_arbitrary
- min_plus_convolution_convex_arbitrary
- min_plus_convolution_convex_convex
- minimum_diameter_spanning_tree
- minimum_spanning_tree
- minimum_steiner_tree
- montmort_number_mod
- mul_mod2n_convolution
- mul_modp_convolution
- multiplication_of_big_integers
- multiplication_of_hex_big_integers
- multipoint_evaluation
- multipoint_evaluation_on_geometric_sequence
- multivariate_convolution
- multivariate_convolution_cyclic
- nim_product_64
- number_of_increasing_sequences_between_two_sequences
- number_of_subsequences
- number_of_substrings
- ordered_set
- palindromes_in_deque
- partition_function
- persistent_queue
- persistent_range_affine_range_sum
- persistent_unionfind
- pfaffian_of_matrix
- point_add_range_sum
- point_add_rectangle_sum
- point_set_range_composite
- point_set_range_composite_large_array
- point_set_range_frequency
- point_set_range_sort_range_composite
- point_set_tree_path_composite_sum
- point_set_tree_path_composite_sum_fixed_root
- polynomial_composite_set_power_series
- polynomial_interpolation
- polynomial_interpolation_on_geometric_sequence
- polynomial_root_finding
- polynomial_taylor_shift
- pow_of_formal_power_series
- pow_of_formal_power_series_sparse
- pow_of_matrix
- power_projection_of_set_power_series
- predecessor_problem
- prefix_substring_lcs
- primality_test
- primitive_root
- product_of_polynomial_sequence
- q_binomial_coefficient_prime_mod
- queue_operate_all_composite
- range_affine_point_get
- range_affine_range_sum
- range_affine_range_sum_large_array
- range_chmin_chmax_add_range_sum
- range_kth_smallest
- range_linear_add_range_min
- range_parallel_unionfind
- range_reverse_range_sum
- range_set_range_composite
- rational_approximation
- rectangle_add_point_get
- rectangle_sum
- rooted_tree_isomorphism_classification
- rooted_tree_topological_order_with_minimum_inversions
- runenumerate
- scc
- segment_add_get_min
- set_xor_min
- sharp_p_subset_sum
- shift_of_sampling_points_of_polynomial
- shortest_path
- sort_points_by_argument
- sparse_matrix_det
- sqrt_mod
- sqrt_of_formal_power_series
- sqrt_of_formal_power_series_sparse
- st_numbering
- static_convex_hull
- static_range_count_distinct
- static_range_frequency
- static_range_inversions_query
- static_range_lis_query
- static_range_mode_query
- static_range_sum
- static_rectangle_add_rectangle_sum
- staticrmq
- stern_brocot_tree
- stirling_number_of_the_first_kind
- stirling_number_of_the_first_kind_fixed_k
- stirling_number_of_the_first_kind_small_p_large_n
- stirling_number_of_the_second_kind
- stirling_number_of_the_second_kind_fixed_k
- stirling_number_of_the_second_kind_small_p_large_n
- subset_convolution
- suffixarray
- sum_of_exponential_times_polynomial
- sum_of_exponential_times_polynomial_limit
- sum_of_floor_of_linear
- sum_of_multiplicative_function
- sum_of_multiplicative_function_large
- sum_of_totient_function
- system_of_linear_equations
- system_of_linear_equations_mod_2
- tetration_mod
- three_edge_connected_components
- tree_decomposition_width_2
- tree_diameter
- tree_path_composite_sum
- two_edge_connected_components
- two_sat
- two_square_sum
- unionfind
- unionfind_with_potential
- unionfind_with_potential_non_commutative_group
- vertex_add_path_sum
- vertex_add_range_contour_sum_on_tree
- vertex_add_subtree_sum
- vertex_get_range_contour_add_on_tree
- vertex_set_path_composite
- wildcard_pattern_matching
- zalgorithm