BCCs and 2CCs

Catalan Numbers

DP on Trees - Combining Subtrees

Querying for the minimum and number of occurrences of minimum in a range

Counting Minimums with Segment Tree

Finding nodes that must be visited along any path.

Critical

Dynamic programming on grid boundary states.

DP on Broken Profile

Additional dynamic programming techniques and optimizations like Knuth's optimization.

Additional DP Optimizations and Techniques

Visiting all edges of a graph exactly once.

Eulerian Tours

A formula for finding the number of faces in a planar graph.

Euler's Formula

Extended Euclidean Algorithm

More Complex Operations Using FFT

Introduction to Fast Fourier Transform

Flow with Lower Bounds

A simple solution to "Robotic Cow Herd" that generalizes.

Fracturing Search

Solving games that are usually two-player to find the winner.

Game Theory

Interactive and Communication Problems

Link Cut Tree

Lagrangian Relaxation

LineContainer

Matroid Intersection

Introduces maximum flow as well as flow with lower bounds.

Maximum Flow

Triangle Inequality, Johnson's Algorithm, and Min Cost Flow

Minimum Cost Flow

Minimum Cut

Erasing from non-amortized insert-only data structures.

Offline Deletion

What if data structures could time travel?

Persistent Data Structures

Prefix Sums of Number-Theoretic Functions (Part 1)

Prefix Sums of Number-Theoretic Functions (Part 2)

Subsets of nodes in directed graphs where each node in a subset can reach each other node in the subset.

Strongly Connected Components

Returning to Bellman-Ford and Floyd-Warshall.

Shortest Paths with Negative Edge Weights

Segment Tree Beats

Slope trick refers to a way to manipulate piecewise linear convex functions. Includes a simple solution to USACO Landscaping.

Slope Trick

Max Suffix Query with Insertions Only

Knuth-Morris-Pratt and Z Algorithms (and a few more related topics).

String Searching

Suffix Automata, Suffix Trees, and Palindromic Trees

String Suffix Structures

Quickly sorting suffixes of a string and its applications

Suffix Array

Treaps

Vectorization in C++

Efficiently querying for the kth minimum element in a subarray.

Wavelet Tree

XOR Basis

Using randomized algorithms to solve problems.

Randomness

Extending Range Queries to 2D (and beyond).

2D Range Queries

Binary Jumping

Examples of how bitsets give some unintended solutions on recent USACO problems.

(Optional) Bitsets

Decomposing a tree to facilitate path computations.

Centroid Decomposition

Final tips for Platinum and additional practice problems.

Additional Practice for USACO Platinum

Smallest convex polygon containing a set of points on a grid.

Convex Hull

A way to find the maximum or minimum value of several convex functions at given points.

Convex Hull Trick

Using Divide & Conquer as a DP Optimization.

Divide & Conquer - DP

Using Divide & Conquer to answer offline or online range queries on a static array.

Divide & Conquer - SRQ

Solving subset sum problems efficiently with DP.

Sum over Subsets DP

Geometry Primitives

Heavy-Light Decomposition

Repeatedly multiplying a square matrix by itself.

Matrix Exponentiation

Small-To-Large Merging

The inclusion-exclusion principle is a counting technique that generalizes the formula for computing the size of union of n finite sets.

Inclusion-Exclusion Principle

Lazy updates on segment trees and two binary indexed trees in conjunction.

Range Update Range Query

Solving 2D grid problems using 1D range queries.

Range Queries with Sweep Line

Walking on a Segment Tree, Non-Commutative Combiner Functions

More Applications of Segment Tree

Sparse Segment Trees

Splitting up data into smaller chunks to speed up processing.

Square Root Decomposition

Sweep Line

Compressing a tree to only the necessary nodes.

Virtual Tree

Decomposing Kruskal's algorithm to solve problems about minimum/maximum edge weights.

Kruskal Reconstruction Tree

DP on Trees - Solving For All Roots

Combinatorics

Final tips for Gold and additional practice problems.

Additional Practice for USACO Gold

Incorporating custom comparators into standard library containers.

(Optional) Sorted Sets with Custom Comparators

DP problems that require iterating over subsets.

Bitmask DP

Solving a DP problem on every contiguous subarray of the original array.

Range DP

DP on Trees - Introduction

The Disjoint Set Union (DSU) data structure, which allows you to add edges to a graph and test whether two vertices of the graph are connected.

Disjoint Set Union

Finding the number of integers in a range that have a property.

Digit DP

Using the information that one integer evenly divides another.

Divisibility

Quickly testing equality of substrings or sets with a small probability of failure.

Hashing

Maintaining collections of distinct elements with hashing.

