图论——2-SAT