※ 引述《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?
有人可以开导一下我吗..
: 问的有点细，不过还是希望能帮忙解答一下，谢谢。