Nella complessità parametrizzata le persone usano la riduzione FPT (fixed-parameter-tractable) per dimostrare il grado di W [t]. Teoricamente una riduzione FPT non è una riduzione del tempo polinomiale, poiché può essere eseguita in modo esponenziale nel parametro k. Ma in pratica tutte le riduzioni FPT che ho visto sono riduzioni …
In un grafico, un insieme indipendente è un sottoinsieme di vertici che non contiene un bordo come un sottografo indotto. Il problema di trovare i più grandi insiemi indipendenti in un grafico è una questione algoritmica fondamentale, e difficile a questo. Consideriamo la domanda più generale di trovare (la dimensione …
In un grafico diretto, , , se G \ setminus F è un DAG (grafico aciclico diretto), F viene chiamato set di archi di retroazione. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Se a ciascun fronte è associato un peso www , il problema con l'arco di retroazione del costo minimo è trovare una …
Il problema della regina N è questo: Ingresso: N Output: un posizionamento di N "regine" su una scacchiera NXN in modo tale che non vi siano due regine sulla stessa riga, colonna o diagonale. Facendo una ricerca su Google su questo, ho scoperto che molte diapositive di molti professori affermano …
Questa domanda potrebbe non essere tecnica. Come madrelingua e TA per classe di algoritmo, mi sono sempre chiesto cosa significhi gadget in "clausola gadget" o "gadget variabile". Il dizionario dice che un gadget è una macchina o un dispositivo, ma non sono sicuro del significato colloquiale che ha nel contesto …
Sono interessato a una variazione SAT in cui la formula CNF è monotona (nessuna variabile viene negata). Tale formula è ovviamente soddisfacente. Ma dire che il numero di variabili vere è una misura di quanto sia buona la nostra soluzione. Quindi abbiamo il seguente problema: MONOTONE VERO MINIMO 3SAT ISTANZA: …
Mi chiedo se le classi NPC definite da riduzioni multiple e riduzioni di Turing siano uguali. Modifica: Un'altra domanda, sono le riduzioni di Turing che collassano solo le classi C e co-C per alcune C o c'è una classe come esiste un problema non in sotto riduzione Karp e che …
Il problema della corrispondenza perfetta bicolore è decidere se un grafico ha una colorazione con due colori in modo tale che ogni nodo abbia esattamente un vicino dello stesso colore di se stesso. Schaefer ha dimostrato che il problema era NP-completo . Rimane NP-completo anche per i grafici cubi planari. …
Mi sono imbattuto in due esempi di ipotetica durezza di alcuni problemi grafici. Durezza ipotetica significa che la confutazione di alcune congetture implicherebbe la completezza NP del rispettivo problema grafico. Ad esempio, la congettura di Barnette afferma che ogni grafico bipartito planare cubico a 3 connessioni è hamiltoniano. Feder e …
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è …
Qual è la definizione standard di Planar 3-SAT? Ho visto diverse definizioni. Qual era il documento originale che lo definiva e lo dimostrava NP-completo?
Un problema CNF SAT NP è difficile quando il numero totale (ma non la larghezza) delle clausole a 3 o più termini è delimitato da una costante? Che dire specificamente quando c'è solo una di queste clausole?
Ho il seguente problema: Input: due serie di intervalli e T (tutti gli endpoint sono numeri interi). Query: esiste una biiezione monotona f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T La biiezione monotona wrt set ordine inclusione e T . ∀ X ⊆ Y ∈ S , f …
Quanto è difficile il problema Imposta copertina se il numero di elementi è limitato da una funzione (ad esempio, ) dove è la dimensione dell'istanza del problema. formalmente,lognlogn\log nnnn Lascia che e dove e . Quanto è difficile decidere il seguente problemaU={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\}F= { S1, ⋯ , Sn}F={S1,⋯,Sn}\mathcal{F} = …
Esistono algoritmi noti per il seguente problema che battono l'algoritmo ingenuo? Input: A sistema di m disuguaglianze lineari.A x ≤ bAx≤bAx \le bmmm Output: una soluzione fattibile se ne esiste una.X*∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n Supponiamo che e b abbiano voci intere. Sono interessato ai limiti del …
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.