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 …
Sono curioso in senso lato di ciò che è noto sulla parallelizzazione degli algoritmi in P. Ho trovato il seguente articolo di Wikipedia sull'argomento: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'articolo contiene la seguente frase: Non è noto se NC = P, ma la maggior parte dei ricercatori sospetta che ciò sia falso, il che …
Qual è la relazione tra gli algoritmi del DNA e le classi di complessità definite usando le macchine di Turing? A cosa corrispondono le misure di complessità come il tempo e lo spazio negli algoritmi del DNA? Possono essere usati per risolvere casi di problemi NP completi come TSP che …
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 …
Una prova di separazione delle classi di complessità utilizza l'uniformità delle classi di complessità essenzialmente se la prova non dimostra il risultato per la versione non uniforme, ad esempio le prove basate sulla diagonalizzazione (come i teoremi della gerarchia del tempo e dello spazio) fanno un uso essenziale dell'uniformità in …
Motivato dalla risposta di Shor relativa a diverse nozioni di completezza NP, sto cercando un problema che è NP completo in riduzioni P ma che non è noto essere NP completo in riduzioni Logspace (preferibilmente per molto tempo). Inoltre, trovare riduzioni dello spazio di registro tra i problemi NP completi …
Supponiamo di avere un problema di calcolo, ad esempio 3-SAT, che ha una serie di istanze del problema (possibili ingressi) . Normalmente nell'analisi degli algoritmi o della teoria della complessità computazionale, abbiamo alcuni insiemi di tutti gli input di lunghezza e una funzione che fornisce il tempo di esecuzione di …
László Babai ha recentemente dimostrato che il problema dell'isomorfismo dei grafi è in fase quasipolinomiale . Vedi anche il suo discorso all'Università di Chicago, nota dai discorsi di Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Secondo il teorema di Ladner, se P≠NPP≠NPP \neq …
Richiama il numero di numeri primi è la funzione di conteggio dei primi . Con "PRIMES in P", computing è in #P. Il problema # P è completo? O, forse, c'è una ragione di complessità per credere che questo problema non sia # P-completo? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) PS Mi rendo conto …
Supponiamo che un linguaggio LLL sia P -density-close se esiste un algoritmo temporale polinomiale che decide correttamente LLL su quasi tutti gli input. A∈A∈A\in LΔALΔAL\Delta AALLlimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL Si noti che non deve essere scarso. Ad esempio, se ha stringhe -bit, allora sta ancora svanendo (a una velocità …
L'apparente inutilità del mining di criptovaluta ha sollevato la questione delle alternative utili, vedi queste domande su Bitcoin , CST , MO . Mi chiedo se esiste un algoritmo in grado di convertire praticamente qualsiasi sfida computazionale (la cui soluzione può essere verificata in modo efficiente) in un'altra tale sfida …
È noto che i palindromi possono essere riconosciuti in tempo lineare su macchine Turing a velocità, ma non su macchine Turing a nastro singolo (nel qual caso il tempo necessario è quadratico). L'algoritmo del tempo lineare utilizza una copia dell'input e quindi utilizza anche uno spazio lineare.222 Possiamo riconoscere i …
Quanto dovrebbe essere veloce un algoritmo non deterministico per un problema completo EXPTIME per implicare ? Un algoritmo non deterministico di tempo polinomico implicherebbe immediatamente questo perché ma nessuno crede . Se avessi fatto l'algebra a destra (vedi sotto) il teorema della gerarchia temporale darebbe comunque l' implicazione per tempi …
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.