跳到主要內容

多人連線版本的吃金幣的人

吃金幣的人是對基因算法的一個研究和實驗,主要是資料及算法上的研究和測試。後來使用good的繪圖能力把它圖形化,同時測試及擴展good的整合能力。現在再進一步把它和網路底層作結合,建立一個新的實驗平台,命名為nature online。


和good一樣建立no的目的是為了創造一個可以讓我平常利用空間時間來作研發和實驗的平台。no整合了所有到目前為止所作的小實驗和研究。主要的目標是研究分散式網路遊戲的架構及模擬生態系統。

目前具備的功能:
- 分散式的網路伺服器架構,後端使用mysql。
- 使用2張測試地圖,隨時可以任意切換至任意地圖任意位置。
- 地圖物件目前有二種:tree/bug。
- tree物件應用生命遊戲規則生成及更新。
- bug物件應用基因算法活動食物為tree物件。
- 自動同步client可見視野內的內容。
-使用good為client成象引擎。

下階段的目標是持續底層研發及增加更多種類的物件。

;=========================

以下二件事是需要特別記錄的。

A.
首先tree物件的更新決定以生命遊戲的規則來作更新及生成,規則沒什麼問題,問題是數量和速度。如果是像good內建的life範例,那相當於16x16的地圖格子大小,總數也才256格,每次更新時全訠256格都掃一次也沒什麼問題。不過當地圖變成像no那樣是500x500或更大時,問題就出來了。每次要掃那麼多的格子,速度就成為一個問題了,而且server每次更新不只是要更新tree物件而己,還有其它工作要作。

一個簡單的解決方法是只檢查需要檢查的格子。

1,記錄目前有那些存活的格子
2,根據存活的格子推算有那些格子在下一世代可能產生狀態變化,可能有狀態變化的格子也就是存活的格子的周圍8個空格子
3,下一世代只需計算(目前存活格子+可能產生狀態變化的格子),其它的格子都可以忽略不看

假設目前存活的格子是10000個,這10000個格子周圍總共30000個空格子,那麼下一世代只需計算40000個格子,而不是全部250000個格子。數量大大的減少了!

B.
bug物件是以基因算法為基礎來製作。和吃金幣的人一樣,假設基因的編碼是根據上下左右中5個格子(環境變數)共3種不同狀態,基因長度為243。現在的問題是,假設過了一段時間之後,要改變編碼需要檢查的格子數或狀態數,這樣一來原本之前花時間演化出來的基因就會無效。因為新舊編碼方法不同產生的基因長度是不同的,二者無法一一對應。雖然舊的編碼方式的基因可以作為新編碼方式基因的一個子集合被包含,但是存取的方法必須改變,否則無法相容。

一個簡單的解決方法是另外維護一個編碼對照表,這樣即使基因的長度擴充了,舊的基因的位置還是不變可以向下相容。

1,建立<狀態編碼,基因位置>對照表
2,分別處理二種不同的擴充基因的狀況
  * 檢查格子數擴充
  * 檢查狀態數擴充


討論檢查格子數擴充的狀況。



0   0 [0]   0 [0 0]     idx0
1   0 [1]   0 [0 1]     idx1
     1  0     0 [1 0]     idx2
     1  1     0 [1 1]     idx3
                1  0 0       idx4
                1  0 1       idx5
                1  1 0       idx6
                1  1 1       idx7


假設現在只看一個格子且狀態只有0和1二種,如最上表最左行所示,基因長度為2,基因的索引位置為0和1。現在新增一個格子,每個格子一樣有二種狀態,基因長度變為4(2^2)。請看上表中間的部份,列出4種可能的狀態編碼,中括號標出來的[0]和[1]為一個格子的狀況的可能編碼,這是需要在基因擴充時保持不變且向下相容的部份。同樣的再增加一個格子,總共可能的編碼變為3^2=8。如上表右側部份列出所有可能編碼,中括號標示出來的部份[00][01][10]及[11]是必須保持不變向下相容的。

討論檢查狀態數擴充的狀況。



0 0   [0 0]   [0 0]    idx0
         0 1     [0 1]   idx1
         1 0      0 2     idx2
         1 1    [1 0]    idx3
                  [1 1]    idx4
                   1 2      idx5
                   2 0      idx6
                   2 1      idx7
                   2 2      idx8


如上表所示,類似於討論檢查格子數擴充的狀況所說明的,每增加一個新的狀態時,需要保持不變且向下相容的編碼規則會有些不同。不像上面增加檢查格子時舊的部份維持在上半部,新增的部份在下部份。每增加一個新的狀態時,舊的編碼和新的編碼會互相交錯,但還是可以看出其中的規則。

依據以上二個不同狀況變更編碼擴充基因時變更維護的<狀態編碼,基因位置>對照表,這樣就可以繼續套用原來己花時間演化出來的基因而不必全部打掉重來。


留言

這個網誌中的熱門文章

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

更多可在網頁玩的 單人撲克牌遊戲 ; 新增一個簡單的單人撲克牌遊戲: 蒙地卡羅 ,簡單介紹一下玩法。 下載 事先排列好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 ...