Domande taggate «complexity-theory»

Domande relative alla complessità (computazionale) della risoluzione dei problemi

1
Prova del teorema di Karp-Lipton
Sto cercando di comprendere la dimostrazione del teorema di Karp-Lipton, come affermato nel libro "Computational Complexity: A modern avvic" (2009). In particolare, questo libro afferma quanto segue: Teorema di Karp-Lipton Se NP , quindi PH .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2 Prova: con il Teorema 5.4, per mostrare PH , è …
2
Esiste un algoritmo efficiente per l'equivalenza delle espressioni?
ad es. xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? Le espressioni provengono dalla normale algebra del liceo, ma sono limitate all'aggiunta e alla moltiplicazione aritmetica (ad es. 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), senza inversioni, sottrazioni o divisioni. Le lettere sono variabili. Se aiuta, possiamo vietare qualsiasi espressione rappresentabile con valori numerici diversi da 111 ; cioè non …
2
Esistono classi di complessità stabilite con numeri reali?
Di recente uno studente mi ha chiesto di verificare una prova di durezza NP. Hanno eseguito una riduzione sulla falsariga di: Riduco questo problema che è noto per essere NP completo al mio problema P (con una riduzione multi-tempo polifunzionale), quindi P è NP-difficile.P′P′P'PPPPPP La mia risposta è stata sostanzialmente: …
6
Trovare il massimo XOR di due numeri in un intervallo: possiamo fare meglio del quadratico?
Supponiamo stiamo dato due numeri lll e e che vogliamo trovare per l \ le i, \, j \ le r .rrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algoritmo ingenuo controlla semplicemente tutte le coppie possibili; ad esempio in ruby ​​avremmo: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …
3
Complessità del problema dell'adozione del gattino
Questo è emerso mentre stavo cercando di rispondere a questa domanda sulla minimizzazione della lunghezza dei cavi . Stavo per chiamare questo il problema del "matrimonio poligamo", ma Internet, quindi i gattini. Sìì! Supponiamo di avere gattini che hanno bisogno di essere adottato da N persone, M > N . …
1
Riduzione diretta da
Sappiamo che è in N L di Teorema del teorema di Immerman – Szelepcsényi e poiché s t - c o n n e c t i v i t y è N L - h a r d quindi s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} è molto-un log-spazio riducibile a …
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.