🔥Submitted to the 30th ACM-SIAM Symposium on Discrete Algorithms (2019)

Abstract:

LetGbe a directed graph with n vertices and m edges, embedded on a surfaceS, possibly with boundary, with first Betti numberβ. We consider the complexity of finding closed directed walks inGthat are either contractible (trivial in homotopy) or bounding (trivial in integer homology) inS. Specifically, we describe algorithms to determine whetherGcontains a simple contractible cycle in O(n+m) time, or a contractible closed walk in O(n + m) time, or a bounding closed walk in O(β(n+m)) time. Our algorithms rely on subtle relationships between strong connectivity inGand in the dual graphG*; our contractible-closed-walk algorithm also relies on a seminal topological result of Hass and Scott. We also prove that detecting simple bounding cycles is NP-hard.We also consider the complexity of finding shortest trivial closed walks in

G. Specifically, we describe polynomial-time algorithms (independent ofβ) to compute shortest contractible closed walks on the torus, and on any surface with boundary; the problem remains open for surfaces without boundary with genus at least 2. Finally, we prove that computing shortest simple contractible cycles, computing shortest simple bounding cycles, and computing shortest bounding closed walks are all NP-hard.

Publications - Jeff Erickson (jeffe@illinois.edu) 03 Aug 2018