Link
Solution
先把右边那些没有临点的去掉,这些点对答案没有影响
然后把右边的点按照临点进行划分
为什么这么划分呢,因为显然同属于一个集合的点肯定在每种方案中要么同时被选,要么同时不被选,而为什么有一定是一个划分呢(划分是指把一个大集合分成若干个不相交的集合且这些集合的并集就等于原先的大集合),因为根据我划分条件的传递性如果一个点同属于两个集合那就可以把这两个集合合并
那么原问题就等价为在我处理过的新图上做同样的问题
划分之后每个集合的 s u m sum sum的 g c d gcd gcd,我把它记作 g g g
假设真正的答案是 a n s ans ans,显然 g ∣ a n s g|ans g∣ans(因为每个集合的 s u m sum sum都是 g g g的倍数,我无论选哪几个加起来也都是 g g g的倍数)
现在我把新图上每个节点的权值都除以 g g g
现在假设还有一个 k ( > 1 ) k(>1) k(>1)会使得按照题意选择的任意一些点的权值和都整除 k k k
如果整张图的权值和不是 k k k的倍数,那么选择整张图就会让这个 k k k失效
如果整张图的权值是 k k k的倍数,根据我前面的处理可以知道肯定有一个点的权值不是 k k k的倍数(如果 k k k是所有点的倍数那么之前就约掉了),现在我把右边除了这个点(假设是 v v v,这个 v v v我一定要选择度数最小的那个)之外的所有点都选中,那么因为整个图的和是 k k k的倍数而 v v v的权值又不是 k k k的倍数,所以我构造的这种方案的和就不是 k k k的倍数。(解释一下为什么可以选中除了 v v v之外的所有点,我可以先把和他相邻的左边的点给标注成灰色,然后左边的点出了灰色的都给选中,对于任何一个右边的点 u ≠ v u\neq v u=v,因为 u u u的临点集合中肯定包含一个非灰色点,所以 u u u一定被选中了)
Code
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define iinf 0x3f3f3f3f
#define linf (1ll<<60)
#define eps 1e-8
#define maxn 1000010
#define maxe 1000010
#define cl(x) memset(x,0,sizeof(x))
#define rep(i,a,b) for(i=a;i<=b;i++)
#define drep(i,a,b) for(i=a;i>=b;i--)
#define em(x) emplace(x)
#define emb(x) emplace_back(x)
#define emf(x) emplace_front(x)
#define fi first
#define se second
#define de(x) cerr<<#x<<" = "<<x<<endl
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
ll read(ll x=0)
{
ll c, f(1);
for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
for(;isdigit(c);c=getchar())x=x*10+c-0x30;
return f*x;
}
vector<ll> e[maxn];
ll c[maxn], id[maxn];
int main()
{
ll T=read(), n, m, i, u, v, ans, s;
while(T--)
{
n = read(), m = read();
rep(i,1,n)c[i]=read(), e[i].clear(), id[i]=i;
rep(i,1,m)
{
u = read(), v = read();
e[v].emb(u);
}
rep(i,1,n)sort(e[i].begin(),e[i].end());
sort(id+1,id+n+1,[](ll a, ll b){return e[a]<e[b];});
s=0, ans=0;
rep(i,1,n)
{
if(e[id[i]].size()==0)continue;
if(e[id[i]]==e[id[i-1]])
{
s += c[id[i]];
}
else
{
ans = __gcd(ans,s);
s = c[id[i]];
}
}
ans = __gcd(ans,s);
printf("%lld\n",ans);
}
return 0;
}