Do any decision problems exist outside NP and NP-Hard?

Why do there exist some problems that are NP-hard but not in NP?

  • Answer:

    Simply put, there are problems that are harder than all problems in NP, and if they could be solved quickly we could use them to solve any problem in NP. One simple problem with this property is the halting problem. It's trivially not in NP because is not computable. To see that it can solve any problem in NP, consider the following. Suppose we have an algorithm H that solves the halting problem. Let A be any algorithm solving some problem in NP (A does not need to be efficient, it just needs to work), and let x be some input to A. Let C be the following program define C() { if (A(x)) return else loop forever } By passing C to our halting algorithm H, we learn whether C halts or loops forever. Equivalently we learn whether A(x) returns true or not. Since A and x were arbitrary, we can solve any problem in NP with H.

Tim Wilson at Quora Visit the source

Was this solution helpful to you?

Other answers

There exist complexity classes that are above NP. A NEXPTIME-hard problem is also NP-hard, but is not NP.   A problem is NP-hard if it is at least as hard as the hardest problems in NP. But it can be very harder.

Luc Gillibert

Just Added Q & A:

Find solution

For every problem there is a solution! Proved by Solucija.

  • Got an issue and looking for advice?

  • Ask Solucija to search every corner of the Web for help.

  • Get workable solutions and helpful tips in a moment.

Just ask Solucija about an issue you face and immediately get a list of ready solutions, answers and tips from other Internet users. We always provide the most suitable and complete answer to your question at the top, along with a few good alternatives below.