Informatica teorica circuit-families

3

Limite inferiore del circuito su serie arbitrarie di porte

Negli anni '80, Razborov mostrò notoriamente che ci sono esplicite funzioni booleane monotone (come la funzione CLIQUE) che richiedono esponenzialmente molte porte AND e OR per il calcolo. Tuttavia, la base {AND, OR} sul dominio booleano {0,1} è solo un esempio di un insieme di gate interessanti che non sono …

40 lower-bounds circuit-complexity circuit-families

3

Perché mod_m gates è interessante?

Ryan Williams ha appena pubblicato il suo limite inferiore su ACC , la classe di problemi che hanno circuiti a profondità costante con fan-in illimitati e porte AND, OR, NOT e MOD_m per tutte le possibili m. Cosa c'è di così speciale nelle porte MOD_m? Consentono di simulare l'aritmetica su …

39 cc.complexity-theory circuit-complexity big-picture circuit-families

2

Decidere se un NC

Vorrei porre un caso speciale sulla domanda " Decidere se un determinato circuito NC 0 calcola una permutazione " di QiCheng che è stata lasciata senza risposta. Un circuito booleano viene chiamato circuito NC 0 k se ciascuna porta di uscita dipende sintatticamente dalla maggior parte delle k porte di …

27 cc.complexity-theory open-problem permutations circuit-families

1

Classificazione cancelli reversibili

Il reticolo di Post , descritto da Emil Post nel 1941, è fondamentalmente un diagramma di inclusione completo di insiemi di funzioni booleane che sono chiuse sotto composizione: ad esempio, le funzioni monotone, le funzioni lineari su GF (2) e tutte le funzioni. (Post non pensava che le costanti 0 …

22 circuit-families

1

Piccoli circuiti per problemi di valutazione dei circuiti

Sia la funzione che mappa un circuito -gate su bit e una stringa n -bit x su C ( x ) . Supponiamo che i circuiti siano codificati come una sequenza aciclica di assegnazioni k : = g ( i , j ) dove i , j , k sono …

14 cc.complexity-theory circuit-complexity circuit-families

3

Complessità circuitale della funzione di maggioranza

Sia f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\} sia la funzione maggioritaria, ovvero f( x ) = 1f(X)=1f(x) = 1 se e solo se Σni = 1Xio> n / 2Σio=1nXio>n/2\sum_{i = 1}^n x_i > n/2 . Mi chiedevo se ci fosse una semplice …

13 cc.complexity-theory circuit-complexity boolean-functions circuit-families circuit-depth

1

Circuiti con oracoli vs. Macchine di Turing con oracoli

In parole povere: qual è la corrispondenza tra macchine di Turing con oracoli e famiglie di circuiti uniformi con oracoli? Come vengono definiti questi ultimi al fine di ottenere lo stesso modello computazionale, per una data macchina Oracle Turing? Questa potrebbe essere una domanda elementare, ma non è ovvio dove …

13 cc.complexity-theory turing-machines oracles circuit-families

1

Esiste un set di gate unitario finito che può realizzare esattamente tutti i QFT di ordine

Sto prendendo in considerazione idee sugli algoritmi quantistici esatti. In particolare, sto prendendo in considerazione le probabili limitazioni di , che consiste in linguaggi esattamente decifrabili da famiglie di circuiti quantici uniformi polifunzionali su un set di gate finito arbitrario.E Q PEQP\mathsf{EQP} La trasformata quantistica di Fourier (QFT), data da …

11 quantum-computing circuit-families

Domande taggate «circuit-families»