数独问题。。。。。。dfs+暴力搜索- -诶，只能这个水平了。。

 

/************************ 数独问题 ***************************/
/*** 此程序可以解出任何一个数独的一个解，如果存在的话。 ***/
/********** 输入时请直接输入9*9的矩阵，空白处填0 ***********/
/********************** 2012-11-06 ***************************/

#include <iostream>
using namespace std;

int data[9][9];
int put[81][2];
int total;

bool judge(int i,int j,int k)
{
    for (int l=0;l<=8;l++)
        if (data[i][l]==k || data[l][j]==k) return false;
    int x=(i/3)*3,y=(j/3)*3;
    for (int l=x;l<=x+2;l++)
        for (int m=y;m<=y+2;m++)
            if (data[l][m]==k) return false;
    return true;
}

void print()
{
    for (int i=0;i<=8;i++)
    {
        for (int j=0;j<=8;j++)
        {
            cout << data[i][j];
            if (j==2 || j==5) cout << " |";
            if (j!=8) cout << " ";
        }
        cout << endl;
        if (i==2 || i==5) cout << "- - - + - - - + - - -" << endl;
    }
}

bool dfs(int l)
{
    if (l==total)
        return true;
    else
    {
        for (int k=1;k<=9;k++)
        {
            if (judge(put[l][0],put[l][1],k))
            {
                data[put[l][0]][put[l][1]]=k;
                if (dfs(l+1)) return true;
                data[put[l][0]][put[l][1]]=0;
            }
        }
    }
    return false;
}

int main()
{
    int c;
    while (cin >> c)
    {
        total=0;
        for (int i=0;i<=80;i++)
        {
            int j=i/9,k=i%9;
            if (i!=0 || j!=0) cin >> c;
            data[j][k]=c;
            if (c==0)
            {
                total++;
                put[total-1][0]=j;put[total-1][1]=k;
            }
        }
        cout << endl;
        if (dfs(0))
            print();
        else
            cout << "No solution!!" << endl;
        cout << "-------------------------------------" << endl;
    }
    return 0;
}