拓扑排序判断有向图是否有回路

#include<iostream>
#include<string>
#include<queue>
using namespace std;
const int max_size = 101;
typedef struct arcNode{
    int node;
    arcNode *next;
}arcNode;
typedef struct headNode{
    int node;
    arcNode *firstArc;
}adjList[max_size];
typedef struct cmap{
    adjList map;
    int nodeNum, arcNum;
}cmap;
int inDegree[max_size];

int findNode(cmap c, int id){
    for(int i=1;i<=c.nodeNum;i++){
        if(c.map[i].node==id){
            return i;
        } 
    }
    return 0;
}
void createMap(cmap &c){
    //input nodeNum and arcNum
    cin>>c.nodeNum>>c.arcNum;
    
    //init headNode
    for(int i=1;i<=c.nodeNum;i++){
        c.map[i].node=i;
        c.map[i].firstArc=NULL;
    }
    
    //add arc
    int from, to;
    for(int i=1;i<=c.arcNum;i++){
        cin>>from>>to;

        arcNode *arc=new arcNode;
        arc->node=to;
        arc->next=c.map[from].firstArc;
        c.map[from].firstArc=arc;
    }
}
void getInDegree(cmap c){
    for(int i=1;i<=c.nodeNum;i++){
        inDegree[i]=0;
    }
    for(int i=1;i<=c.nodeNum;i++){
        arcNode *p=c.map[i].firstArc;
        while(p){
            inDegree[p->node]++;
            p=p->next; 
        }
    }

}
void topoSort(cmap c){
    queue<int> q;
    for(int i=0;i<max_size;i++) inDegree[i]=0;
    int count = 0;
    
    getInDegree(c);
    for(int i=1;i<=c.nodeNum;i++){
        if(inDegree[i]==0) q.push(i);
    }
    /*
        if all nodes' indegree doesn't equal to 0,
        then this map must be not a DAG.
    */ 
    while(!q.empty()){
        int v=q.front();
        q.pop();
        ++count;
        arcNode *p=c.map[v].firstArc;
        while(p){
            if(!(--inDegree[p->node])){
                q.push(p->node);
            }
            p=p->next;
        }
    }
    /*
        firstly, select a node whose indegree is zero.
        secondly, delete the node and clear all the arcs that point at the nodeas end.
        repete the above two steps util the map is NULL @1
            or the map isn't null, but the rest of nodes in map has more than 1 indegree. @2
        for situation @1, the map is a DAG.
        for situation @2, the map is not a DAG.
    */
    /*
        事实上，如果一个有向图不是一个DAG，那么图中所有的点我们可以把它们划分为
        两类：环路点和非环路点。非环路点上有弧连接的两点pa->pb构成一个偏序关系，pa为
        先决条件，pa可以删除从pa出发的所有弧。删除过程中如果pa指向的pb顶点入度为0
        ,那么就将该pb顶点加入队列(因为是删除了弧以后入度才为0，所以该顶点并没有之
        前的队列出现过).然后程序从pb顶点重复上述过程，直至栈空。
        
        最后，如果该有向图不是DAG，那么环路中的所有点都无法构成偏序关系，所以无法进行
        删除边的动作，所以该图最后剩下一个连通分量。
        反之，如果该无向图是DAG，图中所有点对只好构成一组偏序关系，则都可进行删除边动作，
        所以图最后被清空。 
    */
    if(count<c.nodeNum){
        cout<<"该有向图有回路"<<endl;
    } 
}
int main(){
    
    cmap c;
    createMap(c);
    topoSort(c);
cout<<endl;
}