A Boolean function is -quasirandom when, for every with and every ,
The regularity lemma for Boolean functions states that for every there is such that every Boolean function has a set , , for which a -random satisfies
Here is the restriction obtained by fixing the coordinates in to .
Solved by gpt-5.6-sol high.