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;
}