2-SAT

http://www.cppblog.com/MatoNo1/archive/2011/07/13/150766.html

你可能感兴趣的:(2-SAT)