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