I feel like some elementRY counting thing should work but I xan’t even begin to think about that mentally fair CSP: Constraint Sat
Which is worse, picking tuples randomly, and literal patterns adversarially, or the other way? Probably the latter
This almost always happens If I have a question, and not like a fleeting thought, someone asks it ☑️
What’s planted again? Some hidden (planted) assignment to all of the literals exists, say , like a bias, and we generate an instance randomly subject to that. The goal is to find .
The dist stuff is just saying that it should be prob on , and non zero on all others.