OAI/Combinatorics/IndependentSets/Machines/MachineRegularTableBounds.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.oldLoopPolynomial line 12
  2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.ownerLoopPolynomial line 17
  3. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.timePolynomial line 22
  4. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.oldElapsed_prefix_le line 28
  5. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.oldElapsed_le line 50
  6. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.ownerElapsed_prefix_le line 58
  7. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.ownerElapsed_le line 82
  8. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.totalTime_le line 91
  9. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularTable.Top.machineInTime line 107
  10. structure OAI.IndependentSetsGames.Foundations.Complexity.MachineCanonicalOutput.Program line 123