[auto-verifier] docs commit d091038

NyaanNyaan · May 4, 2024 · 13ad2d7 · 13ad2d7
1 parent 873ec8d
commit 13ad2d7
Show file tree

Hide file tree

Showing 34 changed files with 2,378 additions and 277 deletions.
diff --git a/data-structure/union-find.hpp.md b/data-structure/union-find.hpp.md
@@ -21,6 +21,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-aoj-grl/aoj-grl-2-a.test.cpp
     title: verify/verify-aoj-grl/aoj-grl-2-a.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-aoj-other/aoj-2821.test.cpp
+    title: verify/verify-aoj-other/aoj-2821.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-aoj-other/aoj-2891-2.test.cpp
     title: verify/verify-aoj-other/aoj-2891-2.test.cpp
@@ -96,6 +99,7 @@ data:
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/verify-aoj-other/aoj-2891.test.cpp
+  - verify/verify-aoj-other/aoj-2821.test.cpp
   - verify/verify-aoj-other/aoj-2995.test.cpp
   - verify/verify-aoj-other/aoj-2891-2.test.cpp
   - verify/verify-unit-test/parallel-union-find.test.cpp

diff --git a/graph/graph-template.hpp.md b/graph/graph-template.hpp.md
@@ -90,12 +90,12 @@ data:
   - icon: ':heavy_check_mark:'
     path: tree/rerooting.hpp
     title: "Rerooting(\u5168\u65B9\u4F4D\u6728DP)"
+  - icon: ':warning:'
+    path: tree/static-top-tree-edge-based.hpp
+    title: tree/static-top-tree-edge-based.hpp
   - icon: ':heavy_check_mark:'
     path: tree/static-top-tree-vertex-based.hpp
     title: Static Top Tree
-  - icon: ':warning:'
-    path: tree/static-top-tree.hpp
-    title: tree/static-top-tree.hpp
   - icon: ':heavy_check_mark:'
     path: tree/tree-query.hpp
     title: "\u6728\u306B\u5BFE\u3059\u308B\u4E00\u822C\u7684\u306A\u30AF\u30A8\u30EA"
@@ -160,6 +160,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-aoj-other/aoj-2171.test.cpp
     title: verify/verify-aoj-other/aoj-2171.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-aoj-other/aoj-2821.test.cpp
+    title: verify/verify-aoj-other/aoj-2821.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-aoj-other/aoj-2891-2.test.cpp
     title: verify/verify-aoj-other/aoj-2891-2.test.cpp
@@ -386,6 +389,7 @@ data:
   - shortest-path/restore-shortest-path.hpp
   - tree/cartesian-tree.hpp
   - tree/auxiliary-tree.hpp
+  - tree/static-top-tree-edge-based.hpp
   - tree/dynamic-diameter.hpp
   - tree/euler-tour.hpp
   - tree/tree-query.hpp
@@ -394,7 +398,6 @@ data:
   - tree/static-top-tree-vertex-based.hpp
   - tree/dsu-on-tree.hpp
   - tree/heavy-light-decomposition.hpp
-  - tree/static-top-tree.hpp
   - tree/block-cut-tree.hpp
   timestamp: '2024-05-03 23:21:26+09:00'
   verificationStatus: LIBRARY_ALL_AC
@@ -404,6 +407,7 @@ data:
   - verify/verify-aoj-other/aoj-2891.test.cpp
   - verify/verify-aoj-other/aoj-2945-01bfs.test.cpp
   - verify/verify-aoj-other/aoj-2995-hashmap.test.cpp
+  - verify/verify-aoj-other/aoj-2821.test.cpp
   - verify/verify-aoj-other/aoj-2995.test.cpp
   - verify/verify-aoj-other/aoj-3506.test.cpp
   - verify/verify-aoj-other/aoj-2171-bigrational.test.cpp

diff --git a/index.md b/index.md
@@ -722,6 +722,9 @@ data:
     - icon: ':heavy_check_mark:'
       path: modulo/arbitrary-mod-binomial.hpp
       title: "\u4EFB\u610Fmod\u4E8C\u9805\u4FC2\u6570"
+    - icon: ':heavy_check_mark:'
+      path: modulo/binomial-table.hpp
+      title: modulo/binomial-table.hpp
     - icon: ':heavy_check_mark:'
       path: modulo/binomial.hpp
       title: modulo/binomial.hpp
