- 博客(6)
- 收藏
- 关注
RSS订阅原创 HDU - 3715 Go Deeper 二分 + 2-SAT tarjan
题意：给你一个递推式，问你最多能循环几层？go(int dep, int n, int m) begin output the value of dep. if dep < m and x[a[dep]] + x[b[dep]] != c[dep] then go(dep + 1, n, m) end 递推式如上，若想循环下去，就要使第四行式子中“ x[a[dep]] + x...
2018-08-05 16:39:06
237
原创 HDU - 3622 Bomb Game 二分 + 2 - SAT tarjan
题意：有一个有趣的游戏，每一轮给定两个点，只能且必须在一个点上面放置炸弹，炸弹的爆炸范围是任意的，但是任意两个炸弹的爆炸范围不能相交，在n轮游戏过后，得分为最小爆炸范围的半径，求n轮游戏之后的最大可能得分。题目为每次只能在两个里选一个，是2-SAT模型，又所求的为最大化最小值，所以用二分。每次看两点间距离是否大于半径的二倍，是就可以都选，跑2-SAT，如果一组里的值都选了，则说明半径小了，...
2018-08-05 15:36:59
191
原创 HDU - 1824 Let's go home 2 - SAT 问题 tarjan
题意：中文题。把每一队看成是一组，队长为 i << 2, 队员都为 i << 2 | 1, 这样就能转化为2 - SAT问题。2-SAT问题最主要的就是一组里有对立的两个元素，通过他们的belong去判断是否yes。组间元素的关系去连边。链接：hdu - 1824#include <iostream>#include <algorith...
2018-08-05 11:23:05
198
原创 HDU - 3062 Party 2-SAT问题 tarjan 模板
题意：中文题，有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题，简称 k-SAT。 当k>2时，k-SAT是NP完全的。因此一般讨论的是...
2018-08-04 13:06:04
227
原创 POJ - 2942 Knights of the Round Table 二分图染色 点双连通分量 tarjan模板
题意：亚瑟王要在圆桌上召开骑士会议,为了不引发骑士之间的冲突, 并且能够让会议的议题有令人满意的结果,每次开会前都必须对出席会议的骑士有如下要求: 1、 相互憎恨的两个骑士不能坐在直接相邻的2个位置;2、 出席会议的骑士数必须是奇数,这是为了让投票表决议题时都能有结果。注意:1、所给出的憎恨关系一定是双向的,不存在单向憎恨关系。 2、由于是圆桌会议,则每个出席的骑士身边必定...
2018-08-03 18:51:57
215
原创 POJ - 3352 Road Construction、 POJ - 3177 Redundant Paths 边双连通分量 tarjan模板
割点、桥定义设G是一个图，v是G的一个顶点，如果G-v的连通分支数大于G的连通分支数，则称v是G的一个割点。设G是一个图，x是G的一条边，如果G-x的连通分支数大于G的连通分支数，则称x是G的一个桥，或割边。 双联通分量双连通分量又分点双连通分量和边双连通分量两种。若一个无向图中的去掉任意一个节点（一条边）都不会改变此图的连通性，即不存在割点（桥），则称作点（边）双连通图。一个无向图...
2018-08-03 15:45:03
225
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人