The graph Laplacian L=D−A has a Fiedler vector (2nd smallest eigenvector, λ₂>0 iff connected). Its sign partitions nodes optimally — the algebraic connectivity λ₂ measures how well-connected the graph is.