@@ -828,6 +831,9 @@ data:
     - icon: ':heavy_check_mark:'
       path: ntt/multivariate-multiplication.hpp
       title: Multivariate Multiplication
+    - icon: ':heavy_check_mark:'
+      path: ntt/ntt-64bit.hpp
+      title: ntt/ntt-64bit.hpp
     - icon: ':heavy_check_mark:'
       path: ntt/ntt-avx2.hpp
       title: ntt/ntt-avx2.hpp
@@ -1087,6 +1093,9 @@ data:
     - icon: ':heavy_check_mark:'
       path: tree/centroid-decomposition.hpp
       title: Centroid Decomposition
+    - icon: ':heavy_check_mark:'
+      path: tree/centroid.hpp
+      title: tree/centroid.hpp
     - icon: ':heavy_check_mark:'
       path: tree/convert-tree.hpp
       title: "\u6839\u4ED8\u304D\u6728\u30FB\u9006\u8FBA\u304B\u3089\u306A\u308B\u6728\
@@ -1121,15 +1130,18 @@ data:
     - icon: ':heavy_check_mark:'
       path: tree/rerooting.hpp
       title: "Rerooting(\u5168\u65B9\u4F4D\u6728DP)"
+    - icon: ':heavy_check_mark:'
+      path: tree/rooted-tree-hash.hpp
+      title: "\u6839\u4ED8\u304D\u6728\u306E\u30CF\u30C3\u30B7\u30E5"
+    - icon: ':warning:'
+      path: tree/static-top-tree-edge-based.hpp
+      title: tree/static-top-tree-edge-based.hpp
     - icon: ':heavy_check_mark:'
       path: tree/static-top-tree-vertex-based.hpp
       title: Static Top Tree
-    - icon: ':warning:'
-      path: tree/static-top-tree.hpp
-      title: tree/static-top-tree.hpp
     - icon: ':heavy_check_mark:'
       path: tree/tree-hash.hpp
-      title: "\u6839\u4ED8\u304D\u6728\u306E\u30CF\u30C3\u30B7\u30E5"
+      title: tree/tree-hash.hpp
     - icon: ':heavy_check_mark:'
       path: tree/tree-query.hpp
       title: "\u6728\u306B\u5BFE\u3059\u308B\u4E00\u822C\u7684\u306A\u30AF\u30A8\u30EA"
@@ -1390,6 +1402,9 @@ data:
     - icon: ':heavy_check_mark:'
       path: verify/verify-aoj-other/aoj-2171.test.cpp
       title: verify/verify-aoj-other/aoj-2171.test.cpp
+    - icon: ':heavy_check_mark:'
+      path: verify/verify-aoj-other/aoj-2821.test.cpp
+      title: verify/verify-aoj-other/aoj-2821.test.cpp
     - icon: ':heavy_check_mark:'
       path: verify/verify-aoj-other/aoj-2891-2.test.cpp
       title: verify/verify-aoj-other/aoj-2891-2.test.cpp
@@ -1446,6 +1461,9 @@ data:
     - icon: ':heavy_check_mark:'
       path: verify/verify-unit-test/bigrational.test.cpp
       title: verify/verify-unit-test/bigrational.test.cpp
+    - icon: ':heavy_check_mark:'
+      path: verify/verify-unit-test/binomial-table.test.cpp
+      title: verify/verify-unit-test/binomial-table.test.cpp
     - icon: ':heavy_check_mark:'
       path: verify/verify-unit-test/bitset-find-prev.test.cpp
       title: verify/verify-unit-test/bitset-find-prev.test.cpp
@@ -1578,6 +1596,9 @@ data:
     - icon: ':heavy_check_mark:'
       path: verify/verify-unit-test/nimber.test.cpp
       title: verify/verify-unit-test/nimber.test.cpp
+    - icon: ':heavy_check_mark:'
+      path: verify/verify-unit-test/ntt-64bit.test.cpp
+      title: verify/verify-unit-test/ntt-64bit.test.cpp
     - icon: ':heavy_check_mark:'
       path: verify/verify-unit-test/orderedmap.test.cpp
       title: verify/verify-unit-test/orderedmap.test.cpp

