2
$\begingroup$

This question already has an answer here:

I have read that optimization problems cannot be $\mathcal{NP}$-complete, but are always classified as $\mathcal{NP}$-hard. When a problem is NP-complete, I know it is contained in $\mathcal{NP}$P. This implies in particular that it is not hard for the second level of the polynomial time hierarchy, e.g. for $\Sigma_2^P$ or $\Pi_2^P$. But since optimization problems are only NP-hard, I have no such knowledge. Or are optimization problems usually also $\Sigma_2^P$-hard or $\Pi_2^P$-hard, or just some of them?

Are there any interesting problems from combinatorial optimization that are harder than $\mathcal{NP}$-hard, e.g. hard for the second level of the polynomial time hierarchy?

I am in particular interested in problems from combinatorial optimization, e.g. BP (bin packing), TSP and CVRP (capacitated vehicle routing problem). They are all classified as $\mathcal{NP}$-hard, but CVRP is a generalization of both TSP and BP, so it should be harder? Bin packing should be easier, are there any results showing this? Does anyone know, if there are hardness results for any of these problems that imply more difficult than $\mathcal{NP}$-hard?

I know there are many versions of CVRP and TSP and unfortunately I know not a lot about them.

$\endgroup$

marked as duplicate by user742, vonbrand, frafl, Luke Mathieson, Pål GD Apr 5 '13 at 8:15

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

migrated from cstheory.stackexchange.com Apr 3 '13 at 20:03

This question came from our site for theoretical computer scientists and researchers in related fields.

  • 7
    $\begingroup$ Optimization problems are not decision problems, thus cannot belong to a decision class such as $\mathcal{NP}$. Therefore, they can only be $\mathcal{NP}$-hard and not $\mathcal{NP}$-complete. $\endgroup$ – Bruno Mar 21 '13 at 10:13
  • 1
    $\begingroup$ This is probably covered by this and this question. $\endgroup$ – Raphael Apr 3 '13 at 20:26
  • $\begingroup$ @Bruno The interesting question then is, why can they be part of NP-hard, which is also defined as class of decision problems? $\endgroup$ – Raphael Apr 4 '13 at 6:34