跳到主要內容

無限隨機地圖生成 Wang Tiles

Wang Tiles
----------------

在研究關於可用於地圖生成的波函數坍縮演算法(Wave Function Collapse,底下簡寫WFC)的時候,又看到關於王式磚的資料(Wang Tiles,底下簡寫WT)。跟WFC比起來,WT比較容易理解和實作,所以我就先根據WT的原理實作了一個無限隨機地圖生成的測試。


關於WT,這個網站有詳細的介紹,同時也有許多tilesets可以用來作為測試資源。WT是數學家發明的遊戲,主要概念是邊緣匹配的tile連通拚接。每一個矩形tile有4個邊和4個角,所以有2種拼法,一種是邊匹配的拼法,一種是角匹配的拼法。

邊匹配 2Edge
---------------------

以邊匹配的拼法為例,每一個矩形tile的4個邊裡面,每個邊如果用0或1表示不同顏色,則總共有2x2x2x2共16種不同的tile。如下圖,生成tilemap時,如果一個tileA的上方的tileB的下邊是1,則tileA的上邊必須也是1,才能連通。同理,右方的tileC的左邊是1的話tileA的右邊也要是1,等等。整個tilemap的每一個tile都符合這個規則,就是一個符合WT的tilemap。


生成隨機tilemap的方式不只一種,一個簡單的方法是從左到右從上到下,一個一個tile生成。每一個新tile生成時,針對它的上方及左方2個己生成的tile的邊建立連通狀態(上方tile的下邊是1則新tile的上邊也需為1,左方tile的右邊為1則新tile的左邊也需為1),而新tile的右方及下方的邊則隨機選擇0或1。

如下圖,針對tileX的4個邊依序上右下左以2進制編碼為1,2,4,8,這樣在生成tilemap時可以使用bit運算操作方便判斷。


這樣16種tile的編號也同時是它的編碼。如tile0表示4個邊都是0,tile8表示左邊是1其餘3邊是0,tile13表示上左下邊是1右邊是0,等等。底下是生成邊匹配的tilemap的虛擬碼。

void gen2EdgeWangTilesmap(cx, cy)
{
  foreach tile i of tilemap {
    tile = 0;
    if (tilemap[upper] & 4) {           // Match upper edge.
      tile |= 1;
    }
    if (tilemap[left] & 2) {            // Match left edge.
      tile |= 8;
    }
    if (rand) {                         // Random lower edge.
      tile |= 4;
    }
    if (rand) {                         // Random right edge.
      tile |= 2;
    }
    tilemap[i] = tile;
  }
}

