2-sat
文章平均质量分 79
cscoder
这个作者很懒,什么都没留下…
展开
-
hdu 3622 Bomb Game
Bomb Game很裸的2-sat。二分枚举半径,然后对于每个点i枚举j,其中j不是i'.如果dist(i,j)小于半径,那么就连边i->j', j->i',然后判断是否出现冲突。由于用double的话会出现精度误差,而给定点的坐标都是整数.所以,我们可以将其转化为整型处理,不进行开方操作,而比较的时候也是枚举两点间的距离。最后输出答案的时候在开方就行了。/*原创 2012-10-20 22:51:08 · 433 阅读 · 0 评论 -
hdu 3715 Go Deeper
Go Deeper2 - sat建图:x[a[i]] = 1, x[a[i] + n] = 0c[i] == 0 a[i] + n --> b[i] b[i] + n --> a[i]c[i] == 1 a[i] + n --> b[i] + n b[i] + n --> a[i] + n a[i] ---> b[i]原创 2012-10-22 22:59:48 · 547 阅读 · 0 评论 -
2-sat 相关问题总结
1.元素关系有以下11种A[x]NOT A[x]A[x] AND A[y]A[x] AND NOT A[y]A[x] OR A[y]A[x] OR NOT A[y]NOT (A[x] AND A[y])NOT (A[x] OR A[y])A[x] XOR A[y]NOT (A[x] XOR A[y])A[x] XOR NOT A[y] And 结果为原创 2012-10-26 18:33:59 · 1323 阅读 · 0 评论