assert로 확인해보니 정점의 번호가 모두 1에서 N사이였습니다. 물론 정점의 번호가 꼭 1에서 N 사이일 필요는 없지만 제 생각에는 실제 데이터가 1에서 N사이이기도 하고, 정점의 번호가 1에서 N사이가 아니라고 하더라도 reordering만 필요할뿐 달라지는 것이 없기 때문에 정점의 번호의 조건을 명시해주는 것이 어떨까 싶습니다.