OAI/Computability/VertexCover/Analysis/PowerValueRepetition.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.LabelCover.occurrenceLaw line 42
  2. def OAI.VertexCover.LabelCover.questionProjection line 46
  3. theorem OAI.VertexCover.LabelCover.questionProjection_at line 50
  4. def OAI.VertexCover.LabelCover.asGame line 60
  5. theorem OAI.VertexCover.LabelCover.asGame_success line 64
  6. def OAI.VertexCover.LabelCover.asGameValue line 81
  7. theorem OAI.VertexCover.LabelCover.asGameValue_eq line 86
  8. def OAI.VertexCover.LabelCover.tupleEquiv line 102
  9. def OAI.VertexCover.LabelCover.parallelPower line 105
  10. def OAI.VertexCover.LabelCover.repeatLabeling line 119
  11. theorem OAI.VertexCover.LabelCover.repeat_perfect line 123
  12. def OAI.VertexCover.LabelCover.repeatedStrategy line 131
  13. theorem OAI.VertexCover.LabelCover.repetition_success_probability line 136
  14. theorem OAI.VertexCover.LabelCover.power_satisfies_iff line 153
  15. theorem OAI.VertexCover.LabelCover.repetition_success line 163
  16. theorem OAI.VertexCover.LabelCover.power_value_le_repetition line 195