Title: Graph-theoretic arguments in low-level complexity