SCC重新建图_scc元图-CSDN博客

本文链接：https://blog.csdn.net/qing101/article/details/38901687

Tarjan或Kosaraju算法【对每个点归类belong】求出SCC之后，对num_scc个SCC重新建图，针对不同问题，考虑重边的问题。

//**************************************重构图****************************************//
void init_rebuild(void)
{
	rebuild_ALG->n=num_scc;
	for(int i=1;i<=num_scc;i++)
	{
		rebuild_ALG->vlist[i].vertex=i;
		rebuild_ALG->vlist[i].firstedge=NULL;

		in_d[i]=0;
		out_d[i]=0;
	}
}

void add_edge_To_ALG(int par,int son)
{
	ENode *ptr=(ENode *)malloc(sizeof(ENode));

	ptr->key=son;
	ptr->next=rebuild_ALG->vlist[par].firstedge;
	rebuild_ALG->vlist[par].firstedge=ptr;
}

void rebuild_ALGraph(void)
{
	int par,son;
	int in_par_scc;  //判断是否已在par的scc中
	ENode *ptr=(ENode *)malloc(sizeof(ENode));
	ENode *ep=(ENode *)malloc(sizeof(ENode));

	for(int i=0;i<ALG->n;i++)
	{
		par=i;
		in_par_scc=0;
		ptr=ALG->vlist[par].firstedge;
		while(ptr!=NULL)
		{
			son=ptr->key;
			if(belong[par] != belong[son])
			{
				ep=rebuild_ALG->vlist[belong[par]].firstedge;//考虑重边问题
				while(ep!=NULL)
				{
					if(ep->key == belong[son])
					{
						in_par_scc=1;
						break;
					}
					ep=ep->next;
				}
				if(!in_par_scc)
				{
				    add_edge_To_ALG(belong[par],belong[son]);
					in_d[belong[son]]++;
					out_d[belong[par]]++;
				}
			}
			ptr=ptr->next;
		}
	}
}
//***************************************************************************//