Educational Codeforces Round 40 C. Matrix Walk

挺有技巧的一道题….需要考虑的细节不少，但是如果够机智，代码可以非常简单
注意到只能上下或左右走，而左右走时，绝对值差必为1；上下走时，绝对值差可能不为1，但一定相等，且为一行的元素数。
如此，只要判断序列中所有相邻数的绝对值差是不是只有两种可能。
但是，有一种特殊的情况：从一行末尾走到上/下一行开头是不合法的。这种情况需要特判。
由于题目并不要求最小的x，y，所以可以直接令x=10^9，然后考虑y即可

#include <cstdio>
#include <algorithm>
#include<iostream>
using namespace std;
int n,a[200010],y=1;
int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;++i) scanf("%d",&a[i]);
    for(int i=2;i<=n;++i) y=max(y,abs(a[i]-a[i-1]));//统计差
    for(int i=2;i<=n;++i)
    {
        if(y!=1 && (abs(a[i]-a[i-1])==1)) {//所有相差为1的都要确保不会发生从行末直接到下/上一行首的情况(如果y=1时只有一行,所以不用考虑)
            if((a[i-1]-1)/y!=(a[i]-1)/y) puts("NO"),exit(0);
        }
        else if(abs(a[i]-a[i-1])!=y)//如果相邻的数相差不为1(y=1的情况)或不为y(y!=1),则错误
            puts("NO"),exit(0);
    }
    cout<<"YES"<<endl<<1000000000<<' '<<y<<endl;

    return 0;
}