Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Facile da ottimizzare ma difficile da valutare
Esistono esempi naturali noti di problemi di ottimizzazione per i quali è molto più semplice produrre una soluzione ottimale che valutare la qualità di una data soluzione candidata? Per ragioni di concretezza, possiamo considerare problemi di ottimizzazione risolvibili nel tempo polinomiale della forma: "dato x, minimizza ", dove f : …
2
Algoritmo di moltiplicazione vettoriale a matrice che utilizza un numero minimo di aggiunte
Considera il seguente problema: Data una matrice , vogliamo ottimizzare il numero di aggiunte nell'algoritmo di moltiplicazione per il calcolo v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Trovo questo problema interessante a causa dei suoi legami con la complessità della moltiplicazione di matrici (questo problema è una versione …
1
Possiamo costruire una permutazione indipendente dal punto di vista k su [n] usando solo tempo e spazio costanti?
Sia k>0k>0k>0 una costante fissa. Dato un numero intero nnn , vogliamo costruire una permutazione σ∈Snσ∈Sn\sigma \in S_n tale che: La costruzione utilizza tempo e spazio costanti (ovvero la preelaborazione richiede tempo e spazio costanti). Possiamo usare la randomizzazione. Dato i∈[n]i∈[n]i\in[n] , σ(i)σ(i)\sigma(i) può essere calcolato in tempo e spazio …
1
Le equazioni differenziali possono essere classificate nelle loro classi di complessità?
I problemi sono stati, nel complesso, classificati, grazie alla complessità computazionale. Ma, nelle equazioni differenziali, è possibile classificare le equazioni differenziali in base alla loro struttura computazionale? Ad esempio, se un'equazione non omogenea del primo ordine è relativamente difficile da risolvere rispetto ad un'equazione omogenea del 100 ° ordine, possono …
3
Limitazione teorica dei grafici alle prove nella teoria della complessità delle prove
La complessità della prova è un'area basilare della teoria della complessità computazionale. Uno scopo ultimo di quest'area è dimostrare , ovvero ogni prover non può fornire una prova di insoddisfazione di una determinata formula di input. NP≠coNPNP≠coNPNP\neq coNP Un grafico è uno dei modelli formali di prove. La mia domanda …
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.