Abstract:We study a bilevel optimization problem which is a zero-sum Stackelberg game. In this problem, there are two players, a leader and a follower, who pick items from a common set. Both the leader and the follower have their own (multi-dimensional) budgets, respectively. Each item is associated with a profit, which is the same to the leader and the follower, and will consume the leader's (follower's) budget if it is selected by the leader (follower). The leader and the follower will select items in a sequential way: First, the leader selects items within the leader's budget. Then the follower selects items from the remaining items within the follower's budget. The goal of the leader is to minimize the maximum profit that the follower can obtain. Let s_A and s_B be the dimension of the leader's and follower's budget, respectively. A special case of our problem is the bilevel knapsack problem studied by Caprara et al. [SIAM Journal on Optimization, 2014], where s_A=s_B=1. We consider the general problem and obtain an (s_B+ϵ)-approximation algorithm when s_A and s_B are both constant. In particular, if s_B=1, our algorithm implies a PTAS for the bilevel knapsack problem, which is the first O(1)-approximation algorithm. We also complement our result by showing that there does not exist any (4/3-ϵ)-approximation algorithm even if s_A=1 and s_B=2. We also consider a variant of our problem with resource augmentation when s_A and s_B are both part of the input. We obtain an O(1)-approximation algorithm with O(1)-resource augmentation, that is, we give an algorithm that returns a solution which exceeds the given leader's budget by O(1) times, and the objective value achieved by the solution is O(1) times the optimal objective value that respects the leader's budget.

Theoretical analysis of integer programming models for the two-dimensional two-staged knapsack problem

Models for the two-dimensional level strip packing problem – a review and a computational evaluation

A New Upper Bound on 2D Online Bin Packing

Approximation Algorithms for Interdiction Problem with Packing Constraints

Approximation Algorithms for a Bi-Level Knapsack Problem

A New Upper Bound 2.5545 on 2D Online Bin Packing.

Integrality Gaps of Linear and Semi-definite Programming Relaxations for Knapsack

Exact Algorithm for Concave Knapsack Problems: Linear Underestimation and Partition Method

Mixed-Integer Programming Model For Two-Dimensional Non-Guillotine Bin Packing Problem With Free Rotation

Integer Linear Programming Models for the Containership Stowage Problem

Rank two relaxation to the quadratic knapsack problem

On-line A-shaped Bin Packing Problem: Models and Analysis of Heuristics

Knapsack with Variable Weights Satisfying Linear Constraints

An Integer Programming Model for the Single Container Loading Problem with Axle Weight Constraints

Simple Solution Methods for Separable Mixed Linear and Quadratic Knapsack Problem

An Exact Algorithm for 0-1 Polynomial Knapsack Problems

Two-Stage Submodular Maximization Under Knapsack Problem

A Two-Stage Stochastic Nonlinear Integer-Programming Model for Slot Allocation of a Liner Container Shipping Service

An Exact Algorithm for Bilevel 0-1 Knapsack Problems

An Efficient Algorithm for Multi-Dimensional Nonlinear Knapsack Problems

On Two Dimensional Orthogonal Knapsack Problem