Planning Against a Prophet: A Graph-Theoretic Framework for Making Sequential Decisions

TL;DR

This paper introduces a graph-theoretic framework for prophet inequalities, analyzing sequential decision-making under uncertainty and providing algorithms with provable performance guarantees.

Contribution

It presents a novel graph-based model for prophet inequalities, offering tight bounds and generalizations that encompass many existing problems in the field.

Findings

Algorithm guarantees a 1/2k prophet inequality ratio.

Upper bound of 1/(k+1) for the ratio.

Tight bound of 1/2 for the leasing variant.

Abstract

We devise a general graph-theoretic framework for studying prophet inequalities. In this framework, an agent traverses a directed acyclic graph from a starting node $s$ to a target node $t$. Each edge has a value that is sampled from a known distribution. When the agent reaches a node $v$ it observes the realized values of all the outgoing edges from $v$. The agent's objective is to maximize the expected total value of the path it takes. As in prophet inequalities, we compare the agent's performance against a prophet who observes all the realizations of the edges' values ahead of time. Our analysis reveals that this ratio highly depends on the number of paths $k$ required to cover all the nodes in the graph. In particular, we provide an algorithm that guarantees a prophet inequality ratio of $\frac{1}{2k}$ and show an upper bound of $\frac{1}{k+1}$. Our framework captures planning problems in which there is uncertainty regarding the costs/benefits of each action. In particular, it captures an over-time variant of the classic prophet inequality in which a seller leases a durable item, such as an apartment, for $n$ time units. Each period a lessee appears and may have a different value for each lease term. We obtain a tight bound of $1/2$ for this variant. To make this framework even more expressive, we further generalize it to accommodate correlations between edges originating from the same node and allow for additional constraints on the edges the agent can take. The generalized framework captures many well-studied prophet inequality problems, including $d$-dimensional matching, $k$-prophet inequality, and more.