1835D

题目链接 点击打开链接 题目解法 首先只有在一个强联通分量里的点对才可能合法，因此我们这里说的图默认为强联通图 但是上面的条件成立只需要满足 \(k\ge n\)，考虑用好 \(k\) 可以认为是极大的性质 所以说我们可以通过图中所有的环 \(+\) 路径来凑出 \(k\) 不难发现，所有的环能构成 ......

D - Doctor's Brown Hypothesis 首先，一对合法的\((x,y)\)一定是在同一个\(scc\)中的，所以我们将每个\(scc\)分开处理 若我们当前在处理某一个\(scc\)，考虑给这个\(scc\)建一棵\(dfn\)树，设当前\(scc\)中的所有的环长度的\(gcd ......

[原题](https://codeforces.com/contest/1835/problem/D) [翻译](https://www.luogu.com.cn/problem/CF1835D) 好题！图论用数论的解法真的很巧妙 首先注意读题，要**恰好等于$k$**，~~因为我看错了~~ 这题有 ......

由于 $k$ 够大，你可以随便在图上走环，不用担心不用走，那么你所担心的只有环长的 $\rm gcd$。 将所有强连通分量先求出，满足条件的点对必然在一个强连通分量里。我们以随便一个点为根，跑出强连通分量中的一棵dfs树，我们断言，如果 $dep_x-dep_y \equiv dep_y-dep_x ......

两道题似乎都涉及了一个经典模型： > 在一张有向图上，给定起点 $s$ 和终点 $t$，询问 $s$ 到 $t$ 与 $t$ 到 $s$ 是否均存在一条长度 $=L$ 的路径（$L$ 是一个 $\ge n^3$ 的数）。 首先 $s$ 与 $t$ 必须在同一个 SCC 内（考场上没看到互相可达直接以 ......