OAI/Probability/MatroidProphet/Algorithm/Worst.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.cumulative_option_weight_bound line 10
2. def OAI.MatroidProphet.MainAlgorithm.mainWorstRounded line 32
3. lemma OAI.MatroidProphet.MainAlgorithm.mainWorstRounded_le line 38
4. lemma OAI.MatroidProphet.MainAlgorithm.mainWorstRounded_nonneg line 44
5. lemma OAI.MatroidProphet.MainAlgorithm.weighted_trueLambda_le_selection line 55
6. lemma OAI.MatroidProphet.MainAlgorithm.weighted_trueLambda_le_mainWorstRounded line 70
7. lemma OAI.MatroidProphet.MainAlgorithm.mainMean_sum line 79
8. lemma OAI.MatroidProphet.MainAlgorithm.weighted_mean_trueLambda_le_mainWorstRounded line 86
9. lemma OAI.MatroidProphet.MainAlgorithm.mainWorstRounded_le_hiddenWorstReward line 93