jh05013   4년 전

위키피디아의 타잔 알고리즘을 가져오고 SCC의 리스트가 아닌 lowlink의 리스트를 리턴하였을 때 아래 인풋에서 두 개의 "컴포넌트" (1과 -2, 2와 -1)가 있는 것으로 계산했고, 그대로 2-SAT을 풀었을 때 True가 나왔습니다. 실제로는 컴포넌트가 한 개이고 False가 나와야 합니다.

댓글을 작성하려면 로그인해야 합니다.