Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

2
In che modo la parola "produzione" è diventata sinonimo della parola "regola" nel contesto dell'informatica?
Sto studiando linguaggi formali e sistemi di basi di produzione (sistemi di basi di regole) e sono un po 'confuso sul perché queste due parole "produzione" e "regola" significano la stessa cosa in così tanti contesti in Informatica. In lingua inglese non sembrano significare la stessa cosa. Non sono un …
1
Verifica se una prova arbitraria è circolare?
Stavo pensando alle prove e mi sono imbattuto in un'osservazione interessante. Quindi le prove sono equivalenti ai programmi tramite l'isomorfismo di Curry-Howard e le prove circolari corrispondono a ricorsioni infinite. Ma dall'interruzione del problema sappiamo che, in generale, verificare se un programma arbitrario ricorre per sempre è indecidibile. Secondo Curry-Howard, …
3
Può esserci qualche problema finito in NP-Complete?
Il mio professore ha rilasciato la dichiarazione Qualsiasi problema finito non può essere NP-completo Stava parlando del Sudoku in quel momento dicendo qualcosa sulla falsariga che per un Sudoku 8x8 esiste una serie limitata di soluzioni, ma non ricordo esattamente cosa abbia detto. Ho scritto la nota che ho citato …
13 np-complete  np 
1
È un modo generico per convertire qualsiasi procedura ricorsiva in ricorsione della coda?
Sembra che abbia trovato un modo generico per convertire qualsiasi procedura ricorsiva in ricorsione in coda: Definire una procedura secondaria di supporto con un parametro "risultato" aggiuntivo. Applicare ciò che verrebbe applicato al valore restituito della procedura a quel parametro. Chiamare questa procedura di supporto per iniziare. Il valore iniziale …
1
Se
Ho appena trovato questa frase a pagina 6 di "Computers and Intractability" di Garey e Johnson. Qualsiasi algoritmo la cui funzione di complessità temporale non può essere così limitata è chiamato algoritmo temporale esponenziale (sebbene si dovrebbe notare che questa definizione include alcune funzioni di complessità temporale non polinomiale, come …
3
problema indecidibile e la sua negazione è indecidibile
Molti problemi indecidibili "famosi" sono comunque almeno semidecidabili, con il loro complemento indecidibile. Un esempio soprattutto può essere l'arresto del problema e il suo complemento. Tuttavia, qualcuno può darmi un esempio in cui sia un problema che il suo complemento sono indecidibili e non semidecidibili? Ho pensato al linguaggio di …
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.