hypothesis

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

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

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

### 题意简述 给你一张 $n$ 个点 $m$ 条边的有向图，你需要找出有多少个点对 $(u, v), 1 \le u \le v \le n$，满足存在一条从 $u$ 到 $v$ 的长度为 $k$ 的途径，和一条从 $v$ 到 $u$ 的长度为 $k$ 的途径。 $1 \le n \le 10^ ......

实现hypothesis在网页标注后同步到本地obsidian 遇到的question 2023.3.21日 在更改了自己的模板之后，可以能按照Todo的方式展现所有的标记，但是发现在同一个网页上增加了新的标注后，不能够直接将网页标注下拉到自己的obsidian中，所以去解决这个问题 answer ......