Codeforces Round #808 (Div. 2) A Difference Operations

Problem - 1708A - Codeforces

有一个数列a，对于2~n的i可以执行a[i]-a[i-1]，问经过这些操作后你能否将这个数列的2~n位都置0

结论题

结论是：后面所有数都必须是a[1]的倍数

想到的结论要分别证充分性和必要性，常用构造式和反证法

首先想到一个结论：

a[i]要==0，a[i+1]%a[i]必==0

必要性显然

充分性：反证，若a[i+1]%a[i]!=0,则一定存在余数，所以不可能为0

那么，a[2]必为a[1]倍数，然后a[2]可以是a[1]的任意倍数，即a[2]=k1*a[i]

同理，a[3]也必为a[2]的倍数，即a[3]=k2*k1*a1

以此类推，所有数都是a[1]的倍数时成立

Code:

const int mxn=1e2+10;
void solve(){
    int n=rd();
    int a[mxn];
    rep(i,1,n) a[i]=rd();
    rep(i,2,n){
        if(a[i]%a[1]!=0){
            puts("NO");
            return;
        }
    }
    puts("YES");
}

总结：

简单的结论题，去直观感受YES的充要条件

较为复杂的，通过样例去归纳总结NO的性质（这是思维题的核心！！去归纳性质！！然后去猜结论！！）

对于猜的每一个结论，都去分别证一下它们的充分性和必要性

怎么证？常用的就是反证和构造式证明了，这两个一般连着用