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.

The Complexity of the Kth Largest Subset Problem and Related Problems

Extremal combinatorics, iterated pigeonhole arguments, and generalizations of PPP

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

The Complexity of Computing KKT Solutions of Quadratic Programs

Bottleneck subset-type restricted matching problems

Does Subset Sum Admit Short Proofs?

Approximate Turing kernelization and lower bounds for domination problems

Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond

Sublinear-time Reductions for Big Data Computing

The PCP-like Theorem for Sub-linear Time Inapproximability

Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid Intersection

On P Versus NP

Extremal families for the Kruskal--Katona theorem

Choiceless Computation and Symmetry: Limitations of Definability

On polynomial kernelization for Stable Cutset

Polynomial-time kernel reductions

A proof complexity conjecture and the Incompleteness theorem

Thresholds and expectation thresholds for larger p

The Complexity of the Partial Order Dimension Problem - Closing the Gap

PPP-Completeness with Connections to Cryptography

Hardness Results for the Gapped Consecutive-Ones Property