TY - GEN
T1 - Online lower bounds via duality
AU - Azar, Yossi
AU - Cohen, Ilan Reuven
AU - Roytman, Alan
N1 - Publisher Copyright: Copyright © by SIAM.
PY - 2017
Y1 - 2017
N2 - In this paper, we exploit linear programming duality in the online setting, where input arrives on the y, from the unique perspective of designing lower bounds (i.e., hardness results) on the competitive ratio. In particular, we provide a systematic method (as opposed to ad hoc case analysis that is typically done) for obtaining online deterministic and randomized lower bounds on the competitive ratio for a wide variety of problems. We show the usefulness of our approach by providing new, tight hardness results for three diverse online problems: The Vector Bin Packing problem, Ad-auctions (and various online matching problems), and the Capital Investment problem. Our methods are sufficiently general that they can also be used to reconstruct existing lower bounds. Our approach is in stark contrast to previous works, which exploit linear programming duality to obtain positive results, often via the useful primal- dual scheme. We design a general recipe with the opposite aim of obtaining negative results via dual- ity. The general idea behind our approach is to construct a parameterized family of primal linear pro- grams based on a candidate collection of input sequences for proving the lower bound, where the objective function corresponds to optimizing the competitive ratio. Solving the parameterized family of primal linear programs optimally would yield a valid lower bound, but is a challenging task and limits the tools that can be applied, since analysis must be done precisely and exact optimality needs to be proved. To this end, we consider the corresponding parameterized family of dual linear programs and provide feasible solutions, where the objective function yields a lower bound on the competitive ratio. This opens up additional doors for analysis, including some of the techniques we employ (e.g., continuous analysis, differential equations, etc.), as we need not be so care- ful about exact optimality. We are confident that our methods can be successfully applied to produce many more lower bounds for a wide array of online problems.
AB - In this paper, we exploit linear programming duality in the online setting, where input arrives on the y, from the unique perspective of designing lower bounds (i.e., hardness results) on the competitive ratio. In particular, we provide a systematic method (as opposed to ad hoc case analysis that is typically done) for obtaining online deterministic and randomized lower bounds on the competitive ratio for a wide variety of problems. We show the usefulness of our approach by providing new, tight hardness results for three diverse online problems: The Vector Bin Packing problem, Ad-auctions (and various online matching problems), and the Capital Investment problem. Our methods are sufficiently general that they can also be used to reconstruct existing lower bounds. Our approach is in stark contrast to previous works, which exploit linear programming duality to obtain positive results, often via the useful primal- dual scheme. We design a general recipe with the opposite aim of obtaining negative results via dual- ity. The general idea behind our approach is to construct a parameterized family of primal linear pro- grams based on a candidate collection of input sequences for proving the lower bound, where the objective function corresponds to optimizing the competitive ratio. Solving the parameterized family of primal linear programs optimally would yield a valid lower bound, but is a challenging task and limits the tools that can be applied, since analysis must be done precisely and exact optimality needs to be proved. To this end, we consider the corresponding parameterized family of dual linear programs and provide feasible solutions, where the objective function yields a lower bound on the competitive ratio. This opens up additional doors for analysis, including some of the techniques we employ (e.g., continuous analysis, differential equations, etc.), as we need not be so care- ful about exact optimality. We are confident that our methods can be successfully applied to produce many more lower bounds for a wide array of online problems.
UR - http://www.scopus.com/inward/record.url?scp=85016181074&partnerID=8YFLogxK
U2 - https://doi.org/10.1137/1.9781611974782.66
DO - https://doi.org/10.1137/1.9781611974782.66
M3 - منشور من مؤتمر
T3 - Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
SP - 1038
EP - 1050
BT - 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017
A2 - Klein, Philip N.
T2 - 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017
Y2 - 16 January 2017 through 19 January 2017
ER -