Wuvin

强于忧患,亡于安乐。
Always take risks

2-SAT求最多能有多少个变量为真

一开始觉得这东西怎么求啊,说不定有优美解法,应该不是NP的吧。

还好在跑去找武爷前想了一想发现真是NP的,因为这个可以解决一般图最大独立集啊!还好没有SB地去问,╮(╯▽╰)╭

评论
©Wuvin
Powered by LOFTER