void solve(int row, int ld, int rd){
int pos, p;
if ( row != upperlim ){
pos = upperlim & (~(row | ld | rd ));
while ( pos ){
p = pos & (~pos + 1);
pos = pos - p;
solve(row | p, (ld | p) << 1, (rd | p) >> 1);
}
}
else ++ Ans;
}
int pos, p;
if ( row != upperlim ){
pos = upperlim & (~(row | ld | rd ));
while ( pos ){
p = pos & (~pos + 1);
pos = pos - p;
solve(row | p, (ld | p) << 1, (rd | p) >> 1);
}
}
else ++ Ans;
}
初始化: upperlim = (1 << n) - 1; Ans = 0;
调用参数:solve(0, 0, 0);
和普通算法一样,这是一个递归函数,程序一行一行地寻找可以放皇后的地方。函数带三个参数row、ld和rd,
分别表示在纵列和两个对角线方向的限制条件下这一行的哪些地方不能放。位于该行上的冲突位置就用row、ld和rd中的1来表示
。把它们三个并起来,得到该行所有的禁位,取反后就得到所有可以放的位置(用pos来表示)。
p = pos & (~pos + 1)其结果是取出最右边的那个1。这样,p就表示该行的某个可以放子的位置,把它从pos中移除并递归调用solve过程。
注意递归调用时三个参数的变化,每个参数都加上了一个禁位,但两个对角线方向的禁位对下一行的影响需要平移一位。最后,如果递归到某个时候发现row=upperlim了,说明n个皇后全放进去了,找到的解的个数加一。