Merge branch 'dev' into self_to_dfs

Author: lrvideckis

.verify-helper/timestamps.remote.json

@@ -5,13 +5,13 @@
 "tests/library_checker_aizu_tests/convolution/xor_convolution.test.cpp": "2026-03-06 12:17:28 -0700",
 "tests/library_checker_aizu_tests/data_structures/binary_search_example.test.cpp": "2024-11-18 10:51:39 -0600",
 "tests/library_checker_aizu_tests/data_structures/binary_trie.test.cpp": "2026-01-18 02:20:40 +0000",
-"tests/library_checker_aizu_tests/data_structures/bit.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/data_structures/bit_inc.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/data_structures/bit_inc_walk.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/data_structures/bit_ordered_set.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/data_structures/bit_rupq.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/data_structures/bit_rurq.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/data_structures/bit_walk.test.cpp": "2026-04-03 11:43:12 -0600",
+"tests/library_checker_aizu_tests/data_structures/bit.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/bit_inc.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/bit_inc_walk.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/bit_ordered_set.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/bit_rupq.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/bit_rurq.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/bit_walk.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/data_structures/deque.test.cpp": "2026-01-18 02:20:40 +0000",
 "tests/library_checker_aizu_tests/data_structures/deque_index.test.cpp": "2026-01-18 02:20:40 +0000",
 "tests/library_checker_aizu_tests/data_structures/deque_op.test.cpp": "2026-01-18 02:20:40 +0000",
@@ -24,8 +24,8 @@
 "tests/library_checker_aizu_tests/data_structures/kd_bit_1d.test.cpp": "2026-02-19 18:06:52 -0700",
 "tests/library_checker_aizu_tests/data_structures/kth_smallest_pst.test.cpp": "2026-01-18 11:15:41 +0000",
 "tests/library_checker_aizu_tests/data_structures/kth_smallest_wavelet_matrix.test.cpp": "2026-02-04 02:50:53 +0000",
-"tests/library_checker_aizu_tests/data_structures/lazy_segment_tree.test.cpp": "2026-01-23 04:31:29 +0000",
-"tests/library_checker_aizu_tests/data_structures/lazy_segment_tree_constructor.test.cpp": "2026-01-23 04:31:29 +0000",
+"tests/library_checker_aizu_tests/data_structures/lazy_segment_tree.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/lazy_segment_tree_constructor.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/data_structures/lazy_segment_tree_inc.test.cpp": "2026-02-05 13:02:29 -0700",
 "tests/library_checker_aizu_tests/data_structures/lazy_segment_tree_inc_constructor.test.cpp": "2026-02-05 13:02:29 -0700",
 "tests/library_checker_aizu_tests/data_structures/merge_sort_tree.test.cpp": "2026-01-18 11:04:58 +0000",
@@ -35,24 +35,24 @@
 "tests/library_checker_aizu_tests/data_structures/persistent_seg_tree.test.cpp": "2026-01-18 11:15:41 +0000",
 "tests/library_checker_aizu_tests/data_structures/pq_ds_undo_sliding_window.test.cpp": "2026-01-18 02:20:40 +0000",
 "tests/library_checker_aizu_tests/data_structures/rmq_linear.test.cpp": "2026-03-09 12:21:26 -0600",
-"tests/library_checker_aizu_tests/data_structures/rmq_sparse_table.test.cpp": "2026-03-09 12:21:26 -0600",
+"tests/library_checker_aizu_tests/data_structures/rmq_sparse_table.test.cpp": "2026-04-06 13:24:49 -0600",
 "tests/library_checker_aizu_tests/data_structures/rmq_sparse_table_inc.test.cpp": "2026-01-18 11:15:41 +0000",
