图论—2-SAT