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

Custom Comparators and Coordinate Compression

Using a custom comparator to sort custom objects or values in a non-default order, and compressing values from a large range to a smaller one.

Lifeguards

"use strict";
const {Fragment: _Fragment, jsx: _jsx, jsxs: _jsxs} = arguments[0];
const frontmatter = undefined;
function _createMdxContent(props) {
 const _components = {
 a: "a",
 code: "code",
 h1: "h1",
 h2: "h2",
 p: "p",
 pre: "pre",
 strong: "strong",
 ...props.components
 }, {CPPSection, HeaderLink, JavaSection, LanguageSection, MATHSPAN, PySection, YouTube} = _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);
 if (!YouTube) _missingMdxReference("YouTube", true);
 return _jsxs(_Fragment, {
 children: [_jsx(_components.p, {
 children: _jsx(_components.a, {
 href: "http://www.usaco.org/current/data/sol_lifeguards_silver_jan18.html",
 rel: "nofollow",
 target: "_blank",
 children: "Official Analysis (Java)"
 })
 }), "\n", _jsxs(_components.h1, {
 id: "video-solution",
 children: [_jsx(_components.a, {
 "aria-hidden": "true",
 tabIndex: "-1",
 className: "anchor before",
 href: "#video-solution",
 children: _jsx(HeaderLink, {})
 }), "Video Solution"]
 }), "\n", _jsx(_components.p, {
 children: "By Satvika Sridhar"
 }), "\n", _jsx(_components.p, {
 children: "Note: The video solution might not be the same as other solutions. Code in C++ and Java."
 }), "\n", _jsx(YouTube, {
 id: "X2M-fuPtdlk"
 }), "\n", _jsxs(LanguageSection, {
 children: [_jsxs(CPPSection, {
 children: [_jsxs(_components.h2, {
 id: "implementation-1-with-sets",
 children: [_jsx(_components.a, {
 "aria-hidden": "true",
 tabIndex: "-1",
 className: "anchor before",
 href: "#implementation-1-with-sets",
 children: _jsx(HeaderLink, {})
 }), "Implementation 1 (With Sets)"]
 }), _jsxs(_components.p, {
 children: [_jsx(_components.strong, {
 children: "Time Complexity:"
 }), " ", _jsx(MATHSPAN, {
 className: "language-math math-inline",
 latex: "\\mathcal{O}(N \\log N)",
 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>log</mi><mo>⁡</mo><mi>N</mi><mo stretchy=\"false\">)</mo></mrow><annotation encoding=\"application/x-tex\">\\mathcal{O}(N \\log N)</annotation></semantics></math>O(NlogN)"
 })]
 }), _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-cpp",
 children: "#include <bits/stdc++.h>\nusing namespace std;\n\nstruct Event {\n\tint time;\n\tint cow_id;\n\tbool is_start;\n};\n\nbool operator<(const Event &a, const Event &b) { return a.time < b.time; }\n\nint main() {\n\tfreopen(\"lifeguards.in\", \"r\", stdin);\n\n\tint n;\n\tcin >> n;\n\tvector<Event> events;\n\n\tfor (int i = 0; i < n; i++) {\n\t\tint l, r;\n\t\tcin >> l >> r;\n\t\t// each cow interval can be represented by a start and end event\n\t\tevents.push_back({l, i, true});\n\t\tevents.push_back({r, i, false});\n\t}\n\n\tsort(events.begin(), events.end());\n\n\t// how much time each cow spends alone\n\tvector<int> alone_time(n);\n\n\t// cows that are currently working during within [prev_time, curr_time]\n\tset<int> active;\n\n\t// time of the previous event\n\tint prev_time = 0;\n\n\t// how much time is covered by all the cows together\n\tint total_time = 0;\n\n\tfor (const Event &e : events) {\n\t\tint curr_time = e.time;\n\n\t\t// 1. update total time covered by all the cows\n\t\tif (active.size() > 0) { total_time += curr_time - prev_time; }\n\n\t\t// 2. check to see if there's only one cow in [prev_time, curr_time]\n\t\tif (active.size() == 1) {\n\t\t\talone_time[*active.begin()] += curr_time - prev_time;\n\t\t}\n\n\t\t// 3. process the event\n\t\tif (e.is_start) {\n\t\t\tactive.insert(e.cow_id);\n\t\t} else {\n\t\t\tactive.erase(e.cow_id);\n\t\t}\n\n\t\t// 4. update prev_time\n\t\tprev_time = curr_time;\n\t}\n\n\tint min_alone_time = *min_element(alone_time.begin(), alone_time.end());\n\n\tfreopen(\"lifeguards.out\", \"w\", stdout);\n\tcout << total_time - min_alone_time << endl;\n}\n"
 })
 }), _jsxs(_components.h2, {
 id: "implementation-2-no-sets",
 children: [_jsx(_components.a, {
 "aria-hidden": "true",
 tabIndex: "-1",
 className: "anchor before",
 href: "#implementation-2-no-sets",
 children: _jsx(HeaderLink, {})
 }), "Implementation 2 (No Sets)"]
 }), _jsxs(_components.p, {
 children: [_jsx(_components.strong, {
 children: "Time Complexity:"
 }), " ", _jsx(MATHSPAN, {
 className: "language-math math-inline",
 latex: "\\mathcal{O}(N \\log N)",
 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>log</mi><mo>⁡</mo><mi>N</mi><mo stretchy=\"false\">)</mo></mrow><annotation encoding=\"application/x-tex\">\\mathcal{O}(N \\log N)</annotation></semantics></math>O(NlogN)"
 })]
 }), _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-cpp",
 children: "#include <bits/stdc++.h>\nusing namespace std;\n\nstruct Cow {\n\tint l, r;\n};\n\nbool operator<(const Cow &a, const Cow &b) { return a.l < b.l; }\n\nint main() {\n\tfreopen(\"lifeguards.in\", \"r\", stdin);\n\n\tint n;\n\tcin >> n;\n\n\tvector<Cow> cows(n);\n\tfor (int i = 0; i < n; i++) { cin >> cows[i].l >> cows[i].r; }\n\n\tsort(cows.begin(), cows.end());\n\n\tint total_time = 0;\n\t// right = max ending point of lifeguards considered so far\n\tint left = 0, right = 0;\n\n\t// calculate total_time\n\tfor (int i = 0; i < n; i++) {\n\t\tif (cows[i].r > right) {\n\t\t\tleft = max(right, cows[i].l);\n\t\t\ttotal_time += cows[i].r - left;\n\t\t\tright = cows[i].r;\n\t\t}\n\t}\n\n\tCow last;\n\tlast.l = cows[n - 1].r;\n\tcows.push_back(last);\n\n\t// min time a cow spends alone\n\tint min_alone_time = total_time;\n\tright = 0;\n\tfor (int i = 0; i < n; i++) {\n\t\tint curr_res = min(cows[i + 1].l, cows[i].r) - max(cows[i].l, right);\n\t\tmin_alone_time = min(min_alone_time, curr_res);\n\t\tright = max(right, cows[i].r);\n\t}\n\n\tfreopen(\"lifeguards.out\", \"w\", stdout);\n\t// if min_alone_time < 0 then answer = tot\n\tcout << total_time - max(min_alone_time, 0) << endl;\n}\n"
 })
 })]
 }), _jsxs(JavaSection, {
 children: [_jsxs(_components.h2, {
 id: "implementation",
 children: [_jsx(_components.a, {
 "aria-hidden": "true",
 tabIndex: "-1",
 className: "anchor before",
 href: "#implementation",
 children: _jsx(HeaderLink, {})
 }), "Implementation"]
 }), _jsxs(_components.p, {
 children: [_jsx(_components.strong, {
 children: "Time Complexity:"
 }), " ", _jsx(MATHSPAN, {
 className: "language-math math-inline",
 latex: "\\mathcal{O}(N \\log N)",
 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>log</mi><mo>⁡</mo><mi>N</mi><mo stretchy=\"false\">)</mo></mrow><annotation encoding=\"application/x-tex\">\\mathcal{O}(N \\log N)</annotation></semantics></math>O(NlogN)"
 })]
 }), _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-java",
 children: "import java.io.*;\nimport java.util.*;\n\npublic class Lifeguards {\n\t// BeginCodeSnip{Event Class}\n\tstatic class Event implements Comparable<Event> {\n\t\tpublic int time;\n\t\tpublic int cowId;\n\t\tpublic boolean isStart;\n\n\t\tpublic Event(int time, int cowId, boolean isStart) {\n\t\t\tthis.time = time;\n\t\t\tthis.cowId = cowId;\n\t\t\tthis.isStart = isStart;\n\t\t}\n\n\t\t@Override\n\t\tpublic int compareTo(Event other) {\n\t\t\treturn time - other.time;\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(\"lifeguards.in\"));\n\n\t\tint n = Integer.parseInt(read.readLine());\n\t\tEvent[] events = new Event[2 * n];\n\t\tfor (int i = 0; i < n; i++) {\n\t\t\tStringTokenizer e = new StringTokenizer(read.readLine());\n\t\t\tint l = Integer.parseInt(e.nextToken());\n\t\t\tint r = Integer.parseInt(e.nextToken());\n\t\t\tevents[2 * i] = new Event(l, i, true);\n\t\t\tevents[2 * i + 1] = new Event(r, i, false);\n\t\t}\n\n\t\tArrays.sort(events);\n\n\t\t// how much time each cow spends alone\n\t\tint[] aloneTime = new int[n];\n\n\t\t// cows that are currently working during within [prev_time, curr_time]\n\t\tSet<Integer> active = new HashSet<>();\n\n\t\t// time of the previous event\n\t\tint prevTime = 0;\n\n\t\t// how much time is covered by all the cows together\n\t\tint totalTime = 0;\n\n\t\tfor (Event e : events) {\n\t\t\tint currTime = e.time;\n\n\t\t\t// 1. update total time covered by all the cows\n\t\t\tif (active.size() > 0) { totalTime += currTime - prevTime; }\n\n\t\t\t// 2. check to see if there's only one cow in [prevTime, currTime]\n\t\t\tif (active.size() == 1) {\n\t\t\t\taloneTime[active.iterator().next()] += currTime - prevTime;\n\t\t\t}\n\n\t\t\t// 3. process the event\n\t\t\tif (e.isStart) {\n\t\t\t\tactive.add(e.cowId);\n\t\t\t} else {\n\t\t\t\tactive.remove(e.cowId);\n\t\t\t}\n\n\t\t\t// 4. update prevTime\n\t\t\tprevTime = currTime;\n\t\t}\n\n\t\tint minAloneTime = Arrays.stream(aloneTime).min().getAsInt();\n\n\t\tPrintWriter written = new PrintWriter(\"lifeguards.out\");\n\t\twritten.println(totalTime - minAloneTime);\n\t\twritten.close();\n\t}\n}\n"
 })
 })]
 }), _jsx(PySection, {
 children: _jsx(_components.pre, {
 children: _jsx(_components.code, {
 className: "language-py",
 children: "# BeginCodeSnip{Event Class}\nclass Event:\n\tdef __init__(self, time: int, cow_id: int, is_start: bool) -> None:\n\t\tself.time = time\n\t\tself.cow_id = cow_id\n\t\tself.is_start = is_start\n\n\n# EndCodeSnip\n\nwith open(\"lifeguards.in\") as read:\n\tn = int(read.readline())\n\tevents = []\n\tfor i in range(n):\n\t\tl, r = [int(i) for i in read.readline().split()]\n\t\t# each cow interval can be represented by a start and end event\n\t\tevents.append(Event(l, i, True))\n\t\tevents.append(Event(r, i, False))\n\nevents.sort(key=lambda e: e.time)\n\n# how much time each cow spends alone\nalone_time = [0 for _ in range(n)]\n\n# cows that are currently working during within [prev_time, curr_time]\nactive = set()\n\n# time of the previous event\nprev_time = 0\n\n# how much time is covered by all the cows together\ntotal_time = 0\n\nfor e in events:\n\tcurr_time = e.time\n\tprint(active)\n\t# 1. update total time covered by all the cows\n\tif active:\n\t\ttotal_time += curr_time - prev_time\n\n\t# 2. check to see if there's only one cow in [prev_time, curr_time]\n\tif len(active) == 1:\n\t\talone_time[next(iter(active))] += curr_time - prev_time\n\n\t# 3. process the event\n\tif e.is_start:\n\t\tactive.add(e.cow_id)\n\telse:\n\t\tactive.remove(e.cow_id)\n\n\t# 4. update prev_time\n\tprev_time = curr_time\n\nprint(total_time - min(alone_time), file=open(\"lifeguards.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.");
}

Table of Contents

Table of Contents

Video Solution

Join the USACO Forum!