OAI/Computability/MaxCut/Estimates/Anchor.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.OptimalMaxCut.nameBits_length_exact line 12
  2. theorem OAI.OptimalMaxCut.nameBits_getD line 16
  3. theorem OAI.OptimalMaxCut.Graph.table_length line 27
  4. theorem OAI.OptimalMaxCut.Graph.table_getD line 32
  5. theorem OAI.OptimalMaxCut.ScaledGraph.bits_length_exact line 41
  6. def OAI.OptimalMaxCut.LongCode.InstanceAdapter.anchor line 48
  7. def OAI.OptimalMaxCut.LongCode.InstanceAdapter.gridGraph line 51
  8. theorem OAI.OptimalMaxCut.RawGrid.size_bits line 58
  9. theorem OAI.OptimalMaxCut.RawGrid.graph_size line 62
  10. theorem OAI.OptimalMaxCut.RawGrid.graph_scale line 67
  11. theorem OAI.OptimalMaxCut.RawGrid.bits_length line 72
  12. theorem OAI.OptimalMaxCut.RawGrid.graph_adj line 76
  13. theorem OAI.OptimalMaxCut.RawGrid.bits_getD line 82