[auto-verifier] docs commit b3981ad

NyaanNyaan · Sep 21, 2024 · b46f043 · b46f043
1 parent c6742f0
commit b46f043
Show file tree

Hide file tree

Showing 158 changed files with 4,243 additions and 4,163 deletions.
diff --git a/data-structure-2d/2d-segment-tree.hpp.md b/data-structure-2d/2d-segment-tree.hpp.md
@@ -82,8 +82,8 @@ data:
   timestamp: '2023-09-08 22:52:34+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-aoj-other/aoj-1068.test.cpp
   - verify/verify-aoj-dsl/aoj-dsl-5-b-2dseg.test.cpp
+  - verify/verify-aoj-other/aoj-1068.test.cpp
 documentation_of: data-structure-2d/2d-segment-tree.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/binary-indexed-tree.hpp.md b/data-structure/binary-indexed-tree.hpp.md
@@ -99,24 +99,24 @@ data:
   isVerificationFile: false
   path: data-structure/binary-indexed-tree.hpp
   requiredBy:
-  - dp/inversion-counting.hpp
-  - data-structure-2d/rectangle-add-rectangle-sum.hpp
   - data-structure/range-sum-range-add-bit.hpp
+  - data-structure-2d/rectangle-add-rectangle-sum.hpp
+  - dp/inversion-counting.hpp
   timestamp: '2021-12-20 22:10:59+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
+  - verify/verify-aoj-dsl/aoj-dsl-2-b-bit.test.cpp
+  - verify/verify-aoj-dsl/aoj-dsl-2-e-imos.test.cpp
+  - verify/verify-aoj-dsl/aoj-dsl-2-g-bit.test.cpp
+  - verify/verify-yuki/yuki-1115.test.cpp
+  - verify/verify-yosupo-ds/yosupo-point-add-rectangle-sum-abstruct-range-tree.test.cpp
   - verify/verify-yosupo-ds/yosupo-vertex-add-subtree-sum-dst-on-tree.test.cpp
+  - verify/verify-yosupo-ds/yosupo-static-range-inversion-query-2.test.cpp
+  - verify/verify-yosupo-ds/yosupo-static-rectangle-add-rectangle-sum.test.cpp
+  - verify/verify-yosupo-ds/yosupo-vertex-add-path-sum-euler-tour.test.cpp
   - verify/verify-yosupo-ds/yosupo-vertex-add-subtree-sum-euler-tree.test.cpp
-  - verify/verify-yosupo-ds/yosupo-static-range-inversions-query.test.cpp
   - verify/verify-yosupo-ds/yosupo-point-add-range-sum.test.cpp
-  - verify/verify-yosupo-ds/yosupo-vertex-add-path-sum-euler-tour.test.cpp
-  - verify/verify-yosupo-ds/yosupo-static-rectangle-add-rectangle-sum.test.cpp
-  - verify/verify-yosupo-ds/yosupo-static-range-inversion-query-2.test.cpp
-  - verify/verify-yosupo-ds/yosupo-point-add-rectangle-sum-abstruct-range-tree.test.cpp
-  - verify/verify-yuki/yuki-1115.test.cpp
-  - verify/verify-aoj-dsl/aoj-dsl-2-g-bit.test.cpp
-  - verify/verify-aoj-dsl/aoj-dsl-2-b-bit.test.cpp
-  - verify/verify-aoj-dsl/aoj-dsl-2-e-imos.test.cpp
+  - verify/verify-yosupo-ds/yosupo-static-range-inversions-query.test.cpp
 documentation_of: data-structure/binary-indexed-tree.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/dynamic-union-find.hpp.md b/data-structure/dynamic-union-find.hpp.md
@@ -184,8 +184,8 @@ data:
   timestamp: '2023-03-25 00:28:17+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-aoj-other/aoj-2995-hashmap.test.cpp
   - verify/verify-aoj-dsl/aoj-dsl-1-a-dynamic.test.cpp
+  - verify/verify-aoj-other/aoj-2995-hashmap.test.cpp
 documentation_of: data-structure/dynamic-union-find.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/hash-map-variable-length.hpp.md b/data-structure/hash-map-variable-length.hpp.md
@@ -93,15 +93,15 @@ data:
   isVerificationFile: false
   path: data-structure/hash-map-variable-length.hpp
   requiredBy:
