首页 > 其他分享 >修路方案 118 (prim判断最小生成树的不唯一性)

修路方案 118 (prim判断最小生成树的不唯一性)

时间:2023-04-20 12:10:29浏览次数:40  
标签:map 唯一性 prim int MST next vis MAXN 118


修路方案


3000 ms  |           内存限制: 65535

5



南将军率领着许多部队,它们分别驻扎在N个不同的城市里,这些城市分别编号1~N,由于交通不太便利,南将军准备修路。

现在已经知道哪些城市之间可以修路,如果修路,花费是多少。

现在,军师小工已经找到了一种修路的方案,能够使各个城市都联通起来,而且花费最少。

但是,南将军说,这个修路方案所拼成的图案很不吉利,想让小工计算一下是否存在另外一种方案花费和刚才的方案一样,现在你来帮小工写一个程序算一下吧。



第一行输入一个整数T(1<T<20),表示测试数据的组数

每组测试数据的第一行是两个整数V,E,(3<V<500,10<E<200000)分别表示城市的个数和城市之间路的条数。数据保证所有的城市都有路相连。


随后的E行,每行有三个数字A B L,表示A号城市与B号城市之间修路花费为L。

输出 对于每组测试数据输出Yes或No(如果存在两种以上的最小花费方案则输出Yes,如果最小花费的方案只有一种,则输出No) 样例输入

2
3 3
1 2 1
2 3 2
3 1 3
4 4
1 2 2
2 3 2
3 4 2
4 1 2


样例输出

No Yes



//这个代码一直WA,但我一直找不出来



#include<stdio.h>
#include<string.h>
#include<algorithm>
#define MIN(a,b) a>b?b:a 
#define INF 0x3f3f3f3f
#define MAX(a,b) a>b?a:b
using namespace std;
int n,m;
int dis[600],vis[600],map[600][600];
void prim(int x)
{
	memset(vis,0,sizeof(vis));
	int i,j,k,min,sum=0,cnt;
	for(i=1;i<=n;i++)
	{
		dis[i]=map[1][i];
	}
	dis[x]=0;
	vis[x]=1;
	for(j=1;j<n;j++)
	{
		k=1;min=INF;cnt=0;
		for(i=1;i<=n;i++)
		{
			if(!vis[i]&&dis[i]<min)
			{
				min=dis[i];
				k=i;
			}
		}
		for(i=1;i<=n;i++)
		{
			if(vis[i]&&map[k][i]==min)
				cnt++;
		}
		if(cnt>2)
		{
			printf("Yes\n");
			return ;
		}	
		sum+=min;
		vis[k]=1;
		for(i=1;i<=n;i++)
		{
			if(!vis[i]&&dis[i]>=map[k][i])
				dis[i]=map[k][i];
		}
	}
	printf("No\n");
} 
int main()
{
	int t;
	scanf("%d",&t);
	while(t--)
	{
		int i,j;
		int a,b,c;		
		scanf("%d%d",&n,&m);
		memset(map,INF,sizeof(map));
		while(m--)
		{
			scanf("%d%d%d",&a,&b,&c);
			if(map[a][b]>c)
				map[a][b]=map[b][a]=c;
		}
		prim(1);
	}
	return 0;
}



//参考别人的代码,要用到次小生成树(还没看到过)


#include <iostream>
#include <stdio.h>
#include <string.h>
using namespace std;
#define maxN 510
#define MAX 0x0fffffff
#define MIN -0x0fffffff
int N,M,map[maxN][maxN],dis[maxN],maxlen[maxN][maxN],pre[maxN];
bool vis[maxN];
int prim()
{
    int i,j,k,minn,pr;
    memset(vis,false,sizeof(vis));
    for(i=1; i<=N; i++) 
	{
        dis[i]=map[1][i];
        pre[i]=1;
    }
    vis[1]=true;
    for(j=1; j<N; j++) 
	{
        minn = MAX;
        for(i=1; i <= N; i++)
        {
            if(!vis[i] && dis[i]<minn) 
			{
                minn=dis[k=i];
            }
        }
    	pr = pre[k];
       	maxlen[k][pr] = maxlen[pr][k] = map[k][pr];
	    for(i = 1; i <= N; i++)
    	    if(vis[i])
                maxlen[i][k]=maxlen[k][i]=max(maxlen[i][pr],maxlen[pr][k]);
       	vis[k]=true;
	    for(i=1; i<=N; i++)
	    {
            if(!vis[i]&&dis[i]>map[k][i]) 
			{
            	dis[i]=map[i][k];
               	pre[i]=k;
           	}
        }
    }
    for(i=1; i < N; i++)
    {
        for(j = i+1; j <= N; j++)
        {
            if(pre[i] == j|| pre[j] == i) 
				continue;
            else if(maxlen[i][j] == map[i][j]) 
				return 1;
		}
	}
    return 0;
}
int main() 
{
    int T;
    scanf("%d",&T);
    while(T--) 
	{
        int u,v,w;
        scanf("%d%d",&N,&M);
        for(int i = 0; i <= N; i++)
        {
            for(int j=0; j <= N; j++) 
			{
                map[i][j] = MAX;
                maxlen[i][j] = MIN;
            }
        }
        for(int i = 0; i < M; i++) 
		{
            scanf("%d%d%d",&u,&v,&w);
            map[u][v]=map[v][u]=w;
        }
        if(prim())
			printf("Yes\n");
        else 
			printf("No\n");
    }
    return 0;
}

 

