Domande taggate «np-hard»

problemi di decisione che sono difficili almeno quanto i problemi NP-completi

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
La completezza del coNP implica la durezza NP?
La completezza del coNP implica la durezza NP? In particolare, ho un problema che ho dimostrato di essere completo. Posso affermare che è NP-difficile? Mi rendo conto di poter rivendicare la durezza coNP, ma non sono sicuro che la terminologia sia standard. Sono a mio agio con l'affermazione secondo cui …
3
È
Supponiamo che sia un problema decisionale decidibile.ΠΠ\Pi Fa implica è -Hard?Π∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Modifica: se assumiamo che esista allora abbiamo finito. Possiamo confutare il reclamo senza ipotesi sconosciute?Π ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NP
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.