2015 EC L - Multiplication Table

/*************************************************************************
    > File Name: L.cpp
    > Author: LyuCheng
    > Created Time: 2017-12-03 17:31
    > Description:
        题意：首先有一个乘法表，然后给你一个n*m的矩阵，里面有不确定的数，然
            后问你，这个表可不可能是乘法表的一部分

        思路：暴力判断每个点
 ************************************************************************/

#include <bits/stdc++.h>

#define MAXN 1234
#define MAXM 12
#define LL long long

using namespace std;

struct Point{
    int x,y;
    LL val;
    Point(){}
    Point(int _x,int _y,LL _val){
        x=_x;
        y=_y;
        val=_val;
    }
};

int t;
int n,m;
LL mapn[MAXN][MAXN];
char str[MAXM];
bool flag;
vector<Point>P;

inline LL cal(char str[]){
    int len=strlen(str);
    LL s=;
    for(int i=;i<len;i++){
        s*=;
        s+=str[i]-'';
    }
    return s;
}

inline bool judge(LL x,LL y,LL fx,LL fy){
    for(int i=;i<(int)P.size();i++){
        if((fx+P[i].x-x)*(fy+P[i].y-y)!=P[i].val)
            return false;
    }
    return true;
}

inline void init(){
    P.clear();
    flag=false;
}

int main(){
//    freopen("in.txt","r",stdin);
    scanf("%d",&t);
    for(int ca=;ca<=t;ca++){
        printf("Case #%d: ",ca);
        init();
        scanf("%d%d",&n,&m);
        for(LL i=;i<=n;i++){
            for(LL j=;j<=m;j++){
                scanf("%s",str);
                if(str[]!='?'){
                    mapn[i][j]=cal(str);
                    P.push_back(Point(i,j,mapn[i][j]));
                }else{
                    mapn[i][j]=;
                }
            }
        }
        if((int)P.size()==){
            puts("Yes");
        }else {
            for(LL i=;i*i<=P[].val;i++){
                if(P[].val%i==){
                    LL fx=i;
                    LL fy=P[].val/i;
                    if(fx>=P[].x&&fy>=P[].y)
                    if(judge(P[].x,P[].y,fx,fy)==true){
                        flag=true;
                        break;
                    }
                    swap(fx,fy);
                    if(fx>=P[].x&&fy>=P[].y)
                    if(judge(P[].x,P[].y,fx,fy)==true){
                        flag=true;
                        break;
                    }
                }
            }
            puts(flag==true?"Yes":"No");
        }
    }
    return ;
}