OAI/Probability/MatroidSecretary/Labels/LabeledHiddenModel.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MatroidProphet.Labeling.LabeledHiddenRule line 11

   Source documentation

   A hidden rule on arbitrary finite labels has the same online information restriction as the canonical Fin n hidden rule.

   structure LabeledHiddenRule (E : Type*) [Fintype E] [MeasurableSpace E]
       (bits : ℕ) where
   …

2. def OAI.MatroidProphet.Labeling.labeledObserved line 16
3. def OAI.MatroidProphet.Labeling.labeledHiddenAcceptedThrough line 22
4. def OAI.MatroidProphet.Labeling.labeledHiddenReward line 29
5. def OAI.MatroidProphet.Labeling.labeledHiddenWorstReward line 35