Di http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se è un linguaggio completo di PSPACE, .P A = N P AUNAAPUN= NPUNPA=NPAP^{A}=NP^{A} Se è un oracolo del tempo polinomiale deterministico, (assumendo ).P B ≠ N P B P ≠ N PBBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP # P P ⊆ P P ⊆ P S P A …
Ho parte di un tentativo di prova di ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Il tentativo di prova consiste in una riduzione del Karp dal ⊕P⊕P\oplus \mathbf{P} problema completo ⊕⊕\oplus 3-REGOLARE VERTEX COVER a SAT. Dato un grafico cubico GGG , la riduzione produce una formula CNF FFFavente entrambe le seguenti …
In una formula CNF letta due volte opposta, ogni variabile appare due volte, una volta positiva e una volta negativa. Sono interessato al problema , che consiste nel calcolare la parità del numero di incarichi soddisfacenti di una formula CNF letta due volte opposta.⊕ Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Non sono riuscito a trovare …
Per un problema di ricerca locale polinomiale , sappiamo che deve esistere almeno una soluzione (ottimale locale). Tuttavia, potrebbero esistere molte altre soluzioni, quanto è difficile contare il numero di soluzioni per un problema PLS completo? Sono particolarmente interessato al problema decisionale: l'istanza di questo problema completo di PLS ha …
Immagino che si chiamerebbe # P-Space, ma ho trovato solo un articolo che ne parlava vagamente. Che ne dite della versione di conteggio dei problemi EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? C'è qualche lavoro precedente che si possa citare in merito a questo o qualsiasi tipo di inclusione o esclusione come il …
Cosa si sa della transizione di fase nei problemi di # P-Complete? In particolare, esiste una transizione di fase diversa per # DNF-k-SAT e # CNF-k-SAT? Aggiornamento: Come sappiamo, c'è una transizione di fase in K-SAT casuale in cui la risoluzione del problema passa da facile a difficile e di …
DOMANDA BREVE: MAJ-3CNF è un problema completo di PP con riduzioni multiple? VERSIONE PIÙ LUNGA: è noto che MAJSAT (che decide se la maggior parte degli incarichi di frase proposizionale soddisfa la frase) è PP completo con riduzioni multiple e #SAT è # P completo con riduzioni parsimoniose. È anche …
Sono interessato al seguente problema. Ci viene data come input una "permutazione target" , nonché un elenco ordinato di indici i 1 , ... , i m ∈ [ n - 1 ] . Quindi, a partire dall'elenco L = ( 1 , 2 , … , n ) (cioè …
Stavo esaminando il seminario di Les Valiant e mi sono trovata in difficoltà con la proposizione 4.3 a pagina 10 del documento. Non riesco a capire perché se esiste un generatore con determinati valori per con una base , allora esiste un generatore con gli stessi valori per qualsiasi base …
Questa domanda è emersa nella mia mente dopo aver letto i contributi di András Salamon e Colin McQuillan alla mia domanda precedente Conteggio delle soluzioni delle formule Monotone-2CNF . EDIT 30 ° Mar 2011 Aggiunto domanda n ° 2. EDIT 29 ° ottobre 2010 Domanda riformulato dopo la proposta di …
Un homomorphism da un grafo un grafo è una mappatura da a tale che se ed sono adiacenti in allora e sono adiacenti in . Un endomorfismo di un grafico è un omomorfismo da a se stesso; è a virgola fissa se non esiste tale che ed è non banale …
Considera il classico problema # 3 P-completo # 3SAT, vale a dire, contare il numero di valutazioni per rendere soddisfacente un 3CNF con variabili. Sono interessato all'approssimabilità additiva . Chiaramente, esiste un algoritmo banale per ottenere 2 n - 1 -error, ma se k < 2 n - 1 , …
Considera una formula Monotone 3CNF con entrambe le seguenti restrizioni aggiuntive: Ogni variabile appare esattamente in clausole.222 Dato qualsiasi clausole, condividono al massimo variabile.1222111 Vorrei sapere quanto è difficile contare i compiti soddisfacenti di tale formula. Aggiornamento 06/04/2013 12:55 Vorrei anche sapere quanto è difficile determinare la parità del numero …
Sia un grafico. Lascia cheessere un numero intero. Sia il numero di sottografi indotti dai bordi di con vertici e un numero dispari di bordi. Sia il numero di sottografi indotti dai bordi di con vertici e un numero pari di bordi. Let . Il problema ODD ANCHE DELTA consiste …
In una domanda precedente Algoritmo parametrizzato per la ricerca di bicliques , ho chiesto se esistessero algoritmi parametrizzati veloci per trovare un -biclique in un grafico del vertice n e ho scoperto che era aperto se è FPT wrt k . Lo stesso vale per il conteggio dei k × …
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.