SAT to 3SAT
A simple example
e.g. ( z 1 + z 2 + z 3 + z 4 ) ⟶ ( z 1 + z 2 + y ˉ ) ( z 3 + z 4 + y ) (z_1 + z_2 + z_3 + z_4) \longrightarrow (z_1 + z_2 + \bar y)(z_3 + z_4 + y) (z1+z2+z3+z4)⟶(z1+z2+yˉ)(z3+z4+y)
if y y y is true, then either z 1 z_1 z1 or z 2 z_2 z2 being true will satisfy
if y y y is false, then either z 3 z_3 z3 or z 4 z_4 z4 being true will satisfy
so if ( z 1 + z 2 + y ˉ ) ( z 3 + z 4 + y ) (z_1 + z_2 + \bar y)(z_3 + z_4 + y) (z1+z2+yˉ)(z3+z4+y) is satisfiable, then ( z 1 + z 2 + z 3 + z 4 ) (z_1 + z_2 + z_3 + z_4) (z1+z2+z3+z4) is satisfiable
Full edition
ref: https://www.youtube.com/watch?v=YRPqEIgZwVQ
3SAT to HC
3SAT to SubsetSum
ref: https://www.youtube.com/watch?v=i8Kt9IBZ8FU
3SAT to IndSet
a, b, c true
d true or false
1445
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
