OAI/Probability/MatroidProphet/Constants.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatroidProphet.weightBase line 11
  2. def OAI.MatroidProphet.densityThreshold line 12
  3. def OAI.MatroidProphet.thinningRate line 13
  4. def OAI.MatroidProphet.exitThreshold line 14
  5. def OAI.MatroidProphet.retainedFraction line 15
  6. theorem OAI.MatroidProphet.constants_positive line 17
  7. theorem OAI.MatroidProphet.error_constant line 21
  8. theorem OAI.MatroidProphet.retained_fraction_slack line 26
  9. theorem OAI.MatroidProphet.hidden_fraction_exact line 30
  10. theorem OAI.MatroidProphet.public_fraction_slack line 36
  11. theorem OAI.MatroidProphet.branch_mixture_lower line 40