3 次元 n クイーン問題の 解に関する研究
08-1-037-0149 論理工学研究室 伊藤精一
目次
n クイーン問題
背景
研究内容
結果・考察
今後の課題
n クイーン問題
n×n の盤上に n 個 のクイーンを縦・
横・斜めの 8 方向 の直線上に 1 個の クイーンしか存在 しないように配置 する問題
n=8 のクイーンの移動範 囲
(0,0) x
y (7,7)
× Q
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
×
n クイーン問題
n クイーン問題は n
≧4 以上の場合、 n
×n マス上に n 個 のクイーンを配置 できる
n=4 の例
Q
× ×
× Q ×
× × Q
×
× ×
×
×
Q ×
(3,3) x
y
(0,0)
n クイーン問題の今までの研究
n クイーンの解の総数
既存の結果だと求められた n の最大数は 26 発見された解の数はおよそ 2 京
結果を求めるのに要した時間はおよそ 9 ヶ月
探索時間の短縮
n クイーン問題の研究は、これらの研究が非常に多い
n クイーン問題の応用
n クイーン最小個数問題
3 次元 n クイーン最小個数問題
これらの問題を取り上げる
nクイーン極大配置問題
n×n の盤上に m(≦n) 個 のクイーンを配置した 時、新たに m+1 個目の クイーンがどこにも置 くことができないよう な配置を解とする
n=4 の例
Q
× ×
× Q ×
× × Q
×
× ×
×
×
Q ×
(3,3) x
y
(0,0)
n クイーン最小個数問題とは
極大配置解 m の値 が最小となる問題
・ n=4 の解の例
Q
Q Q
× × ×
× × ×
×
× ×
×
×
× ×
(4,4) x
y (0,0)
3 次元 n クイーンとは
n クイーン問題の n×n マスを n×n×n の 3 次元に拡 張した問題
配置したクイーンの影響する範囲が 2 次元の 8 方向 から 3 次元の 26 方向に増加する
3 次元の 26 方向の直線上に 1 つのクイーンしか存在
しないように配置する
3 次元 n クイーンの移動範囲
n=5 のチェス盤の中心 (2,2,2) のクイーンの移 動範囲座標
クイーンの移動範囲の ベクトルのイメージ図
x
y
(0,0,0)
z=0 z=1 z=2
z=3 z=4 (4,4,4)
Q
×
×
× ×
×
×
× ×
× ×
×
×
×
×
×
×
×
×
×
× ×
×
×
×
×
×
× ×
×
× ×
×
×
×
×
×
× ×
×
×
× ×
×
×
×
×
×
×
×
× ×
×
Q (0,0,0)
(4,0,0) (0,4,0)
(0,4,4)
(4,0,4) (4,4,4)
使用するアルゴリズム
バックトラック法:
一つの探索手順を辿り、解 が求められないと判明した 時点で一つ前の状態に戻っ て別の手順を試す方法
(0,0,0) から x 方向、 y 方 向、 z 方向に探索
設置可能なマスにクイーン を配置
設置可能なマスがなくなっ た時点でその個数を記録
最後に置いたクイーンを撮 り除く
探索順による次のマスから 探索開始
新たに設置可能なマスがな くなり、その個数が前の記 録より小さい場合、新しく その個数を記録
再び探索を行う
x
y
(0,0,0)
z=0 z=1 z=2
z=3 z=4 (4,4,4)
Q
Q Q
Q Q
Q
Q
Q
Q
Q
Q Q
Q Q
2 次元 n クイーンの最小個数解mの実行結果
n の値が小さい場合、 n の値が増えても m の値は急に増
えることはなかった
3 次元 n クイーンの最小個数解 m の実行結果
3 次元 n クイーンは、探索時間を大幅に要し、得 られた解が少なく、有意なデータを得られな
かった
実行結果・考察
2 次元 n クイーンは、 n の値が小さい場合、 n の値 が増えても最小個数解の値は急に増えることはな かった
3 次元 n クイーンは、 n の値が増えるにつれて最小
個数解の値が急激に大きくなるのではないかと予想
される
今後の課題
膨大な探索時間を要した事に対して、探索方法の改 良
探索方法の改良により、 2 次元 n クイーンは n=13 、
3 次元 n クイーンは n=6 以上の値の探索
終わりに