Table of Contents
Fetching ...

Online Knapsack Problems with Estimates

Jakub Balabán, Matthias Gehnen, Henri Lotze, Finn Seesemann, Moritz Stocker

TL;DR

This work studies online knapsack problems with size estimates, introducing a distortion parameter $\delta$ that bounds how actual item sizes deviate from announced estimates. It provides tight, delta-dependent competitive-ratio bounds for two variants: the online simple knapsack with irrevocable decisions and the online simple knapsack with removability, including both additive and multiplicative accuracy analyses. The main contributions are lower-bound constructions and matching upper-bound algorithms that yield precise competitive ratios expressed in terms of $\delta$, such as $\tfrac{1}{\min(p,q)}$ with $p$ and $q$ defined via $k=\tfrac{2}{1-2\delta}$ for the additive case, and analogous results for removability with a threshold around $\delta=\tfrac{3}{4}-\sqrt{5}/4$. The results advance understanding of how prediction-like estimates influence online packing, demonstrate when estimates help or become ineffective, and connect to broader themes in robust optimization and learning-augmented online algorithms.

Abstract

Imagine you are a computer scientist who enjoys attending conferences or workshops within the year. Sadly, your travel budget is limited, so you must select a subset of events you can travel to. When you are aware of all possible events and their costs at the beginning of the year, you can select the subset of the possible events that maximizes your happiness and is within your budget. On the other hand, if you are blind about the options, you will likely have a hard time when trying to decide if you want to register somewhere or not, and will likely regret decisions you made in the future. These scenarios can be modeled by knapsack variants, either by an offline or an online problem. However, both scenarios are somewhat unrealistic: Usually, you will not know the exact costs of each workshop at the beginning of the year. The online version, however, is too pessimistic, as you might already know which options there are and how much they cost roughly. At some point, you have to decide whether to register for some workshop, but then you are aware of the conference fee and the flight and hotel prices. We model this problem within the setting of online knapsack problems with estimates: in the beginning, you receive a list of potential items with their estimated size as well as the accuracy of the estimates. Then, the items are revealed one by one in an online fashion with their actual size, and you need to decide whether to take one or not. In this article, we show a best-possible algorithm for each estimate accuracy $δ$ (i.e., when each actual item size can deviate by $\pm δ$ from the announced size) for both the simple knapsack and the simple knapsack with removability.

Online Knapsack Problems with Estimates

TL;DR

This work studies online knapsack problems with size estimates, introducing a distortion parameter that bounds how actual item sizes deviate from announced estimates. It provides tight, delta-dependent competitive-ratio bounds for two variants: the online simple knapsack with irrevocable decisions and the online simple knapsack with removability, including both additive and multiplicative accuracy analyses. The main contributions are lower-bound constructions and matching upper-bound algorithms that yield precise competitive ratios expressed in terms of , such as with and defined via for the additive case, and analogous results for removability with a threshold around . The results advance understanding of how prediction-like estimates influence online packing, demonstrate when estimates help or become ineffective, and connect to broader themes in robust optimization and learning-augmented online algorithms.

Abstract

Imagine you are a computer scientist who enjoys attending conferences or workshops within the year. Sadly, your travel budget is limited, so you must select a subset of events you can travel to. When you are aware of all possible events and their costs at the beginning of the year, you can select the subset of the possible events that maximizes your happiness and is within your budget. On the other hand, if you are blind about the options, you will likely have a hard time when trying to decide if you want to register somewhere or not, and will likely regret decisions you made in the future. These scenarios can be modeled by knapsack variants, either by an offline or an online problem. However, both scenarios are somewhat unrealistic: Usually, you will not know the exact costs of each workshop at the beginning of the year. The online version, however, is too pessimistic, as you might already know which options there are and how much they cost roughly. At some point, you have to decide whether to register for some workshop, but then you are aware of the conference fee and the flight and hotel prices. We model this problem within the setting of online knapsack problems with estimates: in the beginning, you receive a list of potential items with their estimated size as well as the accuracy of the estimates. Then, the items are revealed one by one in an online fashion with their actual size, and you need to decide whether to take one or not. In this article, we show a best-possible algorithm for each estimate accuracy (i.e., when each actual item size can deviate by from the announced size) for both the simple knapsack and the simple knapsack with removability.
Paper Structure (12 sections, 15 theorems, 6 equations, 2 figures, 3 algorithms)

This paper contains 12 sections, 15 theorems, 6 equations, 2 figures, 3 algorithms.

Key Result

Theorem 4

For every $0 < \delta < 0.5$, there exists no algorithm solving the Oske problem with a competitive ratio better than $\frac{1}{p}$.

Figures (2)

  • Figure 1: Competitive ratio in the absolute error model, depending on $\delta$
  • Figure 2: Range of item sizes. Forbidden ranges of item sizes to be packed are marked in red.

Theorems & Definitions (19)

  • Definition 1: The Online Simple Knapsack with Item Size Estimates Problem
  • Definition 2: The Online Simple Knapsack with Removability and Item Size Estimates Problem
  • Definition 3
  • Theorem 4
  • Theorem 5
  • Theorem 6
  • Theorem 7
  • Theorem 8
  • Lemma 9
  • Definition 10
  • ...and 9 more