(Optional) Hashmaps

Speeding up naive recursive solutions with memoization.

Introduction to DP

Finding the next element smaller or larger than a specified key in a sorted set, and using iterators with sorted sets.

More Operations on Sorted Sets

Problems that can be modeled as filling a limited-size container with items.

Knapsack DP

Finding and using the longest increasing subsequence of an array.

Longest Increasing Subsequence

Finding a subset of the edges of a connected, undirected, edge-weighted graph that connects all the vertices to each other of minimum total weight.

Minimum Spanning Trees

Problems involving dividing the search space into two.

Meet In The Middle

Modular Arithmetic

Segment Tree, Binary Indexed Tree, and Order Statistic Tree (in C++).

Point Update Range Sum

Counting the number of "special" paths on a grid, and how some string problems can be solved using grids.

Paths on Grids

Bellman-Ford, Floyd-Warshall, and Dijkstra.

Shortest Paths with Non-Negative Edge Weights

Maintaining data over consecutive subarrays.

Sliding Window

A data structure that only allows insertion and deletion at one end.

Stacks

Using ternary or binary search to find the mode of unimodal functions.

Optimizing Unimodal Functions

Ordering the vertices of a directed acyclic graph such that each vertex is visited before its children.

Topological Sort

Flattening a tree into an array to easily query and update subtrees.

Euler Tour Technique

Introduces how BFS can be used to find shortest paths in unweighted graphs.

Shortest Paths with Unweighted Edges

Binary searching on arbitrary monotonic functions.

Binary Search

Efficiently searching for a value in a sorted array.

Binary Search on a Sorted Array

Final tips for Silver and additional practice problems.

Additional Practice for USACO Silver

Finding connected components in a graph represented by a grid.

Flood Fill

Directed graphs in which every vertex has exactly one outgoing edge.

Introduction to Functional Graphs

Traversing a graph with depth first search and breadth first search.

Graph Traversal

Solving greedy problems by sorting the input.

Greedy Algorithms with Sorting

Six bitwise operators and the common ways they are used.

Intro to Bitwise Operators

Introducing a special type of graph: trees.

Introduction to Tree Algorithms

Exponentiation II

