vertex connectivity