+  - data-structure/dynamic-binary-indexed-tree.hpp
   - data-structure-2d/dynamic-binary-indexed-tree-2d.hpp
   - segment-tree/dynamic-li-chao-tree.hpp
-  - data-structure/dynamic-binary-indexed-tree.hpp
   timestamp: '2020-12-05 07:59:51+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-yosupo-ds/yosupo-point-add-rectangle-sum-bit2d.test.cpp
   - verify/verify-yosupo-ds/yosupo-hash-map-variable-length.test.cpp
   - verify/verify-yosupo-ds/yosupo-dynamic-li-chao-tree.test.cpp
+  - verify/verify-yosupo-ds/yosupo-point-add-rectangle-sum-bit2d.test.cpp
 documentation_of: data-structure/hash-map-variable-length.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/parallel-union-find.hpp.md b/data-structure/parallel-union-find.hpp.md
@@ -212,8 +212,8 @@ data:
   timestamp: '2024-09-14 20:40:02+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-yosupo-ds/yosupo-range-parallel-unionfind.test.cpp
   - verify/verify-unit-test/parallel-union-find.test.cpp
+  - verify/verify-yosupo-ds/yosupo-range-parallel-unionfind.test.cpp
 documentation_of: data-structure/parallel-union-find.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/radix-heap.hpp.md b/data-structure/radix-heap.hpp.md
@@ -86,11 +86,11 @@ data:
   verifiedWith:
   - verify/verify-unit-test/radix-heap.test.cpp
   - verify/verify-unit-test/dijkstra.test.cpp
-  - verify/verify-yosupo-graph/yosupo-shortest-path-2.test.cpp
-  - verify/verify-yosupo-graph/yosupo-shortest-path-3.test.cpp
-  - verify/verify-yuki/yuki-1320.test.cpp
   - verify/verify-aoj-grl/aoj-grl-1-a-fast-dijkstra.test.cpp
   - verify/verify-aoj-grl/aoj-grl-1-a-radix-heap.test.cpp
+  - verify/verify-yuki/yuki-1320.test.cpp
+  - verify/verify-yosupo-graph/yosupo-shortest-path-2.test.cpp
+  - verify/verify-yosupo-graph/yosupo-shortest-path-3.test.cpp
 documentation_of: data-structure/radix-heap.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/sparse-table.hpp.md b/data-structure/sparse-table.hpp.md
@@ -69,13 +69,13 @@ data:
   timestamp: '2023-01-31 00:28:06+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-yosupo-ds/yosupo-static-rmq.test.cpp
-  - verify/verify-yosupo-string/yosupo-number-of-substrings.test.cpp
-  - verify/verify-yosupo-string/yosupo-zalgo-suffixarray.test.cpp
-  - verify/verify-yosupo-string/yosupo-suffix-array.test.cpp
-  - verify/verify-unit-test/sparse-table.test.cpp
   - verify/verify-unit-test/string-search.test.cpp
+  - verify/verify-unit-test/sparse-table.test.cpp
+  - verify/verify-yosupo-string/yosupo-suffix-array.test.cpp
+  - verify/verify-yosupo-string/yosupo-zalgo-suffixarray.test.cpp
+  - verify/verify-yosupo-string/yosupo-number-of-substrings.test.cpp
   - verify/verify-yuki/yuki-2231.test.cpp
+  - verify/verify-yosupo-ds/yosupo-static-rmq.test.cpp
 documentation_of: data-structure/sparse-table.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/union-find-enumerate.hpp.md b/data-structure/union-find-enumerate.hpp.md
@@ -54,8 +54,8 @@ data:
   timestamp: '2024-04-28 09:13:11+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-yosupo-ds/yosupo-range-parallel-unionfind.test.cpp
   - verify/verify-unit-test/parallel-union-find.test.cpp
+  - verify/verify-yosupo-ds/yosupo-range-parallel-unionfind.test.cpp
 documentation_of: data-structure/union-find-enumerate.hpp
 layout: document
 redirect_from:

diff --git a/data-structure/union-find.hpp.md b/data-structure/union-find.hpp.md
@@ -93,26 +93,26 @@ data:
   path: data-structure/union-find.hpp
   requiredBy:
   - graph/minimum-cost-arborescence.hpp
