图论
关注
分享
扫一扫
文章平均质量分 79
Jvv
这个作者很懒，什么都没留下…
展开
-
LA 4287 Proving Equivalences （强连通）
#include#include#include#include#include#include#include#include#include#include#includeusing namespace std;#define inf 0x3f3f3f3f#define eps 1e-9#define mod 100000原创 2015-01-22 11:00:15 · 334 阅读 · 0 评论 -
Codeforces Round #348 (VK Cup 2016 Round 2) E F （2-sat. 待补）
E Little Artem and 2-SAT题意给两个包含n个变量形式如下的2-sat f和g求一种取值使两个2-sat的结果不同法一：2-sat建图缩点，若两个都无解或只有一个有解就很好办，讨论两个都有解的情况，枚举f中的变量x，若x和！x在一条路径上（如：x -> ... -> !x) 而在g中不是，则可取x=1（或！x = 1），导致f无解，而g不影响。若不存在原创 2016-05-13 15:26:04 · 735 阅读 · 0 评论 -
Codecraft-17 and Codeforces Round #391 F - Team Rocket Rises Again （支配树）
题意：给一个带权无向图和源点s，问删掉一个点，最多能使多少个点的最短路变大（从s出发）#include #include #include #include #include #include #include #include using namespace std;#define N (200050)#define M (1000010)#define inf 0原创 2017-01-21 11:51:29 · 357 阅读 · 0 评论