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

Simulation

Directly simulating the problem statement.

Resource

Resources

Asterisk

problem

FocusProblem

CPPSection

JavaSection

PySection

LanguageSection

problems

hideSuggestProblemButton

Problems

Mowing the Field

"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, JavaSection, LanguageSection, MATHSPAN, PySection} = _components;
 if (!CPPSection) _missingMdxReference("CPPSection", true);
 if (!HeaderLink) _missingMdxReference("HeaderLink", true);
 if (!JavaSection) _missingMdxReference("JavaSection", true);
 if (!LanguageSection) _missingMdxReference("LanguageSection", true);
 if (!MATHSPAN) _missingMdxReference("MATHSPAN", true);
 if (!PySection) _missingMdxReference("PySection", true);
 return _jsxs(_Fragment, {
 children: [_jsx(_components.p, {
 children: _jsx(_components.a, {
 href: "http://www.usaco.org/current/data/sol_mowing_bronze_jan16.html",
 rel: "nofollow",
 target: "_blank",
 children: "Official Analysis (Java)"
 })
 }), "\n", _jsx(_components.p, {
 children: "We can simulate Farmer John's movements across his field and update our answer when he comes across the same patch of grass."
 }), "\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}(NS)",
 children: "<math xmlns=\"http://www.w3.org/1998/Math/MathML\"><semantics><mrow><mi mathvariant=\"script\">O</mi><mo stretchy=\"false\">(</mo><mi>N</mi><mi>S</mi><mo stretchy=\"false\">)</mo></mrow><annotation encoding=\"application/x-tex\">\\mathcal{O}(NS)</annotation></semantics></math>O(NS)"
 })]
 }), "\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\nint main() {\n\tfreopen(\"mowing.in\", \"r\", stdin);\n\tint n;\n\tcin >> n;\n\tvector<pair<char, int>> steps(n);\n\tfor (auto &[dir, num_steps] : steps) { cin >> dir >> num_steps; }\n\n\t// FJ's starting position.\n\tpair<int, int> curr{0, 0};\n\t// Make a hashmap, and mark off steps.\n\t// We'll first mark off his starting position.\n\tmap<pair<int, int>, int> visits{{curr, 0}};\n\n\tint time = 0;\n\tint max_regrow = INT32_MAX;\n\tfor (const auto &[dir, num_steps] : steps) {\n\t\t// Get the direction Farmer John is moving.\n\t\tpair<int, int> delta;\n\t\tswitch (dir) {\n\t\tcase 'N':\n\t\t\tdelta = pair<int, int>{0, 1};\n\t\t\tbreak;\n\t\tcase 'W':\n\t\t\tdelta = pair<int, int>{-1, 0};\n\t\t\tbreak;\n\t\tcase 'E':\n\t\t\tdelta = pair<int, int>{1, 0};\n\t\t\tbreak;\n\t\tcase 'S':\n\t\t\tdelta = pair<int, int>{0, -1};\n\t\t\tbreak;\n\t\t}\n\n\t\tfor (int i = 0; i < num_steps; i++) {\n\t\t\t// Update our current position.\n\t\t\tcurr = pair<int, int>{curr.first + delta.first, curr.second + delta.second};\n\t\t\ttime++;\n\n\t\t\t// Check if FJ's been to this patch of grass before.\n\t\t\tif (visits.count(curr)) {\n\t\t\t\tmax_regrow = min(max_regrow, time - visits[curr]);\n\t\t\t}\n\n\t\t\t// Update the last time FJ has come upon this patch of grass.\n\t\t\tvisits[curr] = time;\n\t\t}\n\t}\n\n\tfreopen(\"mowing.out\", \"w\", stdout);\n\t// Output -1 if FJ has never gone back to the same patch of grass.\n\tcout << (max_regrow == INT32_MAX ? -1 : max_regrow) << endl;\n}\n"
 })
 })
 }), _jsx(JavaSection, {
 children: _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-java",
 children: "import java.io.*;\nimport java.util.*;\n\npublic class Mowing {\n\t// BeginCodeSnip{Step Class}\n\tstatic class Step {\n\t\tchar dir;\n\t\tint numSteps;\n\n\t\tpublic Step(char dir, int numSteps) {\n\t\t\tthis.dir = dir;\n\t\t\tthis.numSteps = numSteps;\n\t\t}\n\t}\n\t// EndCodeSnip\n\n\tpublic static void main(String[] args) throws IOException {\n\t\tBufferedReader read = new BufferedReader(new FileReader(\"mowing.in\"));\n\t\tint n = Integer.parseInt(read.readLine());\n\t\tStep[] steps = new Step[n];\n\t\tfor (int s = 0; s < n; s++) {\n\t\t\tStringTokenizer step = new StringTokenizer(read.readLine());\n\t\t\tsteps[s] = new Step(step.nextToken().charAt(0),\n\t\t\t Integer.parseInt(step.nextToken()));\n\t\t}\n\t\tread.close();\n\n\t\t// FJ's starting position.\n\t\tPoint curr = new Point(0, 0);\n\t\t// Make a hashmap, and mark off steps.\n\t\t// We'll first mark off his starting position.\n\t\tMap<Point, Integer> visits = new HashMap<>(Map.of(curr, 0));\n\n\t\tint time = 0;\n\t\tint maxRegrow = Integer.MAX_VALUE;\n\t\tfor (Step s : steps) {\n\t\t\tfor (int i = 0; i < s.numSteps; i++) {\n\t\t\t\t// Update our current position.\n\t\t\t\tcurr = curr.next(s.dir);\n\t\t\t\ttime++;\n\n\t\t\t\t// Check if FJ's been to this patch of grass before.\n\t\t\t\tif (visits.containsKey(curr)) {\n\t\t\t\t\tmaxRegrow = Math.min(maxRegrow, time - visits.get(curr));\n\t\t\t\t}\n\n\t\t\t\t// Update the last time FJ has come upon this patch of grass.\n\t\t\t\tvisits.put(curr, time);\n\t\t\t}\n\t\t}\n\n\t\tPrintWriter written = new PrintWriter(\"mowing.out\");\n\t\t// Output -1 if FJ has never gone back to the same patch of grass.\n\t\twritten.println(maxRegrow == Integer.MAX_VALUE ? -1 : maxRegrow);\n\t\twritten.close();\n\t}\n}\n\n// BeginCodeSnip{Point Class}\nclass Point {\n\tint x, y;\n\n\tpublic Point(int x, int y) {\n\t\tthis.x = x;\n\t\tthis.y = y;\n\t}\n\n\t/**\n\t * @return The point reached after moving in the given direction from this\n\t * point.\n\t */\n\tpublic Point next(char dir) {\n\t\tswitch (dir) {\n\t\tcase 'N':\n\t\t\treturn new Point(x, y + 1);\n\t\tcase 'W':\n\t\t\treturn new Point(x - 1, y);\n\t\tcase 'E':\n\t\t\treturn new Point(x + 1, y);\n\t\tcase 'S':\n\t\t\treturn new Point(x, y - 1);\n\t\tdefault:\n\t\t\treturn this;\n\t\t}\n\t}\n\n\t@Override\n\tpublic String toString() {\n\t\treturn String.format(\"(%d, %d)\", x, y);\n\t}\n\n\t@Override\n\tpublic int hashCode() {\n\t\treturn Objects.hash(x, y);\n\t}\n\n\t@Override\n\tpublic boolean equals(Object obj) {\n\t\treturn obj instanceof Point && x == ((Point)obj).x && y == ((Point)obj).y;\n\t}\n}\n// EndCodeSnip\n"
 })
 })
 }), _jsx(PySection, {
 children: _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-py",
 children: "with open(\"mowing.in\") as read:\n\tn = int(read.readline())\n\tsteps = []\n\tfor _ in range(n):\n\t\tdir_, num_steps = map(str, read.readline().split())\n\t\tsteps.append((dir_, int(num_steps)))\n\n# FJ's starting position.\ncurr = (0, 0)\n# Make a hashmap, and mark off steps.\n# We'll first mark off his starting position.\nvisits = {curr: 0}\n\ntime = 0\nmax_regrow = float(\"inf\")\nfor dir_, num_steps in steps:\n\t# Get the direction Farmer John is moving.\n\tif dir_ == \"N\":\n\t\tdelta = 0, 1\n\telif dir_ == \"W\":\n\t\tdelta = -1, 0\n\telif dir_ == \"E\":\n\t\tdelta = 1, 0\n\telif dir_ == \"S\":\n\t\tdelta = 0, -1\n\n\tfor _ in range(int(num_steps)):\n\t\t# Update our current position.\n\t\tcurr = (curr[0] + delta[0], curr[1] + delta[1])\n\t\ttime += 1\n\n\t\t# Check if FJ's been to this patch of grass before.\n\t\tif curr in visits:\n\t\t\tmax_regrow = min(max_regrow, time - visits[curr])\n\t\t# Update the last time FJ has come upon this patch of grass.\n\t\tvisits[curr] = time\n\n# Output -1 if FJ has never gone back to the same patch of grass.\noutput = -1 if max_regrow == float(\"inf\") else max_regrow\nprint(output, file=open(\"mowing.out\", \"w\"))\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.");
}

Implementation

Join the USACO Forum!