-"tests/library_checker_aizu_tests/data_structures/simple_tree.test.cpp": "2026-04-04 12:45:20 -0600",
-"tests/library_checker_aizu_tests/data_structures/simple_tree_inc.test.cpp": "2026-03-25 22:10:17 -0600",
-"tests/library_checker_aizu_tests/data_structures/simple_tree_inc_line.test.cpp": "2026-03-25 22:10:17 -0600",
-"tests/library_checker_aizu_tests/data_structures/simple_tree_inc_queue.test.cpp": "2026-03-25 22:10:17 -0600",
-"tests/library_checker_aizu_tests/data_structures/simple_tree_inc_walk.test.cpp": "2026-03-25 22:10:17 -0600",
-"tests/library_checker_aizu_tests/data_structures/simple_tree_line.test.cpp": "2026-04-04 12:45:20 -0600",
-"tests/library_checker_aizu_tests/data_structures/simple_tree_queue.test.cpp": "2026-04-04 12:45:20 -0600",
-"tests/library_checker_aizu_tests/data_structures/simple_tree_walk.test.cpp": "2026-04-04 12:45:20 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree_inc.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree_inc_line.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree_inc_queue.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree_inc_walk.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree_line.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree_queue.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/data_structures/simple_tree_walk.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/dsu/dsu.test.cpp": "2026-02-27 15:26:53 -0700",
 "tests/library_checker_aizu_tests/dsu/dsu_bipartite.test.cpp": "2026-03-06 16:06:56 -0700",
 "tests/library_checker_aizu_tests/dsu/dsu_weighted_aizu.test.cpp": "2026-03-06 16:06:56 -0700",
 "tests/library_checker_aizu_tests/dsu/dsu_weighted_lib_checker.test.cpp": "2026-03-06 16:06:56 -0700",
 "tests/library_checker_aizu_tests/dsu/kruskal_tree_aizu.test.cpp": "2026-03-06 16:06:56 -0700",
 "tests/library_checker_aizu_tests/dsu/line_tree_aizu.test.cpp": "2026-03-06 16:06:56 -0700",
 "tests/library_checker_aizu_tests/dsu/line_tree_lib_checker.test.cpp": "2026-03-06 16:06:56 -0700",
-"tests/library_checker_aizu_tests/dsu/range_parallel_dsu.test.cpp": "2026-02-27 15:26:53 -0700",
+"tests/library_checker_aizu_tests/dsu/range_parallel_dsu.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/flow/hungarian.test.cpp": "2024-11-17 14:04:03 -0600",
 "tests/library_checker_aizu_tests/flow/min_cost_max_flow.test.cpp": "2024-12-05 10:41:42 -0600",
 "tests/library_checker_aizu_tests/graphs/bcc_callback_aizu_bcc.test.cpp": "2026-01-18 02:20:40 +0000",
@@ -74,9 +74,9 @@
 "tests/library_checker_aizu_tests/graphs/strongly_connected_components_aizu.test.cpp": "2026-01-17 13:05:42 -0700",
 "tests/library_checker_aizu_tests/graphs/strongly_connected_components_lib_checker.test.cpp": "2026-01-17 13:05:42 -0700",
 "tests/library_checker_aizu_tests/graphs/two_edge_components.test.cpp": "2026-02-27 11:16:07 -0700",
-"tests/library_checker_aizu_tests/handmade_tests/count_paths.test.cpp": "2026-03-16 14:36:46 -0600",
+"tests/library_checker_aizu_tests/handmade_tests/count_paths.test.cpp": "2026-04-06 13:24:49 -0600",
 "tests/library_checker_aizu_tests/handmade_tests/dsu.test.cpp": "2026-01-22 10:08:22 -0700",
-"tests/library_checker_aizu_tests/handmade_tests/edge_cd_small_trees.test.cpp": "2026-03-16 14:36:46 -0600",
+"tests/library_checker_aizu_tests/handmade_tests/edge_cd_small_trees.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/handmade_tests/fib_matrix_expo.test.cpp": "2026-01-28 21:48:16 -0700",
 "tests/library_checker_aizu_tests/handmade_tests/functional_graph.test.cpp": "2026-03-24 10:58:55 -0600",
 "tests/library_checker_aizu_tests/handmade_tests/hilbert_mos.test.cpp": "2026-01-18 02:20:40 +0000",
@@ -89,8 +89,8 @@
 "tests/library_checker_aizu_tests/handmade_tests/permutation_tree_small.test.cpp": "2026-03-09 12:21:26 -0600",
 "tests/library_checker_aizu_tests/handmade_tests/rmq_small_n.test.cpp": "2026-03-09 12:21:26 -0600",
 "tests/library_checker_aizu_tests/handmade_tests/sa_find_subarray.test.cpp": "2026-01-27 18:11:48 +0000",
