UPDF AI

Separators in two and three dimensions

G. Miller,W. Thurston

1990 · DOI: 10.1145/100216.100255
Symposium on the Theory of Computing · 86 Citations

TLDR

It is shown that every graph that is the 1-skeleton of a simplicial complex K in 3-dimensions has a separator of size O(c 2/3 + ~), which gets an O(n 2) time algorithm for solving linear systems that arise from the finite element method.