Domande taggate «complexity-theory»

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

2
Le funzioni di ordine superiore forniscono più potenza alla programmazione funzionale?
Ho fatto una domanda simile su cstheory.SE . Secondo questa risposta su Stackoverflow esiste un algoritmo che su un linguaggio di programmazione funzionale puro non pigro ha una complessità , mentre lo stesso algoritmo nella programmazione imperativa è . L'aggiunta di pigrizia al linguaggio FP renderebbe l'algoritmoΩ(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) . …
1
Versione con restrizioni del problema Clique?
Considera la seguente versione del problema Clique in cui l'input è di dimensione nnn e ci viene chiesto di trovare una cricca di dimensione . La restrizione è che la procedura decisionale non può cambiare il grafico di input in nessun'altra rappresentazione e non può usare nessun'altra rappresentazione per calcolare …
2
Dimostrare che DOUBLE-SAT è NP-completo
Il noto problema SAT è definito qui per amor di riferimento. Il problema DOUBLE-SAT è definito come DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Come possiamo dimostrarlo NP-completo? Sarà apprezzato più di …
2
MIN-2-XOR-SAT e MAX-2-XOR-SAT: sono NP-difficili?
Qual è la complessità di MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} e MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Sono in P? Sono NP-difficili? Per formalizzare questo più precisamente, let Φ(x)=∧niCi,Φ(X)=∧ionCio,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, dove x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) e ogni clausola CiCiC_i è della forma (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) o (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) . Il problema 2-XOR-SAT2-XOR-SAT\text{2-XOR-SAT} è trovare un'assegnazione a xx\mathbf{x} …
2
È possibile risolvere qualsiasi problema NP-completo utilizzando nella maggior parte dello spazio polinomiale (ma durante l'utilizzo del tempo esponenziale?)
Ho letto di NPC e la sua relazione con PSPACE e vorrei sapere se i problemi di NPC possono essere risolti in modo deterministico usando un algoritmo con il requisito di spazio polinomiale nel peggiore dei casi, ma prendendo potenzialmente tempo esponenziale (2 ^ P (n) dove P è polinomiale). …
2
Problemi che sembrano esponenziali ma che sono P
Sto cercando di costruire un elenco di algoritmi / problemi che sono "eccezionalmente utili", come in, risolvendo problemi che 'sembrano' molto esponenziali in natura, ma hanno alcuni algoritmi particolarmente intelligenti che alla fine li risolvono. Esempi di cosa intendo: Programmazione lineare (L'algoritmo simplex è tempo esponenziale; ci è voluto molto …
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.