• 検索結果がありません。

205 部分解合成法を用いたモンテカルロ法による NQueen の全解探索

N/A
N/A
Protected

Academic year: 2021

シェア "205 部分解合成法を用いたモンテカルロ法による NQueen の全解探索"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

205 部分解合成法を用いたモンテカルロ法による NQueen の全解探索

情報論理工学研究室 奥川 史樹

1.

序 論

近似解を求める計算手法として乱数を用いたシミュ レーションを行うモンテカルロ法がある。モンテカルロ 法は解析的に解くことができない問題でも十分多くの 解析シミュレーションを繰り返すことにより、近似的に 解を求めることができるため、適用範囲が広く問題によ っては他の計算手法より簡単に解を得られる。

組み合わせ最適化問題の一つに

NQueen

問題がある。

NQueen

問題は、最適配置問題であり、N が大きくな

るにつれて解の数が膨大になるという性質がある。そこ でモンテカルロ法を用いて、NQueen 問題の全解探索 を行う方法を考える。

2.

研究内容

まず、モンテカルロ法を用いて全解探索を実行した 結果、

N=11

を超えると

10

秒以上の実行時間でも解の

発見数が

50%以下となった。しかしながら N=10

下では実現可能な処理時間で求めることができた。こ のことから、探索範囲を分割することで問題空間を縮 小し、高速化できる余地が考えられる。そこで本研究 では解を分割して解くことができる部分解合成法 1)

用いて

NQueen

問題を解くプログラムを作成した。

部分解合成法を用いる方法として、まず

1/4

の部分 解を生成後、以下の

3

つの

Type

の合成解を生成する。

TypeA:

残りの

3/4

をランダムに生成する。

TypeB:

生成した

1/4

180°回転させたものを 1/4

の合成解とし、残りの

1/2

を自動的に生成する

TypeC:生成した 1/4

90°回転させたもの、 -90°回

転させたものから

1/2

の合成解を生成し、そこか ら残りの

1/4

を生成する。

これら

3Type

に対し、TypeAは反転や回転を加え計

8

個の解を、TypeBは計

4

個の解を、TypeCは計

2

個 の解を生成する。

3.

結果・考察

本研究で作成した部分解合成法を用いたモンテカル ロ法による解探索の結果を図

1

に示す。

1

部分解合成法を用いたモンテカルロ法 プログラムによる解発見数

2 N=8

を部分解合成法および

従来の手法での解探索時間

N=8

の場合、初期に作成したモンテカルロ法ではサン

プル数

5000000

でも解を一つも求めることができなか

ったのに対して新たに部分解合成法を用いたものでは サンプル数が

50000

個以上の場合全ての解を求めるこ とができた。

2

N=8

の場合での部分解合成法を用いた場合と 従来の手法を用いた場合の実行時間の比較である。図

2

よりモンテカルロ法に部分解合成法を適用しても実行 時間の短縮はできなかったことがわかる。そこで理由を 解明するためプログラムの処理時間を調べてみたとこ ろ全体の処理時間の

95%

以上が解の判定にかかってお り、コマの配置にかかる時間は

5%

以下であることがわ かった。部分解合成法ではコマの配置時間を短縮するこ とはできるが、各部分解が生成されるごとに競合数の判 定を行うため、判定回数が多くなる。そのため全体の処 理時間が増加してしまったと考えられる。よって部分解 を合成し全体を判定するよりも、一度に全て配置したも のを判定したほうが良いという結果となった。

4.

結 論

本研究では、モンテカルロ法による

NQueen

問題を 解くプログラムを作成した。モンテカルロ法に部分解合 成法を加えることで全解探索を行うことはできた。しか しながら、部分解合成法を用いることで解の判定回数が 増えてしまうため、実行時間を高速化することはできな かった。今後の課題としては解の判定部分を削減するこ とや並列化することで処理を高速化させる必要がある。

参考文献

1) 萩野谷一二:「NQueen 問題への新しいアプローチ(部 分 解 合 成 法

)

に つ い て 」

,

情 報 処 理 学 会 研 究 報 告

,

Vol.2011-GI-26, No.11 (2011)

参照

関連したドキュメント

鋼板中央部における貫通き裂両側の先端を CFRP 板で補修 するケースを解析対象とし,対称性を考慮して全体の 1/8 を モデル化した.解析モデルの一例を図 -1

25 法)によって行わ れる.すなわち,プロスキー変法では,試料を耐熱性 α -アミラーゼ,プロテ

そのような発話を整合的に理解し、受け入れようとするなら、そこに何ら

音節の外側に解放されることがない】)。ところがこ

名の下に、アプリオリとアポステリオリの対を分析性と綜合性の対に解消しようとする論理実証主義の  

解析の教科書にある Lagrange の未定乗数法の証明では,

生活のしづらさを抱えている方に対し、 それ らを解決するために活用する各種の 制度・施 設・機関・設備・資金・物質・

(今後の展望 1) 苦情解決の仕組みの活用.