2008/12/24

骨子裡

讀〈Computing Good Nash Equilibria in Graphical Games〉。我發現上次抱怨 algorithmic game theory 和 functional programming 交集為空,其實只是表面現象。雖然是 "graphical" games,但實際上處理的 graphs 只是 trees 甚至 paths,都是 inductive datatypes。Preliminaries 裡面簡短描述的 generic algorithm 有 "upstream pass"、"downstream pass",根本就是 tree 上的 (higher-order) fold。演算法都用自然語言和數學符號描述,把程式和證明嵌在一塊,就像 dependently-typed program 一樣。而且因為用的是數學語言,其實很適合用 functional languages 改寫,甚至寫成 derivation,應該會比目前的型式好讀一些。不過我就先不花時間做這種自找麻煩的事了,看懂他們怎麼做 dynamic programming 比較要緊 XD。

--
FP 應該設定成必修課才對…

Labels:

Blogger XOO12/28/2008 7:39 am 說:

http://local.joelonsoftware.com/wiki/%E7%88%AA%E5%93%87%E5%AD%B8%E6%A0%A1%E7%9A%84%E5%8D%B1%E5%AE%B3

看這篇 XD

 

<< 回到主頁