图论---2-SAT