作者查詢 / ccshan

總覽項目：發文 | 留言 | 暱稱

作者 ccshan 在 PTT [ CSSE ] 看板的留言(推文), 共6則

限定看板：CSSE

首頁

尾頁

[ CSSE ]8 留言, 推噓總分: +6

作者: aniox - 發表於 2009/04/21 20:31(16年前)

2^F推ccshan:叫做 model search 或 model building。建議拿 Mace4 試試04/22 10:25

[ CSSE ]4 留言, 推噓總分: +1

作者: lod0106 - 發表於 2009/02/22 22:59(17年前)

2^F→ccshan:dynamic programming 就是了02/23 03:37

4^F→ccshan:不是DAG的有向圖就是cyclic 答案就是無窮大 (:02/26 01:15

[ CSSE ]3 留言, 推噓總分: +1

作者: xcycl - 發表於 2009/02/03 23:44(17年前)

1^F推ccshan:推廣有，例如 monoid 的 undecidability 比 group 還簡單02/04 06:55

2^F→ccshan:但是不知道你心目中要的是什麼資料02/04 06:55

[ CSSE ]8 留言, 推噓總分: +6

作者: jjooeeyy - 發表於 2008/12/11 11:35(17年前)

6^F推ccshan:http://www.htdp.org/12/11 23:55

首頁

尾頁