Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

19
Bellissimi risultati in TCS
Di recente, un mio amico (che lavora in TCS) ha menzionato in una conversazione che "voleva vedere / conoscere tutti (o il più possibile) dei meravigliosi risultati in TCS nella sua vita". Questo tipo di mi ha fatto riflettere sui bellissimi risultati in questo settore e quindi sulla motivazione per …
2
Quali funzioni non può calcolare System F?
In questo articolo di Wikipedia sulla completezza di Turing si afferma che: Il calcolo lambda non tipizzato è Turing completo, ma molti calcoli lambda tipizzati, incluso il Sistema F, non lo sono. Il valore dei sistemi tipizzati si basa sulla loro capacità di rappresentare i programmi per computer più tipici …
2
Non possiamo produrre la complessità di Kolmogorov?
Risolviamo una codifica senza prefisso delle macchine di Turing e una macchina di Turing universale che sull'ingresso (codificato come codice privo di prefisso di seguito da ) genera qualunque uscita sull'ingresso (possibilmente entrambi corrono per sempre). Definire la complessità di Kolmogorov di , , come la lunghezza del programma più …
1
Funzioni non calcolabili in modo efficiente ma apprendibili
Sappiamo che (vedi, ad esempio, Teoremi 1 e 3 di [1]), approssimativamente parlando, in condizioni adeguate, le funzioni che possono essere calcolate in modo efficiente dalla macchina di Turing in tempo polinomiale ("calcolabile in modo efficiente") possono essere espresse da reti neurali polinomiali con dimensioni ragionevoli, e quindi può essere …
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.