Abstract:An $n$-vertex $m$-edge graph is \emph{$k$-vertex connected} if it cannot be disconnected by deleting less than $k$ vertices. After more than half a century of intensive research, the result by [Li et al. STOC'21] finally gave a \emph{randomized} algorithm for checking $k$-connectivity in near-optimal $\widehat{O}(m)$ time. (We use $\widehat{O}(\cdot)$ to hide an $n^{o(1)}$ factor.) Deterministic algorithms, unfortunately, have remained much slower even if we assume a linear-time max-flow algorithm: they either require at least $\Omega(mn)$ time [Even'75; Henzinger Rao and Gabow, FOCS'96; Gabow, FOCS'00] or assume that $k=o(\sqrt{\log n})$ [Saranurak and Yingchareonthawornchai, FOCS'22]. We show a \emph{deterministic} algorithm for checking $k$-vertex connectivity in time proportional to making $\widehat{O}(k^{2})$ max-flow calls, and, hence, in $\widehat{O}(mk^{2})$ time using the deterministic max-flow algorithm by [Brand et al. FOCS'23]. Our algorithm gives the first almost-linear-time bound for all $k$ where $\sqrt{\log n}\le k\le n^{o(1)}$ and subsumes up to a sub polynomial factor the long-standing state-of-the-art algorithm by [Even'75] which requires $O(n+k^{2})$ max-flow calls. Our key technique is a deterministic algorithm for terminal reduction for vertex connectivity: given a terminal set separated by a vertex mincut, output either a vertex mincut or a smaller terminal set that remains separated by a vertex mincut. We also show a deterministic $(1+\epsilon)$-approximation algorithm for vertex connectivity that makes $O(n/\epsilon^2)$ max-flow calls, improving the bound of $O(n^{1.5})$ max-flow calls in the exact algorithm of [Gabow, FOCS'00]. The technique is based on Ramanujan graphs.

An Algorithm to Construct k -Regular k -Connected Graphs with the Maximum k -Diameter

Large Degree Vertices in Longest Cycles of Graphs, II

Diameter and connectivity of finite simple graphs II

Sufficient conditions for graphs to be $k$-connected, maximally connected and super-connected

Finding Connected Dense $k$-Subgraphs

Some special minimum k-geodetically connected graphs

Maximally Edge-Connected Realizations and Kundu's $k$-factor Theorem

Improved bound on the number of edges of diameter-$k$-critical graphs

Deterministic $k$-Vertex Connectivity in $k^2$ Max-flows

Maximal $k$-Edge-Connected Subgraphs in Almost-Linear Time for Small $k$

A Stability Theorem for Maximal $C_{2k+1}$-free Graphs

Edge-fault diameter of C4-free graphs

The total { k }-domatic number of wheels and complete graphs

On large regular (1,1,k)-mixed graphs

Minimum degree $k$ and $k$-connectedness usually arrive together

The minimum size and maximum diameter of an edge-pancyclic graph of a given order

Highly Connected Graphs Have Highly Connected Spanning Bipartite Subgraphs

Acyclic Domination Number and Minimum Degree in 2-Diameter-critical Graphs.

The Total {K}-Domatic Number of Wheels and Complete Graphs.

The maximum number of triangles in $F_k$-free graphs