0000000000   10달 전

2-SAT - 3에서 추가로 각 변수의 값을 설정하는 부분을 어떻게 해야 할 지 모르겠습니다. SCC를 구하는 부분은 코라사주로 했습니다

zenith82114   10달 전

힌트만 드려 보겠습니다.

변수 x_i가 가져야 할 값은 x_i와 NOT x_i가 각각 속한 scc의 위상관계(=방문 순서, =방문하면서 매긴 번호)와 관련이 있습니다.

0000000000   10달 전

감사합니다!

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