Domande taggate «complexity-theory»

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

5
Completezza P e calcolo parallelo
Di recente ho letto degli algoritmi per il controllo della bisimilarità e ho letto che il problema è P-complete . Inoltre, una conseguenza di ciò è che è improbabile che questo problema, o qualsiasi altro problema P-completo, abbia un algoritmo parallelo efficiente. Qual è l'intuizione alla base di quest'ultima affermazione?
1
Candidati naturali per la gerarchia all'interno di NPI
Supponiamo che . è la classe di problemi in che non sono né in né in -hard. Puoi trovare un elenco di problemi che si suppone siano qui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Il teorema di Ladner ci dice che se allora c'è una gerarchia infinita di , cioè ci sono problemi …
4
Classi di complessità in cui
Una possibile motivazione per studiare le classi di complessità computazionale è comprendere il potere di diversi tipi di risorse computazionali (casualità, non determinismo, effetti quantistici, ecc.). Se lo guardiamo da questa prospettiva, sembra che possiamo ottenere un assioma plausibile per qualsiasi tentativo di caratterizzare quali calcoli sono fattibili in alcuni …
2
Ridurre il seguente problema a SAT
Ecco il problema Dato , dove ogni . Esiste un sottoinsieme con dimensioni al massimo tali che S \ cap T_i \ neq \ emptyset per tutti i ? Sto cercando di ridurre questo problema a SAT. La mia idea di una soluzione sarebbe quella di avere una variabile x_i …
1
Classificazione delle varianti del problema di soddisfabilità intrattabili / trattabili
Recentemente ho trovato in un documento [1] una versione simmetrica speciale di SAT chiamata 2/2/4-SAT . Ma ci sono molte varianti , ad esempio: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Alcune altre varianti sono trattabili: - , Planar-NAE- , ...222SATSAT\text{SAT}SATSAT\text{SAT} Esistono documenti di indagine (o pagine Web) che classificano …
1
Complessità delle torri di Hanoi
Ho incontrato i seguenti dubbi sulla complessità delle Torri di Hanoi , su cui vorrei i tuoi commenti. È a NP? Tentativo di risposta: supponiamo che Peggy (prover) risolva il problema e lo inoltri a Victor (verificatore). Victor può facilmente vedere che lo stato finale della soluzione è giusto (in …
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.