OAI/Computability/MaxCut/Estimates/Param.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.OptimalMaxCut.RawGrid.param line 12
  2. def OAI.OptimalMaxCut.RawGrid.size line 13
  3. def OAI.OptimalMaxCut.RawGrid.scale line 14
  4. def OAI.OptimalMaxCut.RawGrid.coordinate line 15
  5. def OAI.OptimalMaxCut.RawGrid.pairing line 16
  6. def OAI.OptimalMaxCut.RawGrid.adjacency line 17
  7. def OAI.OptimalMaxCut.RawGrid.frameValue line 24
  8. def OAI.OptimalMaxCut.RawGrid.length line 26
  9. def OAI.OptimalMaxCut.RawGrid.entry line 28
  10. theorem OAI.OptimalMaxCut.RawGrid.Rep.param line 39
  11. theorem OAI.OptimalMaxCut.RawGrid.Rep.size line 41
  12. theorem OAI.OptimalMaxCut.RawGrid.Rep.scale line 43
  13. theorem OAI.OptimalMaxCut.RawGrid.Rep.coordinate line 44
  14. theorem OAI.OptimalMaxCut.RawGrid.Rep.pairing line 47
  15. theorem OAI.OptimalMaxCut.RawGrid.Rep.adjacency line 50
  16. theorem OAI.OptimalMaxCut.RawGrid.Rep.frameValue line 59
  17. theorem OAI.OptimalMaxCut.RawGrid.Rep.length line 61
  18. theorem OAI.OptimalMaxCut.RawGrid.Rep.entry line 63