OAI/Computability/VertexCover/Basic.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.ThreeSAT line 10

   Also declared: ComparatorChallenges/VertexCover.lean:83 (same declaration text).

2. structure OAI.VertexCover.ExplicitGraph line 14

   Also declared: ComparatorChallenges/VertexCover.lean:87 (same declaration text).

3. def OAI.VertexCover.ExplicitGraph.Cover line 22

   Also declared: ComparatorChallenges/VertexCover.lean:95 (same declaration text).

4. instance OAI.VertexCover.ExplicitGraph.(instance at line 25) line 25
5. def OAI.VertexCover.ExplicitGraph.coverNumber line 28

   Also declared: ComparatorChallenges/VertexCover.lean:101 (same declaration text).

6. def OAI.VertexCover.ExplicitGraph.bits line 32

   Also declared: ComparatorChallenges/VertexCover.lean:105 (same declaration text).

7. def OAI.VertexCover.FiniteAlphabet line 39

   Also declared: ComparatorChallenges/VertexCover.lean:112 (same declaration text).

8. structure OAI.VertexCover.GapReduction line 41

   Also declared: ComparatorChallenges/VertexCover.lean:114 (same declaration text).

9. def OAI.VertexCover.natListBits line 53

   Also declared: ComparatorChallenges/VertexCover.lean:126 (same declaration text).

10. structure OAI.VertexCover.Approximation line 56

    Also declared: ComparatorChallenges/VertexCover.lean:129 (same declaration text).

11. structure OAI.VertexCover.ThreeSATDecision line 65

    Also declared: ComparatorChallenges/VertexCover.lean:138 (same declaration text).