//看到大神的对次小生成树的讲解,感觉很好,贴上代码,及思路。。。



算法核心思想:在prime求MST的过程中 用数组存储MST里面任意两点间的唯一的路中 权值最大的那条边的权值。最后枚举不在MST里面的边<i,,j>,判断<i,j>的权值 是否 和 MST里面 i 到 j 的最大权值相等,只要有一条边满足就可以说明MST不唯一。(因为我们可以用这条不在MST的边来 代替 在MST的边,这样MST肯定不唯一)



数组使用

prime 模版用到三个数组 low[] vis[] Map[][],不再详细解释。

MST[ i ][ j ] :  存储MST中i 到 j 的唯一的路中 权值最大的那条边的权值。

InMST[ i ][ j ] :  判断<i,j>这条边是否在MST中.

pre[ i ] :  记录 i 点的前驱  fa ,low[ i ] = Map[ fa ][ i ]。


对于选入MST的点next

MST更新:MST[ next ][ j ] = max(MST[ pre[ next ] ][ j ], low[ next ])。( j 属于MST里面的点)


 

#include <cstdio>
#include <cstring>
#include <algorithm>
#define MAXN 500+10
#define INF 100000000
using namespace std;
int Map[MAXN][MAXN];
bool vis[MAXN];
int low[MAXN];//上面三个数组 求MST 专用
int MST[MAXN][MAXN];//MST中 i 和 j的最大边权
int pre[MAXN];//记录前驱
bool InMST[MAXN][MAXN];//标记该边是否在MST中
int N, M;
void init()
{
    for(int i = 1; i <= N; i++)
    {
        Map[i][i] = 0;
        for(int j = 1; j < i; j++)
            Map[i][j] = Map[j][i] = INF;
    }
}
void getMap()
{
    int a, b, c;
    for(int i = 1; i <= M; i++)
    {
        scanf("%d%d%d", &a, &b, &c);
        if(Map[a][b] > c)
            Map[a][b] = Map[b][a] = c;
    }
}
void solve()
{
    //prime求MST
    int mincost = 0;//最小代价
    int next, Min;
    memset(InMST, false, sizeof(InMST));
    memset(MST, 0, sizeof(MST));
    for(int i = 1; i <= N; i++)
    {
        low[i] = Map[1][i];
        vis[i] = false;
        pre[i] = 1;//每个点前驱
    }
    vis[1] = true;
    for(int i = 2; i <= N; i++)
    {
        Min = INF; next = -1;
        for(int j = 1; j <= N; j++)
        {
            if(!vis[j] && Min > low[j])
            {
                next = j;
                Min = low[j];
            }
        }
        mincost += Min;
        vis[next] = true;
        int fa = pre[next];//当前找到点的 前驱
        InMST[next][fa] = InMST[fa][next] = true;//在MST中
        for(int j = 1; j <= N; j++)
        {
            if(vis[j] && j != next)//MST中的点
                MST[j][next] = MST[next][j] = max(MST[fa][j], low[next]);
            if(!vis[j] && low[j] > Map[next][j])//更新low
            {
                low[j] = Map[next][j];
                pre[j] = next;//更新前驱
            }
        }
    }
    //判断MST是否唯一
    for(int i = 1; i <= N; i++)
    {
        for(int j = 1; j < i; j++)
        {
            if(Map[i][j] != INF && !InMST[i][j])//有边 且不在MST中
            {
                if(Map[i][j] == MST[i][j])
                {
                    printf("Yes\n");
                    return ;
                }
            }
        }
    }
    printf("No\n");
}
int main()
{
	int t;
	scanf("%d",&t);
	while(t--)
	{
		scanf("%d%d", &N, &M);
    	{
        	init();
	        getMap();
    	    solve();
    	}
	}   
    return 0;
}

 



