Un dispositivo que pode usar un conxunto de regras e unha entrada para determinar un resultado, aínda que dito dispositivo é hipotético é referido como o que? Dada a pregunta anterior, escriba un contexto que conteña a resposta. Pode ser de 1 a 20 frases. Contexto:
A clase de complexidade P é a miúdo vista como unha abstracción matemática que modela aquelas tarefas computacionais que admiten un algoritmo eficiente. Esta hipótese chámase a tese de Cobham-Edmonds. A clase de complexidade NP, por outra banda, contén moitos problemas que a xente quere resolver de forma eficiente, pero para os que non se coñece ningún algoritmo eficiente, como o problema de satisfagabilidade booleana, o problema de camiño hamiltoniano e o problema de cobertura de vértices. Dado que as máquinas de Turing deterministas son máquinas de Turing especiais non deterministas, é fácil observar que cada problema en P tamén é membro da clase NP.