OAI/Computability/MinUncut/Games/PoweringPolynomialBudget.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.preBudget line 11
2. def OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.finishBudget line 15
3. def OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.totalBudget line 20
4. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.preBudget_mono_vertices line 25
5. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.finishBudget_mono line 32
6. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.totalBudget_mono_vertices line 47
7. def OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.rowTime line 56
8. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.rowTime_eval line 63
9. def OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.vertexTime line 69
10. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.vertexTime_eval line 72
11. def OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.preTime line 77
12. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.preTime_eval line 81
13. def OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.time line 86
14. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.time_eval line 94
15. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.totalBudget_le_time line 100
16. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.setup_loop_finish_le_time line 107
17. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.execution_budget_le_time line 120
18. theorem OAI.MinUncutGames.Foundations.Complexity.PoweringPolynomialBudget.graph_totalBudget_le_time line 133