We consider prophet inequalities under general downward-closed constraints. In a prophet inequality problem, a decision-maker sees a series of online elements and needs to decide immediately and irrevocably whether or not to select each element upon its arrival, subject to an underlying feasibility constraint. Traditionally, the decision-maker's expected performance has been compared to the expected performance of the \emph{prophet}, i.e., the expected offline optimum. We refer to this measure as the \textit{Ratio of Expectations} (or, in short, \textsf{RoE}). However, a major limitation of the \textsf{RoE} measure is that it only gives a guarantee against what the optimum would be on average, while, in theory, algorithms still might perform poorly compared to the realized ex-post optimal value. Hence, we study alternative performance measures. In particular, we suggest the \textit{Expected Ratio} (or, in short, \textsf{EoR}), which is the expectation of the ratio between the value of the algorithm and the value of the prophet. This measure yields desirable guarantees, e.g., a constant \textsf{EoR} implies achieving a constant fraction of the ex-post offline optimum with constant probability. Moreover, in the single-choice setting, we show that the \textsf{EoR} is equivalent (in the worst case) to the probability of selecting the maximum, a well-studied measure in the literature. This is no longer the case for combinatorial constraints (beyond single-choice), which is the main focus of this paper. Our main goal is to understand the relation between \textsf{RoE} and \textsf{EoR} in combinatorial settings. Specifically, we establish a two-way black-box reduction: for every feasibility constraint, the \textsf{RoE} and the \textsf{EoR} are at most a constant factor apart. This implies a wealth of \textsf{EoR} results in multiple settings where \textsf{RoE} results are known.
翻译:我们认为先知的不平等是在一般向下封闭的限制下。在一个预言的不平等问题中,决策者看到了一系列在线元素,需要立即和不可撤销地决定是否在到达时选择每个元素,但有潜在的可行性限制。传统上,决策者的预期性能被比对到 emph{prophet} 的预期性能,也就是预期的离线最佳。我们把这一度量称为 leftit{ 期待的 rutit} (或者, 简而言之, textff{ (或, 简而言之, textff{ ) 。然而,在到达时, 是否选择每个元素时, 立即和不可撤销。 然而, 度度的主要限制是, 它只能提供相对于平均最佳效果的保证, 而理论上, 算法仍然可能与实现的最优值相比差。 因此, 我们研究其他的性度度量。 特别是, 我们建议 text{text}( orf text) (或textfritref) } 的 度 。 (rode) 度 度 度 度 度是我们的值中, 的正值与正值的值之间的比值之间的值值值值值值值值值值值之间的预期值值值值值值值值值值值值值, 和正值值值值值之间的值值值值值值值值值值值值值值值值值值值值值值值比值比值 。