Title:Biconnectivity, chain decomposition and $st$-numbering using $O(n)$ bits

Abstract:Recent work by Elmasry et al. (STACS 2015) and Asano et al. (ISAAC 2014) reconsidered classical fundamental graph algorithms focusing on improving the space complexity. Elmasry et al. gave, among others, an implementation of depth first search (DFS) of a graph on $n$ vertices and $m$ edges, taking $O(m \lg \lg n)$ time\footnote{We use $\lg$ to denote logarithm to the base $2$.} using $O(n)$ bits of space improving on the time bound of $O(m \lg n)$ due to Asano et al. Subsequently Banerjee et al. (COCOON 2016) gave an $O(m+n)$ time implementation using $O(m+n)$ bits, for DFS and its classical applications (including testing for biconnectivity, and finding cut vertices and cut edges). Recently, Kammer et al. (MFCS 2016) gave an algorithm for testing biconnectivity using $O(n + \min \{ m, n \lg \lg n \})$ bits in linear time.
In this paper, we consider $O(n)$ bits implementations of the classical applications of DFS. These include the problem of finding cut vertices, and biconnected components, chain decomposition and $st$-numbering. Classical algorithms for them typically use DFS and some $\Omega (\lg n)$ bits of information at each node. Our $O(n)$-bit implementations for these problems take $O(m \lg^c n \lg\lg n)$ time for some small constant $c$ ($c \leq 3$). Central to our implementation is a succinct representation of the DFS tree and a space efficient partitioning of the DFS tree into connected subtrees, which maybe of independent interest for designing space efficient graph algorithms.