zoukankan      html  css  js  c++  java
  • tarjan+缩点+强连通定理

    C - Network of Schools
    Time Limit:1000MS     Memory Limit:10000KB     64bit IO Format:%I64d & %I64u

    Description

    A number of schools are connected to a computer network. Agreements have been developed among those schools: each school maintains a list of schools to which it distributes software (the “receiving schools”). Note that if B is in the distribution list of school A, then A does not necessarily appear in the list of school B 
    You are to write a program that computes the minimal number of schools that must receive a copy of the new software in order for the software to reach all schools in the network according to the agreement (Subtask A). As a further task, we want to ensure that by sending the copy of new software to an arbitrary school, this software will reach all schools in the network. To achieve this goal we may have to extend the lists of receivers by new members. Compute the minimal number of extensions that have to be made so that whatever school we send the new software to, it will reach all other schools (Subtask B). One extension means introducing one new member into the list of receivers of one school. 

    Input

    The first line contains an integer N: the number of schools in the network (2 <= N <= 100). The schools are identified by the first N positive integers. Each of the next N lines describes a list of receivers. The line i+1 contains the identifiers of the receivers of school i. Each list ends with a 0. An empty list contains a 0 alone in the line.

    Output

    Your program should write two lines to the standard output. The first line should contain one positive integer: the solution of subtask A. The second line should contain the solution of subtask B.

    Sample Input

    5
    2 4 3 0
    4 5 0
    0
    0
    1 0
    

    Sample Output

    1
    

    2

    这个题最大的难点在于任务二。任务二的意思就是加入最少的边使一个有向图变成强连通图,有一个定理是max(n,m)当中n是出度为0的点的个数,m是入度为0的点的个数,当然,假设这个图是强连通图的话。就须要讨论了,这时答案就是0了。将第二个问题解决掉。这个题就是一个模板题了,可是我如今仍没有证明这个命题的正确性!有大神说显然。我认为应该能够证出来。希望看到这个博客的大神能够帮帮忙。谢谢。

    #include<stdio.h>
    #include<stack>
    #include<string.h>
    #include<algorithm>
    using namespace std;
    int dfn[120];
    int belong[120],bnt,instack[120];
    int index,out[120],in[120],low[120];
    int map[120][120];
    stack<int>S;
    void tarjan(int i){
    	dfn[i] = low[i] = ++index;
    	S.push(i);
    	instack[i] = 1;
    	for(int j = 1;j<=map[i][0];j++){
    		int k = map[i][j];
    		if(!dfn[k]){
    			tarjan(k);
    			low[i] = min(low[i],low[k]);
    		}
    		else if(instack[k])
    		low[i] = min(low[i],dfn[k]);
    	} 
    	if(low[i] == dfn[i]){
    		bnt++;
    		int j;
    		do{
    			j = S.top();
    			S.pop();
    			instack[j] = 0;
    			belong[j] = bnt;
    		}while(i!=j);
    	}
    }
    int main(){
    	int n,m,ans,ans1;
    	while(~scanf("%d",&n)){
    		memset(dfn,0,sizeof(dfn));
    		memset(low,0,sizeof(low));
    		memset(instack,0,sizeof(instack));
    		memset(out,0,sizeof(out));
    		memset(in,0,sizeof(in));
    		memset(map,0,sizeof(map));
    		bnt = index = 0;
    		ans = ans1 = 0;
    		for(int i=1;i<=n;i++){
    			while(scanf("%d",&m),m)
    			if(m)map[i][++map[i][0]] = m;
    		}
    		for(int i=1;i<=n;i++)
    		if(!dfn[i])tarjan(i);
    		for(int i=1;i<=n;i++){
    			for(int j = 1;j<=map[i][0];j++){
    				if(belong[i]!=belong[map[i][j]]){
    				out[belong[i]]++;
    				in[belong[map[i][j]]]++;
    				}
    			}
    		}
    		for(int i=1;i<=bnt;i++){
    			if(out[i]==0)ans++;
    			if(in[i]==0)ans1++;
    		}
    		printf("%d
    ",ans1);
    		if(bnt ==1)printf("0
    ");
    		else printf("%d
    ",max(ans1,ans));
    	}
    } 


  • 相关阅读:
    Python实现定时监测屏幕
    近期仿真遇到的问题汇总
    Python爬虫
    好用的浏览器插件
    视频剪辑软件
    MATLAB
    常用电脑辅助快捷键
    绘制PCB软件
    ANSYS19.0安装教程and遇到的各种问题以及目前知道的解决方式
    pyton脚本快速运行
  • 原文地址:https://www.cnblogs.com/brucemengbm/p/6727212.html
Copyright © 2011-2022 走看看