UVA 10542 Hyper-drive (容斥定理+规律)*

题目链接：https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=1483

#include<bits/stdc++.h>
using namespace std;

#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define ll long long

#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
const int  maxn =5e2+5;
const int mod=1e9+7;
const int ub=10000;
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}
int gcd(int x,int y){return y?gcd(y,x%y):x;}
/*
题目大意：给定k维的物体，
求两端点之间直线经过的k维物体数量。

通过二维类比推出k维，
首先考虑二维的情况，
不难看出方块数是a+b-1,
然后考虑消去重复度，
gcd(a,b)就是直线经过的方格点个数，
但要去掉(a,b)本身，
式子一总结就是：sigma gcd({xi})* (|{xi}|为奇？1:-1)
其中{xi}就是维度点的子集。

这道题还是蛮抽象的。。。
因为在k维体里直线经过的方块点肯定是某个维度上的gcd，
所以考虑枚举子集进行容斥。


*/
int a[15],b[15];
int n;

int main()
{
    int t; scanf("%d",&t);
    for(int ca=1;ca<=t;ca++)
    {
        scanf("%d",&n);
        for(int i=0;i<n;i++) scanf("%d",&a[i]);
        for(int i=0;i<n;i++)
        {
            scanf("%d",&b[i]);
            b[i]=abs(b[i]-a[i]);
        }
        ll ans=0;
        for(int i=0;i<(1<<n);i++)
        {
            int xishu=-1,ret=0;
            for(int j=0;j<n;j++)
            {
                if(i&(1<<j))
                {
                    xishu*=-1;
                    ret=gcd(ret,b[j]);
                }
            }
            ///cout<<ret<<endl;
            ans+=1LL*ret*xishu;
        }
        printf("Case %d: %lld\n",ca,ans);
    }
    return 0;
}