[理工] 102台大資演 kaidi620 PTT批踢踢實業坊

作者: kaidi620 (萬能屎哥) 2019-02-08 12:40:13

想請問一下各位流程大概是看懂了
但是不解的是最後面t是怎麼來的
t=(1 1 1 4 4 4)的4這是怎麼來的呀
https://i.imgur.com/EuSgPd7.jpg
請大神幫忙謝謝

作者: leviliang (levi) 2019-02-08 13:19:00

S1跟S1'分別是補1跟補2，所以最多補到3，也就是說，1個clause裡只要有一個true，就會補到4，沒有true則最多補到3這樣子就限制住非true的判斷了

作者: kaidi620 (萬能屎哥) 2019-02-09 00:12:00

所以因為C1 C2 C3對應到V1 V1' V2 V2' V3 V3'裡面有 1就為True 就為補到4 嗎

作者: leviliang (levi) 2019-02-09 10:12:00

沒錯，C1 C2 C3就是為了讓true的結果都可以補到4

作者: eatagary (gary) 2019-02-09 16:26:00

我補充一下好了,題目有說t是子集合元素總和，從c1來說，他要為true有（110）（100）（101）.（111）這四種則c1個數為4=t ,若只把s1+s1”相加的話，會少（111）這個組合。

繼續閱讀