Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
"Overflow" in algoritmo euclideo esteso
Scusa se mi sbaglio con il posto dove porre la domanda (forse dovrei andare su stackoverflow.com/mathoverflow.net?). Mi chiedo se ci sia una prova che quando si valuta l'algoritmo euclideo esteso i coefficienti di Bézout (che è s et t in identità come + bt = gcd ( a , b …
1
Limiti inferiori per la comunicazione non deterministica multipartitica
Questa è una continuazione della mia precedente domanda sulla comunicazione limiti inferiori per funzioni booleane parziali . Qualcuno può suggerire qualche riferimento su limiti inferiori per la comunicazione non deterministica multiparty? Ho esaminato i documenti sul campo, ma tutti sembrano mostrare separazioni del seguente tipo: un limite inferiore per il …
1
Teorema del PCP - Fase di riduzione dell'alfabeto
Ciò che segue potrebbe sembrare stupido (e ciò probabilmente riflette la mia scarsa comprensione - quindi per favore abbi pazienza con me) Ho avuto una domanda sul teorema di PCP. Sappiamo che dopo i primi tre passaggi vale a dire. Riduzione del grado, espansione e amplificazione del divario, abbiamo un …
2
Una prova interattiva del numero di Dio?
Ultimamente ho appreso delle prove interattive e mi chiedevo se l'intera faccenda non fosse altro che una curiosità teorica o se avesse avuto applicazioni pratiche. Ho pensato di iniziare con un esempio che mi è venuto in mente sotto la doccia: Recentemente è stato reso noto che "Numero di Dio" …
4
Intelligenza umana e algoritmi
Ci sono stati studi per determinare se l'intelligenza umana può superare gli algoritmi (ovvero verificare se il teorema del No Free Lunch si applica all'intelligenza umana)? Sulla stessa linea, qualcuno ha sviluppato un metodo tecnico per sfruttare le proprietà uniche e sovracomputazionali dell'intelligenza umana?
2
simulatività in linea retta
Qualcuno conosce qualche buon riferimento per il significato della simulatività in linea retta? Sono attualmente in profondità nel framework Universal Composability (UC) di Canetti, ma non riesco a trovare alcun buon riferimento per il significato della simulatività in linea retta. Qualsiasi aiuto è apprezzato.
2
Sistema di "equazioni stocastiche"
Considera un grafico con vertici e bordi. I vertici sono etichettati con variabili reali , dove è fisso. Ogni fronte rappresenta una "misura": per il bordo , ottengo una misura . Più precisamente, è una quantità veramente casuale in , uniformemente distribuita e indipendente da tutte le altre misurazioni (bordi).m …
3
Imparare con gli oracoli "taciturni"
La mia domanda è un po 'generica, quindi sto inventando una bella storia per giustificarla. Abbi pazienza se non è realistico ;-) Storia Il signor X, capo del dipartimento di sicurezza informatica di una grande azienda, è un po 'paranoico: richiede che tutti i dipendenti cambino le loro password una …
1
Apprendimento agnostico su distribuzioni arbitrarie
DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in CO P T ( C , D ) = min f ∈ C e r r ( f , D )err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Supponiamo che un algoritmo AAA apprenda agnosticamente CCC su qualsiasi distribuzione, se per …
3
Dove posso chiedere aiuto per la ricerca / pubblicazione?
Sto sviluppando un algoritmo SAT da un po 'e ho raggiunto un punto in cui mi piacerebbe condividerlo. Non conosco molte persone nell'informatica e non sono sicuro di dove rivolgersi. Mi chiedo quali risorse siano disponibili per qualcuno con un algoritmo che sta prendendo in considerazione la pubblicazione. Ho anche …
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.