-  - graph/namori.hpp
   - graph/kruskal.hpp
   - graph/functional-graph.hpp
+  - graph/namori.hpp
   timestamp: '2024-08-10 13:03:16+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
+  - verify/verify-aoj-dsl/aoj-dsl-1-a.test.cpp
   - verify/verify-aoj-other/aoj-2891-2.test.cpp
   - verify/verify-aoj-other/aoj-2821.test.cpp
-  - verify/verify-aoj-other/aoj-2995.test.cpp
   - verify/verify-aoj-other/aoj-2891.test.cpp
+  - verify/verify-aoj-other/aoj-2995.test.cpp
   - verify/verify-unit-test/tree-path.test.cpp
   - verify/verify-unit-test/parallel-union-find.test.cpp
-  - verify/verify-yosupo-graph/yosupo-directed-mst.test.cpp
+  - verify/verify-aoj-grl/aoj-grl-2-a.test.cpp
+  - verify/verify-yuki/yuki-1303.test.cpp
+  - verify/verify-yuki/yuki-1254-2.test.cpp
   - verify/verify-yuki/yuki-1170-divide-interval.test.cpp
-  - verify/verify-yuki/yuki-1254.test.cpp
   - verify/verify-yuki/yuki-2588.test.cpp
-  - verify/verify-yuki/yuki-1254-2.test.cpp
-  - verify/verify-yuki/yuki-1303.test.cpp
-  - verify/verify-aoj-grl/aoj-grl-2-a.test.cpp
-  - verify/verify-aoj-dsl/aoj-dsl-1-a.test.cpp
+  - verify/verify-yuki/yuki-1254.test.cpp
+  - verify/verify-yosupo-graph/yosupo-directed-mst.test.cpp
 documentation_of: data-structure/union-find.hpp
 layout: document
 redirect_from:

diff --git a/dp/branch-and-bound.hpp.md b/dp/branch-and-bound.hpp.md
@@ -62,8 +62,8 @@ data:
   timestamp: '2021-11-25 10:30:05+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-aoj-dpl/aoj-dpl-1-h-bandb.test.cpp
   - verify/verify-aoj-dpl/aoj-dpl-1-f-bandb.test.cpp
+  - verify/verify-aoj-dpl/aoj-dpl-1-h-bandb.test.cpp
 documentation_of: dp/branch-and-bound.hpp
 layout: document
 redirect_from:

diff --git a/dp/knapsack01.hpp.md b/dp/knapsack01.hpp.md
@@ -80,9 +80,9 @@ data:
   timestamp: '2021-11-17 23:54:43+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-aoj-dpl/aoj-dpl-1-f.test.cpp
   - verify/verify-aoj-dpl/aoj-dpl-1-h.test.cpp
   - verify/verify-aoj-dpl/aoj-dpl-1-b.test.cpp
+  - verify/verify-aoj-dpl/aoj-dpl-1-f.test.cpp
 documentation_of: dp/knapsack01.hpp
 layout: document
 redirect_from:

diff --git a/dp/monge-shortest-path.hpp.md b/dp/monge-shortest-path.hpp.md
@@ -63,8 +63,8 @@ data:
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/verify-aoj-other/aoj-3086.test.cpp
-  - verify/verify-yuki/yuki-0952.test.cpp
   - verify/verify-yuki/yuki-0705.test.cpp
+  - verify/verify-yuki/yuki-0952.test.cpp
   - verify/verify-yuki/yuki-0704.test.cpp
   - verify/verify-yuki/yuki-0703.test.cpp
 documentation_of: dp/monge-shortest-path.hpp

diff --git a/dp/monotone-minima.hpp.md b/dp/monotone-minima.hpp.md
@@ -69,8 +69,8 @@ data:
   isVerificationFile: false
   path: dp/monotone-minima.hpp
   requiredBy:
-  - dp/concave-min-plus-convolution.hpp
   - dp/monge-d-edge-shortest-path-enumerate.hpp
+  - dp/concave-min-plus-convolution.hpp
   timestamp: '2023-09-02 22:21:41+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:

