Question

我目前正在学习回溯并且卡在8-queen问题上，我使用的是8x8矩阵，我认为我有一些关于矩阵传递给函数的问题，任何帮助都会非常苛刻。我不会请注意，如果有人对代码进行任何优化，谢谢。

这是我的代码。

#include <stdio.h>
#include <stdlib.h>

#define MAX 7



//void azzera(int **mat);
void posiziona(int **mat, int r,int c);
void stampa(int **mat);
int in_scacchi(int **mat,int r ,int c);

int main(int argc, char *argv[])
{



  int i=0,j=0;


  int **mat=(int **)malloc(sizeof(int *)*MAX);
  for(i=0;i<=MAX;i++){
      mat[i]=(int *)malloc(MAX*sizeof(int));               
      for(j=0;j<=MAX;j++){

           mat[i][j]=-1;
      }                        
   }


  printf("insert pos of the first queen on the first row (1-8) :");
  scanf("%d",&i);
  i-=1;
  mat[0][i]=1;

  posiziona(mat,1,0);
  stampa(mat); 

  system("PAUSE");  
  return 0;
}

/*void azzera(int **mat){

  int i=0,j=0;

  for(i=0;i<=MAX;i++){
      for(j=0;j<=MAX;j++){
           mat[i][j]=-1;
      }                        
   }

}*/

void stampa(int **mat){
     int i,j;

     for(i=0;i<=MAX;i++){
      for(j=0;j<=MAX;j++){
           printf(" %d",mat[i][j]);
      }
      printf("\n");                        
   }

}
void posiziona(int **mat, int r,int c){
    int i=0,riga=1,flag_col=-1,flag_riga=-1; 

    if(riga<=7&&flag_riga!=1){

         if(flag_riga==1){
             flag_riga=-1;                 
             posiziona(mat,r+1,0);
         }
         else if(in_scacchi(mat,r,c)==1){
                   if(c==MAX)
                       posiziona(mat,r-1,0);
                   posiziona(mat,r,c+1);  
         }
         else{
                   flag_riga=1;
         }
    }  
}

int in_scacchi(int **mat,int r ,int c){
    int i,j,k,m;
    int flag=0;   
   //col  
   for(i=0;i<r;i++){                 
      for(j=0;j<=c;j++){
           if(((mat[i][j]==1)&&(c==j))) 
                return 1;   

      }                          
   }
   //diag \
   for(i=0;i<MAX-r;i++){                 
      for(j=0;j<=MAX-c;j++){
           if(mat[MAX-r-i][MAX-c-j]==1) 
                return 1;   
      }                     
   }                          

   //antidiag 

   for(i=r+1;i<=MAX;i++){                 
      for(j=c+1;j<=MAX;j++){
           if(mat[r-i][c+j]==1) {
                return 1;   
           }                     
      }                          
   }
   return 0;

}

Answer 1

1。一个明显的问题是内存分配：

  int **mat=(int **)malloc(sizeof(int *)*MAX);
  for(i=0;i<=MAX;i++){
      mat[i]=(int *)malloc(MAX*sizeof(int));

鉴于MAX为7，两个mallocs都为矩阵分配的内存太少（七个元素而不是八个）。

说实话，我会将MAX重命名为SIZE或类似的东西，并将所有循环更改为使用严格的小于，即

for(i = 0; i < SIZE; i++) {

我认为这稍微更惯用，不容易出错。

2. 我没有尝试调试逻辑（我认为期望我们这样做是不公平的）。但是，我注意到main除了mat以外的任何地方都没有分配def can_place(col_positions, col): row = len(col_positions) for r, c in enumerate(col_positions): if c == col or abs(c - col) == abs(r - row): return False return True def queens(n, col_positions = []): if len(col_positions) >= n: pretty_print(n, col_positions) return True for col in xrange(n): if can_place(col_positions, col): if queens(n, col_positions + [col]): return True return False def pretty_print(n, col_positions): for col in col_positions: print '.' * col + 'X' + '.' * (n - 1 - col) queens(8)的元素。对我来说，这表明代码可能不正确。

3。除此之外，观察在有效的解决方案中，棋盘的每一行都包含一个女王，这可能是有用的。这意味着你并不需要一个8x8矩阵来表示解决方案：一个8位元素的列位置阵列就可以了。

编辑在回复评论中的问题时，这是一个完整的Python实现，演示了上述第3点：

{{1}}

Answer 2

您的矩阵必须从0迭代到MAX-1，

即

int **mat=  malloc(sizeof(int *)*MAX);
  for(i=0;i< MAX;i++){  //see for i<MAX
      mat[i]=  malloc(MAX*sizeof(int));               
      for(j=0;j<MAX;j++){ //see for j<MAX

           mat[i][j]=-1;
      }                        
   }

Answer 3

必须在i和j循环中使用sizeof（...）*（MAX + 1）调用malloc。

此外，当我运行你的程序时，我在in_scacchi（...）的antidiag部分中遇到了访问冲突，因为代码试图访问 mat [ri] [c + j] 评估为 mat [-1] [1] ，因为 r == 1 和 i == 2 。

因此，在描述矩阵的反对角线时似乎存在逻辑错误。

8-Queens代码段

3 个答案: