Ontify
Graph with more than k vertices that cannot be disconnected by the deletion of fewer than k vertices.