- 216 名前：デフォルトの名無しさん mailto:sage [2012/11/04(日) 21:13:48.86 ]
- 総当りというかバックトラックの例だが。
nQueen :: Int -> [[(Int,Int)]]
nQueen n = nQueen_ 1 [[]]
where nQueen_ m ans
| m > n = ans
| otherwise = nQueen_ (m + 1) [(m, x) : xs |
xs <- ans,
x <- [1..n],
all (\ (i, j) -> x /= j && abs (m - i) /= abs (x - j)) xs]
