Seguendo il suggerimento di Josh Grochow, sto convertendo il mio commento da una domanda precedente a una nuova domanda. Quali prove abbiamo per ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Qui è la classe di linguaggi riconoscibile dalle macchine di Turing non deterministiche a tempo polinomiale che hanno un percorso …
Durante la ricerca del sistema informativo sulle classi dei grafici e le loro inclusioni , ho trovato diverse classi di grafici per i quali il problema del ciclo Hamiltoniano è NP-completo, mentre la complessità dei problemi del sentiero Hamiltoniano NON è nota. Alcune di queste classi sono grafici bipartiti di …
Sto facendo una revisione della letteratura sul problema dell'isomorfismo di Graph. La maggior parte degli articoli che sto leggendo sono scritti da EM Luks e Laszlo Babai. Questi articoli utilizzano la conoscenza di alto livello della teoria dei gruppi e della teoria della complessità. Dato che sono nuovo in questo …
Supponiamo che io consideri la seguente variante di BPP, che chiamiamo E (xact) BPP: una lingua è in EBPP se esiste un TG polinomiale randomizzato che accetta ogni parola della lingua con probabilità esattamente 3/4 e ogni parola non in la lingua con esattamente 1/4 di probabilità. Ovviamente EBPP è …
Di recente ho riscontrato la seguente variante di colorazione dei bordi. Dato un grafico non orientato collegato, trova una colorazione dei bordi che utilizza il numero massimo di colori soddisfacendo al contempo il vincolo che, per ogni vertice , i bordi incidenti da v utilizzano al massimo due colori.vvvvvv La …
Quando si cerca di convincere gli economisti della rilevanza della teoria della complessità nella stampa, c'è un riferimento standard da citare? Conosco il post sul blog di Noam Nisan , l'indagine di Tim Roughgarden e il capitolo 11 del saggio di Scott Aaronson . Questi post sono accessibili agli informatici, …
Una cosa che i computer quantistici possono fare (possibilmente anche con solo circuiti quantistici BPP + con profondità di log) è di campionare approssimativamente la trasformata di Fourier di una funzione booleana valutata in in P.± 1±1\pm 1 Qui e sotto quando parlo di campionamento della trasformata di Fourier intendo …
Sto cercando esempi naturali di algoritmi efficienti (cioè in tempi polinomiali) st la loro correttezza ed efficienza possono essere dimostrate in modo costruttivo (ad es. in o ), maPR APRUNPRAHUNHUNHA non è nota alcuna prova che utilizza solo concetti efficienti (ovvero non sappiamo come dimostrarne la correttezza e l'efficienza in …
La complessità del circuito di profondità limitata è una delle principali aree di ricerca all'interno della teoria della complessità del circuito. Questo argomento ha origini in risultati come "la funzione di parità non è in " e "la funzione mod non è calcolata da ", dove è la classe di …
Versione breve. La prova originale che # 2-SAT è # P- completo mostra, infatti, che quelle istanze di # 2-SAT che sono sia monotone (che non implicano le negazioni di alcuna variabile) sia bipartite (il grafico formato dalle clausole sopra il variabili è un grafico bipartito) sono #P -hard. Pertanto, …
Oggi ho insegnato limiti inferiori e uno degli studenti ha chiesto il motivo del nome . La spiegazione ufficiale è che la "A" sta per "Alternation".A C0UNC0AC^0A CUNCAC Ricordo vagamente molti anni fa che Nick Pippenger Steve Cook chiamò dopo Nick Pippenger (classe di Nick), e in seguito Nick di …
I grafici planari hanno genere zero. I grafici incorporabili in un toro hanno al massimo un genere 1. La mia domanda è semplice: Ci sono problemi che sono risolvibili polinomialmente su grafici planari ma NP-hard su grafici di genere uno? Più in generale ci sono problemi che sono risolvibili polinomialmente …
Il metodo avverso negativo ( ) è un SDP che caratterizza la complessità della query quantistica. È una generalizzazione del metodo avversario ampiamente utilizzato ( A D V ) e supera le due barriere che hanno ostacolato il metodo avversario:A D V±UNDV±ADV^\pmA D VUNDVADV La barriera di verifica delle proprietà: …
Di recente ho letto una prova che intendeva dimostrare che un problema era fortemente NP-difficile, semplicemente riducendo ad esso (in tempo polinomiale) da un problema fortemente NP-difficile. Questo non aveva alcun senso per me. Avrei pensato che avresti dovuto dimostrare che tutti i numeri utilizzati nella riduzione e le istanze …
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.