-"tests/library_checker_aizu_tests/handmade_tests/seg_tree_find.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/handmade_tests/seg_tree_find_small.test.cpp": "2026-01-23 04:31:29 +0000",
+"tests/library_checker_aizu_tests/handmade_tests/seg_tree_find.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/handmade_tests/seg_tree_find_small.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/handmade_tests/seg_tree_midpoint.test.cpp": "2026-02-27 11:16:07 -0700",
 "tests/library_checker_aizu_tests/handmade_tests/xor_basis_walk.test.cpp": "2026-03-08 15:33:28 -0600",
 "tests/library_checker_aizu_tests/loops/chooses.test.cpp": "2025-02-10 14:50:36 -0700",
@@ -110,42 +110,42 @@
 "tests/library_checker_aizu_tests/math/tetration.test.cpp": "2024-11-17 14:04:03 -0600",
 "tests/library_checker_aizu_tests/math/totient.test.cpp": "2024-11-17 14:04:03 -0600",
 "tests/library_checker_aizu_tests/math/xor_basis_intersection.test.cpp": "2026-03-08 15:33:28 -0600",
-"tests/library_checker_aizu_tests/monotonic_stack_related/cartesian_binary_tree.test.cpp": "2025-02-10 14:50:36 -0700",
-"tests/library_checker_aizu_tests/monotonic_stack_related/cartesian_k_ary_tree.test.cpp": "2026-03-09 12:21:26 -0600",
-"tests/library_checker_aizu_tests/monotonic_stack_related/count_rectangles.test.cpp": "2026-03-09 12:21:26 -0600",
-"tests/library_checker_aizu_tests/monotonic_stack_related/max_rect_histogram.test.cpp": "2026-03-09 12:21:26 -0600",
+"tests/library_checker_aizu_tests/monotonic_stack_related/cartesian_binary_tree.test.cpp": "2026-04-06 13:24:49 -0600",
+"tests/library_checker_aizu_tests/monotonic_stack_related/cartesian_k_ary_tree.test.cpp": "2026-04-06 13:24:49 -0600",
+"tests/library_checker_aizu_tests/monotonic_stack_related/count_rectangles.test.cpp": "2026-04-06 13:24:49 -0600",
+"tests/library_checker_aizu_tests/monotonic_stack_related/max_rect_histogram.test.cpp": "2026-04-06 13:24:49 -0600",
 "tests/library_checker_aizu_tests/strings/kmp.test.cpp": "2025-08-05 19:19:23 -0600",
 "tests/library_checker_aizu_tests/strings/lcp_array.test.cpp": "2026-01-28 01:00:19 -0700",
 "tests/library_checker_aizu_tests/strings/lcp_query_palindrome.test.cpp": "2026-01-27 18:11:48 +0000",
 "tests/library_checker_aizu_tests/strings/lcp_query_zfunc.test.cpp": "2026-01-27 18:11:48 +0000",
 "tests/library_checker_aizu_tests/strings/lcs_dp.test.cpp": "2025-08-05 19:19:23 -0600",
-"tests/library_checker_aizu_tests/strings/lcs_queries.test.cpp": "2026-04-03 11:43:12 -0600",
+"tests/library_checker_aizu_tests/strings/lcs_queries.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/strings/lcs_queries_merge_sort_tree.test.cpp": "2026-01-18 11:04:58 +0000",
 "tests/library_checker_aizu_tests/strings/manacher.test.cpp": "2025-08-05 19:19:23 -0600",
 "tests/library_checker_aizu_tests/strings/multi_matching_bs.test.cpp": "2026-01-27 18:11:48 +0000",
 "tests/library_checker_aizu_tests/strings/prefix_function.test.cpp": "2025-08-05 19:19:23 -0600",
 "tests/library_checker_aizu_tests/strings/sa_cmp.test.cpp": "2026-01-27 18:11:48 +0000",
 "tests/library_checker_aizu_tests/strings/sa_sort_pairs.test.cpp": "2026-01-27 18:11:48 +0000",
 "tests/library_checker_aizu_tests/strings/single_matching_bs.test.cpp": "2026-01-27 18:11:48 +0000",
