Li Chao Tree란?
Li Chao Tree는 직선 삭제 쿼리가 없는 Convex Hull Trick문제를 Online으로 해결하기 위한 자료구조입니다.
Li Chao Tree를 아주 간단하게 정리하자면, 세그먼트 트리에 직선의 방정식을 넣는 것이라고 할 수 있습니다.
Li Chao Tree는 직선 삭제 쿼리가 없는 Convex Hull Trick문제를 Online으로 해결하기 위한 자료구조입니다.
Li Chao Tree를 아주 간단하게 정리하자면, 세그먼트 트리에 직선의 방정식을 넣는 것이라고 할 수 있습니다.
2-SAT(2-SATisfiability)문제는 충족 가능성 문제(satisfiability problem)의 한 종류입니다.
충족 가능성 문제란, 여러 개의 boolean변수들로 이루어진 식이 있을 때 각 변수에 값을 할당하여 식을 참으로 만드는 조합을 찾거나, 그러한 조합이 없음을 찾는 문제입니다.