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


Risposte:


5

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.RER

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.


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

1
È menzionato (ho scritto che la sua decidibilità non è nota, è implicito che non vi è alcuna riduzione nota da HALT).
Shaull
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.