Hvis en computer ikke kan bruge en algoritme til at løse et sæt problemer, så betragtes disse som nondeterministisk polynomialtid i modsætning til hvilken kompleksitetskategori? Skriv et svar i sammenhæng med det foregående spørgsmål. Det kan være 1 - 20 sætninger. Kontekst:
Kompleksitetsklassen P ses ofte som en matematisk abstraktion, der modellerer de beregningsopgaver, der tillader en effektiv algoritme. Denne hypotese kaldes Cobham-Edmonds-teesen. Kompleksitetsklassen NP, på den anden side, indeholder mange problemer, som folk gerne vil løse effektivt, men som ingen effektiv algoritme er kendt for, såsom den booleanske satisfiability problem, den hamiltonske vej problem og vertex dække problem. Da deterministiske Turingmaskiner er specielle ikke-deterministiske Turingmaskiner, er det let at observere, at hvert problem i P også er medlem af klassen NP.