反例

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

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