Domande taggate «complexity-theory»

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

2
Perché FACTOR è in Co-NP?
Sto avendo problemi a avvolgere la testa attorno ai problemi PRIME, COMPOSITE, FACTOR e al modo in cui sono correlati in termini di complessità. Capisco che PRIME ha dimostrato di essere in dal test di primalità di AKS e credo che questo funzioni anche per COMPOSITE.PPP Per quanto riguarda FATTORE, …
2
Come dimostrare P
Sono consapevole che questa sembra una domanda molto stupida (o troppo ovvia per affermare). Tuttavia, sono confuso ad un certo punto. Possiamo mostrare che P NP=== se e solo se siamo in grado di progettare un algoritmo che risolve una determinata istanza di problema in NP in tempo polinomiale. Tuttavia, …
2
XOR-SAT generalizzato è risolvibile efficacemente?
Ho visto come XOR-3-SAT sia risolvibile in modo efficiente (ad esempio, vedere la sezione "Soddisfazione XOR" nella voce Wikipedia per il problema di soddisfacibilità booleana ). Mi chiedo una domanda di base: XOR-k-SAT è risolvibile in modo efficiente, per formule con quantità variabili di letterali per clausola? Mi piacerebbe davvero …
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 …
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 …
2
Karp Reduction è identico a Levin Reduction
Definizione: Karp Reduction Una lingua è Karp riducibile a una lingua se esiste una funzione calcolabile in tempo polinomiale tale che per ogni , se e solo se .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B Definizione: Levin Reduction Una ricerca problema è Levin riducibile a una ricerca problema se c'è funzione polinomiale che riduce …
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.