백준 1000문제 달성했습니다.

Li Chao Tree란?

Li Chao Tree는 직선 삭제 쿼리가 없는 Convex Hull Trick문제를 Online으로 해결하기 위한 자료구조입니다.
Li Chao Tree를 아주 간단하게 정리하자면, 세그먼트 트리에 직선의 방정식을 넣는 것이라고 할 수 있습니다.

문제 링크

• http://icpc.me/2519

문제 링크

• http://icpc.me/15681

문제 링크

• http://icpc.me/2244

문제 링크

• http://icpc.me/4485

문제 링크

• http://icpc.me/11658

문제 링크

• http://icpc.me/5914

2-SAT문제란?

2-SAT(2-SATisfiability)문제는 충족 가능성 문제(satisfiability problem)의 한 종류입니다.
충족 가능성 문제란, 여러 개의 boolean변수들로 이루어진 식이 있을 때 각 변수에 값을 할당하여 식을 참으로 만드는 조합을 찾거나, 그러한 조합이 없음을 찾는 문제입니다.

문제 링크

• http://icpc.me/14950