摘要:
摘自大白书的算法模板如下const int maxn = 1050;struct TwoSAT{ int n; vector g[maxn * 2]; bool mark[maxn * 2];//x[2*u]被标记代表u为假 x[2*u+1... 阅读全文
posted @ 2018-02-01 22:09
不想吃WA的咸鱼
阅读(177)
评论(0)
推荐(0)
摘要:
题目链接 https://vjudge.net/problem/UVA-11324【题意】 给定一张无向图G,求一个结点数最大的结点子集,使该子集中任意两结点u,v满足要么从u出发可达v,要么从v出发可达u,互相可达也是可以。【思路】 大白书323页例题,先... 阅读全文
posted @ 2018-02-01 19:54
不想吃WA的咸鱼
阅读(146)
评论(0)
推荐(0)
摘要:
题目链接 https://vjudge.net/problem/UVALive-4287【题意】 在数学中,我们常常需要完成若干个命题的等价性证明,比如4个命题a,b,c,d.我们证明ab,bc,cd,每次证明都是双向的,因此一共完成了6次推导。另外一种证明... 阅读全文
posted @ 2018-02-01 16:37
不想吃WA的咸鱼
阅读(160)
评论(0)
推荐(0)
摘要:
题目链接 https://vjudge.net/problem/UVALive-5135【题意】 有一座地下的稀有金属矿由n条隧道和一些连接点组成,每条隧道连接两个连接点,任意两个连接点之间最多只有一条隧道。为了降低矿工的危险,你的任务是在一些连接点处安装太... 阅读全文
posted @ 2018-02-01 15:41
不想吃WA的咸鱼
阅读(151)
评论(0)
推荐(0)
摘要:
题目链接 https://vjudge.net/problem/UVALive-3523【题意】 有n个骑士经常举行圆桌会议,每次圆桌会议应至少有3个人参加且人数必须是奇数,相互憎恨的骑士不能坐在圆桌上的相邻位置,在知道了哪些骑士互相憎恨后,要求出有多少个骑... 阅读全文
posted @ 2018-02-01 13:25
不想吃WA的咸鱼
阅读(187)
评论(0)
推荐(0)

浙公网安备 33010602011771号