| Sampling Nonzeros |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| l | We know number
of nonzeros/column |
||||||||||||
| » | If satisfy given
clause, all variables in |
||||||||||||
| clause must be
true |
|||||||||||||
| » | All other
variables unconstrained |
||||||||||||
| l | Estimate average
by random sampling |
||||||||||||
| » | Know number of
nonzeros/column |
||||||||||||
| » | So can pick
random column |
||||||||||||
| » | Then pick random
true-for-column |
||||||||||||
| assignment |
|||||||||||||