diff --git a/internal/internal-hash.hpp.md b/internal/internal-hash.hpp.md
@@ -15,15 +15,21 @@ data:
     path: string/rolling-hash.hpp
     title: Rolling Hash
   - icon: ':heavy_check_mark:'
-    path: tree/tree-hash.hpp
+    path: tree/rooted-tree-hash.hpp
     title: "\u6839\u4ED8\u304D\u6728\u306E\u30CF\u30C3\u30B7\u30E5"
+  - icon: ':heavy_check_mark:'
+    path: tree/tree-hash.hpp
+    title: tree/tree-hash.hpp
   _extendedVerifiedWith:
   - icon: ':heavy_check_mark:'
     path: verify/verify-aoj-alds/verify-aoj-alds-14-c.test.cpp
     title: verify/verify-aoj-alds/verify-aoj-alds-14-c.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-aoj-other/aoj-1613.test.cpp
     title: verify/verify-aoj-other/aoj-1613.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-aoj-other/aoj-2821.test.cpp
+    title: verify/verify-aoj-other/aoj-2821.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/inner-hash.test.cpp
     title: verify/verify-unit-test/inner-hash.test.cpp
@@ -157,10 +163,12 @@ data:
   - string/rolling-hash-2d.hpp
   - string/rolling-hash-on-segment-tree.hpp
   - string/rolling-hash.hpp
+  - tree/rooted-tree-hash.hpp
   - tree/tree-hash.hpp
   timestamp: '2023-08-10 13:25:59+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
+  - verify/verify-aoj-other/aoj-2821.test.cpp
   - verify/verify-aoj-other/aoj-1613.test.cpp
   - verify/verify-aoj-alds/verify-aoj-alds-14-c.test.cpp
   - verify/verify-unit-test/parallel-union-find.test.cpp

diff --git a/internal/internal-math.hpp.md b/internal/internal-math.hpp.md
@@ -17,6 +17,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: ntt/multivariate-circular-convolution.hpp
     title: "\u591A\u5909\u6570\u5DE1\u56DE\u7573\u307F\u8FBC\u307F"
+  - icon: ':heavy_check_mark:'
+    path: ntt/ntt-64bit.hpp
+    title: ntt/ntt-64bit.hpp
   - icon: ':heavy_check_mark:'
     path: prime/fast-factorize.hpp
     title: "\u9AD8\u901F\u7D20\u56E0\u6570\u5206\u89E3(Miller Rabin/Pollard's Rho)"
@@ -33,6 +36,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/internal-math.test.cpp
     title: verify/verify-unit-test/internal-math.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-unit-test/ntt-64bit.test.cpp
+    title: verify/verify-unit-test/ntt-64bit.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/osak.test.cpp
     title: verify/verify-unit-test/osak.test.cpp
@@ -164,6 +170,7 @@ data:
   requiredBy:
   - math/primitive-root-ll.hpp
   - ntt/multivariate-circular-convolution.hpp
+  - ntt/ntt-64bit.hpp
   - prime/miller-rabin.hpp
   - prime/fast-factorize.hpp
   - modulo/mod-log.hpp
@@ -184,6 +191,7 @@ data:
   - verify/verify-unit-test/garner-bigint.test.cpp
   - verify/verify-unit-test/internal-math.test.cpp
   - verify/verify-unit-test/primality-test.test.cpp
+  - verify/verify-unit-test/ntt-64bit.test.cpp
   - verify/verify-yuki/yuki-0002.test.cpp
   - verify/verify-yuki/yuki-0103.test.cpp
 documentation_of: internal/internal-math.hpp

diff --git a/internal/internal-seed.hpp.md b/internal/internal-seed.hpp.md
@@ -35,6 +35,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: ntt/multivariate-circular-convolution.hpp
     title: "\u591A\u5909\u6570\u5DE1\u56DE\u7573\u307F\u8FBC\u307F"
+  - icon: ':heavy_check_mark:'
+    path: ntt/ntt-64bit.hpp
+    title: ntt/ntt-64bit.hpp
   - icon: ':heavy_check_mark:'
     path: prime/fast-factorize.hpp
     title: "\u9AD8\u901F\u7D20\u56E0\u6570\u5206\u89E3(Miller Rabin/Pollard's Rho)"
