OAI/Computability/VertexCover/Reduction/GridBudget.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Parameters.a line 41
  2. def OAI.VertexCover.Parameters.b₀ line 42
  3. def OAI.VertexCover.Parameters.ν line 43
  4. def OAI.VertexCover.Parameters.β line 44
  5. def OAI.VertexCover.Parameters.ell line 45
  6. def OAI.VertexCover.Parameters.h line 46
  7. def OAI.VertexCover.Parameters.d line 47
  8. def OAI.VertexCover.Parameters.σ line 48
  9. def OAI.VertexCover.Parameters.p line 49
  10. def OAI.VertexCover.Parameters.t line 50
  11. theorem OAI.VertexCover.Parameters.d_square line 52
  12. theorem OAI.VertexCover.Parameters.sqrt_d line 56
  13. theorem OAI.VertexCover.Parameters.t_eq line 61
  14. theorem OAI.VertexCover.Parameters.positive line 68
  15. theorem OAI.VertexCover.Parameters.dimensions line 77
  16. theorem OAI.VertexCover.Parameters.restriction_budget line 88
  17. theorem OAI.VertexCover.Parameters.β_h line 102
  18. theorem OAI.VertexCover.Parameters.ell_eq line 107
  19. theorem OAI.VertexCover.Parameters.σ_eq line 112
  20. theorem OAI.VertexCover.Parameters.grid_budget line 118