Domande taggate «exp-time-algorithms»

2
Qualche algoritmo quantistico migliora sul SAT classico?
Gli algoritmi classici possono risolvere 3-SAT in time (randomizzati) o 1.3303 n time (deterministici). (Riferimento: migliori limiti superiori su SAT )1,3071n1.3071n1.3071^n1,3303n1.3303n1.3303^n Per fare un confronto, l'uso dell'algoritmo di Grover su un computer quantistico dovrebbe cercare e fornire una soluzione in , randomizzata. (Ciò può richiedere ancora una certa conoscenza di …
3
Risolvere esattamente la Superstring
Che cosa si sa dell'esatta complessità del più breve problema delle superstringhe? Può essere risolto più velocemente di ? Esistono algoritmi noti che risolvono le superstringhe più brevi senza ridurre a TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: sopprime i fattori polinomiali.O∗(⋅)O∗(⋅)O^*(\cdot) Il problema più breve delle superstringhe è un problema la cui risposta è …
3
Esempi di problemi in cui gli algoritmi esponenziali funzionano più velocemente degli algoritmi polinomiali per dimensioni pratiche?
Conosci qualche problema (preferibilmente almeno in qualche modo ben noto), dove, per una dimensione pratica del problema , un algoritmo esponenziale corre molto più velocemente di una controparte temporale polinomiale più nota. Ad esempio, supponiamo che un problema abbia una dimensione pratica * di e ci sono due algoritmi conosciuti: …
1
Algoritmi esatti per la programmazione quadratica non convessa
Questa domanda riguarda problemi di programmazione quadratica con vincoli di riquadro (box-QP), ovvero problemi di ottimizzazione del modulo minimizza f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x} soggetto a x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n . Se fosse semi-definito positivo, allora tutto sarebbe bello, convesso e facile, e potremmo risolvere il problema in …
2
?
È possibile che ? Ci sono conseguenze interessanti di tale contenimento? Contraddirebbe l'ipotesi del tempo esponenziale?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))
1
Modello computazionale in SETH
Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi hanno introdotto l'ipotesi del tempo esponenziale (ETH) e l'ipotesi del tempo fortemente esponenziale (SETH). All'incirca, SETH afferma che non esiste un algoritmo che risolva SAT nel tempo . 1.99n1.99n1.99^n Mi chiedevo cosa avrebbe significato rompere SETH. Abbiamo sicuramente bisogno di trovare un algoritmo che …
2
Durezza di una sottocassa di Set Cover
Quanto è difficile il problema Imposta copertina se il numero di elementi è limitato da una funzione (ad esempio, ) dove è la dimensione dell'istanza del problema. formalmente,lognlog⁡n\log nnnn Lascia che e dove e . Quanto è difficile decidere il seguente problemaU={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\}F= { S1, ⋯ , Sn}F={S1,⋯,Sn}\mathcal{F} = …
2
Numerazione del sottoinsieme
Correzione k≥5k≥5k\ge5 . Per ogni abbastanza grande nnn, vorremmo etichettare tutti i sottoinsiemi di {1..n}{1..n}\{1..n\} di dimensioni esattamente n/kn/kn/k da numeri interi positivi da {1...T}{1...T}\{1...T\} . Vorremmo che questa etichettatura soddisfasse la seguente proprietà: esiste un insieme SSS di numeri interi, st Se sottoinsiemi di dimensione n / k non …
2
Complessità temporale dell'algoritmo Held-Karp per TSP
Quando ho esaminato " Un approccio di programmazione dinamica ai problemi di sequenziamento " di Michael Held e Richard M. Karp, ho trovato la seguente domanda: perché la complessità del loro algoritmo per TSP è (∑n−1k=2k(k−1)(n−1k))+(n−1)(∑k=2n−1k(k−1)(n−1k))+(n−1)(\sum_{k=2}^{n-1}k(k-1)\binom{n-1}{k})+(n-1) (p. 199), intendo dove prendono il fattore kkk ? Se ho capito bene k−1k−1k-1 …
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.