rt。

在一个仙人掌上以一点 $rt$ 开始运行 Tarjan 算法（定义）。当运行到边 $(u,v)$ 时，已知 $v$ 不是 $u$ 在搜索树上的父节点。

猜想：$dfn_v<dfn_u$ 是 $low_v<dfn_u$ 的充分必要条件。

不知道这个猜想有没有问题，请各位大佬发表一下看法。