Domande taggate «decidability»

Ogni lingua indecidibile riconoscibile da Turing ha un sottoinsieme NP completo?

Ogni lingua indecidibile riconoscibile da Turing ha un sottoinsieme NP completo? La domanda potrebbe essere vista come una versione più forte del fatto che ogni linguaggio infinito riconoscibile da Turing ha un sottoinsieme infinito decidibile.

9 cc.complexity-theory np-hardness complexity-classes np decidability

È possibile calcolare se due funzioni sono uguali in estensione?

Se hai due funzioni che implementano un diverso algoritmo di ordinamento, è possibile dedurre dal codice sorgente che entrambe hanno le stesse proprietà esterne? Significa che entrambi avranno una possibile sequenza non ordinata come input e avranno una sequenza ordinata come output? In che modo queste proprietà esterne possono essere …

9 pl.programming-languages decidability formal-methods extensionality

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.