OAI/Computability/VertexCover/Reduction/CompatibleSingleton.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.VertexCover.LabelCover line 42
  2. abbrev OAI.VertexCover.LabelCover.Labeling line 57
  3. def OAI.VertexCover.LabelCover.Satisfies line 59
  4. instance OAI.VertexCover.LabelCover.(instance at line 62) line 62
  5. def OAI.VertexCover.LabelCover.satisfiedCount line 65
  6. def OAI.VertexCover.LabelCover.maxSatisfied line 68
  7. def OAI.VertexCover.LabelCover.value line 71
  8. def OAI.VertexCover.LabelCover.defaultLabeling line 73
  9. theorem OAI.VertexCover.LabelCover.satisfiedCount_le_max line 76
  10. theorem OAI.VertexCover.LabelCover.count_le_of_value_le line 80
  11. abbrev OAI.VertexCover.LabelCover.Query line 86
  12. def OAI.VertexCover.LabelCover.Query.scopeU line 92
  13. def OAI.VertexCover.LabelCover.Query.scopeV line 95
  14. abbrev OAI.VertexCover.LabelCover.Query.Assignment line 98
  15. def OAI.VertexCover.LabelCover.Query.Valid line 101
  16. instance OAI.VertexCover.LabelCover.Query.(instance at line 105) line 105
  17. abbrev OAI.VertexCover.LabelCover.Query.LocalLabel line 108
  18. abbrev OAI.VertexCover.LabelCover.Coordinate line 113
  19. def OAI.VertexCover.LabelCover.Compatible line 115
  20. theorem OAI.VertexCover.LabelCover.compatible_mono line 125
  21. theorem OAI.VertexCover.LabelCover.compatible_singleton line 133