Domande taggate «ho.history-overview»

La storia dietro gli argomenti: da dove viene il loro nome, chi li ha scoperti, quando sono stati dimostrati per la prima volta, come si sono evoluti negli anni.

5
Ragioni storiche per l'adozione di Turing Machine come modello primario di calcolo.
Comprendo che il modello di Turing è diventato lo "standard" nel descrivere il calcolo. Sono interessato a sapere perché questo è il caso, ovvero perché il modello TM è diventato più ampiamente utilizzato rispetto ad altri modelli teoricamente equivalenti (per quanto ne sappia), ad esempio la recursione μ di Kleene …
8
I contributi di Alan Turing all'informatica
Alan Turing , uno dei pionieri dell'informatica (teorica), ha dato molti contributi scientifici fondamentali al nostro campo, tra cui la definizione di macchine di Turing, la tesi di Church-Turing, l'indecidibilità e il test di Turing. Tuttavia, le sue scoperte importanti non si limitano a quelle che ho elencato. In onore …
2
Riferimento per la durezza NP di 3 coloranti?
Ho una domanda storica Sto cercando di determinare il riferimento per il fatto che la 3-colorabilità dei grafici (in alternativa, colorabilità per un dato ) è NP-difficile.k ≥ 3Kkkk ≥ 3k≥3k\geq 3 La risposta allettante è "il documento originale di Karp", ma è sbagliato. Ecco una scansione: Riducibilità tra Combinatorial …
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.