Prophet inequalities are performance guarantees for online algorithms (a.k.a. stopping rules) solving the following "hiring problem": a decision maker sequentially inspects candidates whose values are independent random numbers and is asked to hire at most one candidate by selecting it before inspecting the values of future candidates in the sequence. A classic result in optimal stopping theory asserts that there exist stopping rules guaranteeing that the decision maker will hire a candidate whose expected value is at least half as good as the expected value of the candidate hired by a "prophet", i.e. one who has simultaneous access to the realizations of all candidates' values. Such stopping rules have provably good performance but might treat individual candidates unfairly in a number of different ways. In this work we identify two types of individual fairness that might be desirable in optimal stopping problems. We call them identity-independent fairness (IIF) and time-independent fairness (TIF) and give precise definitions in the context of the hiring problem. We give polynomial-time algorithms for finding the optimal IIF/TIF stopping rules for a given instance with discrete support and we manage to recover a prophet inequality with factor $1/2$ when the decision maker's stopping rule is required to satisfy both fairness properties while the prophet is unconstrained. We also explore worst-case ratios between optimal selection rules in the presence vs. absence of individual fairness constraints, in both the online and offline settings. Finally, we consider a framework in which the decision maker doesn't know the distributions of candidates' values but has access to independent samples from each distribution. We provide constant-competitive IIF/TIF algorithms using one sample per distribution in the offline setting and two samples per distribution in the online setting.
翻译:先知的不平等是在线算法( a.k.a.a. stop rules) 的绩效保障, 解决了以下“ 刺激问题 ” 的在线算法( a.k.a.a.a. stop rules) : 决策人按顺序检查候选人的价值是独立的随机数字,并被要求在检查未来候选人在序列中的价值之前通过选择最多雇用一名候选人。 典型的结果是,在最佳停止理论的理论中,有一个典型的结果是,决策者将雇用的候选人的预期价值至少与“预言”所雇用的候选人的预期价值相等一半的绩效保障: 即, 能够同时获得所有候选人价值的实现者。 这种停止规则表现得非常好,但可能会以不同的方式不公平对待候选人个人。 在这项工作中,我们确定两种类型的个人公平性,我们称之为独立性公平(IIIIF) 和时间算法的准确定义, 我们从最优的 IIF/TIF 中找到最佳的准入规则, 并且我们在内部规则中进行最坏的汇率分配, 当我们最坏的汇率选择规则在最后的排序时, 我们的汇率选择规则在正常的汇率中进行正常的汇率是正常的, 。