2-SAT문제란?

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

문제 링크

• http://icpc.me/14950

문제 링크

• http://icpc.me/5462

문제 링크

• http://icpc.me/16564

문제 링크

• http://icpc.me/12844

문제 링크

• http://icpc.me/13711

문제 링크

• http://icpc.me/1914

문제 링크

• http://icpc.me/1890

문제 링크

• http://icpc.me/2243