测试must_add(mate)_no_tec_ rec

QQ及邮箱：1  4 2 3 1 7 3 7 8 3 @qq.com欢迎吹毛求疵。

//测试耗时预计83.333小时  约3.5天  用清华同方做的预测    2012 09 22  17：00结束
//神舟运行58多小时
#include<iostream>
#include<fstream>
#include<vector>
#include<time.h>
#include<cstdlib>
using namespace std;
 
#define BLANKS   55
#define FAIL     20
int table[9][9],table_for_solve[9][9],solves=0;

struct{
    int semaphore[11];//semaphore[10]表示存储值
 int probable;
 int semaphore_explore_recover[10];
 int probable_explore_recover;
 int explore[10];//每个节点node都可能被用来作为探索节点，探索时从该节点可能取值的数字（1--9）从小到大依次探索，当一个节点所有取值探索过后都出现错误（即该节点不能去任何值）这表明这个探索节点不能取任何值是上一步的错误造成的，应该回溯进一步往前恢复。而要判断该探索节点任何值都不能取就必须设一个长度为9的数组，如果数组的每个元素都为0表示每个取值探索过后都不成功，即需要进一步往前回溯。
 } node[10][10];
int finished=0,op;
ofstream out_stream;
vector<int>  v1;
vector<vector<int>> v2,success;
vector<vector<vector<int>>>    v3;
typedef struct {
  int row;
  int col;
  int probable;
 }  sign;
sign min_probable_node={{0},{0},{10}};

 

void shuffle(int arr[], int n);
bool test(int x, int y, int v);
bool put(int line, int index);
bool put_line(int line);
void dfs();
int check(int y,int x,int *mark) ; //求probable[y][x]  并且mark[]中为0的元素说明可以试探
int solve22();
bool create_game(int blanks);
void create_gameover();
void print_all(int k);  //输出到文件
void copy(int a[9][9],int b[9][9]);

 

int room(int row,int col);                                //返回node[row][col]所在的宫号
void fills_up();                                    //开始时要初始化node[10][10],使得每个节点的候选数semaphore[1--9]全为1，probable为9，填写值semaphore[10]为0；探索候选数semaphore_explore_recover[1--9]全为0值，probable_explore_recover为0，探索记录数组explore[1--9]全为0
vector<vector<int>> subtracion(int row,int col);//当node[row][col]只有一个候选数可填，且知道这个候选数，调用此函数（回溯版）
void add(int row,int col,int storage,vector<int> must_add);            //node[row][col]曾经填了storage并且把别的格的storage候选数减去，这些格子的行号和列号记录在must_add中，减什么就恢复什么
void addv2(vector<vector<int>> & v2);                                     //explore()在min_probable_node的某个k（候选数）上探测得到错误结果，这时所有的探索记录保存在全局变量v2中，由于传址调用所以全局变量v2会被修改。
void print_all();                                                       //输出当时状态下的九宫格的所有已填数（输出到写出文件中，这个输出对象可以改的），不管是调试用，还是最后给出正确答案，还是一切要得到中间结果的状态下都能用到它，
void explore();                                       //当所有技巧或模式都用到极致时（当然也可以不用到极致，有时回溯法要来得更快，或者遍历模式耗时太长还不如回溯来得快，当然解题高手的兴奋点是最短时间发现已经知道的最难的推理模式，或发现新的不同难度系数的推理模式）要用回溯法（回溯法可嵌入技巧，一般以常用到遍历耗时短的技巧嵌入为佳），回溯法没有返回值，没有参数，形参其实就是全局变量v2，v1，返回值其实是全局变量finished
int test();                               //当题目解完时检测题目有没有解错，方法是每行每列每宫的和都要是45.其实技巧法和回溯法都能用数学证明，只要填满81个格就一定是正确的，但这个函数耗时不到1毫秒  就保存了下来。
bool  fun( int array[10]);              //数组array的九个数如有重复返回false

 

