For nonadjacent vertices of a graph , their local connectivity is the minimum size of an - vertex separator. By the Menger theorem, it also equals the maximum number of internally vertex-disjoint - paths.
New to topics? Read the docs here!
New to topics? Read the docs here!