Problemas decidíveis, porém difíceis, para os quais possivelmente não existe algoritmo que os resolvam em tempo polinomial, é denominado de:

Em teoria da complexidade, chamamos de tratáveis os problemas para os quais existe algoritmo em tempo polinomial (classe $\mathbf{P}$). Já os problemas decidíveis (isto é, existe algoritmo que sempre termina e responde) mas que são considerados difíceis, no sentido de que possivelmente não existe algoritmo em tempo polinomial para resolvê-los (tipicamente associados a problemas $\mathbf{NP}$-difíceis/NP-completos), são chamados de intratáveis.

Logo, a denominação pedida é intratável.

Alternativa correta: (b).