必须用vector indegree(n, 0)初始化入度数组，因为Kahn算法严格依赖每个节点入度是否为0来决定入队合法性；未初始化的值是随机垃圾值，会导致误判起点或漏掉孤立点，进而使拓扑序列长度小于n而误判为环。
为什么必须用 vector<int></int> 初始化入度数组
因为 Kahn 算法依赖每个节点的入度值是否为 0 来决定能否入队，未初始化的 indegree[i] 是垃圾值，可能被误判为 0（导致非法起点）或非 0（漏掉孤立点）。实操要点：
- 声明时必须写
vector<int> indegree(n, 0)</int>，不能只写vector<int> indegree(n)</int>—— 后者不保证初始化为 0 - 若用裸数组
int indegree[1000]，必须配memset(indegree, 0, sizeof(indegree)) - 节点编号若为 1-based（如输入边是
1 2），读入后立刻转成u-1,v-1，否则下标越界或访问未初始化内存 - 孤立节点（无边连接）也占一个编号，
indegree[i] == 0成立，必须进队；漏掉它，最终topo.size()一定小于n
graph[u].push_back(v) 和 indegree[v]++ 必须严格配对
邻接表存的是出边，入度更新必须作用在目标节点上。方向反了、边读错、或更新对象错，整个算法就失效。常见错误现象：
- 把边
u → v错当成v → u，导致graph[v].push_back(u)+indegree[u]++—— 入度全加到前驱上 - 建图时只处理了出现过的节点，但没遍历全部
[0, n)范围检查indegree[i] == 0，漏掉编号存在但没在边里出现的点 - 图含重边（两条
u → v），indegree[v]被加两次，但 BFS 中只减一次，indegree[v]卡在 1，永远不入队 —— 需建图时用set去重，或确认题目无重边
BFS 循环中必须用 --indegree[v] == 0 判断入队
不是先减再查，也不是减完等下一轮再看。Kahn 的“逐层剥离”语义靠的就是这次减操作是否恰好让它归零。延迟判断会导致节点滞留、队列提前空、结果不全。
- 正确写法：
if (--indegree[v] == 0) q.push(v);—— 减和判是原子动作 - 错误写法：
indegree[v]--; if (indegree[v] == 0) q.push(v);—— 多一次内存访问，且调试时易删掉判断分支 - 绝不能省略判断直接
q.push(v)：同一节点可能被多个前驱指向，重复入队会破坏顺序，甚至死循环（尤其没用visited控制时） - 不要加额外条件如
&& !visited[v]：入度归零本身就是唯一合法入队依据，加了反而掩盖逻辑漏洞
怎么可靠检测图中存在环
拓扑序长度小于节点总数，就说明有环。不能只靠队列空了就结束，也不能依赖某次 indegree[v]-- 后是否等于 0 来判断——因为环内节点的入度永远无法减到 0。实操要点：
立即学习“C++免费学习笔记（深入）”；
- 用一个
count变量记录已加入拓扑序的节点数，每次从队列pop一个就++count - BFS 结束后检查
count != n，若成立则存在环，返回空vector或报错 - 不要用
visited[]数组替代入度数组来判环——它无法反映依赖关系断裂状态 - 真正容易被忽略的是：这个判断必须放在 BFS 完全结束后做，而不是在队列变空时立刻中断；哪怕队列早空，只要
count ，就是环