void shuffle(int arr[], int n)
{
    int tmp, rd;
    for(int i = 0; i < n; i++)
 {
        rd = rand() % 9;
        tmp = arr[rd];
        arr[rd] = arr[i];
        arr[i] = tmp;
    }
}
bool test(int x, int y, int v)
{
    int _x = x / 3 * 3;
    int _y = y / 3 * 3;
    for(int i = _x; i < _x + 3; i++)                  //测试3 * 3矩阵内是否有重复的数
    {
        for(int j = _y; j < _y + 3; j++)
        {
            if(table[i][j] == v)
            {
                return false;
            }
        }
    }
    for(int i = 0; i < 9; i++)                       //测试横向、纵向是否有重复的数
    {
        if(table[x][i] == v || table[i][y] == v)
            return false;
    }
    return true;
}
bool put(int line, int index)
{
    if(index > 8)
        return true;
    int num[] = {1,2,3,4,5,6,7,8,9};
                                                  //打乱当前准备写入数字的前后顺序
    shuffle(num, 9);
    for(int i = 0; i < 9; i++)
                                                       //测试数字是否允许填入当前方格
        if( test(line, index, num[i]) == true )
  {
            table[line][index] = num[i];
                                                       //填入成功则处理下一个方格
            if( put(line, index + 1) == true )
   {
                return true;
            }
        }
    table[line][index] = 0;                           //失败后复位
    return false;
}
bool put_line(int line)
{
    if(line > 8)
        return true;
    if( put(line, 0) == true )
                                                               //当前一行添入完成后，进入下一行再重复处理。
        if( put_line(line + 1) == true )
            return true;
    for(int i = 0; i < 9; i++)
        table[line][i] = 0;
    return false;
}
void dfs()
{
 int i,j,im=-1,jm,min=10;
 int mark[10];
 for(i=0;i<9;++i)
      for(j=0;j<9;++j)
         {
            if(table_for_solve[i][j])
               continue;
            int c=check(i,j,mark);
            if(c==0)
                return;
            if(c<min)
              {
                 im=i;
                 jm=j;
                 min=c;
              }
         }
 if(im==-1)
 {
   solves++;
   if(solves==2)
    throw(1);                //如果解法不唯一，不会等到所有解都出来才结束运行，  保留下面的return又能确定是不是只有唯一解。
   return;
 }
 check(im,jm,mark);
 for(i=1;i<=9;++i)
    if(mark[i]==0)
       {
          table_for_solve[im][jm]=i;
          dfs();
       }
 table_for_solve[im][jm]=0;
}
int solve22()
{
 try
 {
  dfs();
  solves=0;   //调试后发现
  return(1);
 }
 catch(int)
 {
  solves=0;   //调试后发现，solves是全局变量，以后solves越来越大永远不可能等于2
  return(2);
 }
}
int check(int y,int x,int *mark)  //求probable[y][x]
{
 int i,j,is,js,count=0;
 for(i=1;i<=9;++i)
  mark[i]=0;
 for(i=0;i<9;++i)
  mark[table_for_solve[y][i]]=1;
 for(i=0;i<9;++i)
  mark[table_for_solve[i][x]]=1;
 is=y/3*3;
 js=x/3*3;
 for(i=0;i<3;++i)
    for(j=0;j<3;++j)
       mark[table_for_solve[is+i][js+j]]=1;
 for(i=1;i<=9;++i)
    if(mark[i]==0)
      count++;
 return count;
}
bool create_game(int blanks)
{
 int i,k,row,col,tmp;
 for( i=1;i<=blanks;i++)
 {
  int num=0;
  do
  {
   do
   {
    k=rand()%81;
    row=k/9;
    col=k-9*row;
    tmp=table[row][col];
   }while(tmp==0);
   table[row][col]=0;
   copy(table_for_solve,table);
   num++;
   if(num==FAIL)   return(false);
  }while((solve22()==2)? table[row][col]=tmp : 0);
 }
 if(i==blanks+1) return (true);
}
void create_gameover()
{
 for(int i=0;i<9;i++)
  for(int j=0;j<9;j++)
   table[i][j]=0;
 for(int i = 0; i < 9; i++)
        table[0][i] = i + 1;
    shuffle(table[0], 9);
                                                        //从第二行开始添入数字
    while(!put_line(1))   ;
}
void print_all(int k)
{ 
   for(int i=1;i<=9;i++)
     {
     if(i%3==1)  out_stream<<endl;
  for(int j=1;j<=9;j++)
     {
      if(j%3==1) out_stream<<"  ";
   out_stream<<table[i-1][j-1];
     }   
    out_stream<<endl;
     }
   out_stream<<endl<<endl;
}
void copy(int a[9][9],int b[9][9])
{
 for(int i=0;i<=8;i++)
  for(int j=0;j<=8;j++)
   a[i][j]=b[i][j];
}

 

 