diff --git a/fps/arbitrary-fps.hpp.md b/fps/arbitrary-fps.hpp.md
@@ -337,20 +337,20 @@ data:
   timestamp: '2023-08-31 20:44:07+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-yosupo-fps/yosupo-inv-arb.test.cpp
+  - verify/verify-yosupo-ntt/yosupo-multivariate-circular-convolution.test.cpp
+  - verify/verify-yosupo-ntt/yosupo-convolution-chirp-z.test.cpp
   - verify/verify-yosupo-fps/yosupo-exp-arb.test.cpp
   - verify/verify-yosupo-fps/yosupo-log-arb.test.cpp
   - verify/verify-yosupo-fps/yosupo-pow-arb.test.cpp
-  - verify/verify-yuki/yuki-0502.test.cpp
-  - verify/verify-yuki/yuki-0215.test.cpp
-  - verify/verify-yuki/yuki-0214.test.cpp
-  - verify/verify-yuki/yuki-0215-nth-term.test.cpp
-  - verify/verify-yuki/yuki-0720.test.cpp
-  - verify/verify-yuki/yuki-1112-sparse.test.cpp
+  - verify/verify-yosupo-fps/yosupo-inv-arb.test.cpp
   - verify/verify-yuki/yuki-1112.test.cpp
+  - verify/verify-yuki/yuki-1112-sparse.test.cpp
+  - verify/verify-yuki/yuki-0215-nth-term.test.cpp
+  - verify/verify-yuki/yuki-0215.test.cpp
+  - verify/verify-yuki/yuki-0502.test.cpp
   - verify/verify-yuki/yuki-1080.test.cpp
-  - verify/verify-yosupo-ntt/yosupo-convolution-chirp-z.test.cpp
-  - verify/verify-yosupo-ntt/yosupo-multivariate-circular-convolution.test.cpp
+  - verify/verify-yuki/yuki-0720.test.cpp
+  - verify/verify-yuki/yuki-0214.test.cpp
 documentation_of: fps/arbitrary-fps.hpp
 layout: document
 redirect_from:

diff --git a/fps/berlekamp-massey.hpp.md b/fps/berlekamp-massey.hpp.md
@@ -59,15 +59,15 @@ data:
   isVerificationFile: false
   path: fps/berlekamp-massey.hpp
   requiredBy:
-  - fps/nth-term.hpp
   - matrix/black-box-linear-algebra.hpp
+  - fps/nth-term.hpp
   timestamp: '2020-12-05 08:16:44+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/verify-yosupo-fps/yosupo-linear-recurrence.test.cpp
-  - verify/verify-yuki/yuki-0215-nth-term.test.cpp
-  - verify/verify-yuki/yuki-1112-sparse.test.cpp
   - verify/verify-yuki/yuki-1112.test.cpp
+  - verify/verify-yuki/yuki-1112-sparse.test.cpp
+  - verify/verify-yuki/yuki-0215-nth-term.test.cpp
   - verify/verify-yosupo-math/yosupo-determinant-of-sparse-matrix-bbla.test.cpp
   - verify/verify-yosupo-math/yosupo-determinant-of-matrix-bbla.test.cpp
 documentation_of: fps/berlekamp-massey.hpp

diff --git a/fps/fast-multieval.hpp.md b/fps/fast-multieval.hpp.md
@@ -325,9 +325,9 @@ data:
   timestamp: '2023-08-31 20:44:07+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-yosupo-fps/yosupo-multieval-fast.test.cpp
   - verify/verify-unit-test/multieval.test.cpp
   - verify/verify-unit-test/multipoint-binomial-sum.test.cpp
+  - verify/verify-yosupo-fps/yosupo-multieval-fast.test.cpp
 documentation_of: fps/fast-multieval.hpp
 layout: document
 redirect_from:

diff --git a/fps/find-p-recursive.hpp.md b/fps/find-p-recursive.hpp.md
@@ -384,8 +384,8 @@ data:
   timestamp: '2024-05-03 21:06:15+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
-  - verify/verify-yosupo-fps/yosupo-factorial-p-recursive.test.cpp
   - verify/verify-unit-test/p-recursive.test.cpp
+  - verify/verify-yosupo-fps/yosupo-factorial-p-recursive.test.cpp
   - verify/verify-yuki/yuki-1533.test.cpp
 documentation_of: fps/find-p-recursive.hpp
 layout: document