Codeforces Round #825 (Div. 2)-B.Playing with GCD

题意：给你含有n个整数的数组a，是否能找到含有n+1个整数的数组b，使得bi和bi+1的最大公约数是ai

我们假设存在这样一个数组，那么根据题意：
a1,a2,a3,a4,a5……an
b1,b2,b3,b4,b5……bn,bn+1

我们考虑a数组中间的任意三个数，对应的和他们有关的是b数组中的四个数
ai-1,ai,ai+1
bi-1,bi,bi+1,bi+2

所以：
gcd(bi-1,bi)=ai-1
gcd(bi,bi+1)=ai
gcd(bi+1,bi+2)=ai+1

所以可以知道，bi的因子里含有ai-1和ai，
bi+1的因子里含有ai和ai+1，那么此时{与ai约分后的ai+1}和{与ai约分后的ai-1}一定互质
因为我们已经知道，bi的因子里有ai-1和ai，bi+1的因子里有ai+1；如果{与ai约分后的ai+1}和{与ai约分后的ai-1}不互质，那么bi和bi+1的最大公约数一定是ai的k倍（k=2,3,4,……）

举例：
假设ai-1=4,ai=7,ai+1=6
那么bi-1=X,bi=28,bi+1=42(这个时候bi和bi+1的最大公约数一定不是7，而是14,因为4和6不互质)

优化：
这样的话需要调用三次__gcd()函数，我们也可以优化一下：
上述加粗的字体也可以等价于，a[i-2]和a[i]的最大公约数一定得是a[i-1]的因子，因为如果不是a[i-1]的因子，那么约分后的两个数肯定不互质，具体思路见代码

#include <bits/stdc++.h>
using namespace std;
#define de(x) cout<<x<<" ";
#define Pu puts("");
#define sf(x) scanf("%d",&x);
typedef long long ll;
const int N=1e5+10,mod=100003;
const int inf=0x3f3f3f3f;
int a[N];
int n,m,ans;
int main(){
    int T;cin>>T;
    int l,r;
    int x,y;
    while(T--){
        cin>>n;
        for(int i=1;i<=n;i++){
            sf(a[i])
        }
        int f=1;
        if(n<=2) f=1;
        else{
            for(int i=3;i<=n;i++){
                l=__gcd(a[i-2],a[i-1]);
                r=__gcd(a[i-1],a[i]);

                x=a[i-2]/l;
                y=a[i]/r;
 
                if(__gcd(x,y)!=1) {f=0;break;}
                
                //也可以这样写：只用一次__gcd函数
                //l=__gcd(a[i-2],a[i]);
                //if(a[i-1]%l!=0) {f=0;break;}
            }
        }
        if(f==0) printf("NO\n");
        else printf("YES\n");
    }
}