Domande taggate «complexity-theory»

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

2
Un oracolo per separare NP dal coNP
Come provare che ? Sto solo cercando un simile oracolo TM M e un linguaggio ricorsivo L ( M ) = L per cui vale.N PUN≠ c o N PUNNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L So che la prova in cui si mostra che non v'è un …
1
Come suddividere un set in un determinato numero di sottoinsiemi disgiunti soggetti ad alcune condizioni?
Mi viene dato un set , un numero intero s \ leqslant k e numeri interi non negativi a_ {ij} . Il mio problema è quello di trovare s sottoinsiemi disgiunti S_j di \ {1, \ ldots, k \} tale che:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; e |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} per tutti …
1
Perché NP in EXPTIME?
C'è un modo semplice per capire perché NP è in EXPTIME? Mi sembra a priori concepibile che potrebbe esserci un problema che richiede tempo superesponenziale per essere risolto, ma la cui soluzione potrebbe essere verificata in tempo polinomiale.
1
Perché tutti i problemi in FPTAS sono anche in FPT?
Secondo l'articolo di Wikipedia sugli schemi di approssimazione dei tempi polinomiali : Tutti i problemi in FPTAS sono tracciabili a parametri fissi. Questo risultato mi sorprende: queste classi sembrano completamente diverse l'una dall'altra. FPTAS caratterizza i problemi in base alla loro facilità di approssimazione, mentre FPT caratterizza i problemi 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.