11280번 - 2-SAT - 3
위키피디아의 타잔 알고리즘을 가져오고 SCC의 리스트가 아닌 lowlink의 리스트를 리턴하였을 때 아래 인풋에서 두 개의 "컴포넌트" (1과 -2, 2와 -1)가 있는 것으로 계산했고, 그대로 2-SAT을 풀었을 때 True가 나왔습니다. 실제로는 컴포넌트가 한 개이고 False가 나와야 합니다.
재채점 했습니다.
https://www.acmicpc.net/rejudg...
댓글을 작성하려면 로그인해야 합니다.
jh05013 6년 전
위키피디아의 타잔 알고리즘을 가져오고 SCC의 리스트가 아닌 lowlink의 리스트를 리턴하였을 때 아래 인풋에서 두 개의 "컴포넌트" (1과 -2, 2와 -1)가 있는 것으로 계산했고, 그대로 2-SAT을 풀었을 때 True가 나왔습니다. 실제로는 컴포넌트가 한 개이고 False가 나와야 합니다.