Groups
Category
Level
Tree DP solves matching, vertex cover, and independent set on trees in linear time using small state transitions per node.
Edmonds' Blossom Algorithm finds a maximum matching in any undirected graph, not just bipartite ones.
Kรถnig's Theorem states that in any bipartite graph, the size of a maximum matching equals the size of a minimum vertex cover.
Tree diameter is the longest simple path in a tree and can be found with two BFS/DFS runs.