传送门

题意：

给你一张$n$个点$m$条边的图，每个点都有一个当前值$a_i$，目标值$b_i$，每次可以选择一条边$(i,j)$，将$a_i,a_j$都加上任意一个数，问最终能否将所有$a_i$都变成目标值。
$n,m\le 2e5$

思路

我们设$c_i=b_i-a_i$，$sum=\sum c_i$，那么当$sum\mathrm{m}\mathrm{o}\mathrm{d}2=1$的时候一定无解，因为每次修改都是给$sum$加上一个可正可负的偶数，如果$sum$为奇数的话一定是不能变成$0$的。
让后通过手玩可以发现，两个点之间路径长度为奇数的时候，可以将两个数同时加上$k$，两个点之间为偶数的时候，可以将某个位置加上$k$，某个位置减去$k$。可以想到二分图染色来将图分成两部分。
假设原图是一个二分图，那么只能在两边的集合中同时加上某个数，所以当两个集合的$\sum c_i$不相等的时候，一定无解，否则一定有解。
否则原图不是一个二分图，上面已经保证$sum$为偶数了，那么答案一定存在。
判断二分图可以用并查集。

// Problem: F. Figure Fixing
// Contest: Codeforces - Codeforces Round #726 (Div. 2)
// URL: https://codeforces.com/contest/1537/problem/F
// Memory Limit: 256 MB
// Time Limit: 2000 ms
// 
// Powered by CP Editor (https://cpeditor.org)//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#include<random>
#include<cassert>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n,m;
int p[N];
int a[N],b[N];int find(int x) {return x==p[x]? x:p[x]=find(p[x]);
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);int _; scanf("%d",&_);while(_--) {scanf("%d%d",&n,&m);LL sum=0;for(int i=1;i<=n*2;i++) p[i]=i;for(int i=1;i<=n;i++) scanf("%d",&a[i]);for(int i=1;i<=n;i++) {int x; scanf("%d",&x);x-=a[i]; b[i]=x;sum+=x;}for(int i=1;i<=m;i++) {int a,b; scanf("%d%d",&a,&b);p[find(a)]=find(b+n);p[find(a+n)]=find(b);}sum=abs(sum);if(sum%2==1) {puts("NO");continue;} int flag=0;for(int i=1;i<=n;i++) if(find(i)==find(i+n)) flag=1;if(!flag) {sum=0;for(int i=1;i<=n;i++) if(find(1)==find(i)) sum+=b[i]; else sum-=b[i];if(sum==0) puts("YES");else puts("NO");} else puts("YES");}return 0;
}
/**/