rb-tree

考虑以下的经典模型：

给定一张 $n$ 个点、$m$ 条边的有向连通图，边权都为 $1$，求 $a,b$ 两点之间距离为 $t$ 的路径条数（不可在某一点逗留，$n\le25,m\le500,t\le10^9$）。

分析

一道 2-SAT 模板题，但是很不明白为什么其他题解没有点明 2-SAT。

分享一种时间复杂度 $O\left(N\log N\right)$（不是其他题解的 $O\left(N\log ans\right)$）的做法，理论上可以跑过 $N=5\times 10^6$ 甚至更大的数据。

伊娜可爱