OAI/Computability/VertexCover/Analysis/BaseReductionCoherent.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.LabelCover.value_le_of_counts line 41
  2. def OAI.VertexCover.LabelCover.ParallelCoherent line 51
  3. theorem OAI.VertexCover.ClauseProjection.failureCount_eq_sum line 60
  4. theorem OAI.VertexCover.ClauseProjection.failureCount_all line 73
  5. theorem OAI.VertexCover.ClauseProjection.simple_value_le line 79
  6. def OAI.VertexCover.ClauseProjection.fixedBaseTable line 101
  7. theorem OAI.VertexCover.ClauseProjection.fixedBaseTable_certificate line 104
  8. def OAI.VertexCover.ClauseProjection.baseReduction line 108
  9. theorem OAI.VertexCover.ClauseProjection.baseReduction_complete line 112
  10. theorem OAI.VertexCover.ClauseProjection.baseReduction_sound line 116
  11. theorem OAI.VertexCover.ClauseProjection.baseReduction_coherent line 121