标签:map,唯一性,prim,int,MST,next,vis,MAXN,118
From: https://blog.51cto.com/u_16079508/6209369

相关文章

  • c++primer 16模板(参考B站阿西拜编程视频)
              以上还是要写一个函数,我们可以采用c++17的新语法:按条件编译,以此来作为条件:    若将特例化函数模板放在函数调用之前的话:调用compare(p1,p2)将有两个版本适合,采用特例化版本;调用compare("hi","mom")也将有两......
  • Atcoder Regular Contest 118 E - Avoid Permutations(容斥+DP)
    挺套路的DP。第一步是显然的:转换贡献体,DP一条从\((0,0)\)到\((n+1,n+1)\)的路径,然后计算有多少个排列满足这条路径不经过任何一个\((i,p_i)\)。正着统计肯定不好求,考虑容斥。即我们钦定一些路径上的点,满足这些点必须对应某个\((i,p_i)\),然后计算有多少个\(p\)符合这个......
  • UESTC Final Pan's prime numbers 1272 (坑)
    FinalPan'sprimenumbersTimeLimit:3000/1000MS(Java/Others)   MemoryLimit:65535/65535KB(Java/Others)Submit StatusFinalPanlikesprimenumbersverymuch.Oneday,hewanttofindthesuperprimenumbers.Aprimenumbers n(n>4)......
  • UVA11806 Cheerleaders
    你有一个n×m的网格图,现在你要将K个人放在网格中,满足一下条件:网格图的四个边都至少有一个人。每个格子上不能有两个人。每个人必须都有位置。注意:四个角的人可以同时算作在两个边上  容斥原理   J=0时就是allAnswer#include<iostream>#include<cstri......
  • Hackers' Crackdown UVA11825
    你需要将n个集合分成尽量多组,使得每一组里面所有集合的并集等于全集  32122022014111013120   f[S]=max(f[S],f[S-j]+1)且j是一个包含所有点的集合#include<iostream>#include<algorithm>#include<cstring>usingname......
  • C++ Primer Plus——第四章 复合类型
    C++PrimerPlus——第四章复合类型复合类型数组字符串结构共用体枚举拼接字符串常量C++允许拼接字符串字面值,即将两个用引号括起来的字符串合并成一个,事实上任何两个由空白(空格、制表符和换行符)分隔的字符串常量都将自动拼接成一个。另外第一个字符串末......
  • Again Prime? No Time. UVA - 10780
    给定m,n,求最大的k使得m^k∣n! 分解质因数   #include<iostream>#include<cstring>#include<sstream>usingnamespacestd;constintN=1e4+20;constintinf=1e9;intn,m,a[N],b[N];intprime[N],tot,vis[N];voidinit(inttop){ for(......
  • C Primer Plus
    CPrimerPlusC语言概述示例代码:#include<stdio.h>//预处理器指令--->提供标准的输入/输出函数,并非每个程序都会用到io/*告诉编译器把stdio.h文件的内容包含在当前程序中,stdio.h是c编译器软件包的标准部分,提供键盘输入和屏幕输出*//*这是定义了......
  • 星起航跨境:卖家在2023年prime活动期间,需要注意的事项
    近日,亚马逊发布公告“是时候为2023年Prime会员日做准备了”,尽管亚马逊还未确定具体的活动日期,但大部分的跨境卖家已经开始为活动做准备了。值得跨境卖家注意的是,亚马逊在去年10月份举办了有史以来第一次Prime抢先体验特卖。卖家在亚马逊会员日的注意事项1、在公告中,亚马逊鼓励卖家......
  • c++primer15面向对象程序设计
    除了“构造函数”和“析构函数”,父类的所有成员函数,以及数据成员,都会被子类继承!:补充赋值运算符继承问题(链接) 成员函数如果没被声明为虚函数,其解析过程发生在编译时而非运行时。       派生类引用或者指针向基类引用或者指针自动类型转换:参考能够在一个赋值......