拓扑排序的原理及实现

1.AOV-网

 

用顶点表示活动，弧表示活动间的优先关系的有向图称为以顶点表示活动的网，简称AOV-网。在网中，若从顶点vi到顶点vj有一条有向路径，则vi是vj的前驱，vj是vi的后继。

所谓的拓扑排序就是将AOV-网中所有的顶点排成一个线性序列，该序列满足：若在AOV-网中从顶点vi到顶点vj有一条路径，则该线性序列中的顶点vi必定在顶点vj之前。

2.拓扑排序主要思路

1.在有向图中选一个无前驱的顶点并输出它。

2.在图中删除该顶点和所有以它为尾的弧。

3.重复1和2，直到不存在无前驱的点。

4.若此时输出的顶点数小于有向图的顶点数，则说明有向图中存在环，否则输出的顶点序列即一个拓扑排序。

3.代码实现

本程序用邻接表来实现有向图。设置了一个栈来存放无前驱的顶点下标，出栈时输出该下标顶点的值实现主要思路的1；每一次出栈就让一个指针指向该下标顶点的邻接表域，使该邻接表域的所有顶点入度减一，实现主要思路的2；while循环判断栈是否为空（若有向图无环，则存在弧时至少有一个顶点无前驱，该顶点必定要入栈），实现主要思路的3；设置计数器cnt，每一次输出顶点则计数器加一，代表删除的节点，若3结束时cnt和顶点数不相等，则表示有环，实现主要思路的4。

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#define MAXSIZE 30
#define VERTEX_MAX 30 //最大顶点数
#define VEX_NUM 10

typedef int Status;
typedef char Vextype[20];//顶点类型
typedef int Elemtype;

//顺序栈结构
typedef struct SeqStack {
	Elemtype elem[MAXSIZE];
	int top;
}SeqStack;

typedef struct node {
	int adjvex;//邻接点域
	struct node* next;//指向下一节点的指针域
}EdgeNode;

typedef struct vnode {
	int Indegee;//顶点入度域
	Vextype vertex;//顶点信息
	EdgeNode* firstedge;
}VertexNode;

//图的邻接表存储
typedef struct ALGraph {
	VertexNode adjlist[VERTEX_MAX];
	int n, e;//顶点数和边数
}ALGraph;

void CreateALGraph(ALGraph& G) /*创建有向图的邻接表*/
{
	int i, v, w;
	int Indegree[VERTEX_MAX] = { 0 };
	EdgeNode* s;
	scanf("%d,%d", &(G.n), &(G.e)); /*输入顶点数n和弧数m*/
	for (i = 0; i < G.n; i++)
	{
		scanf("%s", G.adjlist[i].vertex);
		G.adjlist[i].firstedge = NULL;
	}//off for
	for (w = 0; w < G.e; w++) /*建立边表*/
	{
		scanf("%d,%d", &i, &v);
		s = (EdgeNode*)malloc(sizeof(EdgeNode));
		s->adjvex = v;
		Indegree[v]++;  /*统计各顶点的入度*/
		s->next = G.adjlist[i].firstedge;    /*前插方法*/
		G.adjlist[i].firstedge = s;
	}//off for
	for (i = 0; i < G.n; i++)
	{
		G.adjlist[i].Indegee = Indegree[i];
	}//off for
}/*CreateALGraph*/

void InitStack(SeqStack& stack)
{
	stack.top = -1;
}//off InitStack

int EmptyStack(SeqStack stack)
{
	if (stack.top == -1)
	{
		return 1;
	}//off if
	return 0;
}//off EmptyStack

Status Push(SeqStack& stack, Elemtype& x)
{
	//栈满，不能入栈
	if (stack.top == MAXSIZE - 1)
	{
		return -1;
	}//off if
	stack.top++;
	stack.elem[stack.top] = x;
	return 1;
}//off Push

Status Pop(SeqStack& stack, Elemtype& y)
{
	//空栈无法出栈
	if (EmptyStack(stack))
	{
		return -1;
	}//off if
	y = stack.elem[stack.top];
	stack.top--;
	return 1;
}//off Pop

void Topsort(ALGraph G)
{
	int v, w;
	int cnt = 0;//计数器
	EdgeNode* ptr;
	SeqStack st;
	InitStack(st);
	//入度为0的节点入栈
	for (int i = 0; i < G.n; i++)
	{
		if (G.adjlist[i].Indegee == 0)
		{
			Push(st, i);
		}//off if
	}//off for
	while (!EmptyStack(st))
	{
		Pop(st, v);//出栈一次，出栈元素放在v中
		printf("%s ", G.adjlist[v].vertex);
		cnt++;
		ptr = G.adjlist[v].firstedge;
		while (ptr != NULL)
		{
			w = ptr->adjvex;
			G.adjlist[w].Indegee--;
			if (G.adjlist[w].Indegee == 0)
			{
				Push(st, w);
			}//off if
			ptr = ptr->next;
		}//off while
	}//off while
	if (cnt < G.n)
	{
		printf("路径存在环\n");
	}//off if
}//off Topsort

int main()
{
	ALGraph G;
	CreateALGraph(G);
	Topsort(G);
	return 0;
}