-"tests/library_checker_aizu_tests/strings/suffix_array.test.cpp": "2026-03-09 12:21:26 -0600",
+"tests/library_checker_aizu_tests/strings/suffix_array.test.cpp": "2026-04-06 13:24:49 -0600",
 "tests/library_checker_aizu_tests/strings/suffix_array_short.test.cpp": "2026-01-28 01:00:19 -0700",
 "tests/library_checker_aizu_tests/strings/trie.test.cpp": "2026-01-17 12:38:18 -0700",
 "tests/library_checker_aizu_tests/strings/wildcard_pattern_matching.test.cpp": "2025-08-05 19:19:23 -0600",
-"tests/library_checker_aizu_tests/trees/count_paths_per_length.test.cpp": "2026-03-16 14:36:46 -0600",
-"tests/library_checker_aizu_tests/trees/edge_cd_contour_range_query.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/trees/edge_cd_contour_range_update.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/trees/edge_cd_count_paths_per_length.test.cpp": "2026-03-16 14:36:46 -0600",
-"tests/library_checker_aizu_tests/trees/edge_cd_reroot_dp.test.cpp": "2026-03-16 14:36:46 -0600",
-"tests/library_checker_aizu_tests/trees/hld_aizu1.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/trees/hld_aizu2.test.cpp": "2026-01-23 04:31:29 +0000",
-"tests/library_checker_aizu_tests/trees/hld_lib_checker_path.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/trees/hld_lib_checker_subtree_edges.test.cpp": "2026-04-03 11:43:12 -0600",
-"tests/library_checker_aizu_tests/trees/hld_lib_checker_subtree_nodes.test.cpp": "2026-04-03 11:43:12 -0600",
+"tests/library_checker_aizu_tests/trees/count_paths_per_length.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/edge_cd_contour_range_query.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/edge_cd_contour_range_update.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/edge_cd_count_paths_per_length.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/edge_cd_reroot_dp.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/hld_aizu1.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/hld_aizu2.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/hld_lib_checker_path.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/hld_lib_checker_subtree_edges.test.cpp": "2026-04-06 12:17:32 -0600",
+"tests/library_checker_aizu_tests/trees/hld_lib_checker_subtree_nodes.test.cpp": "2026-04-06 12:17:32 -0600",
 "tests/library_checker_aizu_tests/trees/kth_path_ladder.test.cpp": "2026-03-01 20:09:39 -0700",
-"tests/library_checker_aizu_tests/trees/kth_path_linear.test.cpp": "2026-03-09 12:21:26 -0600",
-"tests/library_checker_aizu_tests/trees/kth_path_tree_lift.test.cpp": "2026-01-18 11:15:41 +0000",
-"tests/library_checker_aizu_tests/trees/lca_all_methods_aizu.test.cpp": "2026-03-09 12:21:26 -0600",
-"tests/library_checker_aizu_tests/trees/lca_all_methods_lib_checker.test.cpp": "2026-03-09 12:21:26 -0600",
+"tests/library_checker_aizu_tests/trees/kth_path_linear.test.cpp": "2026-04-06 13:24:49 -0600",
+"tests/library_checker_aizu_tests/trees/kth_path_tree_lift.test.cpp": "2026-04-06 13:24:49 -0600",
+"tests/library_checker_aizu_tests/trees/lca_all_methods_aizu.test.cpp": "2026-04-06 13:24:49 -0600",
+"tests/library_checker_aizu_tests/trees/lca_all_methods_lib_checker.test.cpp": "2026-04-06 13:24:49 -0600",
 "tests/library_checker_aizu_tests/trees/shallowest_aizu_tree_height.test.cpp": "2025-12-11 21:47:53 +0000",
 "tests/library_checker_aizu_tests/trees/shallowest_lib_checker_tree_path_composite.test.cpp": "2025-12-11 21:47:53 +0000",
 "tests/library_checker_aizu_tests/trees/subtree_isomorphism.test.cpp": "2025-12-11 21:47:53 +0000"

library/monotonic_stack/monotonic_stack.hpp

@@ -7,7 +7,7 @@
 //!   a[le[i]] < a[i]
 //! @time O(n)
 //! @space O(n)
-vi mono_st(const auto& a, auto cmp) {
+vi mono_st(const auto& a, const auto& cmp) {
   vi l(sz(a));
   rep(i, 0, sz(a)) for (l[i] = i - 1;
     l[i] >= 0 && !cmp(a[l[i]], a[i]);) l[i] = l[l[i]];