2008/12/26

反例

昨天本來要寫點關於 searching in Haskell 的東西,結果重寫 Elkind et al. (2007) 的證明寫到三點,錯過了貼文時機 XD。更慘的是,其中一個關鍵推論我怎麼證也證不出來,最後竟然造了一個反例。於是有三種可能:第一種是我誤解他的論證,第二種是論證錯但可以修補,第三種是可以找到整個演算法的反例。希望是第一種…

--
造整個演算法的反例太痛苦了 XD。

Labels:

<< 回到主頁