强连通分量
__Galaxy
,,,,,,,,
展开
-
UVA-Proving Equivalences La 4287
题目很好懂, 讲下思路; 把每个命题看成节点, 推导视为有向边, 得到一个有向图G, 那么题意就是如何添加边, 使G强连通(每个点都能互相到达), 把G中的强连通分量找出后, 缩成一个点使G变成一个DAG, 接下来设这个DAG上有a个节点出度使0, b个节点入度为0, max(a, b) 这就没什么好证明的了, 很显然是这样的。。。 code #include #include #in原创 2016-07-30 18:33:29 · 228 阅读 · 0 评论 -
UVA-The Largest Clique 11324
最大团, problem:给一个有向图G, 求一个节点数最大的点集, 使得该点集中的任意两个节点至少要有一条路径 -> 那么可知, G中的SCC要么都选, 要么都不选(不选是因为这是有向图选了之后的无法纳入范围), 那么问题就简单了 将每个SCC缩成一个点, 变成在DAG上DP -> code: #include #include #include #include usin原创 2016-07-30 18:45:39 · 255 阅读 · 0 评论