3169Layout——poj

最新推荐文章于 2020-10-14 09:44:57 发布

原创最新推荐文章于 2020-10-14 09:44:57 发布 · 433 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#差分约束

差分约束专栏收录该内容

2 篇文章

订阅专栏

本文介绍了一种使用差分约束系统解决特定类型不等式的算法。通过构建图模型，并运用广度优先搜索来判断是否存在矛盾或者找到最小解，适用于解决一系列复杂的线性不等式问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题意就是给你些不等式
让你求出无解还是有无数解还是有最小解

okay。。

裸差分约束

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>

#define MAXN (1000+10)
#define cle(a,b) memset(a,b,sizeof(a))
#define loop(i,j) for(int i=1;i<=j;i++)

using namespace std;
queue<int>q;
int inq[MAXN];
int dis[MAXN];
int vis[MAXN];
int n,ml,md;
int u;
struct edge
{
	int v,w,next;
}e[20*MAXN];
int cnt;
int head[MAXN];
void adde(int u,int v,int w)
{
	e[++cnt].v=v;
	e[cnt].w=w;
	e[cnt].next=head[u];
	head[u]=cnt;
}
void readdata()
{
	scanf("%d%d%d",&n,&ml,&md);
	int a,b,c;
	cle(head,-1);
	loop(i,ml)
	{
		scanf("%d%d%d",&a,&b,&c);
		adde(b,a,-c);
	}
	loop(i,md)
	{
		scanf("%d%d%d",&a,&b,&c);
		adde(a,b,c);
	}
}
int solve()
{
	cle(dis,-0x3f);
	/*
	loop(i,n)
	adde(0,i,0);*/
	q.push(n);
	dis[n]=0;
	vis[n]=1;
	inq[n]=1;
	while(!q.empty())
	{
		u=q.front();
		q.pop();
		inq[u]=0;
		for(int i=head[u];i!=-1;i=e[i].next)
		{
			int v=e[i].v;
			int w=e[i].w;
			if(dis[v]<dis[u]+e[i].w)
			{
				dis[v]=dis[u]+e[i].w;
				vis[v]++;
				if(vis[v]>n)
				{
					printf("-1\n");
					return 0;
				}
				if(!inq[v])
				{
					q.push(v);
					inq[v]=1;
				}
			}
		}
	}
		

	if(dis[1]<=(-0x3f3f3f))
	return 1;
	else return 2;
}
void print()
{
	int bz=solve();
	if(bz==1)
	printf("-2\n");
	else 
	if(bz==2)
	printf("%d\n",-dis[1]);
}
int main()
{
	freopen("in.in","r",stdin);
//	freopen("out.out","w",stdout);
	readdata();	
	print();
}