不能仅靠一次DFS/BFS判断是否存在至少两条路径，需通过禁用首条路径的边或顶点后重搜，或用最大流（无向边拆为双向容量1边）判定边不相交路径数≥2；点不相交路径则可用Tarjan求点双连通分量判断。
用DFS或BFS判断是否存在至少两条路径
直接结论：不能只靠一次DFS/BFS判断“是否存在多条路径”，必须检测是否存在至少一条**不重复使用边**（或不重复使用顶点，依题意而定）的额外路径。常见错误是误以为“首次到达目标后继续搜索到目标”就代表有多条路径——这忽略了路径是否真正独立。
关键在于：你需要在找到第一条路径后，**临时禁用该路径上的某条边（或某个顶点）**，再运行一次搜索；若仍能到达，则存在至少两条边不相交（或点不相交）路径。
- 若题目要求“边不相交路径”：删掉第一条路径中任意一条边（比如最后一条），再跑一次
BFS或DFS - 若要求“点不相交路径”（除起点终点外无公共顶点）：删掉第一条路径中一个中间顶点，再搜索
- 更稳妥的做法是枚举第一条路径上每条边（或每个中间点），逐一屏蔽后重搜；但时间成本高，适用于小图
用最大流建模判断边不相交路径数 ≥ 2
当图是**有向图**或可定向的无向图，且需要严格判定“是否存在两条边不相交路径”，标准解法是转为最大流问题：把每条无向边拆成两条反向有向边，容量均为1；所有顶点容量不限（或设为无穷）；源点为起点 s，汇点为终点 t；然后跑 Dinic 或 Edmonds-Karp。
若最大流 ≥ 2，则存在至少两条边不相交路径；若为1，则只有一条；若为0，则不可达。
立即学习“C++免费学习笔记（深入）”；
- 注意：无向图建模时，
u ↔ v要添加u→v和v→u两条容量为1的边 - 若原图含重边，每条边单独建模（每条容量1），这样才准确计数
-
Dinic在稀疏图上通常比Edmonds-Karp快得多，推荐优先用
用Tarjan缩点或双连通分量判断点双路径存在性
如果问题是：“对任意两个顶点 u、v，是否存在两条点不相交路径？”——这等价于问它们是否属于同一个**点双连通分量（BCC）**。点双连通图中，任意两点间都存在至少两条点不相交路径（除端点外无公共顶点）。
因此，预处理整个图的点双连通分量（用 Tarjan 算法），然后对每对查询 (u, v)，检查它们是否在同一个BCC中即可。
- 注意：单个桥边不属于任何点双，它的两个端点各自在不同BCC中
- 实现时，
Tarjan的low和dfn数组要小心维护；割点可能属于多个BCC，需用栈正确弹出 - 该方法适合多次查询，单次查询反而不如删点重搜来得直接
容易忽略的边界与陷阱
很多人卡在看似简单的情况：比如图中有环，但环不在 s 到 t 的路径上；或者 s == t；或者图不连通但误判为“多路径”。这些必须显式处理。
-
s == t时：按定义，0长度路径算1条；若允许空路径+环路，则可能有无限多条——需明确题目是否允许自环或零长路径 - 图含自环或重边：自环对点不相交路径无贡献；重边天然提供多条边不相交路径（只要≥2条
u→v边，就满足条件） - 使用DFS递归时未限制深度或未剪枝，可能因环导致栈溢出或超时；建议用迭代DFS或BFS，并记录已访问状态（如
visited[node]或visited_edge[id]） - 用邻接矩阵存图时，判断重边需额外计数；邻接表更自然支持边ID管理
实际编码前，先确认题目约束：路径是否允许重复顶点？是否允许重复边？是否要求简单路径？这些决定你该用BCC、最大流，还是带状态压缩的DFS。漏掉这个前提，后面全错。
