Problemi il cui stato di decidibilità è sconosciuto ma noto per essere meno difficile del problema di arresto

Ci sono problemi la cui decidibilità è sconosciuta ma è noto per certo che i problemi sono meno difficili del problema di arresto.

computability reference-request undecidability

— ARi
fonte

vedi Un semplice problema la cui decidibilità non è nota in Teorica Informatica .

— Kaveh,

Supponendo che per "meno difficile" intendi "riducibile a", allora qualsiasi problema che è noto per essere in ma che non è noto per essere in soddisfa questa condizione. $RE$ $R$

Ad esempio, prendi il problema PCP con 4 tessere, la cui decidibilità è aperta. È un esercizio facile ridurre il problema (o qualsiasi altro problema in RE) a HALT.

— Shaull
fonte

Non è noto che HALT può essere ridotto a PCP con 4 tessere . Quest'ultimo è un problema aperto.

— Shaull

È menzionato (ho scritto che la sua decidibilità non è nota, è implicito che non vi è alcuna riduzione nota da HALT).

— Shaull