Re: Questions about Parity SAT


Uzytkownik "Mike Robson" <robson@xxxxxxxxxxxxxx> napisal w wiadomosci
news:slrnfpe98b.tes.robson@xxxxxxxxxxxxxxxxx
I don't think you have patched your idea correctly. As you say the
new formula always has 2s satisfying assignments, so it is never odd.
What you want is a new formula with 2^s satisfying assignments.

No, why? :-)

"Finder" claims that he knows how to answer if SAT instance has odd number
of assignments. If he answers positively to my formula then in fact he
solves SAT, don't you think? :-)

Cheers,

Radek Hofman


.