※ 引述《kaie819 (kaie)》之銘言：
: 有關於watching-known我有點疑問，我想請問究竟是誰的watching-known會包含
: XOR gate a。以講義p.101頁為例，XOR gate a本身的watching-known會有自己，
: 以及連接到這個gate a的gate (OR gate b)的watching-known會有a，意味著，只
: 要gate a或b的value改變(0或1)，就要去update他們watching-known list裡面的
: gate的watched pin。不過我翻了一下原始的paper(QuteSAT)，相同的例子，差別
: 是XOR gate a的watching-known是不包含自己的，反倒是再watching-0裡有，讓我
: 有點混淆了...
: 除了這個，作業題目的起始條件中，OR gate b的watching-known應該包含
: XOR gate a嗎？還有就是是否gate一旦有值了(known)，就不應該出現在watching list
裡？
不負責任亂回答 不對請大家指正~~
HW5裡 XOR gate watched pin 是a跟d，gate a並沒有watch b這個pin 所以不需要
放在b的watching-known裡 =>gate b得到watched value 1時 不需要update a的
watched pointer
至於第二個問題 我想它如果找得到新的pin來watch的話 應該就會把自己從
watching list裡面移掉 如果找不到新的pin來watch的話(conflict)
watching list應該 就會不變 所以還是會有保留自己?
以上無聊再看看就好 有錯也是很合理...
: 另外我想請問HW5第3題的部份
: 請問所產生的CNF是否包含f本身(f satisfibility的問題)
: 在(a)小題看來似乎是沒有，因為題目已經說會產生(m+n+5)個clauses
: 但(b)似乎要有f(或f')才能做的樣子
其實我不太懂plaisted greenbaum轉換方法
有沒有人能教一下
看投影片的意思好像是把f<->換成f->單向的方法就是做plaisted greenbaum?
有人可以開導一下我嗎..
: 問的有點細，不過還是希望能幫忙解答一下，謝謝。