CMU-CS-18-111
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-18-111

Combinatorial Optimization Under Uncertainty:
Probing and Stopping-Time Algorithms

Sahil Singla

Ph.D. Thesis

August 2018

CMU-CS-18-111.pdf


Keywords: Approximation Algorithms, Optimal Stopping Theory, Adaptivity Gaps, Combinatorial Optimization, Optimization Under Uncertainty, Probing Algorithms, Online Algorithms, Algorithmic Game Theory

Combinatorial optimization captures many natural problems such as matching, load balancing, social welfare, network design, clustering, and submodular optimization. Classically, these problems have been studied in the full-information setting, i.e., where the entire input–an objective function and some constraints–is given and the goal is to select a feasible set to maximize/minimize the objective function. In this thesis we focus on combinatorial problems in an uncertain environment where we only have partial knowledge about the input. In particular, we study models where the input is revealed to us element-by-element and we have to make irrevocable decisions. Depending on whether we can control the revelation order of these elements, we separate our models and algorithms into two groups.

    (A) Probing Algorithms: In these models we have stochastic knowledge about the input, but the uncertainty of an element realizes only after we probe it. We can choose the order and the set of elements to probe; however, we do not wish to probe all of them as either probing incurs a price (the price of information model) or there are probing constraints (the constrained stochastic probing model). Some examples are the Pandora's box and the Best-box problems.

    (B) Stopping-Time Algorithms: In these models the input is revealed elementby-element in an order that we cannot control. These models are inspired from work in the field of Optimal Stopping Theory. In particular, we consider combinatorial problems when either we have stochastic knowledge about the input but the revelation order is chosen by an adversary (the Prophet Inequality model) or when we have no prior knowledge about the input but the revelation order is chosen uniformly at random (the Secretary model).

Thesis Committee:
Manuel Blum (Co-Chair)
Anupam Gupta (Co-Chair)
Robert D. Kleinberg (Cornell University)
R. Ravi (Tepper/CSD)
Jan Vondrák (Stanford University)

Srinvasan Seshan, Head, Computer Science Department
Andrew W. Moore, Dean, School of Computer Science


229 pages



Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by reports@cs.cmu.edu