int room(int row,int col)
{
 return((row-1)/3*3+1+(col-1)/3);
}
void fills_up()
{
 for(int i=1;i<=9;i++)
  for(int j=1;j<=9;j++)
  {
   for(int k=1;k<=9;k++)
       {
           node[i][j].semaphore[k]=1;
           node[i][j].semaphore_explore_recover[k]=0;
     node[i][j].explore[k]=0;
     }
            node[i][j].semaphore[10]=0;
       
   node[i][j].probable=9;
   node[i][j].probable_explore_recover=0;
   
   
  }
   
}
vector<vector<int>> subtraction(int row,int col)
{
 finished++;
 if(finished==81)  return success;
 vector<vector<int>>   temp;
 vector<int>  must_add;
 for(int j=1;j<=9;j++) 
  
 
  if(node[row][j].semaphore[node[row][col].semaphore[10]]==1 && node[row][j].probable!=0)
   
   {
    must_add.push_back(row);
    must_add.push_back(j);
    node[row][j].semaphore[node[row][col].semaphore[10]]=0;    //把节点中不能填的点排除
    node[row][j].probable-=1;                                             //probable即可能填的数目减1
    if(node[row][j].probable==1)        
    {
          for(int k=1;k<=9;k++)
           if(node[row][j].semaphore[k]==1)
           {
              
           for(int m=1;m<=9;m++)
               if(k==node[row][m].semaphore[10] && m!=j)
                {
               must_add.push_back(100);
             v2.push_back(must_add);
             v1.push_back(row);
            v1.push_back(j);
            v1.push_back(0);
            v1.push_back(100);
            v2.push_back(v1);
            v1.clear();
           
             return v2;
            }
            for(int m=1;m<=9;m++)
               if(k==node[m][j].semaphore[10] && m!=row)
                {
               must_add.push_back(100);
             v2.push_back(must_add);
             v1.push_back(row);
            v1.push_back(j);
            v1.push_back(0);
            v1.push_back(100);
            v2.push_back(v1);
            v1.clear();
           
            return v2;
            }   
                                      for(int m=(row-1)/3*3+1;m<=(row-1)/3*3+3;m++)
            for(int n=(j-1)/3*3+1;n<=(j-1)/3*3+3;n++)
                 if(k==node[m][n].semaphore[10] && !(m==row && n==j))
              {
                 must_add.push_back(100);
             v2.push_back(must_add);
               v1.push_back(row);
                 v1.push_back(j);
                 v1.push_back(0);
                 v1.push_back(100);
                 v2.push_back(v1);
                 v1.clear();
                 return  v2;
                  } 
           node[row][j].semaphore[10]=k;
           node[row][j].semaphore[k]=0;
           node[row][j].probable=0;
          must_add.push_back(10);
                                  v2.push_back(must_add);
         
          v1.push_back(row);
              v1.push_back(j);
              v1.push_back(node[row][j].semaphore[10]);
              v1.push_back(10);
              v2.push_back(v1);
              v1.clear();
                 temp=subtraction(row,j);
              if(temp==success)    return success;
              if(temp[v2.size()-1][3]>30 && temp[v2.size()-1][3]!=400 )   
               goto  loop;
           if(temp[v2.size()-1][3]==400)
            must_add.pop_back();
                                }
      
       
      
    }
     
         }
   
 for(int i=1;i<=9;i++) 
  
 
  if(node[i][col].semaphore[node[row][col].semaphore[10]]==1 && node[i][col].probable!=0)
   
   {
    must_add.push_back(i);
    must_add.push_back(col);
    node[i][col].semaphore[node[row][col].semaphore[10]]=0;    //把节点中不能填的点排除
    node[i][col].probable-=1;                                             //probable即可能填的数目减1
    if(node[i][col].probable==1)        
    {
          for(int k=1;k<=9;k++)
           if(node[i][col].semaphore[k]==1)
           {

            for(int m=1;m<=9;m++)
               if(k==node[i][m].semaphore[10] && m!=col)
                {
                must_add.push_back(200);
             v2.push_back(must_add);
             v1.push_back(i);
            v1.push_back(col);
            v1.push_back(0);
             v1.push_back(200);
            v2.push_back(v1);
            v1.clear();
           
            return v2;
            }
            for(int m=1;m<=9;m++)
               if(k==node[m][col].semaphore[10] && m!=i)
                {
                must_add.push_back(200);
             v2.push_back(must_add);
             v1.push_back(i);
            v1.push_back(col);
            v1.push_back(0);
             v1.push_back(200);
            v2.push_back(v1);
            v1.clear();
           
            return v2;
            }   
         for(int m=(i-1)/3*3+1;m<=(i-1)/3*3+3;m++)
          for(int n=(col-1)/3*3+1;n<=(col-1)/3*3+3;n++)
                if(k==node[m][n].semaphore[10] && !(m==i && n==col))
                   {
                   must_add.push_back(200);
             v2.push_back(must_add);
             v1.push_back(i);
                v1.push_back(col);
                   v1.push_back(0);
                   v1.push_back(200);
                   v2.push_back(v1);
                v1.clear();
                return  v2;
                  } 
           node[i][col].semaphore[10]=k;
           node[i][col].semaphore[k]=0;
           node[i][col].probable=0;
          must_add.push_back(20);
                                          v2.push_back(must_add);             
          v1.push_back(i);
              v1.push_back(col);
              v1.push_back(k);
              v1.push_back(20);
              v2.push_back(v1);
              v1.clear();
           temp=subtraction(i,col);
              if(temp==success)    return success;
              if(temp[v2.size()-1][3]>30 && temp[v2.size()-1][3]!=400 )   
               goto  loop;
           if(temp[v2.size()-1][3]==400)
            must_add.pop_back();
                                }
      
       
      
    }
     
         }
   
     for(int i=(row-1)/3*3+1;i<=(row-1)/3*3+3;i++)
         for(int j=(col-1)/3*3+1 ;j<=(col-1)/3*3+3;j++)
           if(node[i][j].semaphore[node[row][col].semaphore[10]]==1 && node[i][j].probable!=0)
   
                   {
                     must_add.push_back(i);
                     must_add.push_back(j);
                     node[i][j].semaphore[node[row][col].semaphore[10]]=0;    //把节点中不能填的点排除
                      node[i][j].probable-=1;                                             //probable即可能填的数目减1
                     if(node[i][j].probable==1)        
                        {
                        for(int k=1;k<=9;k++)
                          if(node[i][j].semaphore[k]==1)
                         {
                           
             for(int m=1;m<=9;m++)
                  {
               if(node[i][m].semaphore[10]==k && m!=j)
               {
                must_add.push_back(300);
                v2.push_back(must_add);
                v1.push_back(i);
                v1.push_back(j);
                v1.push_back(0);
                v1.push_back(300);
                v2.push_back(v1);
                v1.clear();
                return v2;
               } 
              }
            for(int m=1;m<=9;m++)
                  {
               if(node[m][j].semaphore[10]==k && m!=i)
               {
                must_add.push_back(300);
                v2.push_back(must_add);
                v1.push_back(i);
                v1.push_back(j);
                v1.push_back(0);
                v1.push_back(300);
                v2.push_back(v1);
                v1.clear();
                return v2;
               } 
              }
            for(int m=(row-1)/3*3+1;m<=(row-1)/3*3+3;m++)
                                                  for( int n=(col-1)/3*3+1;n<=(col-1)/3*3+3;n++)
                                                       {
                if(k==node[m][n].semaphore[10] && !(m==i && n==j))
                  {
                 must_add.push_back(300);
                      v2.push_back(must_add);
                   v1.push_back(i);
                  v1.push_back(j);
                   v1.push_back(0);
                   v1.push_back(300);
                   v2.push_back(v1);
                   v1.clear();
                   return v2;
               }
              }             
               node[i][j].semaphore[10]=k;
                      node[i][j].semaphore[k]=0;
                      node[i][j].probable=0;
                     must_add.push_back(30);
                                                     v2.push_back(must_add);              
             v1.push_back(i);
                         v1.push_back(j);
                         v1.push_back(k);
                         v1.push_back(30);
                         v2.push_back(v1);
                         v1.clear();
                            temp=subtraction(i,j);
                         if(temp==success)    return success;
                         if(temp[v2.size()-1][3]>30 && temp[v2.size()-1][3]!=400 )   
                         goto  loop;
             if(temp[v2.size()-1][3]==400)
              must_add.pop_back();
                     }
      
                    
                        }
     
                         }
      
     must_add.push_back(400);
 v2.push_back(must_add);     
 v1.push_back(row);
     v1.push_back(col);
     v1.push_back(1);
     v1.push_back(400);
     v2.push_back(v1);
     v1.clear();
     loop:  return v2;
}
void print_all()
{ 
 out_stream<<"print storage"<<endl;
   for(int i=1;i<=9;i++)
     {
    for(int j=1;j<=9;j++)
     {
   out_stream<<node[i][j].semaphore[10]<<" ";
     if(j%3==0) out_stream<<"   ";
     }   
    out_stream<<endl;
    if(i%3==0)  out_stream<<endl;
     }
   out_stream<<endl<<endl;
}
int test()
  {
   int sum=0,i,j,a[10];
   for(int i=1;i<=9;i++)
  {
      sum=0;
   for(int j=1;j<=9;j++)
      { sum+=node[i][j].semaphore[10]; a[j]=node[i][j].semaphore[10];}
   if(sum!=45) {cout<<"wrong"<<endl;   return 0;}
   if(!fun(a))  return 0;
     }
 for( j=1;j<=9;j++)
  {
      sum=0;
   for(i=1;i<=9;i++)
      { sum+=node[i][j].semaphore[10]; a[i]=node[i][j].semaphore[10];}
   if(sum!=45)  {cout<<"wrong"<<endl;   return 0;}
   if(!fun(a))  return 0;
     }
 for(i=1;i<=9;i++)
 {
  sum=0;
  int row_start,col_start,sub=1;
  row_start=(i-1)/3*3+1;  col_start=(i-1)%3*3+1;
  for(int m=row_start;m<=row_start+2;m++)
   for(int n=col_start;n<=col_start+2;n++)
     { sum+=node[m][n].semaphore[10]; a[sub++]=node[m][n].semaphore[10];}
  if(sum!=45)  {  cout<<"wrong"<<endl;  return 0;}
  if(!fun(a))   return 0;
 }
 return 1;
  }
