OAI/Combinatorics/BalancedRyser/Selection/SelectionProcess.lean

GitHub source file

36 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.Balanced.Selection.Process.Parameters line 14
  2. def OAI.Balanced.Selection.Process.Parameters.Pstar line 22
  3. def OAI.Balanced.Selection.Process.Parameters.alpha line 24
  4. def OAI.Balanced.Selection.Process.Parameters.smin line 26
  5. def OAI.Balanced.Selection.Process.Parameters.Bstar line 28
  6. def OAI.Balanced.Selection.Process.Parameters.rho line 30
  7. def OAI.Balanced.Selection.Process.Parameters.Admissible line 32
  8. def OAI.Balanced.Selection.Process.Parameters.tailSlots line 36
  9. def OAI.Balanced.Selection.Process.Parameters.lastMainTime line 38
  10. def OAI.Balanced.Selection.Process.Parameters.sizeScale line 40
  11. def OAI.Balanced.Selection.Process.Parameters.degreeScale line 42
  12. structure OAI.Balanced.Selection.Process.State line 47
  13. def OAI.Balanced.Selection.Process.initialState line 55
  14. def OAI.Balanced.Selection.Process.domain line 57
  15. def OAI.Balanced.Selection.Process.currentVertices line 60
  16. def OAI.Balanced.Selection.Process.degree line 63
  17. def OAI.Balanced.Selection.Process.hazard line 66
  18. def OAI.Balanced.Selection.Process.thinningRate line 70
  19. def OAI.Balanced.Selection.Process.Precheck line 75
  20. def OAI.Balanced.Selection.Process.drawWeight line 81
  21. def OAI.Balanced.Selection.Process.flagsWeight line 85
  22. def OAI.Balanced.Selection.Process.thinned line 89
  23. def OAI.Balanced.Selection.Process.survivors line 92
  24. def OAI.Balanced.Selection.Process.Postcheck line 95
  25. def OAI.Balanced.Selection.Process.update line 102
  26. abbrev OAI.Balanced.Selection.Process.Noise line 108
  27. def OAI.Balanced.Selection.Process.noiseWeight line 110
  28. def OAI.Balanced.Selection.Process.performedResult line 114
  29. def OAI.Balanced.Selection.Process.stepWeight line 118
  30. def OAI.Balanced.Selection.Process.transitionWeight line 124
  31. def OAI.Balanced.Selection.Process.drawStepWeight line 130
  32. def OAI.Balanced.Selection.Process.advance line 141
  33. abbrev OAI.Balanced.Selection.Process.Snapshot line 147
  34. def OAI.Balanced.Selection.Process.snapshotWeight line 149
  35. def OAI.Balanced.Selection.Process.historyWeight line 154
  36. def OAI.Balanced.Selection.Process.mainStageWeight line 159