Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Limiti inferiori migliori di 3n per le funzioni non booleane?
Il limite inferiore Blum 3n−o(n)3n−o(n)3n-o(n)è il limite inferiore del circuito più noto sulla base completa per una funzione esplicita f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} , cfr. La risposta di Jukna a questa domanda per risultati correlati. Quali sono i limiti inferiori più noti se l'intervallo di fff è {0,1}m{0,1}m\{0,1\}^m ? …
1
Carriera in informatica teorica
Sono attualmente uno studente delle superiori, interessato all'informatica teorica e alla matematica applicata. Mi sono autodidatta algebra lineare e calcolo e matematica concreta. Ho la nozione ingenua che per poter scrivere algoritmi migliori, si deve conoscere quanta più matematica si può perché è possibile conoscere nuove strutture e quindi utilizzare …
2
Grafico Problema di isomorfismo
Sto facendo una revisione della letteratura sul problema dell'isomorfismo di Graph. La maggior parte degli articoli che sto leggendo sono scritti da EM Luks e Laszlo Babai. Questi articoli utilizzano la conoscenza di alto livello della teoria dei gruppi e della teoria della complessità. Dato che sono nuovo in questo …
5
Perché gli economisti dovrebbero preoccuparsi della complessità computazionale
Quando si cerca di convincere gli economisti della rilevanza della teoria della complessità nella stampa, c'è un riferimento standard da citare? Conosco il post sul blog di Noam Nisan , l'indagine di Tim Roughgarden e il capitolo 11 del saggio di Scott Aaronson . Questi post sono accessibili agli informatici, …
1
Qual è la semantica categorica del sottotipo?
A partire da Curry-Howard-Lambek, c'è stata una bella trinità di teorie, logiche e categorie di tipi. Sono curioso di sapere quale semantica categorica ottieni quando aggiungi un sottotipo (coercitivo) a una teoria dei tipi - sembra che questo non sia stato esplorato molto, se non del tutto. In generale, l'aggiunta …
1
La complessità del campionamento (approssimativo) della trasformata di Fourier di una funzione booleana
Una cosa che i computer quantistici possono fare (possibilmente anche con solo circuiti quantistici BPP + con profondità di log) è di campionare approssimativamente la trasformata di Fourier di una funzione booleana valutata in in P.± 1±1\pm 1 Qui e sotto quando parlo di campionamento della trasformata di Fourier intendo …
3
Algoritmi costruttivamente efficienti senza efficiente correttezza e prova di efficienza
Sto cercando esempi naturali di algoritmi efficienti (cioè in tempi polinomiali) st la loro correttezza ed efficienza possono essere dimostrate in modo costruttivo (ad es. in o ), maPR APRUNPRAHUNHUNHA non è nota alcuna prova che utilizza solo concetti efficienti (ovvero non sappiamo come dimostrarne la correttezza e l'efficienza in …
3
Esiste un concetto di qualcosa come i funzioni di funzione co-applicativa tra comonadi e funzioni?
Ogni monade è anche un funzione applicativa e ogni funzione applicativa è una funzione. Inoltre, ogni comonad è un funzione. Esiste un concetto simile tra comonadi e funzioni, qualcosa come il funzione di applicazione congiunta e quali sono le sue proprietà? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} …
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.