Domande taggate «np-complete»

Domande sui problemi più difficili in NP, cioè su quelli che possono essere risolti in tempi polinomiali da macchine di Turing non deterministiche.

3
Può esserci qualche problema finito in NP-Complete?
Il mio professore ha rilasciato la dichiarazione Qualsiasi problema finito non può essere NP-completo Stava parlando del Sudoku in quel momento dicendo qualcosa sulla falsariga che per un Sudoku 8x8 esiste una serie limitata di soluzioni, ma non ricordo esattamente cosa abbia detto. Ho scritto la nota che ho citato …
13 np-complete  np 
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
È 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
Dimostrare completezza NP nel decidere la soddisfacibilità della formula booleana monotona
Sto cercando di risolvere questo problema e sto davvero lottando. Una formula booleana monotona è una formula nella logica proposizionale in cui tutti i letterali sono positivi. Per esempio, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) è una funzione booleana monotona. D'altra parte, …
4
La complessità dei problemi fortemente NP-difficili o completi cambia quando il loro input è codificato unario?
La difficoltà di un problema fortemente NP-hard o NP-complete (come ad esempio definito qui ) cambia quando il suo input è unario anziché codificato binario? Che differenza fa se l'ingresso di un problema fortemente NP-difficile è codificato unario? Voglio dire, se prendo ad esempio il problema debolmente completo di zaino …
3
Esiste un test efficiente per stabilire se un NFA accetta un sottoinsieme di un altro NFA?
Quindi, so che testare se una lingua normale è un sottoinsieme della lingua normale S è decidibile, dal momento che possiamo convertirli entrambi in DFA, calcolare R ∩ ˉ S e quindi verificare se questa lingua è vuota.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Tuttavia, poiché ciò richiede la conversione in DFA, è possibile …
2
Ciclo più lungo contenuto in due cicli
Il seguente problema è NP-completo? (Suppongo di si). Input: un grafico non orientato in cui il set di spigoli può essere scomposto in due semplici cicli spigolanti (questi non fanno parte dell'input).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Domanda: Esiste un ciclo semplice in con lunghezza maggiore di ?GGGkkk Ovviamente il problema è in …
1
Set indipendente su grafici cubici senza triangoli
So che l'insieme massimo indipendente su grafici cubici senza triangolo è NP-completo. È ancora NP-completo nel caso in cui sia necessario che il set indipendente abbia le dimensioni esattamente ?| V| / 2|V|/2|V|/2 Fondamentalmente, l'istanza YES del problema dell'insieme indipendente sul problema dei grafici senza triangoli cubici deve avere esattamente …
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.