CF1364D Ehab‘s Last Corollary

CF1364D Ehab’s Last Corollary

题意：

给定一张n个点，m条边的图和一个正整数k

在这张图中找到其中一项：

1.一个大小小于k的简单回路

2.一个恰好为k/2(向上取整)的独立点集(任意两点之间无边相连)

题解：

首先分类讨论：

如果是树，只需要分奇偶深度得到两个点集，输出更大的那个便满足条件2

如果是图，考虑一个简单回路，如果它的经过点的个数<=k，则满足条件1；如果它经过的点数>k，则可以通过“隔一个取一个”的方法，找到k/2的独立点集，满足条件2。

那么只要找到一条简单回路，就一定能满足至少一个条件。

这里考虑找一条简单回路的一种比较简单的方法：找图的最小环

找最小环具体的实现可以用dfs，此处不再赘述