* 這篇文章是 2003/ISA 課程上，
  我們在討論為達成某個 state 的 search 過程中，
  使用過的 op 能不能直接扣掉。
  有個學弟提了很好的例子。

(b88506005)
我覺得不能改OP加入的OP也不算不合理阿 
如果已經在和修車廠聯繫中 就可以直接問他們電話...這樣翻對嗎
重點是要避免...迴圈..嗯
比如說要達成c c可以游B換得 A和B可互相交換 初始條件是D
那就會造成A和B一直換來換去...A和B可以互換...條件不一定不合理
所以要想辦法避免

我一開始想說 不要執行會沒有造成新條件的...有漏洞....
應該是想辦法 每個op用過了就不能在用, 是嗎 好像也有錯的時候 
把*op* 改成用參數傳 傳扣掉用過的list

自問自答一下
※ 引述《 b88506005 》之名言: 
要在迷宮裡一定能走出來 就是要避免走重複的路然後窮舉所有路
:不走不造成新條件的 不能完全避免走重複的路
: 規定每個op只能用一次,雖一定可避免走重複的 但就會無法窮舉 
我有個超棒的例子.但不代表本人人生觀

要快樂 需有錢和有女朋友
要有錢 需有個(有錢的)老婆//少奮鬥十年
要有老婆 需把女朋友透過"結婚"這個op 變成老婆
要有女朋友 preconds 為單身 且透過"交女朋友"這個op才能完成
離婚這個op可以 把老婆delete add單身

現在state在 單身 goals 為 快樂.... 
因此 要達到目標不能限制"交女朋友"這個op只能用一次
: 爛掉了
因此還要紀錄現有state配上op記起來,且每次檢查,才能避免走重複的路
這樣,很慘,...寫不出來....ㄨㄨㄨ
: ※ 引述《 r91922034 》之名言: 
:   GPS那個部份 是改程式碼來 "解決問題" ？
: : 假定不能改 OP，那就是要改程式碼來讓它印出 nil