ICPC Book¶
Browse the reference Verification View on GitHub
247 headers
8 sections
251/251 current-source verified
251/251 exact-source online AC
Browse the library¶
-
Range-query structures and union-find variants.
59 headers
-
Tree techniques, graph decompositions, matching, and path algorithms.
64 headers
-
Pattern matching, hashing, automata, and string factorization.
15 headers
-
Modular arithmetic, number theory, combinatorics, and convolution.
81 headers
-
Geometric primitives and operations for planar algorithms.
11 headers
-
Reusable dynamic-programming routines and common sequence problems.
3 headers
-
Techniques for accelerating searches, transitions, and convolutions.
8 headers
-
Common includes, debugging helpers, and random-number utilities.
6 headers