gym102394A Artful Paintings 2019CCPC哈尔滨A

https://codeforces.com/gym/102394/problem/A

这题看见区间权值和大于等于，就很显然是转成前缀和差分约束了

然而对于第二个限制条件，是dis[n]-(dis[r]-dis[l-1])>=k,而这个dis[n]我们是不知道的。

然而我们可以发现，两个条件都是>=，那么dis[n]越大，我们就越有可能满足所有的条件，所以就可以直接二分了

然后我犯了一个错误，找了好久，看一篇网上的博客他跟我建图一毛一样，结果我比对了好久，结果把他的交上去也WA了，气死

因为二分出来的mid就是dis[n]，所以此时的dis[n]应该是一个定值，即需要add(0,n,mid),add(n,0,-mid)

还是那个问题，差分约束系统，一个条件都不能少。。。。

该题隐含条件还有0<=dis[i]-dis[i-1]<=1，这是前缀和的隐含性质

然后对于op1,建dis[r]-dis[l-1]>=k,add(l-1,r,k),对于op2，dis[l-1]-dis[r]>=k-mid，这每次二分后，边权需要更新下

然后就是add(0,n,mid),add(n,0,-mid)

最后我们只需要判断有没有负环就行了

>=的跑最长路的我们需要加上SLF优化

如果是<=的跑最短路的建图，由于每个i->i-1有一条权值为0的边，如果某个时刻dis[v]<0，那么一定与v-1组成一个2元负环，此时可以直接return false,不必再进队次数>=n+1的时候再判断。

给出两种建图的写法。。。前者是>=(其实一开始是怀疑因为建了>=的图错了，所以尝试了一下建<=的图。。。。

#include<bits/stdc++.h>
using namespace std;

const int maxl=1e5+10;

int n,m1,m2,cnt,ans,mx;
int ehead[maxl],dis[maxl],num[maxl];;
struct ed
{
	int to,nxt,l;
}e[maxl*4];
deque<int> q;
bool in[maxl];
struct node
{
	int id,k;
};
vector<node> tt;

inline void add(int u,int v,int l)
{
	e[++cnt].to=v;e[cnt].l=l;
	e[cnt].nxt=ehead[u];ehead[u]=cnt;
}

inline void prework()
{
	mx=0;
	scanf("%d%d%d",&n,&m1,&m2);
	tt.clear();
	for(int i=0;i<=n;i++)
		ehead[i]=0;
	cnt=0;int l,r,k;
	for(int i=1;i<=m1;i++)
	{
		scanf("%d%d%d",&l,&r,&k);
		add(l-1,r,k);mx=max(k,mx);
	}
	for(int i=1;i<=m2;i++)
	{
		scanf("%d%d%d",&l,&r,&k);
		add(r,l-1,0);mx=max(k,mx);
		tt.push_back(node{cnt,k});
	}
	for(int i=1;i<=n;i++)
		add(i-1,i,0),add(i,i-1,-1);
	add(0,n,0);add(n,0,0);
}

inline bool jug(int mid)
{
	e[cnt].l=-mid;e[cnt-1].l=mid;
	for(auto d : tt)
		e[d.id].l=d.k-mid;
	for(int i=0;i<=n;i++)
		dis[i]=-2e9,num[i]=0,in[i]=false;
	while(!q.empty()) q.pop_front();
	dis[0]=0;q.push_back(0);in[0]=true;num[0]=1;
	int u,v;
	while(!q.empty())
	{
		u=q.front();q.pop_front();
		for(int i=ehead[u];i;i=e[i].nxt)
		{
			v=e[i].to;
			if(dis[u]+e[i].l>dis[v])
			{
				dis[v]=dis[u]+e[i].l;
				num[v]=num[u]+1;
				if(num[v]>n+1) return false;
				if(!in[v])
				{
					in[v]=true;
					if(!q.empty() && dis[q.front()]>dis[v])
						q.push_back(v);
					else
						q.push_front(v);
				}
			}
		}
		in[u]=false;
	}
	return true;
}

inline void mainwork()
{
	int l=0,r=n,mid;
	ans=n;
	while(l+1<r)
	{
		mid=(l+r)>>1;
		if(jug(mid))
			r=mid;
		else
			l=mid;
	}
	if(jug(l))
		ans=l;
	else
		ans=l+1;
}

inline void print()
{
	printf("%d\n",ans);
}

int main()
{
	int t;
	scanf("%d",&t);
	for(int i=1;i<=t;i++)
	{
		prework();
		mainwork();
		print();
	}
	return 0;
}

#include<bits/stdc++.h>
using namespace std;

const int maxl=1e5+10;

int n,m1,m2,cnt,ans,mx;
int ehead[maxl],dis[maxl],num[maxl];;
struct ed
{
	int to,nxt,l;
}e[maxl*4];
deque<int> q;
bool in[maxl];
struct node
{
	int id,k;
};
vector<node> tt;

inline void add(int u,int v,int l)
{
	e[++cnt].to=v;e[cnt].l=l;
	e[cnt].nxt=ehead[u];ehead[u]=cnt;
}

inline void prework()
{
	mx=0;
	scanf("%d%d%d",&n,&m1,&m2);
	tt.clear();
	for(int i=0;i<=n;i++)
		ehead[i]=0;
	cnt=0;int l,r,k;
	for(int i=1;i<=m1;i++)
	{
		scanf("%d%d%d",&l,&r,&k);
		add(r,l-1,-k);
	}
	for(int i=1;i<=m2;i++)
	{
		scanf("%d%d%d",&l,&r,&k);
		add(l-1,r,0);
		tt.push_back(node{cnt,k});
	}
	for(int i=1;i<=n;i++)
		add(i-1,i,1),add(i,i-1,0);
	add(0,n,0);add(n,0,0);
}

inline bool jug(int mid)
{
	e[cnt].l=-mid;e[cnt-1].l=mid;
	for(auto d : tt)
		e[d.id].l=mid-d.k;
	for(int i=0;i<=n;i++)
		dis[i]=2e9,num[i]=0,in[i]=false;
	while(!q.empty()) q.pop_front();
	dis[0]=0;q.push_back(0);in[0]=true;num[0]=1;
	int u,v;
	while(!q.empty())
	{
		u=q.front();q.pop_front();
		for(int i=ehead[u];i;i=e[i].nxt)
		{
			v=e[i].to;
			if(dis[u]+e[i].l<dis[v])
			{
				dis[v]=dis[u]+e[i].l;
				if(dis[v]<0)
					return false;
				if(!in[v])
				{
					in[v]=true;
					num[v]++;
					if(num[v]>n+1)
						return false;
					if(!q.empty() && dis[q.front()]<dis[v])
						q.push_back(v);
					else
						q.push_front(v);
				}
			}
		}
		in[u]=false;
	}
	//return dis[n]<=mid;
	return true;
}

inline void mainwork()
{
	int l=0,r=n,mid;
	ans=n;
	while(l+1<r)
	{
		mid=(l+r)>>1;
		if(jug(mid))
			r=mid;
		else
			l=mid;
	}
	if(jug(l))
		ans=l;
	else
		ans=l+1;
}

inline void print()
{
	printf("%d\n",ans);
}

int main()
{
	int t;
	scanf("%d",&t);
	for(int i=1;i<=t;i++)
	{
		prework();
		mainwork();
		print();
	}
	return 0;
}