Quali sono alcuni problemi non banali in cui sappiamo che l'algoritmo attuale che abbiamo è quello asintoticamente ottimale? (Per macchine turing) E come è dimostrato?
Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …
Quando leggi il documento " Una teoria applicativa per FPH " puoi incontrare il seguente passaggio: Considerando le teorie che caratterizzano le classi di complessità computazionale, ci sono tre diversi approcci: in uno, le funzioni che possono essere definite all'interno della teoria sono "automaticamente" all'interno di una certa classe di …
Si dice che un problema P si trova in APX se esiste una costante c> 0 tale che esiste un algoritmo di approssimazione del tempo polinomiale per P con fattore di approssimazione 1 + c. APX contiene PTAS (visto semplicemente selezionando qualsiasi costante c> 0) e P. APX è in …
Nel nostro recente lavoro, risolviamo un problema computazionale sorto in un contesto combinatorio, supponendo che , dove ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} è la versione E X P di ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . L'unico articolo su ⊕⊕P⊕P\mathsf{\oplus{}P} che abbiamo trovato è stato il documento Beigel-Buhrman-Fortnow1998che è citato nellozoo di complessità. Comprendiamo che possiamo prendere …
La classe di complessità BQP corrisponde alle subroutine quantistiche temporali polinomiali che assorbono input classici e generano un output classico probabilistico. La consulenza quantistica modifica quella di includere copie di alcuni stati di consulenza quantistica predeterminati ma con input classici come al solito. Qual è la classe di complessità per …
Spesso consideriamo le classi di complessità in cui siamo limitati nella quantità di spazio che la nostra macchina Turing può utilizzare, ad esempio: o NSPACE ( f ( n ) ) . Sembra che all'inizio della teoria della complessità ci siano stati molti successi con queste classi come il teorema …
Ci sono problemi interessanti che sono in ma non sono noti per essere in ? Nel documento "Una tassonomia dei problemi con algoritmi paralleli veloci", Cook menziona che MIS era noto per essere solo in ma da allora questo è stato portato a . Mi chiedo se ci siano altri …
Sto leggendo l'appendice sui limiti inferiori dell'ACC per il NEXP nel libro Computational Compity di Arora e Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Uno dei lemmi chiave è una trasformazione da circuiti ACC0ACC0ACC^{0} in polinomi multilineari sugli interi con grado pollogaritmico e coefficienti quasipolinomiali, o equivalentemente , la classe di circuiti , che …
Questa domanda è stata posta da Jan Pax sulla mailing list Foundations of Mathematics . Certamente ma sospetto dalle risposte a questa domanda che non si sa se (altrimenti, sarebbe uno possibile risposta a tale domanda). Se non è noto, esiste una separazione degli oracoli?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus …
Per molto tempo ho pensato che un problema fosse NP-completo se entrambi (1) NP-hard e (2) sono in NP. Tuttavia, nel famoso articolo "Il metodo dell'ellissoide e le sue conseguenze nell'ottimizzazione combinatoria" , gli autori sostengono che il problema del numero cromatico frazionario appartiene a NP ed è NP-difficile, ma …
So che (logaritmicamente molte chiamate all'oracolo NP) è equivalente a P N P | | (numero polinomiale di query parallele all'oracolo NP). Mi chiedevo se la versione "funzione" di queste classi fosse equivalente, vale a dire sePNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} Se è noto che è vero, un puntatore sarebbe davvero utile.FPNP[logn]=FPNP||FPNP[logn]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log …
1) È possibile ottenere una riduzione parsimoniosa da un problema # P-completo # A a un problema di conteggio #B quando (la versione della decisione) A è NP-completa e B è in P? Ad esempio, può esserci una riduzione parsimoniosa da #SAT a #B, quando B è in P? 2) …
Dato due CNF, se hanno lo stesso numero di incarichi per realizzarli, rispondi "Sì", altrimenti rispondi "No". È facile vedere che è in , poiché se conosciamo il numero esatto di soluzioni a questi due CNF, li accampiamo e rispondiamo "Sì" o "No".P#PP#PP^{\#P} Qual è la complessità di questo problema?
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.