La barriera di prove naturali di Razborov e Rudich afferma che sotto ipotesi crittografiche credibili non si può sperare di separare NP da P / poli trovando proprietà combinatorie di funzioni che sono costruttive, ampie e utili. Ci sono molti risultati noti che riescono a sfuggire alla barriera. Ci sono …
Lingue Dyck è definito dalla seguente grammatica sull'insieme di simboli . Intuitivamente lingue Dyck sono le lingue di parentesi equilibrato di diverso tipo. Ad esempio, è in ma non lo è.Dyck(k)Dyck(k)\mathsf{Dyck}(k)S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k S )_k \,|\, \epsilon {(1,…,(k,)1,…,)k}{(1,…,(k,)1,…,)k}\{(_1,\ldots,(_k,)_1,\ldots,)_k\}kkk([])()([])()(\,[\,]\,)\,(\,)Dyck(2)Dyck(2)\mathsf{Dyck}(2)([)]([)](\,[\,)\,] Nel documento Algoritmi …
TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd La voce Zoo per TC0TC0\mathsf{TC^0} menziona solo la separazione tra profondità 2 e 3. C'è anche un riferimento standard per il fatto che la AC0dACd0\mathsf{AC^0_d} non collassa?
Il peso |x||x||x|di una stringa binaria x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n è il numero di quelli nella stringa. Cosa succede se siamo interessati a calcolare una funzione monotona su input con pochi? Sappiamo che decidere se un grafico ha un kkk -clique è difficile per i circuiti monotoni (vedi tra gli altri Alon Boppana, …
è la classe di circuiti di dimensioni polinomiali a profondità costante con porte NOT e porte AND e OR fan-in illimitate, in cui anche ingressi e porte hanno un fanout illimitato.A C0AC0AC^0 Ora considera una nuova classe, chiamala che è come A C 0 ma per la quale gli ingressi …
Razborov ha dimostrato che ogni circuito monotono che calcola la perfetta funzione di abbinamento per i grafici bipartiti deve avere almeno gate (lo ha chiamato "logico permanente"). Da allora è stato dimostrato un limite inferiore migliore per lo stesso problema? (diciamo ?) Per quanto ricordo questo problema era aperto a …
Contando gli argomenti, si può dimostrare che esistono polinomi di grado n in 1 variabile (cioè qualcosa della forma che hanno complessità del circuito n. Inoltre, si può dimostrare che un polinomio come richiede almeno moltiplicazioni (è necessario solo per ottenere un grado abbastanza alto). Ci sono esempi espliciti di …
Qual è la larghezza minima dell'albero di un circuito su per il calcolo di MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Qui MAJ genera 1 se almeno la metà dei suoi input sono .:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Mi interessa solo la dimensione del circuito (dovrebbe essere polinomiale) e che un ingresso dovrebbe essere letto solo una volta …
Supponiamo che il nostro input sia un binario e che dobbiamo generare , dove è un numero intero costante. Questo è solo uno spostamento se è una potenza di due, ma per quanto riguarda gli altri numeri? Possiamo farlo con un circuito a profondità costante per ogni ? Che dire …
Sto leggendo il famoso articolo Impagliazzo e Wigderson nel 1997. Da quando sono nuovo in questo campo e il documento è una versione concisa della conferenza, ho difficoltà a seguire le loro prove. In particolare, alcuni dei loro nuovi teoremi mancano di prove. Per quanto ne so, non è stata …
Ho alcune domande in merito agli imbrogli di circuiti a profondità costante. E 'noto che l'indipendenza -wise è necessaria per ingannare circuiti di profondità , dove è la dimensione dell'input. Come si può provare questo?logO(d)(n)logO(d)(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Poiché quanto sopra è vero, qualsiasi generatore pseudocasuale che imbroglia i circuiti di profondità deve …
Che tipo di teoremi di gerarchia ci sono per la profondità del circuito? Dichiarazioni simili g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))
In un documento su relativizzante calcoli LOGSPACE, Ladner e Lynch costruiscono un oracolo rispetto al quale . Ci sono alcuni esempi più patologici in questa vena in letteratura. Ho letto alcuni articoli su classi spaziali relativizzate e uno degli strumenti principali in quest'area è il meccanismo di accesso all'oracolo Ruzzo-Simon-Tompa …
Un teorema del prodotto diretto, informalmente, afferma che calcolare istanze di una funzione f è più difficile che calcolare f una volta.kkkffffff I teoremi tipici del prodotto diretto (ad es. XOR Lemma di Yao) esaminano la complessità del caso medio e sostengono (molto approssimativamente) che non può essere calcolato da …
Mentre ero un laureando in EE ho partecipato ad alcune lezioni che presentavano una bella caratterizzazione dei circuiti booleani in termini di quanti cicli nidificati hanno. Nella complessità, i circuiti booleani sono spesso pensati come punti deboli, ma nei cicli hardware reali sono comuni. Ora, modulo alcuni aspetti tecnici riguardo …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.