"use strict";
const {Fragment: _Fragment, jsx: _jsx, jsxs: _jsxs} = arguments[0];
const frontmatter = undefined;
function _createMdxContent(props) {
 const _components = {
 a: "a",
 code: "code",
 h2: "h2",
 p: "p",
 pre: "pre",
 strong: "strong",
 ...props.components
 }, {CPPSection, HeaderLink, LanguageSection, MATHSPAN, PySection} = _components;
 if (!CPPSection) _missingMdxReference("CPPSection", true);
 if (!HeaderLink) _missingMdxReference("HeaderLink", true);
 if (!LanguageSection) _missingMdxReference("LanguageSection", true);
 if (!MATHSPAN) _missingMdxReference("MATHSPAN", true);
 if (!PySection) _missingMdxReference("PySection", true);
 return _jsxs(_Fragment, {
 children: [_jsxs(_components.h2, {
 id: "explanation",
 children: [_jsx(_components.a, {
 "aria-hidden": "true",
 tabIndex: "-1",
 className: "anchor before",
 href: "#explanation",
 children: _jsx(HeaderLink, {})
 }), "Explanation"]
 }), "\n", _jsxs(_components.p, {
 children: ["Let ", _jsx(MATHSPAN, {
 className: "language-math math-inline",
 latex: "M = 10^{9} + 7",
 children: "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow><mi>M</mi><mo>=</mo><msup><mn>10</mn><mn>9</mn></msup><mo>+</mo><mn>7</mn></mrow><annotation encoding=\"application/x-tex\">M = 10^{9} + 7</annotation></semantics></math>M=109+7"
 }), "."]
 }), "\n", _jsxs(_components.p, {
 children: [_jsx(_components.a, {
 href: "/gold/modular",
 children: "Fermat's Little Theorem"
 }), " tells us that ", _jsx(MATHSPAN, {
 className: "language-math math-inline",
 latex: "a^{p - 1} \\equiv 1 \\pmod{p}",
 children: "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow><msup><mi>a</mi><mrow><mi>p</mi><mo>−</mo><mn>1</mn></mrow></msup><mo>≡</mo><mn>1</mn><mspace></mspace><mspace width=\"0.4444em\"/><mo stretchy=\"false\">(</mo><mrow><mi mathvariant=\"normal\">m</mi><mi mathvariant=\"normal\">o</mi><mi mathvariant=\"normal\">d</mi></mrow><mspace width=\"0.3333em\"/><mi>p</mi><mo stretchy=\"false\">)</mo></mrow><annotation encoding=\"application/x-tex\">a^{p - 1} \\equiv 1 \\pmod{p}</annotation></semantics></math>ap−1≡1(modp)"
 }), ", so we can calculate ", _jsx(MATHSPAN, {
 className: "language-math math-inline",
 latex: "a^{b^c \\pmod{M - 1}} \\pmod{M}",
 children: "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow><msup><mi>a</mi><mrow><msup><mi>b</mi><mi>c</mi></msup><mspace></mspace><mspace width=\"0.4444em\"/><mo stretchy=\"false\">(</mo><mrow><mi mathvariant=\"normal\">m</mi><mi mathvariant=\"normal\">o</mi><mi mathvariant=\"normal\">d</mi></mrow><mspace width=\"0.3333em\"/><mi>M</mi><mo>−</mo><mn>1</mn><mo stretchy=\"false\">)</mo></mrow></msup><mspace></mspace><mspace width=\"0.4444em\"/><mo stretchy=\"false\">(</mo><mrow><mi mathvariant=\"normal\">m</mi><mi mathvariant=\"normal\">o</mi><mi mathvariant=\"normal\">d</mi></mrow><mspace width=\"0.3333em\"/><mi>M</mi><mo stretchy=\"false\">)</mo></mrow><annotation encoding=\"application/x-tex\">a^{b^c \\pmod{M - 1}} \\pmod{M}</annotation></semantics></math>abc(modM−1)(modM)"
 }), " with modular exponentiation."]
 }), "\n", _jsxs(_components.h2, {
 id: "implementation",
 children: [_jsx(_components.a, {
 "aria-hidden": "true",
 tabIndex: "-1",
 className: "anchor before",
 href: "#implementation",
 children: _jsx(HeaderLink, {})
 }), "Implementation"]
 }), "\n", _jsxs(_components.p, {
 children: [_jsx(_components.strong, {
 children: "Time Complexity:"
 }), " ", _jsx(MATHSPAN, {
 className: "language-math math-inline",
 latex: "\\mathcal{O}(\\log P)",
 children: "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow><mi mathvariant=\"script\">O</mi><mo stretchy=\"false\">(</mo><mi>log</mi><mo>⁡</mo><mi>P</mi><mo stretchy=\"false\">)</mo></mrow><annotation encoding=\"application/x-tex\">\\mathcal{O}(\\log P)</annotation></semantics></math>O(logP)"
 })]
 }), "\n", _jsxs(LanguageSection, {
 children: [_jsx(CPPSection, {
 children: _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-cpp",
 children: "#include <bits/stdc++.h>\nusing namespace std;\n\nusing ll = long long;\nconst ll MOD = 1e9 + 7;\n\n// BeginCodeSnip{Binary Exponentiation}\nll exp(ll x, ll n, ll m) {\n\tassert(n >= 0);\n\tx %= m;\n\tll res = 1;\n\twhile (n > 0) {\n\t\tif (n % 2 == 1) { // if n is odd\n\t\t\tres = res * x % m;\n\t\t}\n\t\tx = x * x % m;\n\t\tn /= 2; // divide by two\n\t}\n\treturn res;\n}\n// EndCodeSnip\n\nint main() {\n\tint test_num;\n\tcin >> test_num;\n\tfor (int t = 0; t < test_num; t++) {\n\t\tll a, b, c;\n\t\tcin >> a >> b >> c;\n\n\t\tll pow_bc = exp(b, c, MOD - 1);\n\t\tll ans = exp(a, pow_bc, MOD);\n\n\t\tcout << ans << '\\n';\n\t}\n}\n"
 })
 })
 }), _jsx(PySection, {
 children: _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-py",
 children: "MOD = int(1e9) + 7\n\nfor _ in range(int(input())):\n\ta, b, c = map(int, input().split())\n\tpow_bc = pow(b, c, MOD - 1)\n\tprint(pow(a, pow_bc, mod))\n"
 })
 })
 })]
 })]
 });
}
function MDXContent(props = {}) {
 const {wrapper: MDXLayout} = props.components || ({});
 return MDXLayout ? _jsx(MDXLayout, {
 ...props,
 children: _jsx(_createMdxContent, {
 ...props
 })
 }) : _createMdxContent(props);
}
return {
 frontmatter,
 default: MDXContent
};
function _missingMdxReference(id, component) {
 throw new Error("Expected " + (component ? "component" : "object") + " `" + id + "` to be defined: you likely forgot to import, pass, or provide it.");
}

Table of Contents

Table of Contents

Explanation

Implementation

Join the USACO Forum!