Nel documento di Prove Naturali di Razborov-Rudich , pagina 6, nella parte in cui discutono che ci sono "forti prove di ribasso contro i modelli di circuito monotono " e come si adattano all'immagine, ci sono le seguenti frasi: Qui il problema non è la costruttività - le proprietà utilizzate …
Savitch ha fornito un algoritmo deterministico per risolvere la connettività st usando lo spazio , implicando . L'algoritmo di Savitch viene eseguito nel tempo . È un grave problema aperto se la connettività st può essere risolta da un algoritmo deterministico nello spazio polinomiale e nello spazio , ovvero se …
In una presentazione del 2006 intitolata EXPANDER GRAPHS - CI SONO ANCORA MISTERI? , Nati Linial ha posto il seguente problema aperto: Quale computazionale -hard sul grafico rimane difficile se limitato ai grafici di espansione?NPNPNP Da allora, sono stati compiuti progressi per dimostrare tale risultato per un -hard?NPNPNP
Le prove naturali sono una barriera per dimostrare limiti inferiori alla complessità del circuito delle funzioni booleane. Non implicano direttamente tale barriera nel dimostrare limiti inferiori alla complessità del circuito . C'è qualche progresso verso l'identificazione di tali ostacoli? Ci sono altre barriere nella cornice monotona?m o n o t …
Questo è un seguito a questa domanda ed è correlato a questa domanda di Shiva Kinali. Sembra che le prove in questi articoli ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) utilizzino teoremi di gerarchia. Voglio sapere se le prove sono " puri " teoremi di diagonalizzazione o se usano qualcosa …
Sono sempre incuriosito dalla mancanza di prove numeriche dalla matematica sperimentale a favore o contro la domanda P vs NP. Mentre l'ipotesi di Riemann ha alcune prove a sostegno della verifica numerica, non sono a conoscenza di prove simili per la domanda P vs NP. Inoltre, non sono a conoscenza …
Ci scusiamo in anticipo se questa domanda è troppo semplice. Fondamentalmente, quello che voglio sapere è se ci sono funzioni con le seguenti proprietà:f(x)f(x)f(x) Prendi come quando il dominio e il codomain sono limitati alle stringhe -bit. Poifn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) è iniettivo fn(x)fn(x)f_n(x) è suriettivo fn(x)fn(x)f_n(x) richiede rigorosamente meno risorse (spazio …
Una classe ereditaria di strutture (ad es. Grafici) è una classe chiusa sotto sottostrutture indotte, o equivalentemente, chiusa sotto rimozione di vertici. Le classi di grafici che escludono un minore hanno belle proprietà che non dipendono dal minore escluso specifico. Martin Grohe ha dimostrato che per le classi di grafi …
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 …
Qual è la seguente variazione sulla copertina del set nota come? Dato un insieme S, un insieme C di sottoinsiemi di S e un intero positivo K, esistono degli insiemi K in C tali che ogni coppia di elementi di S si trova in uno dei sottoinsiemi selezionati. Nota: non …
Problema correlato: il teorema di Veblen afferma che "Un grafico ammette una decomposizione del ciclo se e solo se è pari". I cicli sono edge disjoint, ma non necessariamente nodo disjoint. Detto in altro modo, "Il set di spigoli di un grafico può essere suddiviso in cicli se e solo …
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.