Search papers, labs, and topics across Lattice.
This paper tackles Online Semi-infinite Linear Programming (OSILP) where a finite-dimensional decision space is subject to a large number of constraints revealed online. They introduce a novel LP formulation using function approximation to reduce the number of constraints to a constant *q*, enabling efficient online optimization. The proposed dual-based algorithm achieves regret bounds of *O(q√T)* and *O((q+q log T)√T)* under stochastic input and random permutation models, respectively, demonstrating independence from the original number of constraints.
Forget constraint explosion: this new online LP algorithm maintains constant regret even with an infinite number of constraints.
We consider the dynamic resource allocation problem where the decision space is finite-dimensional, yet the solution must satisfy a large or even infinite number of constraints revealed via streaming data or oracle feedback. We model this challenge as an Online Semi-infinite Linear Programming (OSILP) problem and develop a novel LP formulation to solve it approximately. Specifically, we employ function approximation to reduce the number of constraints to a constant $q$. This addresses a key limitation of traditional online LP algorithms, whose regret bounds typically depend on the number of constraints, leading to poor performance in this setting. We propose a dual-based algorithm to solve our new formulation, which offers broad applicability through the selection of appropriate potential functions. We analyze this algorithm under two classical input models-stochastic input and random permutation-establishing regret bounds of $O(q\sqrt{T})$ and $O\left(\left(q+q\log{T})\sqrt{T}\right)\right)$ respectively. Note that both regret bounds are independent of the number of constraints, which demonstrates the potential of our approach to handle a large or infinite number of constraints. Furthermore, we investigate the potential to improve upon the $O(q\sqrt{T})$ regret and propose a two-stage algorithm, achieving $O(q\log{T} + q/\epsilon)$ regret under more stringent assumptions. We also extend our algorithms to the general function setting. A series of experiments validates that our algorithms outperform existing methods when confronted with a large number of constraints.