밀러 - 라빈 소수 판정법 파이썬 구현
1) 유향 그래프(directed)기존의 dfs 코드에 finished 리스트를 추가한다. 만약, 이미 방문한 노드를 재방문하였을 때, 해당 노드의 dfs 호출이 끝나지 않았다면 사이클이 존재한다고 판단할 수 있다.다양한 그래프를 직접 그려보면 이해하기 쉽다.자식 노드