wing_heart(:

摘要： 题目要求判断是否存在一种无向图定向方案，使得 $q$ 个点对 $(s_i,t_i)$ 都能互相到达。解法首先通过边双缩点将图转化为树结构，因为边双内部总能定向成强连通分量。对于不在同一边双的点对，使用树上差分标记路径方向，最后检查是否存在冲突。时间复杂度为 $O(n \log n)$ ，主要来自求 LCA 操作。核心思路是利用边双性质简化问题，再通过树上差分验证方向约束的可行性。 阅读全文