摘要：
发现如果$B_i$和$G_j$配对，那么$B_j$又要找一个$G_k$配对，$B_k$又要找一个$G_l$配对，一直到某一个$B_x$和$G_i$配对上为止，才是不稳定的。 暴力是二分图匹配、匈牙利算法（据说可过）。仔细观察，将配对关系和潜在关系全连边，不稳定的结果则是一个环。 但是不能直接就这样找 阅读全文
摘要：
给你一个连通图，你可以任意加一条边，最小化桥的数目。 添加一条边，发现在边双内是不会减少桥的。只有在边双与边双之间加边才有效。于是，跑一遍边双并缩点，然后就变成一棵树，这样要加一条非树边，路径上的点（边双）就都变成一个大边双了，所以问题转化为求树上最长路径，跑直径即可。 1 #include<ios 阅读全文
摘要：
看到删去一个点，需要剩下的都和关键点连通，有端联想到找点双，因为他怎么删点都是连通的。 对于一个孤立的点双，至少要设两个关键点。 如果两个点双以一个割点连接，假设断掉这个割点，两个块至少要各设一个关键点。类推，所以对于所有含有一个割点的点双，至少要包含非割点的一个关键点。 如果一个点双上有好多个割点 阅读全文
摘要：
首先看得出缩点的套路。跑出DAG之后，考虑怎么用逆行条件。首先可以不用，这样只能待原地不动。用的话，考虑在DAG上向后走，必须得逆行到1号点缩点后所在点的前面，才能再走回去。 于是统计从1号点缩点所在点到所有走到的点的最长距离，以及所有可以走到1号的点到1号的最长距离。然后，看在哪里逆行，可以暴力枚 阅读全文