下圖為以邊匹配拼法產生的隨機tilemap。(tileset來源http://cr31.co.uk/stagecast/wang/tiles_e.html)


角匹配 2Corner
----------------------

邊匹配的拼法裡面,對每個tile的每個邊來說只需要跟另一個相隣的tile的一條邊作匹配即可,但是角匹配的拼法就複雜多了,角匹配的拼法裡面的每個tile的每個角需要和其它3個相隣的tile的角匹配。如下圖,和tileX的角x相隣的3個tile的角分別是tileA的角a、tileB的角b和tileC的角c。


同邊匹配的拼法一樣,在作角匹配的演算法我們一樣對每一個tile的4個角作編碼,方便使用bit運算作檢查,如下圖。


生成隨機tilemap時,在上圖中相隣的4個角xabc中只要一個是1,全都要是1才能連通。一個生成的方法也是同邊匹配的拼法一樣,從左到右從上到下,一個一個tile生成。每一個新tile生成時,針對新tile的左上、右上及左下角3個角要和己存在的tile的對應的相隣角匹配作連通,而剩下的右下角則使用隨機數0或1。底下是生成角匹配的隨機tilemap虛擬碼。

void gen2CornerWangTilesmap(cx, cy)
{
  foreach tile i of tilemap {
    tile = 0;
    // Match upper.
    if (mTilemap[up] & 4) {
      tile |= 8;
    }
    if (mTilemap[up] & 2) {
      tile |= 1;
    }
    // Match left.
    if (mTilemap[left] & 1) {
      tile |= 8;
    }
    if (mTilemap[left] & 2) {
      tile |= 4;
    }
    // Match lower.
    if (mTilemap[down] & 8) {
      tile |= 4;
    }
    // Match right.
    if (mTilemap[right] & 8) {
      tile |= 1;
    }
    // Random lower-right.
    if (rand()) {
      tile |= 2;
    }
    tilemap[i] = tile;
  }
}

下圖為以角匹配拼法產生的隨機tilemap。(tileset來源http://cr31.co.uk/stagecast/wang/tiles_c.html)


生成無限隨機地圖
---------------------------

動態生成無限隨機地圖的一個簡單方法是,把世界地圖切成許多小tilemap,每一個tilemap是8x8的tile組成。每一個tilemap使用WT的拼法隨機生成,同時每一個tilemap還要和相隣的tilemap連通。不只每一個tilemap內的每一個tile是連通的,相隣的tilemap之間也都是連通的,這樣整個世界地圖都會是無縫連接的。

如下圖,在畫世界地圖時,從左上角開始,計算出左上角的tilemap是那一個,然後依序從左到右從上到下,一個一個tilemap畫出來。每一個tilemap是8x8大小,每個tilemap區塊的左上角的數字是這個tilemap的座標(col,row)。


tilemap生成的時機是,當畫面捲動要畫出其中一個tilemap區塊時(指定座標為col:row),若這個tilemap原先不存在,則生成一個新的tilemap,並記錄下來。每一個tilemap以上面介紹的WT生成隨機內容,生成每一個tilemap內容後,還要作的就是處理相隣的tilemap怎麼作到連通相接。如下是生成世界地圖中指定座標的tilemap的虛擬碼。

void genNewTilemap(col, row)
{
  //
  // Gen new tilemap.
  //

  tilemaps[col,row].gen2CornerWangTilesmap();

  //
  // Link tiles of edges to neighbor tilemaps.
  //

  if (isTilemapExist(col - 1, row)) {
      tilemaps[col,row].linkLeftEdge(tilemaps[col - 1, row]);
  }

  if (isTilemapExist(col, row - 1)) {
      tilemaps[col,row].linkUpperEdge(tilemaps[col, row - 1]);
  }

  if (isTilemapExist(col + 1, row)) {
      tilemaps[col,row].linkRightEdge(tilemaps[col + 1, row]);
  }

  if (isTilemapExist(col, row + 1)) {
      tilemaps[col,row].linkLowerEdge(tilemaps[col, row + 1]);
  }
}

如上面的虛擬碼所示,生成一個指定座標的tilemap之後,還要再檢查此tilemap的上下左右4個方向是否也己經有tilemap存在,若是則需要再和它們作連通檢驗。

底下只舉linkLeftEdge一例,其餘依此類推。

void linkLeftEdge(leftTilemap)
{
  // Link left col to right col of wt.
  foreach tile i of left col {
    tileL = leftTilemap.tilemap[iL];    // foreach tile iL of right col of leftTilemap.
    tile = mTilemap[i] & ~(4 + 8);      // Clear top-left and bottom-left corner.
    if (tileL & 1) {                    // Match top-right corner.
      tile |= 8;
    }
    if (tileL & 2) {                    // Match bottom-right corner.
      tile |= 4;
    }
    tilemap[i] = tile;
  }
}

下圖為以此方法生成的一個無限隨機地圖。(tileset來源為http://cr31.co.uk/stagecast/wang/tiles_c.html)



留言

這個網誌中的熱門文章

單人撲克牌遊戲 - 蒙地卡羅

更多可在網頁玩的 單人撲克牌遊戲 ; 新增一個簡單的單人撲克牌遊戲: 蒙地卡羅 ,簡單介紹一下玩法。 下載 事先排列好5x5張牌。 每次移動一張可以配對的牌,並消除這對牌。在上下、左右及斜向相隣的二張牌,只要擁有同樣數字(不計花色),即可配對。 消除二張配對的牌後,剩餘的牌以往左往上的方式補滿空隙,接著在發新牌補滿後面的空格。 重覆步驟2~3,直到沒有牌可以配對及發完所有牌為止。 結果有二種。一個是勝利,成功的消除掉所有牌。另一個是Gameover沒有牌可以再作配對。

以lex/yacc實作算式計算機

前面我們透過 手工的方式 實作了一個簡易的算式計算機,現在我們要開始使用工具來作同樣的事,比較看看手工和使用工具有什麼不同的差別。首先要介紹的就是lex&yacc。 lex & yacc lex(Lexical Analyzar)及yacc(Yet Another Compiler Compiler)是用來輔助程式設計師製作語法剖析器的程式工具。lex的工作就是幫助我們將輸入的資料文字串流分解成一個個有意義的token,而yacc的工作就是幫我們分析這些token和我們定義的規則作匹配。下圖中所表示的是使用lex及yacc的一般工作流程。 首先看到yacc會讀入一個.y檔案,這裡.y檔案的內容就是我們使用類似(E)BNF語法定義的語法規則,yacc會分析這些語法規則後,幫我們產生可以用來解析這些規則的程式碼,而這個檔案一般名稱預設為y.tab.c,產生的程式碼裡面最重要的一個的函式叫作yyparse。 同yacc類似,lex也會讀入一個.l的檔案,這個檔案裡面定義的是如何從文字流裡解出token的規則,使用的方法是常規表示式(regular expression)。在圖的左側中間我們還可以看到有一個叫作y.tab.h的檔案從yacc產生出來並餵給lex作輸入,這個檔案是yacc根據在讀入的.y檔裡面所定義的token代號所產生出來的一個header,這樣yacc及lex產生出來的程式碼裡面就可以使用共通定義的代碼而不必各寫個的。lex分析過.l檔案後也會產生一個一般預設叫作lex.yy.c的原始碼檔案,裡頭最重要的一個函式叫作yylex。 最後,我們把yacc產生出來的y.tab.c還有lex產生出來的lex.yy.c,以及其它我們自己撰寫的原始碼檔案一起拿來編譯再作連結,最後產生出來的就是一個可以用來解析我們定義的語法的解析器工具。以上是整個lex及yacc的使用流程概觀。 常規表示式 在正式使用lex之前,我們首先來對常規表示法作一個基本的認識。常規表示法是一種用來表示字串樣式(pattern)的中繼語言,就好比前文所介紹的(E)BNF表示式一樣,都是用來描述其它語言的語言,只不過用途不太一樣罷了。 常規表示式使用一些中繼符號(meta-symbol)以及ASCII字元定義字串樣式,以下列出一些常規表示式所使用的符號。 . 表示除了換行字元...

(E)BNF表示式

BNF(Backus-Naur Form)是由John Backus所開發,可用來表示與上下文無關文法的語言,也就是一種用來描述語言的中繼語言(meta-language)。一個BNF表示式是由一個非終端符號(non-terminal)和它的產生式所組成,產生式可以是一個終端符號(terminal)和非終端符號組成的序列。(終端符號中的標點符號一般使用單引號括起來,而字串則使用雙引號) 底下為一個簡單的範例: sent := subj verb '.' subj := “Birds” verb := “sing” 在上面的例子裡面,如Birds、sing及句點('.')表示終端符號。而sent及verb表示為非終端符號。這條BNF句子定義了一條文法,表示的意思為,一個sent是由subj及verb再以一個句點為結尾所構成。 BNF表示式有以下幾種主要表示形式: (1) S := A B C (2) S := A | B | C (3) S := {A} 第一條表示說,S是由ABC三個符號所定義, 而ABC是以序列的形式依序出現,也就是說A之後一定跟著一個B,而B之後一定跟著一個C。第二條表示說,由S可推導出A或B或C其中之一。第三條表示說,由S可以推導出一個或多個A。 範例: S := x A A := y | z (1) xy (O) (2) xz (O) (3) xx (X) (4) yz (X) 以上4個範例中,只有(1)(2)是符合上面BNF文法定義的句子,因為x之後只能接y或z所以(3)不符合文法,因為S只能以x開頭為句子所以(4)也文法錯誤。 範例: id := alpha {alpha} alpha := a | b | c | d (1) aabbbcdd (O) (2) cabbbda (O) (3) baccab (O) (4) bdax (X) (5) 5acd (X) 在上面的5個範例裡面,其中(1)(2)(3)項是正確符合上面BNF的文法定義。而(4)因為alpha裡不包含x符號所以語法不正確。而(5)因為alpha裡面不包含5所以也不正確。 範例: S := '-' FN | FN FN := DL | DL '.' DL DL ...