OAI/Combinatorics/BalancedRyser/Candidates/Candidates.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Balanced.SupportsValidTuple line 18
  2. def OAI.Balanced.retainedChoice line 21
  3. abbrev OAI.Balanced.CandidateVertex line 25
  4. def OAI.Balanced.candidateLine line 27
  5. def OAI.Balanced.candidateChoice line 29
  6. def OAI.Balanced.candidateVertices line 32
  7. def OAI.Balanced.candidateSlot line 35
  8. def OAI.Balanced.ChoicesCompatible line 38
  9. def OAI.Balanced.CandidateAdjacent line 49
  10. def OAI.Balanced.candidateNeighbors line 53
  11. def OAI.Balanced.sampledMultiplicity line 56
  12. def OAI.Balanced.initialDeletedLines line 59
  13. def OAI.Balanced.initiallyRetained line 62
  14. def OAI.Balanced.CandidateGraphGood line 65
  15. def OAI.Balanced.offsetLaw line 81
  16. def OAI.Balanced.offsetEventProbability line 84
  17. def OAI.Balanced.CandidateSelector line 87
  18. def OAI.Balanced.IndependentSelector line 90
  19. def OAI.Balanced.selectedConfiguration line 93
  20. def OAI.Balanced.CandidateGraphResult line 98