Domande taggate «check-my-proof»

2
Karp Reduction è identico a Levin Reduction
Definizione: Karp Reduction Una lingua è Karp riducibile a una lingua se esiste una funzione calcolabile in tempo polinomiale tale che per ogni , se e solo se .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B Definizione: Levin Reduction Una ricerca problema è Levin riducibile a una ricerca problema se c'è funzione polinomiale che riduce …
1
sottoinsiemi di insiemi ricorsivi infiniti
Una domanda d'esame recente è stata la seguente: UNUNA è un insieme infinito ricorsivamente enumerabile. Dimostra che ha un sottoinsieme infinito ricorsivo.UNUNA Lascia essere un sottoinsieme ricorsiva infinita di . deve avere un sottoinsieme non enumerabile ricorsivamente?CCCUNUNACCC Ho già risposto 1. Riguardo a 2., ho risposto affermativamente e ho sostenuto …
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.