bool fun(int array[10])
{
 int i,j;
 for(i=1;i<=8;i++)
 {
  if(*(array+i)==0)  continue;
  for(j=i+1;j<=9;j++)
   if(*(array+i)==*(array+j)) return (false);
 }
 return (true);
}
void add(int row,int col,int storage,vector<int> must_add)//semaphore的值为100,200,300，400  表示从四个方向上恢复
{
 finished--;
 node[row][col].semaphore[storage]=1;
 node[row][col].probable+=1;   //node[row][col].storage的值最后变回0，下面恢复三个区域要用到这个值。
 node[row][col].semaphore[10]=0;
 for(int i=1;  i<=(must_add.size()-1)/2;   i++)
 {
  if(node[must_add[2*i-2]][must_add[2*i-1]].semaphore[storage]==0)
  {
   node[must_add[2*i-2]][must_add[2*i-1]].semaphore[storage]=1;
      node[must_add[2*i-2]][must_add[2*i-1]].probable++;
  }
 }
 if(node[row][col].probable_explore_recover!=0)
    {
  for(int i=1;i<=9;i++)
      node[row][col].semaphore[i]=node[row][col].semaphore_explore_recover[i];
  node[row][col].probable=node[row][col].probable_explore_recover;
  for(int i=1;i<=9;i++)
     node[row][col].semaphore_explore_recover[i]=0;
  node[row][col].probable_explore_recover=0;
  min_probable_node.row=row;
  min_probable_node.col=col;
  min_probable_node.probable=node[row][col].probable;
    }
}
void addv2(vector<vector<int>> & v2)
 {
  vector<vector<int>>  v2_transcript;
  v2_transcript.push_back(v2[v2.size()-1]);
  v2_transcript.push_back(v2[v2.size()-2]);
  v2.pop_back();
  v2.pop_back();
  for( int i=v2.size()-1;i>=0;i--)
  {
   if( v2[i][v2[i].size()-1]==400)
    {
     v2_transcript.push_back(v2[i]);
     v2.pop_back();
    
     continue;
       } 
   if(v2_transcript[v2_transcript.size()-2][3]==400 && v2.size()>1 && v2_transcript[v2_transcript.size()-1][v2_transcript[v2_transcript.size()-1].size()-1]==400)//  && v2_transcript[v2_transcript.size()-1][0]==v2[i][0] && v2_transcript[v2_transcript.size()-1][1]==v2[i][1] )
      {
                add(v2[i][0],v2[i][1],v2[i][2],v2_transcript[v2_transcript.size()-1]);
                v2_transcript.pop_back();
        v2_transcript.pop_back();
        v2.pop_back();
        v2.pop_back();
        i--;
        continue;
       }
 if((v2_transcript[0][3]==10  || v2_transcript[0][3]==20 || v2_transcript[0][3]==30) && v2.size()>1)
 {
  add(v2[i][0],v2[i][1],v2[i][2],v2_transcript[1]);
  v2_transcript.pop_back();
  v2_transcript.pop_back();
  v2_transcript.push_back(v2[i]);
  v2_transcript.push_back(v2[i-1]);
  v2.pop_back();
  v2.pop_back();
  i--;
  continue;
  } 
 if((v2_transcript[0][3]==10  || v2_transcript[0][3]==20 || v2_transcript[0][3]==30) && v2.size()==1)
 {
  add(v2[0][0],v2[0][1],v2[0][2],v2_transcript[1]);
  v2_transcript.pop_back();
  v2_transcript.pop_back();
  v2.pop_back();
  break;
  } 
 if(v2_transcript.size()==2 && v2.size()==1 && v2_transcript[0][3]==400 && v2_transcript[1][v2_transcript[1].size()-1]==400)
 {
  add(v2[0][0],v2[0][1],v2[0][2],v2_transcript[1]);
  v2_transcript.pop_back();
  v2_transcript.pop_back();
  v2.pop_back();
  break;
  } 
 if(((v2_transcript[0][3]==100 && v2_transcript[1][v2_transcript[1].size()-1]==100)  || (v2_transcript[0][3]==200 && v2_transcript[1][v2_transcript[1].size()-1]==200) || (v2_transcript[0][3]==300 && v2_transcript[1][v2_transcript[1].size()-1]==300)) && v2_transcript.size()==2  && v2.size()>1)
 {
  add(v2[i][0],v2[i][1],v2[i][2],v2_transcript[1]);
  v2_transcript.pop_back();
  v2_transcript.pop_back();
  v2_transcript.push_back(v2[i]);
  v2_transcript.push_back(v2[i-1]);
  v2.pop_back();
  v2.pop_back();
  i--;
  continue;
  } 
 if(v2.size()==1 && v2[i][3]==0 && ((v2_transcript[0][3]==100 && v2_transcript[1][v2_transcript[1].size()-1]==100)  || (v2_transcript[0][3]==200 && v2_transcript[1][v2_transcript[1].size()-1]==200) || (v2_transcript[0][3]==300 && v2_transcript[1][v2_transcript[1].size()-1]==300)) && v2_transcript.size()==2)
 {
  add(v2[i][0],v2[i][1],v2[i][2],v2_transcript[1]);
  v2_transcript.pop_back();
  v2_transcript.pop_back();
  
  v2.pop_back();
  break;
  } 
  }//for
 }
