OAI/Computability/VertexCover/Fourier/ThreeBitTest.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGames.Foundations.Hastad.support line 17
2. def OAI.UniqueGames.Foundations.Hastad.noiseWeight line 19
3. theorem OAI.UniqueGames.Foundations.Hastad.noiseWeight_nonneg line 23
4. theorem OAI.UniqueGames.Foundations.Hastad.noiseWeight_sum line 29
5. theorem OAI.UniqueGames.Foundations.Hastad.noise_walsh line 34
6. def OAI.UniqueGames.Foundations.Hastad.thirdQuery line 47
7. theorem OAI.UniqueGames.Foundations.Hastad.walsh_autocorrelation line 50
8. def OAI.UniqueGames.Foundations.Hastad.projectedCoefficient line 68
9. def OAI.UniqueGames.Foundations.Hastad.testBias line 71
10. theorem OAI.UniqueGames.Foundations.Hastad.testBias_fourier line 75
11. def OAI.UniqueGames.Foundations.Hastad.testAcceptance line 103
12. theorem OAI.UniqueGames.Foundations.Hastad.threeBit_indicator line 108
13. theorem OAI.UniqueGames.Foundations.Hastad.testAcceptance_eq line 113