摘要: 摘自大白书的算法模板如下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)