Na teoria da complexidade computacional, as classes P, NP e NP-completo descrevem relações entre problemas de decisão quanto ao tempo necessário para resolvê-los ou verificar suas soluções. Com base nas definições formais e nas relações entre essas classes, assinale a alternativa correta.