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

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

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

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

然后就积极往2-SAT上想

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

于是呵呵了。。

 

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

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

                         

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

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

代码提交不了。囧