Domande taggate «circuit-complexity»

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

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 …
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é?
1
Separazioni oracolari tra circuiti quantici a profondità di poli e di registro
Il seguente problema appare nell'elenco di Aaronson Dieci sfide semi-grandi per la teoria del calcolo quantistico . È B Q P = B P PB Q N CBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} In altre parole, può la parte "qualità" di qualsiasi algoritmo quantistico essere compresso a p o l y l o g (n)polylog(n)\mathrm{polylog}(n) …
1
La programmazione dinamica non è mai più debole di Greedy?
Nella complessità del circuito, abbiamo separazioni tra potenze di vari modelli di circuito. Nella complessità della dimostrazione, abbiamo separazioni tra poteri di vari sistemi di dimostrazione. Ma nell'algoritmo, abbiamo ancora solo poche separazioni tra i poteri dei paradigmi algoritmici . Le mie domande che seguono mirano a toccare quest'ultimo problema …
1
Fa ?
Cosa succede se definiamo tale che al posto di un circuito Polytime Turing-machine / polysize, un Turing-machine spazio log o un circuito codifica il problema?P P A DPPAD{\bf PPAD} A C 0AC0{\bf AC^0} Recentemente fornire algoritmi più veloci per la soddisfazione dei circuiti per piccoli circuiti si è rivelato importante, …
1
Mantenimento dell'ordine in una lista in
Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …
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.