Circuit Complexity of Properties of Graph with Constant Planar Cutwidth

Abstract

We study the complexity of several of the classical graph decision problems in the setting of bounded cutwidth and how imposing planarity affects the complexity. We show that for 2-coloring, for bipartite perfect matching, and for several variants of disjoint paths, the straightforward $\mathsf{NC}^1$ upper bound may be improved to $\mathsf{AC}^0[2]$, $\mathsf{ACC}^0$, and $\mathsf{AC}^0$ respectively for bounded planar cutwidth graphs. We obtain our upper bounds using the characterization of these circuit classes in tems of finite monoids due to Barrington and Thérien. On the other hand we show that 3-coloring and Hamilton cycle remain hard for $\mathsf{NC}^1$ under projection reductions, analogous to the NP-completeness for general planar graphs. We also show that 2-coloring and (non-bipartite) perfect matching are hard under projection reductions for certain subclasses of $\mathsf{AC}^0[2]$. In particular this shows that our bounds for 2-coloring are quite close.

Publication
Mathematical Foundations of Computer Science (MFCS)
Date
Links