Sia un grafico non orientato. Una decomposizione di in sottoinsiemi disgiunti è chiamata decomposizione di Hamilton di se il sottografo indotto da ciascun insieme è o un grafico di Hamilton o è costituito da un singolo bordo con .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Esempio : il grafico bipartito completo possiede una decomposizione di Hamilton …
La matrice Moore è simile alla matrice Vandermonde ma ha una definizione leggermente modificata. http://en.wikipedia.org/wiki/Moore_matrix Qual è la complessità del calcolo del determinante di una data matrice di Moore n×nn×nn \times n full rank di un numero intero? Il determinante di Moore può essere ridotto da O(n3)O(n3)O(n^{3}) usando le tecniche …
Sto cercando esempi di problemi difficili (in NP o più difficili) dall'informatica che possono essere ridotti a modelli di processi fisici. Ad esempio, max-2-sat può essere ridotto alla minimizzazione dell'energia in un modello Ising. Vorrei trovare altri esempi di questo tipo di riduzione.
Contesto: consideriamo solo digrafi. Lascia che CYCLE sia il linguaggio dei grafici con un ciclo; è un problema completo della BN. Lascia che HASEDGE sia il linguaggio dei grafici con almeno un bordo. Quindi banalmente, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} non è più difficile per NL, mentre CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} rimane tale. …
Una lingua è nella classe D P se ci sono due lingue L 1 ∈ N P e L 2 ∈ c o N P tale che L = L 1 ∩ L 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Una canonica problema -Complete si SAT-UNSAT: dato due …
Supponiamo che sia un linguaggio booleano, con stringhe finite oltre { 0 , 1 } . Sia L n il numero di stringhe in L con lunghezza n . Per una funzione d ( n ) dagli interi positivi ai numeri reali positivi, L ha una densità superiore d ( …
Dato un grafico misto con i bordi e gli archi , trova una corrispondenza in che minimizza il numero di archi in , dove si ottiene da contraendo vertici abbinati e rimuovendo archi paralleli.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG (La versione decisionale di) questo problema NP è completo? È stato studiato in letteratura?
Sto leggendo l'eccellente documento di indagine di Watrous su carta sulla teoria della complessità quantistica. In esso afferma che sarebbe sorprendente se un problema completo di QMA fosse trovato avere una promessa vacua (cioè essere una lingua). Perché è così? Ha a che fare con il fatto che il problema …
Una formula CNF monotona con m termini su n variabili ( ) è una formula della forma f ( x 1 , … , x n ) = ⋀ C i , dove ogni C i è un OR di un sottoinsieme delle variabili x 1 , … , x …
Dato un grafo diretto e due vertici . Una coppia di percorsi semplici da a è bordo disgiunto se non condividono un bordo.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Utilizzando il flusso massimo, è facile decidere se esiste una coppia di percorsi disgiunti del bordo da a . Ora, esiste un algoritmo …
Sebbene siano note separazioni esponenziali tra complessità della query quantistica con errore limitato ( Q(f)Q(f)Q(f) ) e complessità della query deterministica ( D(f)D(f)D(f) ) o complessità della query randomizzata con errore limitato ( R(f)R(f)R(f) ), si applicano solo a determinate funzioni parziali. Se le funzioni parziali hanno alcune strutture speciali, …
Un programma di span è un modo algebrico lineare per specificare una funzione booleana qui introdotta . Recentemente, questo modello è stato usato per dimostrare che il metodo avverso negativo fornisce una caratterizzazione rigorosa (almeno fino a ) della complessità delle query quantistiche.logn/loglognlogn/loglogn\log n/ \log \log n La misura della …
Considera il problema del set dominante nei grafici generali e lascia che sia il numero di vertici in un grafico. Un avido algoritmo di approssimazione fornisce una garanzia di approssimazione del fattore 1 + log n , cioè è possibile trovare in tempo polinomiale una soluzione S tale che | …
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.