search

meelgroup / ganak

The first scalable probabilistic exact counter
MIT License
25 stars 6 forks source link

Dependence on Header. #9

Closed priyanka-golia closed 3 years ago

priyanka-golia commented 3 years ago

Hi Shubham,

Just an observation:

For a toy example

p cnf 2 1 
1 2 0
-1 -2 0

Output of GANAK is: 

c # solutions 
s mc 3
c # END

Whereas with the correct header, as expected, output is 2.

Thanks, Priyanka

msoos commented 3 years ago

My understanding is that GANAK gives a solution that is only approximately correct?

yashpote commented 3 years ago

My understanding is that GANAK gives a solution that is only approximately correct?

GANAK gives out the exactly correct answer in 1-\delta of the cases and is allowed to be wrong on the remaining \delta.