建立乙個超級源點s，使得dis[x]>dis[i]
然後就可以建邊 ，a=b 可以拆成b-a
之後再跑spfa，判斷是否有負環，有負環則說明不能滿足，無負環則能滿足
**
#includeusing namespace std;
const int maxm=5005;
const int inf=0x3f3f3f3f;
struct edge
g[maxm*3];
int head[maxm],update[maxm],vis[maxm],dis[maxm];
int n,m,cnt;
void add(int x ,int y ,int z)
bool spfa(int x)
}} }
return true;
}int main()
for(int i=1;i<=n;i++)
add(n+1,i,0);
memset(dis,inf,sizeof(dis));
if(spfa(n+1)==true) printf("yes");
else printf("no");
return 0;
}
P1993 小K的農場（差分約束）
小k的農場 題目描述 小k在mc裡面建立很多很多的農場，總共n個，以至於他自己都忘記了每個農場中種植作物的具體數量了，他只記得一些含糊的資訊 共m個 以下列三種形式描述 農場a比農場b至少多種植了c個單位的作物，農場a比農場b至多多種植了c個單位的作物，農場a與農場b種植的作物數一樣多。但是，由於小...
P1993 小K的農場 差分約束
小k在mc裡面建立很多很多的農場，總共n個，以至於他自己都忘記了每個農場中種植作物的具體數量了，他只記得一些含糊的資訊 共m個 以下列三種形式描述 但是，由於小k的記憶有些偏差，所以他想要知道存不存在一種情況，使得農場的種植作物數量與他記憶中的所有資訊吻合。輸入格式 第一行包括兩個整數 n 和 m，...
洛谷P1993 小K的農場 差分約束
對於n nn個物品，給出m mm個限制關係，分別是 1.a aa比b bb至少多種c cc單位的作物。2.a aa比b bb至多多種c cc單位的作物。3.a aa和b bb的作物數相等。求問是否滿足這樣的一種情形，符合所有的限制關係。不妨記f f f 表示 的作物數，顯然各條件等價於 1.f a ...