@@ -171,6 +174,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/nimber.test.cpp
     title: verify/verify-unit-test/nimber.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-unit-test/ntt-64bit.test.cpp
+    title: verify/verify-unit-test/ntt-64bit.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/orderedmap.test.cpp
     title: verify/verify-unit-test/orderedmap.test.cpp
@@ -350,6 +356,7 @@ data:
   - matrix/black-box-linear-algebra.hpp
   - math/primitive-root-ll.hpp
   - ntt/multivariate-circular-convolution.hpp
+  - ntt/ntt-64bit.hpp
   - prime/fast-factorize.hpp
   - internal/internal-hash-function.hpp
   - modulo/mod-kth-root.hpp
@@ -429,6 +436,7 @@ data:
   - verify/verify-unit-test/run-length-encoding.test.cpp
   - verify/verify-unit-test/fast-bs.test.cpp
   - verify/verify-unit-test/radix-heap.test.cpp
+  - verify/verify-unit-test/ntt-64bit.test.cpp
   - verify/verify-unit-test/bigint2.test.cpp
   - verify/verify-unit-test/gauss-elimination.test.cpp
   - verify/verify-unit-test/arbitrary-modint.test.cpp

diff --git a/internal/internal-type-traits.hpp.md b/internal/internal-type-traits.hpp.md
@@ -62,6 +62,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: ntt/multivariate-circular-convolution.hpp
     title: "\u591A\u5909\u6570\u5DE1\u56DE\u7573\u307F\u8FBC\u307F"
+  - icon: ':heavy_check_mark:'
+    path: ntt/ntt-64bit.hpp
+    title: ntt/ntt-64bit.hpp
   - icon: ':heavy_check_mark:'
     path: prime/fast-factorize.hpp
     title: "\u9AD8\u901F\u7D20\u56E0\u6570\u5206\u89E3(Miller Rabin/Pollard's Rho)"
@@ -141,6 +144,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/internal-type-traits.test.cpp
     title: verify/verify-unit-test/internal-type-traits.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-unit-test/ntt-64bit.test.cpp
+    title: verify/verify-unit-test/ntt-64bit.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/osak.test.cpp
     title: verify/verify-unit-test/osak.test.cpp
@@ -536,6 +542,7 @@ data:
   - math/bigint-garner.hpp
   - math/bigint-gcd.hpp
   - ntt/multivariate-circular-convolution.hpp
+  - ntt/ntt-64bit.hpp
   - prime/miller-rabin.hpp
   - prime/fast-factorize.hpp
   - internal/internal-hash-function.hpp
@@ -601,6 +608,7 @@ data:
   - verify/verify-unit-test/bigrational.test.cpp
   - verify/verify-unit-test/radix-sort.test.cpp
   - verify/verify-unit-test/bigint.test.cpp
+  - verify/verify-unit-test/ntt-64bit.test.cpp
   - verify/verify-unit-test/bigint2.test.cpp
   - verify/verify-unit-test/bigint-gcd.test.cpp
   - verify/verify-unit-test/internal-type-traits.test.cpp

diff --git a/math/primitive-root-ll.hpp.md b/math/primitive-root-ll.hpp.md
@@ -22,8 +22,14 @@ data:
   - icon: ':heavy_check_mark:'
     path: prime/miller-rabin.hpp
     title: Miller-Rabin primality test
-  _extendedRequiredBy: []
+  _extendedRequiredBy:
+  - icon: ':heavy_check_mark:'
+    path: ntt/ntt-64bit.hpp
+    title: ntt/ntt-64bit.hpp
   _extendedVerifiedWith:
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-unit-test/ntt-64bit.test.cpp
+    title: verify/verify-unit-test/ntt-64bit.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-yosupo-math/yosupo-primitive-root.test.cpp
     title: verify/verify-yosupo-math/yosupo-primitive-root.test.cpp
@@ -237,11 +243,13 @@ data:
   - prime/miller-rabin.hpp
   isVerificationFile: false
   path: math/primitive-root-ll.hpp
-  requiredBy: []
+  requiredBy:
+  - ntt/ntt-64bit.hpp
   timestamp: '2024-04-28 09:13:11+09:00'
   verificationStatus: LIBRARY_ALL_AC
   verifiedWith:
   - verify/verify-yosupo-math/yosupo-primitive-root.test.cpp
