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 · 476 阅读 · 0 评论 -
hdu 3715 Go Deeper
Go Deeper 2 - sat建图：x[a[i]] = 1, x[a[i] + n] = 0 c[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 · 588 阅读 · 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 · 1399 阅读 · 0 评论