Spielman-Srivastava (2011): every graph has a sparse ε-spectral sparsifier with O(n log n / ε²) edges. Sample edges with probability proportional to effective resistance. Sparsifier preserves all cuts.