Double Matrix CodeForces - 1162B(贪心)

题意：传送门
题解：将两个矩阵中同一个位置中每个小的元素统一放到上面那个矩阵上，大的统一放在下面那个矩阵上，之后判断两个矩阵是否符合单调递增的情况即可。证明：如果上面那个矩阵不符合，那么a(i,j)>a(i+1,j)/a(i,j+1)，如果此时调换位置后，b(i,j)更大了，如果下面那个矩阵不符合b(i,j)>b(i+1,j)/b(i,j+1)，那么调换位置后，b(i,j)一定会大于a(i+1,j)/a(i,j+1)，如果dfs或者dp都会T，使用2SAT代码复杂度过高。

/*
*Auther:yaozhuojiang
*Date:2019-05-05-18.17.12
*/
#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int INF=0x3f3f3f3f;
const int maxn=5e2+5;
inline int read()
{
    char ch=getchar();
    int f=1,x=0;
    while(!(ch>='0'&&ch<='9')){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=x*10+ch-48;ch=getchar();}
    return x*f;
}
int n,m;
int m1[maxn][maxn],m2[maxn][maxn];
int main()
{
    n=read();m=read();
    for(int i=1;i<=n;i++)for(int j=1;j<=m;j++)m1[i][j]=read();
    for(int i=1;i<=n;i++)for(int j=1;j<=m;j++)m2[i][j]=read();
    for(int i=1;i<=n;i++){
        for(int j=1;j<=m;j++){
            if(m1[i][j]>m2[i][j])swap(m1[i][j],m2[i][j]);
        }
    }
    bool flag=true;
    for(int i=1;i<=n;i++){
        for(int j=1;j<=m;j++){
            if(i+1<=n){
                if(m1[i][j]>=m1[i+1][j])flag=false;
                if(m2[i][j]>=m2[i+1][j])flag=false;
            }
            if(j+1<=m){
                if(m1[i][j]>=m1[i][j+1])flag=false;
                if(m2[i][j]>=m2[i][j+1])flag=false;
            }
        }
    }
    printf("%s\n",flag?"Possible":"Impossible");
    return 0;
}