P8095 [USACO22JAN] Cereal 2 S 图论建模题

其实这个题和 puck 给我们的题有点不一样。

首先考虑到对于每头奶牛的两个麦片连边。

然后对于一个连通块，如果是树的话从上到下 DFS 序取肯定是可以 \(n - 1\) 个全部取完的。

如果不是树，那么其实我们还可以选择一条返祖边，从第一的那个点开始跑树的做法，就可以多取一个。

这个做法的依据是，如果是从第一的那个点开始跑，在树中除了根节点没有任何节点被选过（不会造成干扰），所以此时所有点恰好选择一次即可。

容易证明达到上界。