OAI/Computability/VertexCover/Reduction/SimpleParallel.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.ClauseProjection.Consistent line 41
  2. instance OAI.VertexCover.ClauseProjection.(instance at line 46) line 46
  3. theorem OAI.VertexCover.ClauseProjection.consistent_truth line 49
  4. def OAI.VertexCover.ClauseProjection.defaultAssignment line 57
  5. theorem OAI.VertexCover.ClauseProjection.default_true line 61
  6. def OAI.VertexCover.ClauseProjection.defaultPattern line 66
  7. def OAI.VertexCover.ClauseProjection.normalizePattern line 69
  8. theorem OAI.VertexCover.ClauseProjection.normalize_consistent line 72
  9. theorem OAI.VertexCover.ClauseProjection.normalize_truth line 79
  10. def OAI.VertexCover.ClauseProjection.normalizeLabel line 84
  11. def OAI.VertexCover.ClauseProjection.simpleGame line 87
  12. def OAI.VertexCover.ClauseProjection.decodedLabeling line 91
  13. theorem OAI.VertexCover.ClauseProjection.simple_satisfies_iff line 95
  14. theorem OAI.VertexCover.ClauseProjection.simple_perfect_complete line 100
  15. theorem OAI.VertexCover.ClauseProjection.simple_rejection_count line 118
  16. theorem OAI.VertexCover.ClauseProjection.simple_parallel line 124