OAI/Computability/MinUncut/Games/GraphIterationBounds.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.inputBits line 13
  2. def OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.countedBits line 15
  3. def OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.words line 17
  4. def OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.count line 20
  5. def OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.lengthPolynomial line 22
  6. theorem OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.inputBits_le_countedBits line 25
  7. theorem OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.size_le_inputBits line 29
  8. theorem OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.count_le line 34
  9. theorem OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.intermediate_size line 38
  10. theorem OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.intermediate_bits line 46
  11. def OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.runtimePolynomial line 62
  12. theorem OAI.MinUncutGames.Foundations.Complexity.GraphIterationBounds.runtimePolynomial_eval line 66