Timeline for Why is Max SAT in P if SAT in P?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2018 at 19:49 | comment | added | orlp | @user4464936 Sorry, I meant term. So $v_{i,k}$ can be the variable or the negated variable as it appears in the original clause. $\bigwedge_{i,k}$ means the conjunction for all valid $i, k$. | |
| Dec 2, 2018 at 19:48 | history | edited | orlp | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Dec 2, 2018 at 19:18 | comment | added | user4464936 | thank you very much for the answer but can you please further explain what you mean by Vi,k? each clause consist of different variables Vi or -Vi, so i’m not sure what you mean by Vi,k. Also same miss understanding about ^(and) i,k. Could u add a little example? | |
| Dec 2, 2018 at 17:10 | history | answered | orlp | CC BY-SA 4.0 |