Informatica teorica

1

Il generatore pseudo-casuale di Nisan si relativizza?

Nisan ha dimostrato in "Generatori psuedorandom per il calcolo limitato dallo spazio", che esiste un generatore pseudo-casuale che "imbroglia" i calcoli limitati dallo spazio. Questa costruzione vale per ogni oracolo (almeno per le query non adattative)?

16 cc.complexity-theory space-bounded derandomization

1

Dov'è il difetto nel metodo di Blum-Feldman-Micali

Blum, Micali e Feldman (BFM) propongono un nuovo modello (crittografico), in cui tutte le parti (oneste o contraddittorie) hanno accesso ad alcune stringhe. Si presume che la stringa sia selezionata in base a una distribuzione (in genere, distribuzione uniforme) da una parte attendibile. Si chiama stringa di riferimento e il …

16 cr.crypto-security

1

Completezza e linguaggi sensibili al contesto.

Sono interessato a due domande riguardanti i linguaggi sensibili al contesto (CSL) e la completezza: Esiste una nozione di completezza per CSL e quali lingue sono complete? Esistono CSL naturali che sono NP-complete? Per 2., posso certamente pensare a linguaggi NP naturali completi che sono CSL (poiché CSL è uguale …

16 np-hardness fl.formal-languages space-bounded

1

Possiamo decidere se un permanente ha un termine unico?

Supponiamo di avere una matrice n per n, M, con voci intere. Possiamo decidere in P se esiste una permutazione tale che per tutte le permutazioni π ≠ σ abbiamo Π M i σ ( i ) ≠ Π M i π ( i ) ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( io)≠ …

16 cc.complexity-theory ds.algorithms matrices matching permanent

3

Durezza UGC del predicato per ?

Contesto : Nel documento UGC originale di Subhash Khot ( PDF ), dimostra la durezza UG di decidere se una determinata istanza CSP con vincoli di tutto il modulo Non-tutti-uguali (a, b, c) su un alfabeto ternario ammette un compito soddisfacente 1 - dei vincoli o se non esistono compiti …

16 cc.complexity-theory approximation-hardness unique-games-conjecture csp

5

Nozioni più forti di uniformazioni?

Un divario che ho sempre saputo che non capisco davvero è tra la complessità computazionale non uniforme e uniforme in cui la complessità del circuito rappresenta la versione non uniforme e le macchine di Turing sono dove le cose sono uniformi. Suppongo che "uniforme" sia un modo per limitare la …

16 cc.complexity-theory circuit-complexity

2

Un elenco di lettura su algoritmi sperimentali

Come in, l'area degli articoli nell'ACM Journal on Experimental Algorithmic JEA . Quali erano le opere fondamentali? Quali sono i risultati principali? Come sono caratterizzati? Qualche connessione interessante con altre aree dell'informatica?

16 ds.algorithms reference-request experimental

2

Rapporto tra simmetria e intrattabilità computazionale?

Il problema dell'automorfismo a virgola fissa con richiede un automorfismo grafico che sposta almeno k ( n ) nodi. Il problema è N P -completo se k ( n ) = n c per qualsiasi ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. Tuttavia, se il problema è il tempo polinomiale di Turing riducibile al …

16 cc.complexity-theory graph-isomorphism automorphism symmetry

3

Quali problemi di

La famosa immagine di The World di Neil Immerman è la seguente (clicca per ingrandire): La sua classe "Davvero fattibile" non include altre classi; la mia domanda è quindi: Che cos'è un problema AC 0 considerato non pratico e perché?

16 cc.complexity-theory circuit-complexity

1

Sensibilità delle proprietà del grafico

In [1], Turan mostra che la sensibilità (chiamata "complessità critica" nel documento) di una proprietà del grafico è strettamente maggiore di dovemè il numero di vertici nel grafico. Continua ipotizzando che qualsiasi proprietà del grafico non banale abbia una sensibilità≥m-1. Egli menziona che ciò è stato verificato perm≤5. Sono stati …

16 graph-theory property-testing

1

Derandomizzazione non uniforme più efficiente?

Adleman, FOCS'78 ha mostrato che qualsiasi circuito randomizzato per ingressi di lunghezza può essere derandomizzato in modo non uniforme. Tuttavia, la costruzione duplica efficacemente il circuito originale O ( n ) volte, quindi il circuito derandomizzato è più grande di quello originale di un fattore di O ( n ) …

16 derandomization

2

Trovare piccoli insiemi di numeri interi in cui ogni elemento è una somma di altri due

Questo è il seguito di questa domanda su math.stackexchange. Diciamo che un insieme non vuoto S ⊆ ℤ è autoportante se per ogni a ∈ S, esistono elementi distinti b, c ∈ S tali che a = b + c. Per numeri interi positivi n , semplici esempi includono S …

16 ds.algorithms co.combinatorics

1

Crescita comparata del numero di classi sintattiche e classi Nerode.

Per una lingua L ⊆ Σ ^ * , definire la congruenza sintattica ≡ di L come la minima congruenza su Σ ^ * che satura L , cioè: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Definire ora l' equivalenza di Nerode come …

16 automata-theory fl.formal-languages

1

Estensioni della teoria beta del calcolo lambda

La teoria beta-eta del lambda-calcolo è Post-completa. È possibile aggiungere ulteriori regole per estendere la teoria beta del lambda-calcolo per ottenere teorie confluenti diverse dalla teoria beta-eta? poscritto Questa domanda ha violato la mia stessa regola secondo cui le domande dovrebbero spiegare il motivo per cui l'interrogante si preoccupa. Mi …

16 lambda-calculus

1

Perché è importante che il segreto sia alla fine quando si firma con MD5?

si dice spesso che quando si utilizza l'algoritmo MD5 per firmare alcune informazioni arbitrarie, il segreto condiviso deve essere alla fine. Perché?

16 hash-function cr.crypto-security