Prove MatroidSecretary (openai/math family 111: One-sample matroid prophet inequalities against an almighty…
Prove MatroidSecretary (openai/math family 111: One-sample matroid prophet inequalities against an almighty…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 111 of the release, One-sample matroid prophet inequalities against an almighty…
The task
Context: this statement belongs to family 111 of the release, *One-sample matroid prophet inequalities against an almighty adversary* (Theoretical computer science). The family as a whole: For every finite matroid known in advance, gives a distribution-independent online rule using one independent sample per element…
Part of raising-heart/openai-math.