void dfs(int k) {
      if (k > x)   t++;

      else {   
           for (int j = 0; j <= 1; j++) {
    
              if (b[a[k][j]] == 0) {
              b[a[k][j]] = 1; 
              dfs(k + 1); 
              b[a[k][j]] = 0; //为什么回溯会从 for跳到这行而且k会自动-1？？？？？？
              }
           }   
      }
      }