Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

5
L'utilità delle entropie di Renyi?
Molti di noi hanno familiarità con - o almeno hanno sentito parlare - dell'entropia di Shannon di una variabile casuale, H(X)=−E[logp(X)]H(X)=−E[log⁡p(X)]H(X) = -\mathbb{E} \bigl[ \log p(X)\bigr] e di tutte le relative misure teoriche dell'informazione come l'entropia relativa, informazioni reciproche e così via. Ci sono alcune altre misure di entropia che …
1
Versione computazionalmente limitata dell'equilibrio di Nash?
Mi chiedo se esiste una versione limitata dal punto di vista computazionale del concetto di equilibrio di Nash, qualcosa che segue le seguenti linee. Immagina una sorta di gioco di informazioni perfette per due giocatori che si gioca su una tavola , e che è complesso nel senso che il …
1
Confronto della complessità delle teorie di Kolmogorov
Il teorema di incompletezza di Chaitin afferma che nessuna teoria dell'aritmetica sufficientemente forte può dimostrare K(s)>LK(s)>LK(s) > L dove K(s)K(s)K(s) è la complessità di Kolmogorov della stringa sss e LLL è una costante sufficientemente grande. LLL è sufficientemente grande se è più grande della dimensione in bit di una macchina …
1
Possiamo distinguere metodi strettamente sintattici e semantici nel linguaggio di programmazione?
Mentre si discute di forti prove di normalizzazione, questo commento contrappone il "modello di forme normali" con "metodi puramente sintattici". Questo mi riporta a una domanda più basilare: possiamo ancora distinguere rigorosamente le costruzioni sintattiche e semantiche, di fronte ai modelli basati sulla sintassi? E i modelli a termine per …
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.