OAI/Computability/MinUncut/Graphs/GraphSize.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Outer.Parameters.denominatorCoefficient line 14
  2. def OAI.MinUncut.Outer.Parameters.denominatorPolynomial line 18
  3. def OAI.MinUncut.Outer.Parameters.variablePolynomial line 21
  4. def OAI.MinUncut.Outer.Parameters.vertexPolynomial line 24
  5. def OAI.MinUncut.Outer.Parameters.sizePolynomial line 27
  6. lemma OAI.MinUncut.Outer.Parameters.denominator_eq line 33
  7. lemma OAI.MinUncut.Outer.Parameters.denominator_le line 39
  8. lemma OAI.MinUncut.Outer.Parameters.variables_le line 46
  9. lemma OAI.MinUncut.Outer.Parameters.demands_le line 51
  10. lemma OAI.MinUncut.Outer.Parameters.vertex_bound line 59
  11. lemma OAI.MinUncut.Outer.Parameters.size_bound line 68
  12. def OAI.MinUncut.Costed.SourceWords.tupleCountExpr line 88
  13. def OAI.MinUncut.Costed.SourceWords.variableCountExpr line 90
  14. def OAI.MinUncut.Costed.SourceWords.unitCountExpr line 95
  15. def OAI.MinUncut.Costed.SourceWords.thresholdExpr line 98
  16. def OAI.MinUncut.Costed.SourceWords.demandStageWords line 101
  17. def OAI.MinUncut.Costed.SourceWords.demandStageProgram line 105
  18. lemma OAI.MinUncut.Costed.SourceWords.input_regs line 110
  19. lemma OAI.MinUncut.Costed.SourceWords.tupleCountExpr_eval line 115
  20. lemma OAI.MinUncut.Costed.SourceWords.variableCountExpr_eval line 119
  21. lemma OAI.MinUncut.Costed.SourceWords.unitCountExpr_eval line 125
  22. lemma OAI.MinUncut.Costed.SourceWords.thresholdExpr_eval line 135
  23. lemma OAI.MinUncut.Costed.SourceWords.demandStageWords_spec line 140