【BZOJ 3109】【CQOI 2013】新数独

这道题真的只要模拟就行了。。。什么匹配啥的不需要。
其实可以发现，每个数和它周围四个数（同个九宫格内）都有大小关系的约束，这其实已经是一个非常强的约束了，因为从答案保证只有一组解可以看出来。
搜的时候把约束条件全部加上，当前格子与上面格子的大小关系、与左边格子的大小关系、行、列、九宫格不重复，然后就是等着搜出一组解直接输出就好了。

#include<cmath>
#include<cstdio>
#include<vector>
#include<queue>
#include<cstring>
#include<iomanip>
#include<stdlib.h>
#include<iostream>
#include<algorithm>
#define ll long long
#define inf 1000000000
#define mod 1000000007
#define N 10
#define fo(i,a,b) for(i=a;i<=b;i++)
#define fd(i,a,b) for(i=a;i>=b;i--)
using namespace std;
const int id[10][10] =
{{0,0,0,0,0,0,0,0,0,0},
{0,1,1,1,2,2,2,3,3,3},
{0,1,1,1,2,2,2,3,3,3},
{0,1,1,1,2,2,2,3,3,3},
{0,4,4,4,5,5,5,6,6,6},
{0,4,4,4,5,5,5,6,6,6},
{0,4,4,4,5,5,5,6,6,6},
{0,7,7,7,8,8,8,9,9,9},
{0,7,7,7,8,8,8,9,9,9},
{0,7,7,7,8,8,8,9,9,9}};
int f[N][N][N][N],res[N][N];
int vis1[N][N],vis2[N][N],vis3[N][N];
int i,j,k,xx,yy;
char s[100];
bool check(int x,int y,int num)
{
    if (f[x][y][x][y-1] == -1 && num <= res[x][y-1]) return false;
    if (f[x][y][x][y-1] == 1 && num >= res[x][y-1]) return false;
    if (f[x][y][x-1][y] == -1 && num >= res[x-1][y]) return false;
    if (f[x][y][x-1][y] == 1 && num <= res[x-1][y]) return false;
    return true;
}
void print()
{
    int i,j;
    fo(i,1,9)
        {
            fo(j,1,8) printf("%d ",res[i][j]);
            printf("%d\n",res[i][9]);
        }
}
void dfs(int x,int y)
{
    if (x == 10) {print(); exit(0);}
    int i;
    fo(i,1,9)
        if (!vis1[x][i] && !vis2[y][i] && !vis3[id[x][y]][i] && check(x,y,i))
            {
                res[x][y] = i;
                vis1[x][i] = vis2[y][i] = vis3[id[x][y]][i] = 1;
                if (y == 9) dfs(x+1,1); else dfs(x,y+1);
                res[x][y] = 0;
                vis1[x][i] = vis2[y][i] = vis3[id[x][y]][i] = 0;
            }
}
int main()
{
    fo(k,1,3)
        fo(i,1,5)
            {
                if (i&1)
                    {
                        xx = (k-1)*3+i/2+1; yy = 2;
                        fo(j,1,3)
                            {
                                scanf("%s",s);
                                f[xx][yy][xx][yy-1] = s[0]=='<' ? -1 : 1;
                                scanf("%s",s);
                                f[xx][yy+1][xx][yy] = s[0]=='<' ? -1 : 1;
                                yy += 3;
                            }
                    } else
                    {
                        xx = (k-1)*3+i/2;
                        fo(j,1,9)
                            {
                                scanf("%s",s);
                                f[xx+1][j][xx][j] = s[0]=='v' ? -1 : 1;
                            }
                    }
            }
    dfs(1,1);
}