[理工] 102台大 資演

[kaidi620 (萬能史哥)]

想請問一下各位 流程大概是看懂了
但是不解的是 最後面t是怎麼來的

t=(1  1  1  4  4  4)的4這是怎麼來的呀
https://i.imgur.com/EuSgPd7.jpg

請大神幫忙謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.12.106.166
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1549600815.A.B02.html
推 leviliang: S1跟S1'分別是補1跟補2，
→ leviliang: 所以最多補到3，
推 leviliang: 也就是說，
→ leviliang: 1個clause裡只要有一個true，
→ leviliang: 就會補到4，沒有true則最多補到3
→ leviliang: 這樣子就限制住非true的判斷了
→ kaidi620: 所以因為C1 C2 C3對應到V1 V1' V2 V2' V3 V3'裡面有 1
→ kaidi620: 就為True  就為補到4 嗎
推 leviliang: 沒錯，C1 C2 C3就是為了讓true的結果都可以補到4
→ eatagary: 我補充一下好了,題目有說t是子集合元素總和，從c1來說，
→ eatagary: 他要為true有（110）（100）（101）.（111）這四種 則c1
→ eatagary: 個數為4=t ,若只把s1+s1”相加的話，會少（111）這個組
→ eatagary: 合。