图论2-SAT问题