Hatena::ブログ(Diary)

やねうらお−ノーゲーム・ノーライフ このページをアンテナに追加 RSSフィード

tokutoku777 tokutoku777 ランキング
電王戦出場記念! 書籍化されたで! 監修したで!(`ω´) 絶版なってしもた Kindle版で復活!! 記事書いたで!
解析魔法少女美咲ちゃん マジカル・オープン!

YaneuLabs / やねうら王公式 / やねうらおにメール / twitter / プロフィール

 | 

2013-01-25 古くて新しい自動迷路生成アルゴリズム

[][] 古くて新しい自動迷路生成アルゴリズム  古くて新しい自動迷路生成アルゴリズムを含むブックマーク  古くて新しい自動迷路生成アルゴリズムのブックマークコメント


最近ゲーム界隈ではプロシージャルテクスチャー生成だとか、プロシージャルマップ生成だとか、手続き的にゲーム上で必要データを生成してしまおうというのが流行であるが、その起源はどこにあるのだろうか。


メガデモでは初期のころから少ないデータでなるべくど派手な演出をするためにプロシージャルな生成は活用されてきたが、ゲーム世界プロシージャル生成が初めて導入されたのは、もしかするとドルアーガの塔(1984年/ナムコ)の迷路自動生成かも知れない。


なぜ私が迷路のことを突然思い出したのかと言うと、最近Twitterで「30年前、父が7年と数ヶ月の歳月をかけて描いたA1サイズ迷路を、誰かゴールさせませんか。」というツイートが話題になっていたからである


f:id:yaneurao:20130125090434j:image



f:id:yaneurao:20130125090418j:image:w400


f:id:yaneurao:20130125090426j:image:w400


f:id:yaneurao:20130125090427j:image:w400


この迷路を見て「ああ、俺様迷路のことを書かねば!俺様しか知らない(?)自動迷路生成のことを後世に書き残さねば!」と誰も求めちゃいない使命感がふつふつと湧いてきて、明日大事プレゼンがあるというのにかなりの長文になるであろうこの記事を書きだしたわけである。読者諸氏におかれましては「ああ、またいつもの病気か」とぐらいに思っておいていただきたい。


余談ではあるが大事なことなのでいま書いておくとだな、年が明けてからと言うもの、私が書く記事、書く記事にたくさんはてブをしていただき、たくさんのPVがあったのは本当にブロガー冥利に尽きるというものなのだが、アマゾンの商品の紹介をほとんどしていないものアマゾンのアフィリ料はほとんど入ってこない。昨年のアフィリ収入は数年前と比較すると1/10のすらない。



f:id:yaneurao:20130124004101j:image

写真提供 : 女装する人がひたすら脱毛について語るブログ ゆきにゃん( http://yukinyan.info/ )


「うわっ…私のアフィリ料、低すぎ…?」



ほれ見ろ!鹿目まどかさんもアフィリ料があまりに少なすぎておもわずシッコちびってしまったではないか!(えっ。これオシッコじゃないの?)



お前たち、わかったら、下のまどかさんでも、このブログの上に貼りつけてある右端の本でもいいから、クリックしてアマゾンに飛んで、10万円ほど無駄遣いしてくるんだぞ!






冗談はさておき。




ドルアーガの塔迷路自動生成しているのは「プロシージャルに生成して、遊ぶたびにライブ感を!」という試みではなく、単にROM容量が少なく、マップのための容量が惜しかったからである。(生成されるマップは毎回同じである。)


「容量が惜しい」とは言っても、下図のように柱と柱の間の壁の有無だけなので1フロアにつき垂直方向の壁17*9 + 水平方向の壁18*8 = 153 + 144 = 297ビット。これが60フロア分で17820ビットすなわち2223バイトあれば収まる。


ドルアーガの塔 アーケード Floor1

f:id:yaneurao:20130125090416p:image


ドルアーガの塔ROMは32KB×2だったように思う。これはマッピーの基板が2000枚ほど余っていて、それを流用するためにドルアーガの塔を作ったので、マッピーとき仕様を引きずっているのだと思われる。2223バイトが本当に惜しかったのかどうかは私にはよくわからない。


そもそもマップをよーく見ると、柱から上下左右のいずれか一方向に柱が倒れたかのように壁が存在するので倒れた方向2ビット×柱の数でよく、上記の半分ぐらいで収まる。そう考えると本当に1KB強のメモリが惜しかったのだろうか…という疑問がなくはないのだが。


f:id:yaneurao:20130125090417p:image



さて、ドルアーガの塔のようなゲーム迷路自動生成する場合、良い迷路とはどのような迷路だろうか?


「良い迷路」を言葉定義するのは難しいが、明らかにまずい例を一つ挙げることは出来る。


壁の閉ループ(袋小路)はまずい。ダメ絶対!


ドルアーガの塔では壁を壊すためのアイテム(マトック)をゲーム開始時には主人公が持っていないので、袋小路主人公が出現すると詰んでしまう。


あと、迷路はある程度入り組んでいないといけない。鍵と扉の出現位置はランダム(だと思う)が、宝箱は主人公の開始位置に出現する。宝箱の出現条件を満たし、宝箱を回収して、鍵を取って扉に入るわけだが、これらの移動距離があまりに短いとゲームとしてつまらない。


この入り組み加減を実現するために、通路がループになっているものを禁止する。ここではそのようなループのことを「開ループ」と呼ぶことにしよう。開ループがあると、ある地点からある地点への経路が複数できてしまうので入り組み度が下がる。開ループを禁止すれば、ある地点からある地点への最短経路は一意に定まる。ゆえに、解(開始位置から扉への経路)の唯一性も保証される。


入り組み度を上げるための方法は他にもいろいろあるが、専門的になりすぎるので割愛する。


あと、迷路ワンパターンではないこと。これも重要ファクターである。左上が入り口で右下が出口であるとき、どの迷路も真ん中あたりを通過する経路を選べばゴールできるだとか、特徴が似通っているのはよろしくない。


ともかく、そのような視点で見たときに、上図のマップは非常によく出来ている。入り組み方とかが芸術的とも言える。


ドルアーガの塔の画面はマッピーと同じく横スクロール型なのでマップ全体がプレイヤーに見えているわけではない。ある程度スクロールさせないと鍵や扉の位置がわからず、鍵を拾ってから扉に移動するまでに壁を壊せないなら、かなり回りこまないといけないことも多い。このへん、ゲームとしてうまく出来ている。


このようなマップはどのようにすれば生成できるだろうか?というのを考える前段階として、迷路自動生成に関する一般的な手法をいくつか紹介する。


私の記憶によると、創刊号付近マイコンBASICマガジン(30年前か…)にBASICで書かれたPC-8001用の迷路自動作成プログラムが載っていたと思う。小学生だった私はそれをせっせとPC-6001用に移植して走らせたのを覚えている。


そのアルゴリズムは確か、いわゆる穴掘り法と呼ばれるもので、画面上のランダムな位置から開始して、適当に掘り進み(2コ先が通路でないなら掘る)、現在地点の四方向とも掘り進めなくなれば(2コ先×4方向がすべて通路なら)、いままで掘ってきたところを一つずつ戻っていき(掘った経路は覚えている)、そこからまた掘っていくというアルゴリズムである


迷路自動生成アルゴリズム

http://www5d.biglobe.ne.jp/%257estssk/maze/make.html



f:id:yaneurao:20130125090433j:image



穴掘り法は入り組んだ迷路が生成されるのだが、開始点から放射状の迷路が出来るので、大きな迷路だとあまり評判はよろしくない。


穴掘り法以外のアルゴリズムとして棒倒し法、壁のばし法などがある。(上のURLを参考に)

それらは出来がいまひとつなのでここでは紹介しない。


それらとは一線を画すアルゴリズムとしてクラスタリングアルゴリズムというのがある。


クラスタリングによる迷路作成

http://apollon.issp.u-tokyo.ac.jp/~watanabe/tips/maze.html


f:id:yaneurao:20130125090430j:image


f:id:yaneurao:20130125090431j:image


f:id:yaneurao:20130125090432j:image



クラスタリングと言ってもPCを複数台用意して…みたいな話とは全く違って、単に部屋に番号をつけておき、壁を壊すときに同じ番号(同じ仲間)にするというアルゴリズムである



このアルゴリズムは実に明快で、実装しやすい。また、開ループ・閉ループが作られないということの証明が容易で、教育的にも好ましい。


ただ、それぞれの壁に対して乱数によって一定確率で壊していいか(その壁に隣り合うのは異なる部屋番号か)を判定することを繰り返すようなアルゴリズムになっているので、大きな迷路だとなかなか最後のほうの壁が壊れなくて時間がかかるかも知れない。(まだ壊していない壁だけを配列に持っておき、そこだけを調べればもう少し効率的だが…。)


あと、迷路の入り組み加減はどうなんでしょう…。壊していい壁がランダムに壊されていくようなモデルなので、比較的癖のない迷路になるんですかね。


以上のことを踏まえた上で、ドルアーガの塔迷路生成アルゴリズムに踏み込んでいく。


ドルアーガの塔』編(『ドルアーガの塔研究室)

http://www.druaga.to/qanda_tod.html


f:id:yaneurao:20130125090435j:image


上の書き方はアルゴリズムとして少しわかりにくいので私が以下に書きなおす。


定義

「壁つきの柱」とはその柱の上下左右のうち1箇所以上すでに壁がつけてある柱のこと。

「壁なしの柱」とはその柱の上下左右のうち壁がまだつけてない柱のこと。


1. 画面左上の柱から順番に調べていく。壁付きでない柱に対してだけ以下の2.〜4.の処理をして壁を伸ばす。

2. いま注目している柱から壁を伸ばす。0〜3の乱数により、それに相当する方向(0:上,1:右,2:下,3:左)に壁を作る。

3. 伸ばした壁が外壁か、壁つきの柱に到達したなら終了。

4. 0〜2の乱数(0:進行方向左、1:まっすぐ、2:進行方向右)により、いま注目している柱から壁をさらに伸ばす。3.に戻り繰り返す。


参考動画として次の動画を挙げておく。


FCドルアーガの塔 FLOOR1 マップ生成手順

D

ただし、3.で伸ばすとき自分自身(上記2.〜4.で処理中の柱)にはぶつからないようにという条件が必要のようだ。(ぶつかると閉ループが出来てしまう)


また「(3方向とも処理中の柱であったなら)一つ前の柱に戻ってやりなおしたような気がします」と遠藤さんはおっしゃっているのだが、一つ前の柱に戻っても下図のようになっていると何度やっても行き止まりになってしまう。


f:id:yaneurao:20130125090419p:image


まり、一つ前の柱に戻ってやりなおすという処理だとまずく、そういう処理はしていないと私は思うのだが、もしかするとたまたまそういう形の乱数は発生せず、うまく迷路生成が出来ているのかも知れない。


ただ、自分自身にぶつかった場合はその壁は作らずに処理を終了させる場合、その周囲に次図のように開ループが出来てしまうことがある。(緑の線で書いた経路)


f:id:yaneurao:20130125090420p:image


回生成した壁すべてをキャンセルして、再度元の柱からやりなおすような処理にすれば良いのだが、生成しなおすのが馬鹿らしいので、生成中の柱による袋小路に突っ込んでしまった場合は、生成した壁は消さずにひとつ戻る。その柱の3方向が生成中の柱ならばさらひとつ戻る。(以下繰り返し)


というように、生成した壁は消さずに柱をいくらでも戻っていくようなアルゴリズムになっている必要があると思う。


さて、このアルゴリズムで生成した迷路に開ループと閉ループ存在しないことを証明しなければならないが、この証明結構やっかいなので簡単な説明だけをする。


それぞれの柱に着目した場合、その柱から伸びいている壁は1つに定まる。つまりこのアルゴリズム迷路を生成した場合、柱の本数だけ壁が存在する。


f:id:yaneurao:20130125090417p:image


なぜなら、上記1.で壁なしの柱から壁を伸ばしていき、どこかに当たった時点で停止するので棒倒しのように、壁にはそれに帰属する柱が定まるというわけだ。


また伸ばしていくとき自分自身には衝突しない(閉ループができない)ようにしている。


いま下図の赤い矢印が壁だとして、ここに緑の破線のような壁を作って閉ループが作れるかどうかを考えてみる。


f:id:yaneurao:20130125090421p:image


緑の破線の壁は3つであるが、棒倒しのように倒せる柱は2つしかない。つまり、閉ループになっていない柱と壁のつらなりに対して、このアルゴリズムでは閉ループが追加されることはない(倒せる柱の数が1つ足りないから)ことが保証されている。ゆえに閉ループは出来ない。


次に、開ループが出来ないことを証明しよう。たとえば1本の柱のまわりに開ループをつくるとする。以下図のようになるが、この中央の柱をどちらかに倒さなければならないので開ループにならない。(赤い矢印は壁で、ここが閉ループに見えますが、実際はどこかの壁が開いていると考えてください。この赤い壁による閉ループの内側では、ある二点に対して経路が複数あるのでこれは開ループになっていると言えます。)


f:id:yaneurao:20130125090422p:image


同様に下図の場合もまんなかの2本の柱をどのような組み合わせで倒しても開ループが壊れてしまう。


f:id:yaneurao:20130125090423p:image


下図も同様。中央の4本で閉ループを作っていいのなら開ループが出来るのだが、閉ループを作れないことは証明済み。


f:id:yaneurao:20130125090424p:image


このように開ループを作ってもその内側にある柱から絶対に1つは壁が伸びてくるので開ループは出来ない。


迷路作成アルゴリズムには棒倒し法というのがあって(あまり質のいい迷路が出来るわけではないので取り上げなかった)、棒倒し法で閉ループ・開ループが作られないという証明は上記と同様にして出来るのではないかと思う。



ドルアーガの塔迷路生成アルゴリズムで閉ループ・開ループが作られない証明が得られたので、次にドルアーガの塔フロア60の話に移ろう。


遠藤さんの話を思い出そう。

フロア番号(1〜60)を乱数seedとして生成していた。

乱数seedを255にすると「整然とした迷路になった」。これをフロア60に使うことにした。


あと、

乱数線形合同法で生成している。

これは別のところで遠藤さんがおっしゃっていたと思う。


ドルアーガの塔 アーケード Floor 60

f:id:yaneurao:20130125090425p:image


上図がフロア60である。もう棒がどちらに倒れているかは図示しなくてもおわかりだろう。すべて左に倒れている。すなわち、「0〜3の乱数により、それに相当する方向(0:上,1:右,2:下,3:左)に壁を作る」ときに、3が出続けたというわけだ。


0〜3の乱数なので発生させた乱数を4で割った余りだろう。


線形合同法は下位ビット乱数としての精度が悪いことが多いのでビットシフトをしてまんなか付近ビットを取り出すこともあるが、たぶんそれはやってなくて、255をseedにして乱数を発生させ、下位2ビットを取り出すと3ばかりが出てきたのだろう。


線形合同法はもともと下位ビット乱数としての精度は悪いのだが、当時の事情を考えると、それだけではない気がする。


ドルアーガの塔ではCPUMotorola社のMC6809で動いていたからMUL(乗算)はあっても除算はなく、除算のルーチンは結構面倒なので除算せずにビットマスクで済ましてあったのではなかろうか。


すなわち、線形合同法の次式に対して、

f:id:yaneurao:20130125090436j:image


Mを2のN乗にする。(こうすればビットマスクで済む)


MC6809のMULは8ビット×8ビットが16ビットで結果が得られる。(Aレジスタ×Bレジスタ = Dレジスタ)


MUL一回で求めようとすれば、上式のAは8ビット、Xnは前回の乱数(8ビット)になってしまい、乱数の周期が極めて短くなってしまう。さすがにこれは無いと思うのだが、ともかく、Xnの初期値がseedで、これが255だと、0〜3の乱数を発生させたときに3ばかりが出続けたということのようだ。


あと、剰余を求めるコスト馬鹿にならなかったということで思い出したが、「0〜2の乱数(0:進行方向左、1:まっすぐ、2:進行方向右)により、いま注目している柱から壁をさらに伸ばす。」という処理をするために0〜2の乱数を発生させなければならないが、発生させた乱数を3で割った余りを求めるのは嫌なので、4で割った余り(これならビットマスクで得られる)を求め、それが3だったなら乱数発生からやりなおす、というような手法が取られることがある。


このとき、やりなおすのではなく、得られた数値が3だったなら1とみなすようにすれば、0と2が出る確率がそれぞれ25%で、1が出る確率が50%の乱数になる。ドルアーガの塔では、直進方向の壁を確率高めに生成したほうが迷路っぽくなると思うので、もしかしたらそういう処理になっているかも知れない。[要検証]


ともかく、ドルアーガの塔迷路生成についての解説が一通り終わった。


上記のアルゴリズム遠藤さんのオリジナルのようなのだが、現代でも十分通用する手法だと思う。

このアルゴリズムの優秀さに私は感心すると同時に、現在にこういった手法が受け継がれていないことを残念に思う。


迷路自動作成の話題としては最近ではイラストを与えて、それを迷路化するのが流行っているようなのだが、これについて書こうと思っていたらすっかり出かける時間になってしまった。以下のサイトを紹介してこの記事を終わる。


Maze Design

http://www.cgl.uwaterloo.ca/~csk/projects/mazes/


f:id:yaneurao:20130125090428p:image

yaneuraoyaneurao 2014/09/11 02:53 以下の記事でドルアーガの塔の迷路生成〜乱数生成の話題が少し出てきていたのでご紹介。

[CEDEC 2014]ナムコ作品で見る乱数の歴史。「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」レポート
http://www.4gamer.net/games/042/G004287/20140905040/

yaneuraoyaneurao 2014/09/14 05:34 ドルアーガの塔の迷路でジグザグが多いのは以下のような理由らしい。

せっき〜のゲーム屋さん ドルアーガの塔 乱数の工夫の正体
http://sekigames.gg-blog.com/Entry/291/

 | 

人気blogランキング tokutoku777
1900 | 01 |
2004 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2005 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2006 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2007 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2008 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2009 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2010 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2011 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2012 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2013 | 01 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2014 | 01 | 02 | 03 | 04 | 06 | 08 | 10 | 11 | 12 |
2015 | 01 | 02 |


Microsoft MVP
Microsoft MVP Visual C# 2006.07-2011.06