poj 2296 (2 - SAT + 2 점)

계속 2 - SAT + 2 점, n 개의 정사각형, 각 점 은 정사각형 상단 이나 아래쪽 의 종점 에 있 고 각 점 마다 두 가지 선택 이 있 습 니 다. 1. 네 가지 상황 으로 나 뉜 다.i 위로, j 위로, 두 정사각형 이 교차 하 는 지 여 부 를 판단 하고 교차 하면 건축 변 i - > j ', j - > i'; i 위로, j 아래로, 두 정사각형 이 교차 하 는 지 여 부 를 판단...

알고리즘바 이 두GoogleACM2SAT