Informatica teorica

2

Disuguaglianza di tipo Chernoff per variabile casuale con 3 esiti

Supponiamo di avere una variabile casuale che prende valori non numerici a, b, c e che vogliamo quantificare come la distribuzione empirica di campioni di questa variabile si discosti dalla vera distribuzione. In questo caso si applica la seguente disuguaglianza (da Cover & Thomas ).nnn Teorema 12.4.1 (teorema di Sanov): …

9 pr.probability chernoff-bound

2

Esistono famiglie di lingue formali conosciute come realmente apprendibili dal PAC?

Intendo specificamente famiglie linguistiche che ammettono stringhe arbitrariamente lunghe, non congiunzioni su n bit o elenchi di decisioni o qualsiasi altro linguaggio "semplice" contenuto in {0,1} ^ n. Sto chiedendo dei linguaggi regolari "teorici degli automi" rispetto a quelli "teorici della logica": qualcosa come i linguaggi testabili a tratti, i …

9 automata-theory machine-learning lg.learning

1

proprietà di chiusura di IP (2pfa) e AM (2pfa)

IP (2pfa) e AM (2pfa) sono le classi di lingue riconosciute con errori limitati dalle versioni di monete pubbliche e private, rispettivamente, dei sistemi di prova interattivi con verificatori che sono automi finiti probabilistici con una testa di input a due vie. Sono note proprietà di chiusura di queste classi?

9 cc.complexity-theory interactive-proofs

1

In System F à la Church, possiamo automatizzare l'inferenza del tipo per l'eliminazione definitiva?

La domanda è la seguente. Generalmente quando uno ha un termine come , possiamo eliminare il forall applicando questo termine a un tipo, come esempio .( Λ X . t ) [ T ] → t [ X : = T ]Λ X. tΛX.t\Lambda X.t( Λ X. t ) [ …

9 type-theory polymorphism type-inference

1

Algoritmi di ricerca del database della teoria dei grafi metrici

Sto (lentamente) scrivendo una recensione del Manuale degli algoritmi di chemioinformatica per SIGACT News. Un capitolo discute le attuali implementazioni del software e le ricerche nel database (e altre applicazioni) non sembrano sfruttare il maggior numero possibile di informazioni sui grafici. D'altra parte, forse algoritmi più teorici sarebbero troppo difficili …

9 reference-request

2

Limitare il tasso di aumento del prezzo dell'anarchia tra i concetti di equilibrio

Conosciamo e amiamo un sacco di classi nidificate di concetti di soluzione: PN: Pure Nash Equilibrium MN: Equilibrio di Nash misto CE: equilibrio correlato CCE: equilibrio correlato al corso. La relazione tra questi insiemi è: Possiamo considerare il prezzo dell'anarchia rispetto a uno di questi concetti di soluzione: il peggior …

9 gt.game-theory

5

I risultati che mostrano l'esistenza / non esistenza di grafici finiti con proprietà calcolabili specifiche implicano determinati risultati di complessità

Esistono risultati noti che dimostrano che l'esistenza (o la non esistenza) di grafici finiti con proprietà calcolabili specifiche implica determinati risultati di complessità (come P = NP)? Ecco un risultato completamente ipotetico : se esiste un grafico finito con bordi distinti A, B, C e D in modo tale che …

9 cc.complexity-theory

4

Clustering continuo

Quindi ho un problema che sto affrontando per quanto riguarda il clustering con dati live in streaming continuo. Dato che ho un set di dati in continua crescita, non sono sicuro di quale sia il modo migliore per eseguire un clustering efficiente ed efficace. Ho escogitato alcune possibili soluzioni tra …

9 ds.algorithms clustering online-algorithms data-streams