会员
周边
众包
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
WA自动机~
每一个不曾起舞的日子,都是对生命的辜负。
博客园
首页
新随笔
联系
订阅
管理
随笔 - 296
文章 - 0
评论 - 9
阅读 -
87606
随笔分类 -
图论——2-sat
hdu1269 2-SAT问题
摘要:题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=1269 2-SAT问题:2-satisfiability问题(可满足性问题)也就是有n个布尔变量,给出一些不能同时存在的情况,询问是否存在满足条件的一组boolean变量的解。做法是运用原命题与逆否命题之
阅读全文
posted @
2020-03-28 19:58
WA自动机~
阅读(124)
评论(0)
推荐(0)
编辑
公告
昵称:
WA自动机~
园龄:
5年5个月
粉丝:
6
关注:
5
<
2025年2月
>
日
一
二
三
四
五
六
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
1
2
3
4
5
6
7
8
点击右上角即可分享