Abstract:Because $\Sigma^p_2$- and $\Sigma^p_3$-hardness proofs are usually tedious and difficult, not so many complete problems for these classes are known. This is especially true in the areas of min-max regret robust optimization, network interdiction, most vital vertex problems, blocker problems, and two-stage adjustable robust optimization problems. Even though these areas are well-researched for over two decades and one would naturally expect many (if not most) of the problems occurring in these areas to be complete for the above classes, almost no completeness results exist in the literature. We address this lack of knowledge by introducing over 70 new $\Sigma^p_2$-complete and $\Sigma^p_3$-complete problems. We achieve this result by proving a new meta-theorem, which shows $\Sigma^p_2$- and $\Sigma^p_3$-completeness simultaneously for a huge class of problems. The majority of all earlier publications on $\Sigma^p_2$- and $\Sigma^p_3$-completeness in said areas are special cases of our meta-theorem. Our precise result is the following: We introduce a large list of problems for which the meta-theorem is applicable (including clique, vertex cover, knapsack, TSP, facility location and many more). For every problem on this list, we show: The interdiction/minimum cost blocker/most vital nodes problem (with element costs) is $\Sigma^p_2$-complete. The min-max-regret problem with interval uncertainty is $\Sigma^p_2$-complete. The two-stage adjustable robust optimization problem with discrete budgeted uncertainty is $\Sigma^p_3$-complete. In summary, our work reveals the interesting insight that a large amount of NP-complete problems have the property that their min-max versions are 'automatically' $\Sigma^p_2$-complete.

New classes of Facets for complementarity knapsack problems

Editor’s Note: Special Section on Computing and Combinatorics

Relaxations and cutting planes for linear programs with complementarity constraints

Box Facets and Cut Facets of Lifted Multicut Polytopes

Total Coloring and Total Matching: Polyhedra and Facets

Solving linear programs with complementarity constraints using branch-and-cut

Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems

New finite relaxation hierarchies for concavo-convex, disjoint bilinear programs, and facial disjunctions

A unified method for a class of convex separable nonlinear knapsack problems

Primary Facets Of Order Polytopes

Convex Discrete Optimization

A polyhedral study of the generalized vertex packing problem

On the notions of facets, weak facets, and extreme functions of the Gomory-Johnson infinite group problem

Constructing subspace packings from other packings

New Sequence-Independent Lifting Techniques for Cutting Planes and When They Induce Facets

Completeness in the Polynomial Hierarchy for many natural Problems in Bilevel and Robust Optimization

Two Choices are Enough for P-LCPs, USOs, and Colorful Tangents

On the Two-Dimensional Knapsack Problem for Convex Polygons

New Directions in Approximation Algorithms and Hardness of Approximation

Convex quadratic sets and the complexity of mixed integer convex quadratic programming

A Unified Tool for Solving Uni-Parametric Linear Programs, Convex Quadratic Programs, and Linear Complementarity Problems