Domande taggate «circuit-complexity»

La complessità del circuito è lo studio dei circuiti limitati dalle risorse e delle funzioni calcolate da tali circuiti.

1
Valutazione del circuito
È noto se il problema di valutazione del circuito si trova in N C 1 ? Che ne dici di A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sappiamo che i circuiti di profondità possono essere valutati con circuiti di profondità k + c in …
1
Il teorema di Adleman su infiniti semirings?
Adleman ha mostrato nel 1978 che : se una funzione booleana di variabili può essere calcolata da un circuito booleano probabilistico di dimensione , allora può anche essere calcolato da un deterministico circuito booleano di dimensioni polinomiali in e ; in realtà, di dimensione . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Domanda generale: su …
2
Crolla supponendo che
È noto che se la gerarchia polinomiale collassa Σ P 2 e M A = A M .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Quali sono i crolli più forti che si verificano se ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly
1
Abbiamo circuiti uniformi non banali?
Dato un algoritmo che gira nel tempo , possiamo convertirlo in una famiglia di circuiti uniforme "banale" per lo stesso problema di dimensioni al massimo .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) D'altra parte, potrebbe essere che abbiamo circuiti uniformi molto più piccoli per quel problema, anche se è un tempo di funzionamento ottimale. …
2
È possibile utilizzare restrizioni casuali per ottenere un limite inferiore per
Esistono diversi risultati con limite inferiore di dimensioni del circuito ben noti AC0AC0\mathsf{AC^0}basati su restrizioni casuali e Switching Lemma . Possiamo sviluppare un risultato Lemma di commutazione per dimostrare una dimensione con limite inferiore per TC0TC0\mathsf{TC^0} circuiti T C 0 (simile alle prove con limite inferiore per AC0AC0\mathsf{AC^0} )? O …
1
Charaterization della complessità del circuito per DLogTime e NLogTime
DLogTimeDLogTime\mathsf{DLogTime} eNLogTimeNLogTime\mathsf{NLogTime} sono due delle classi di complessità più piccole che abbiamo. (Notare che la gerarchia temporale logaritmicaLHLH\mathsf{LH} è uguale aAC0AC0\mathsf{AC}^0 e questi sono i primi due livelli diLHLH\mathsf{LH} ). Dopo aver letto questa domanda , divento interessato a vedere se la separazione tra queste due classi è nota, e …
2
SAT è una lingua senza contesto?
Sto prendendo in considerazione il linguaggio di tutte le formule logiche proposizionali soddisfacenti, SAT (per garantire che questo abbia un alfabeto finito, codificheremmo le lettere proposizionali in un modo adeguato [modifica: le risposte hanno sottolineato che la risposta alla domanda potrebbe non essere solida sotto codifiche variabili, quindi bisogna essere …
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.