Problemas cujo status de decidibilidade é desconhecido, mas conhecido por ser menos difícil do que o problema de parada

Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da parada.

computability reference-request undecidability

— ARi
fonte

veja Um problema simples cuja decisão não é conhecida em Ciência da Computação Teórica .

— Kaveh

Assumindo que por "menos difícil" você quer dizer "redutível a", qualquer problema conhecido por $RE$ mas não é conhecido por estar em $R$ satisfaz esta condição.

Por exemplo, considere o problema do PCP com 4 blocos, cuja decisão está aberta. É um exercício fácil reduzir o problema (ou qualquer outro problema no ER) para HALT.

— Shaull
fonte

Não se sabe que o HALT pode ser reduzido para PCP com 4 peças . O último é um problema em aberto.

— Shaull

É mencionado (escrevi que a sua decisão não é conhecida, está implícito que não há redução conhecida do HALT).

— Shaull