Nel sondaggio "Circuiti quantistici di piccola profondità" di D. Bera, F. Green e S. Homer (p. 36 di ACM SIGACT News, giugno 2007 vol. 38, n. 2) , ho letto la seguente frase: La versione classica di (in cui le porte e hanno al massimo costante dissolvenza) è notevolmente più …
Alla luce del recente abisso alla profondità 3 risultato (che tra l'altro produce un profondità 3 circuito aritmetico per ildeterminanten×nsuC), ho le seguenti domande: Grigoriev e Karpinski hannodimostratounlimite inferiore di2Ω(n)per qualsiasi circuito aritmetico di profondità 3 che calcola il determinante din×nmatrici su campi finiti (che immagino valga anche per il …
Lo stato delle nostre conoscenze sui circuiti aritmetici generali sembra essere simile allo stato delle nostre conoscenze sui circuiti booleani, cioè non abbiamo buoni limiti inferiori. D'altra parte, abbiamo limiti inferiori di dimensione esponenziale per circuiti booleani monotoni . Cosa sappiamo dei circuiti aritmetici monotoni ? Abbiamo buoni limiti inferiori …
Se limitato a 000 - input, ogni circuito ,, calcola alcune funzioni . Per ottenere una funzione booleana , possiamo semplicemente aggiungere un gate di soglia fanin-1 come gate di uscita. All'ingresso , la soglia risultante - il circuito quindi emette se e emette se ; la soglia può essere …
È un risultato classico che ogni circuito fan-in 2 AND-OR-NOT che calcola PARITY dalle variabili di ingresso ha una dimensione di almeno e questo è nitido. (Definiamo dimensione come il numero di porte AND e OR.) La dimostrazione è per eliminazione dei gate e sembra fallire se consentiamo un fan-in …
Usando l'algoritmo carry look ahead possiamo calcolare l'aggiunta usando una famiglia di circuiti profondità di dimensione polinomiale 5 (o 4?) . È possibile ridurre la profondità? Possiamo calcolare l'aggiunta di due numeri binari usando una famiglia di circuiti di dimensioni polinomiali con profondità inferiore a quella ottenuta dall'algoritmo carry look …
Considera il seguente ragionamento: Consenti a indicare la complessità di Kolmogorov della stringa x . Il teorema di incompletezza di Chaitin lo diceK(x)K(x)K(x)xxx per qualsiasi sistema uniforme e sufficientemente forte formale , esiste una costante T (seconda solo sul sistema formale e lingua) tale che per qualsiasi stringa x , …
Come sappiamo, la funzione -clique C L I Q U E ( n , k ) prende un sottografo ( spanning ) G ⊆ K n di un grafico n -vertex completo K n , e genera 1 sef G contiene un k -clique . Le variabili in questo caso …
Il gate AND & OR è un gate a cui sono dati due ingressi e restituisce il loro AND e il loro OR. I circuiti realizzati solo dalla porta AND & OR, senza fanout, sono in grado di eseguire calcoli arbitrari? Più precisamente, lo spazio di registrazione del calcolo del …
Esistono ipotesi plausibili di complessità / criptovaluta che escludono la possibilità che i circuiti di dimensioni polinomiali abbiano dimensioni di dimensione esponenziale (cioè con ) profondità limitata ( ) circuiti?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ<1ϵ<1\epsilon<1d=O(1)d=O(1)d = O(1) Sappiamo che ogni funzione calcolabile da un circuito può essere calcolata una taglia profondità circuito (usando AND, OR …
cattura l'idea di un parallelismo efficiente, e una sua interpretazione è che i problemi sono risolvibili nel tempo O ( log c n ) usandoprocessori paralleli O ( n k ) per alcune costanti c , k . La mia domanda è se c'è una classe di complessità analoga dove …
Preambolo Sistemi di prove interattive e protocolli Arthur-Merlin furono introdotti da Goldwasser, Micali e Rackoff e Babai nel 1985. Inizialmente, si pensava che il primo fosse più potente del secondo, ma Goldwasser e Sipser dimostrarono che avevano lo stesso potere ( rispetto al riconoscimento linguistico). Quindi, in questo post, userò …
(Von Neumann ha fornito un algoritmo che simula una moneta equa con accesso a monete identiche distorte. L'algoritmo richiede potenzialmente un numero infinito di monete (anche se in previsione, finitamente molte sono sufficienti). Questa domanda riguarda il caso in cui il numero di gettate consentiti è limitato.) Supponiamo di avere …
Sappiamo molto dei limiti dei circuiti (dimensioni polinomiali) a profondità costante. Poiché le formule (dimensione polinomiale) di profondità costante sono un modello di calcolo ancora più limitato, tutti i problemi noti per non essere in AC 0 non sono calcolabili con una formula di profondità costante. Tuttavia, poiché è un …
Lascia che sia la classe di tutte le lingue normali.REGREG\mathsf{REG} È noto e \ mathsf {REG} \ not \ subset \ mathsf {AC} ^ 0 . Ma c'è qualche caratterizzazione per le lingue in \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap …
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.