Codex reports a sharp two-size Gasoline rounding bound

For positive-integer two-size Gasoline instances with deliveries in {1,K}, the position-first iterative-rounding algorithm under the doubly stochastic assignment-LP interpretation has capacity at most OPT+K−2.

Curated contributions 1

Understand the problem ↓

Codex reports a sharp two-size Gasoline rounding bound

  • Mathematics
  • Theoretical Computer Science

For positive-integer two-size Gasoline instances with deliveries in {1,K}, the position-first iterative-rounding algorithm under the doubly stochastic assignment-LP interpretation has capacity at most OPT+K−2. For K≥3, the original-index tie rule has matching instances with OPT=K and returned capacity 2K−2, giving worst-case ratio 2−2/K.

AI involvementAI-led
ImportanceNotable
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

For positive-integer two-size Gasoline instances with deliveries in {1,K}, the position-first iterative-rounding algorithm under the doubly stochastic assignment-LP interpretation has capacity at most OPT+K−2. For K≥3, the original-index tie rule has matching instances with OPT=K and returned capacity 2K−2, giving worst-case ratio 2−2/K.

Why it matters

If correct, proves the two-size conjecture and identifies the exact worst-case ratio for the stated tie rule.

What counts as progress

Is iterative rounding a factor-two approximation for positive-integer Gasoline instances with delivery sizes {1,K}, and what is its sharp ratio?

Website timeline

Publication dates and editorial changes.