UVA1391、LA3713【astronauts...】【2 -SAT】

这题一开始自己想到了3-SAT。。。

照着敲了个试试，好像不太对。。 深入的3-SAT不会，有点

然后就积极往2-SAT上想

想分开小于ave和大于等于ave的两部分各自2-SAT不能考虑某些情况，显然。。。

于是呵呵了。。

正解是分开讨论。 如果a和b都小于ave或都是大于等于ave的 或一个小于ave一个大于ave。。

这种情况不能同时为真或为假 这种情况只要不同时为假即可可同时为真

自己错的也是有收获的。 2-SAT问题可转化为真假性问题，但只要是二义性（？？呵~~）就可。

还有就是这个分类讨论的思想。 有点欠缺。 给自己一个差评。

代码提交不了。