POJ3239-Solution to the n Queens Puzzle

全解题报告索引目录 -> 【北大ACM – POJ试题分类】

转载请注明出处：http://exp-blog.com/2018/06/15/pid-420/

-------------------------------------------------------------------------

N皇后问题，由于n的规模较大，可使用构造法解题。

构造法原理：

    英文原文（原作者E.J.Hoffman）： http://penguin.ewu.edu/~trolfe/QueenLasVegas/Hoffman.pdf 

    原文下载：http://download.csdn.net/download/lyy289065406/10184847

    中文译文（本人亲译，补充了现在网上流传的 【构造法公式的推导过程】）：

        http://exp-blog.com/2018/06/16/pid-429/

    译文下载：http://download.csdn.net/download/lyy289065406/10184900

1. /*
2. Author: Exp
3. Date: 2017-12-27
4. Code: POJ 3239
5. Problem: Solution to the n Queens Puzzle
6. URL: http://poj.org/problem?id=3239
7. */
9. /*
10. 题意分析：
11. N皇后问题:
12. 在NxN棋盘内 纵、横、斜不重叠放置棋子，
13. 当给定N (N ∈ [8, 300]) 时, 输出任意一种解法
16. 解题思路：
17. （为了便于下文分析讨论，此处开始修正为“M皇后问题”）
18. 【禁位排列】的一种题型。
20. 传统解法是【回溯法（DFS+剪枝）】，但本题N值过大，回溯法会爆栈.
21. LRJ的《算法艺术与信息学竞赛》提出的解法是【启发式修补算法】(属于人工智能算法的一种)
22. 启发式算法在M<10000左右都是可解的，但是因为启发式算法均存在随机性，
23. 收敛速度视不同的收敛因子而变化（我看过某篇论文称启发式算法在M=10000时的耗时等价于回溯法M=30的耗时）
26. 这题还有用【构造法】（即通过分析问题潜在的数学规律直接得到解）的通解公式，时间复杂度为O(1)
27. 通解公式的原理来源是由E.J.Hoffman、J.C.Loessi、R.C.Moore三人在1969年发表的一篇数学论文：
28. 英文原文： http://penguin.ewu.edu/~trolfe/QueenLasVegas/Hoffman.pdf
29. 原文下载：http://download.csdn.net/download/lyy289065406/10184847
30. 中文译文（本人亲译）：http://blog.csdn.net/lyy289065406/article/details/78955101
31. 译文下载：http://download.csdn.net/download/lyy289065406/10184900
34. 而目前网上流传的通解公式，则是为了便于编程，在坐标变换后得到的：
35. 变换坐标后的求解公式如下：
36. ① 当m mod 6 != 2 且 m mod 6 != 3时：
37. (A1):[2,4,6,8,...,m], [1,3,5,7,...,m-1] (m为偶)
38. (A2):[2,4,6,8,...,m-1], [1,3,5,7,...,m-2], [m] (m为奇)
40. ② 当m mod 6 == 2 或 m mod 6 == 3时，
41. 令 n= m / 2 (m为偶数) 或 n = (m-1)/2 (m为奇数)
42. (B1):[n,n+2,n+4,...,m], [2,4,...,n-2], [n+3,n+5,...,m-1], [1,3,5,...,n+1] (m为偶,n为偶)
43. (B2):[n,n+2,n+4,...,m-1], [1,3,5,...,n-2], [n+3,...,m], [2,4,...,n+1] (m为偶,n为奇)
44. (B3):[n,n+2,n+4,...,m-1], [2,4,...,n-2], [n+3,n+5,...,m-2], [1,3,5,...,n+1], [m] (m为奇,n为偶)
45. (B4):[n,n+2,n+4,...,m-2], [1,3,5,...,n-2], [n+3,...,m-1], [2,4,...,n+1], [m] (m为奇,n为奇)
47. 上面有六条解序列:
48. 一行一个序列(中括号是我额外加上的，以便辨认子序列)
49. 第i个数为j，表示在第i行j列放一个皇后.
50. 子序列与子序列之间的数序是连续关系(无视中括号就可以了), 所有子序列内j的递增值为2
51. */
54. #include <iostream>
55. using namespace std;
57. /*
58. * 每隔1个数打印从bgn到end的序列
59. * @param bgn 起始值（包括）
60. * @param end 终止值（包括）
61. */
62. void print(int bgn, int end);
65. int main(void) {
66. int m = 0;
67. while( cin >> m && m > 0) {
68. const int mod = m % 6;
69. const bool mOdd = (m % 2 == 1);
71. if(mod != 2 && mod != 3) {
73. // A2
74. if(mOdd == true) {
75. print( 2, m - 1);
76. print( 1, m);
78. // A1
79. } else {
80. print( 2, m);
81. print( 1, m - 1);
82. }
84. } else {
85. int n = m / 2;
86. const bool nOdd = (n % 2 == 1);
88. if(mOdd == true) {
90. // B4
91. if(nOdd == true) {
92. print(n, m - 2);
93. print( 1, n - 2);
94. print(n + 3, m - 1);
95. print( 2, n + 1);
96. print(m, m);
98. // B3
99. } else {
100. print(n, m - 1);
101. print( 2, n - 2);
102. print(n + 3, m - 2);
103. print( 1, n + 1);
104. print(m, m);
105. }
107. } else {
109. // B2
110. if(nOdd == true) {
111. print(n, m - 1);
112. print( 1, n - 2);
113. print(n + 3, m);
114. print( 2, n + 1);
116. // B1
117. } else {
118. print(n, m);
119. print( 2, n - 2);
120. print(n + 3, m - 1);
121. print( 1, n + 1);
122. }
123. }
124. }
125. }
126. return 0;
127. }
130. void print(int bgn, int end) {
131. for( int i = bgn; i <= end; i+= 2) {
132. cout << i << ' ';
133. }
134. }