void explore( )
 {
      int row,col,probable;
     probable=10;
     for(int i=9;i>=1;i--)
         {
         for(int j=9 ;j>=1;j--)
            {
       if(probable>=node[i][j].probable && node[i][j].probable!=0  )
      { probable=node[i][j].probable;
      row=i;
      col=j;
      }
            }
         }
   min_probable_node.row=row;
   min_probable_node.col=col;
   min_probable_node.probable=probable;
    for(int k=1;k<=9;k++)
                   {
           if(node[min_probable_node.row][min_probable_node.col].semaphore[k]==1)
          { 
                        for(int r=1;r<=9;r++)
       if(node[min_probable_node.row][r].semaphore[10]==k )
        goto loop;
      for(int r=1;r<=9;r++)
       if(node[r][min_probable_node.col].semaphore[10]==k )
        goto loop;
      switch(room(min_probable_node.row,min_probable_node.col))
      {
         case 1: for( int i=1;i<=3;i++)
            for(int j=1;j<=3;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 2:  for( int i=1;i<=3;i++)
            for(int j=4;j<=6;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 3:  for( int i=1;i<=3;i++)
            for(int j=7;j<=9;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 4:  for( int i=4;i<=6;i++)
            for(int j=1;j<=3;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 5: for( int i=4;i<=6;i++)
            for(int j=4;j<=6;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 6:  for( int i=4;i<=6;i++)
            for(int j=7;j<=9;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 7: for( int i=7;i<=9;i++)
            for(int j=1;j<=3;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 8:  for( int i=7;i<=9;i++)
            for(int j=4;j<=6;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
         case 9: for( int i=7;i<=9;i++)
            for(int j=7;j<=9;j++)
            {
             if(node[i][j].semaphore[10]==k)
                goto loop;
               } break;
      }
         for(int r=1;r<=9;r++)
              node[min_probable_node.row][min_probable_node.col].semaphore_explore_recover[r]=node[min_probable_node.row][min_probable_node.col].semaphore[r];
        node[min_probable_node.row][min_probable_node.col].probable_explore_recover=node[min_probable_node.row][min_probable_node.col].probable;
        for(int r=1;r<=9;r++)
                                 node[min_probable_node.row][min_probable_node.col].semaphore[r]=0;
                       node[min_probable_node.row][min_probable_node.col].probable=0;
                       node[min_probable_node.row][min_probable_node.col].semaphore[10]=k;
        v1.push_back(min_probable_node.row);
        v1.push_back(min_probable_node.col);
                    v1.push_back(node[min_probable_node.row][min_probable_node.col].semaphore[10]);
        v1.push_back(0);
        v2.push_back(v1);
                    v1.clear();
                    node[min_probable_node.row][min_probable_node.col].explore[k]=1;   
                       if(subtraction(min_probable_node.row,min_probable_node.col)==success)
              ;
            else if(v2[v2.size()-1][3]>30 && v2[v2.size()-1][3]!=400) 
             {
        addv2(v2);
        v2.clear();
        node[min_probable_node.row][min_probable_node.col].explore[k]=0;
       }
            else  
             {
            v3.push_back(v2);
           v2.clear();
           explore();
             }
      }
   loop: ;  
    }
         int sum=0;
   for(int k=1;k<=9;k++)
    sum+=node[min_probable_node.row][min_probable_node.col].explore[k];
   if(sum==0)
   {
      node[v3[v3.size()-1][0][0]][v3[v3.size()-1][0][1]].explore[v3[v3.size()-1][0][2]]=0;
   addv2(v3[v3.size()-1]);
   v3.pop_back();
   }
} 

 

int main()
{
 int information_number=0;
 long time1;
 out_stream.open("d:\\my documents\\visual studio 2010\\projects\\测试算法\\测试sudodu_must_add(mate)_no_technology recall.txt");
 time1=clock();
 srand(time(0));
 for(op=1;op<=1000000;op++)
 {
    create_gameover();
 while(!create_game(BLANKS))
  create_gameover();
 for(int i=1;i<=9;i++)
  for(int j=1;j<=9;j++)
   if(table[i-1][j-1]!=0)
   {
               v1.push_back(i);
         v1.push_back(j);
         v1.push_back(table[i-1][j-1]);
         v2.push_back(v1);
         v1.clear();
   }
 information_number=v2.size();
 fills_up();
 for(int i=0;i<information_number;i++)
 {
  for(int k=1;k<=9;k++)
      node[v2[i][0]][v2[i][1]].semaphore[k]=0;
  node[v2[i][0]][v2[i][1]].probable=0;
  node[v2[i][0]][v2[i][1]].semaphore[10]=v2[i][2];
 }
 vector<vector<int>>    v2_temporary;
 for(int i=0;i<information_number;i++)
 {      
   v2_temporary=subtraction(v2[i][0],v2[i][1]);
   if(v2_temporary==success)
    break;
   if(v2_temporary[v2.size()-1][3]==400)   continue;
   if(v2_temporary[v2.size()-1][3]==100 ||  v2_temporary[v2.size()-1][3]==200 ||v2_temporary[v2.size()-1][3]==300) 
   {
    cout<<"数组题目设计错误"<<endl;
   }
 }
 v2.clear();
 if(finished==81 && test())
 {
  v2.clear(); v3.clear();v1.clear();   finished=0;
  continue;
 }
 explore();
 if(test())  ;
 else   { out_stream<<"测试第"<<op<<"个题目失败"<<endl;  print_all(1); print_all();}
 v2.clear(); v3.clear();v1.clear();  finished=0;
 }
 time1=clock()-time1;
 out_stream<<"耗时"<<time1/1000<<"m"<<time1%1000<<"ms"<<endl;
 out_stream.close();
 }