+  - verify/verify-unit-test/ntt-64bit.test.cpp
 documentation_of: math/primitive-root-ll.hpp
 layout: document
 redirect_from:

diff --git a/misc/rng.hpp.md b/misc/rng.hpp.md
@@ -26,6 +26,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: ntt/multivariate-circular-convolution.hpp
     title: "\u591A\u5909\u6570\u5DE1\u56DE\u7573\u307F\u8FBC\u307F"
+  - icon: ':heavy_check_mark:'
+    path: ntt/ntt-64bit.hpp
+    title: ntt/ntt-64bit.hpp
   - icon: ':heavy_check_mark:'
     path: prime/fast-factorize.hpp
     title: "\u9AD8\u901F\u7D20\u56E0\u6570\u5206\u89E3(Miller Rabin/Pollard's Rho)"
@@ -159,6 +162,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/nimber.test.cpp
     title: verify/verify-unit-test/nimber.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-unit-test/ntt-64bit.test.cpp
+    title: verify/verify-unit-test/ntt-64bit.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/orderedmap.test.cpp
     title: verify/verify-unit-test/orderedmap.test.cpp
@@ -351,6 +357,7 @@ data:
   - matrix/black-box-linear-algebra.hpp
   - math/primitive-root-ll.hpp
   - ntt/multivariate-circular-convolution.hpp
+  - ntt/ntt-64bit.hpp
   - prime/fast-factorize.hpp
   - modulo/mod-kth-root.hpp
   - tree/pruefer-code.hpp
@@ -427,6 +434,7 @@ data:
   - verify/verify-unit-test/run-length-encoding.test.cpp
   - verify/verify-unit-test/fast-bs.test.cpp
   - verify/verify-unit-test/radix-heap.test.cpp
+  - verify/verify-unit-test/ntt-64bit.test.cpp
   - verify/verify-unit-test/bigint2.test.cpp
   - verify/verify-unit-test/gauss-elimination.test.cpp
   - verify/verify-unit-test/arbitrary-modint.test.cpp

diff --git a/modint/arbitrary-montgomery-modint.hpp.md b/modint/arbitrary-montgomery-modint.hpp.md
@@ -20,6 +20,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: ntt/multivariate-circular-convolution.hpp
     title: "\u591A\u5909\u6570\u5DE1\u56DE\u7573\u307F\u8FBC\u307F"
+  - icon: ':heavy_check_mark:'
+    path: ntt/ntt-64bit.hpp
+    title: ntt/ntt-64bit.hpp
   - icon: ':heavy_check_mark:'
     path: prime/fast-factorize.hpp
     title: "\u9AD8\u901F\u7D20\u56E0\u6570\u5206\u89E3(Miller Rabin/Pollard's Rho)"
@@ -36,6 +39,9 @@ data:
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/garner-bigint.test.cpp
     title: verify/verify-unit-test/garner-bigint.test.cpp
+  - icon: ':heavy_check_mark:'
+    path: verify/verify-unit-test/ntt-64bit.test.cpp
+    title: verify/verify-unit-test/ntt-64bit.test.cpp
   - icon: ':heavy_check_mark:'
     path: verify/verify-unit-test/osak.test.cpp
     title: verify/verify-unit-test/osak.test.cpp
@@ -171,6 +177,7 @@ data:
   - fps/fps-sqrt.hpp
   - math/primitive-root-ll.hpp
   - ntt/multivariate-circular-convolution.hpp
+  - ntt/ntt-64bit.hpp
   - prime/miller-rabin.hpp
   - prime/fast-factorize.hpp
   - modulo/mod-kth-root.hpp
@@ -192,6 +199,7 @@ data:
   - verify/verify-unit-test/osak.test.cpp
   - verify/verify-unit-test/garner-bigint.test.cpp
   - verify/verify-unit-test/primality-test.test.cpp
+  - verify/verify-unit-test/ntt-64bit.test.cpp
   - verify/verify-unit-test/arbitrary-modint.test.cpp
   - verify/verify-yosupo-fps/yosupo-sqrt.test.cpp
   - verify/verify-yuki/yuki-0002.test.cpp