K-vertex-connected graph