※ 引述《kalawang ()》之铭言：
: ※ 引述《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应该 就会不变 所以还是会有保留自己?
因为 OR gate b 一开始并不是 XOR gate a 的 watched pin,
所以 b 的 watching know list 不会有 a (i.e. 没有东西)
一个 gate x 一旦有值 (v) 了, 它会做以下的事情:
1. 执行 direct implications
2. 根据 watching-v 以及 watching-known lists, 去呼叫这些 gates 的
updateWatch()
3. 清掉 上述两个 watching lists
4. 如果在 2 里面一些 gates 的 updateWatch() 失败, i.e. conflict or 找不到
new pin 可以 update watched pin pointer, 则这些 gates 会被放回 x 对应的
watching list 里面
: 以上无聊再看看就好 有错也是很合理...
: : 另外我想请问HW5第3题的部份
: : 请问所产生的CNF是否包含f本身(f satisfibility的问题)
: : 在(a)小题看来似乎是没有，因为题目已经说会产生(m+n+5)个clauses
: : 但(b)似乎要有f(或f')才能做的样子
这题题目是有欠周详...
我的原意是 这个 AOI gate 只是 circuit 的一部分，
所以并没有 f 应该要等于 1 or 0 的 issue.
至于 PG encoding, 大家也可以想一下, 在不同情况下(e.g. fanout 接到不同人)
它的 number of clauses 是否也会不同? 请讨论看看.
: 其实我不太懂plaisted greenbaum转换方法
: 有没有人能教一下
: 看投影片的意思好像是把f<->换成f->单向的方法就是做plaisted greenbaum?
: 有人可以开导一下我吗..
讲义的例子是因为 target 是 f = 1,
所以可以将 f <-> 换成 f ->
如上所述, 在不同情况底下 PG encoding "也许" 也会不一样, 讨论看看!
: : 问的有点细，不过还是希望能帮忙解答一下，谢谢。