OAI/Computability/VertexCover/Machines/Approximation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Approximation.coverNumber_le_length line 48
2. def OAI.VertexCover.Approximation.cardPoly line 67
3. def OAI.VertexCover.Approximation.test line 71
4. def OAI.VertexCover.Approximation.testPoly line 74
5. theorem OAI.VertexCover.rational_threshold line 82
6. theorem OAI.VertexCover.exists_separating_integer line 92
7. def OAI.VertexCover.decisionOfGap line 109