Domanda. Nel loro articolo Simulazione migliorata dei circuiti stabilizzatori , Aaronson e Gottesman affermano che la simulazione di un circuito CNOT è ⊕L completa (con riduzioni dello spazio di log). È chiaro che è contenuto in ⊕L ; come regge il risultato di durezza? Equivalentemente: esiste una riduzione dello spazio …
Esistono numerosi problemi nella teoria della rappresentazione combinatoria e nella geometria algebrica per i quali non è nota alcuna formula positiva. Ci sono molti esempi a cui sto pensando, ma lasciatemi prendere come esempio il calcolo dei coefficienti di Kronecker . Di solito, la nozione di "formula positiva" non è …
Considera il problema # P-completo del conteggio del numero di coperture dei vertici di un dato grafico G=(V,E)G=(V,E)G = (V, E) . Vorrei sapere se ci sono risultati che mostrano come la durezza di tale problema varia con alcuni parametri di (ad esempio, d = | E |GGG).d=|E||V|d=|E||V|d = \frac{|E|}{|V|} …
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?
Il problema #SAT è il problema canonico # P-completo. È un problema di funzione piuttosto che un problema di decisione. Chiede, data una formula booleana nella logica proposizionale, quanti incarichi soddisfacenti ha F. Quali sono i migliori limiti inferiori su #SAT?FFFFFF
Sia una formula CNF con variabili e clausole . Consenti a t \ in \ {0,1 \} ^ n di rappresentare un'assegnazione variabile e f _ {\ varphi} (t) \ in \ {0, \ ldots, m \} conteggi il numero di clausole soddisfatte da un'assegnazione variabile a \ varphi . …
Conosciamo il problema di contare il numero di compiti soddisfacenti in una data formula booleana generale (CNF-SAT), una data formula DNF o anche una data formula 2SAT è un problema # P-completo . Ora, considera un CNF-SAT senza letterale negativo (no , sempre A ). Il problema decisionale è molto …
Parity-L, noto anche come L, è l'insieme di lingue riconosciute da una macchina di Turing non deterministica che può solo distinguere tra un numero pari o un numero dispari di percorsi di "accettazione". Una recente domanda correlata è stata posta da Niel de Beaudrap.⊕⊕\oplus La mia domanda è la seguente: …
Questa domanda è motivata da una domanda MathOverflow di Peng Zhang . Valiant ha mostrato che il conteggio delle cricche massime in un grafico generale è # P-completo, ma cosa succede se ci limitiamo ai grafici di incomparabilità (ovvero, vogliamo contare gli antoidi massimi in un poset finito)? Questa domanda …
Quello che mi riferisco al conteggio è il problema che consiste nel trovare il numero di soluzioni per una funzione. Più precisamente, data una funzione f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (non necessariamente black-box), approssimativo #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Sto cercando problemi algoritmici che implicano una sorta di conteggio e per i quali …
Di recente, stavo esaminando un'introduzione agli algoritmi olografici. Mi sono imbattuto in alcuni oggetti combinatori chiamati Pfaffians. Non so molto su quelli al momento e mi sono imbattuto in alcuni usi sorprendenti a cui possono essere sottoposti. Ad esempio, sono venuto a sapere che possono essere utilizzati per contare in …
Una formula Monotone-2CNF è una formula CNF in cui ogni clausola è composta esattamente da 2 letterali positivi. Ora, ho una formula Monotone-2CNF FFF. Sia SSS l'insieme dei compiti soddisfacenti di FFFHo anche un oracolo OOO che è in grado di fornire le seguenti informazioni: La cardinalità dell'insieme SSS (ovvero …
Dato un grafico diretto con n nodi in modo tale che ogni vertice abbia esattamente due bordi in uscita e un numero naturale N codificato in binario, due vertici s e t, Voglio contare il numero di percorsi (non necessariamente semplici) da s a t all'interno di N passaggi. È …
Lascia che G sia un grafico collegato. Qual è la complessità del conteggio di tutti i sottografi collegati se G è dei seguenti tipi? G è generale. G è planare. G è bipartito. Non mi interessa nessuna struttura o ..., ho solo bisogno di contare tutti i sottografi collegati! Sono …
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.