OAI/Computability/MinUncut/PCP/RoundComputation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MinUncutGames.Foundations.PCP.RoundComputation.PreprocessingCertificate line 14
2. abbrev OAI.MinUncutGames.Foundations.PCP.RoundComputation.PoweringCertificate line 19
3. theorem OAI.MinUncutGames.Foundations.PCP.RoundComputation.powered_eq_transform line 25
4. def OAI.MinUncutGames.Foundations.PCP.RoundComputation.poweredPolynomialTimeOfCertificates line 30
5. def OAI.MinUncutGames.Foundations.PCP.RoundComputation.tablePolynomialTimeOfCertificates line 40
6. theorem OAI.MinUncutGames.Foundations.PCP.RoundComputation.powered_finiteAlphabet line 50
7. theorem OAI.MinUncutGames.Foundations.PCP.RoundComputation.finiteAlphabet line 58
8. def OAI.MinUncutGames.Foundations.PCP.RoundComputation.tablePolynomialTime line 70
9. theorem OAI.MinUncutGames.Foundations.PCP.RoundComputation.tablePolynomialTime_finite_alphabet line 78