这题一开始自己想到了3-SAT。。。
照着敲了个试试,好像不太对。。 深入的3-SAT不会,有点囧
然后就积极往2-SAT上想
想分开小于ave和大于等于ave的两部分各自2-SAT不能考虑某些情况,显然。。。
于是呵呵了。。
正解是分开讨论。 如果a和b都小于ave或都是大于等于ave的 或一个小于ave一个大于ave。。
这种情况不能同时为真或为假 这种情况只要不同时为假即可可同时为真
自己错的也是有收获的。 2-SAT问题可转化为真假性问题,但只要是二义性(??呵~~)就可。
还有就是这个分类讨论的思想。 有点欠缺。 给自己一个差评。
代码提交不了。囧