OAI/Computability/VertexCover/Reduction/DecodingUpperThreeHalves.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Parameters.pair_budget line 41
  2. theorem OAI.VertexCover.Parameters.pair_budget_lt line 49
  3. theorem OAI.VertexCover.Parameters.σ_between line 56
  4. theorem OAI.VertexCover.Parameters.sqrt_d_gt line 65
  5. theorem OAI.VertexCover.Parameters.gap_ratio line 73
  6. theorem OAI.VertexCover.LabelCover.decoding_upper_lt_three_halves line 85