Domande taggate «treewidth»

Domande relative alla larghezza degli alberi dei grafici. I grafici a bassa larghezza degli alberi ammettono gli algoritmi di divisione e conquista rapidi per molti problemi dei grafici che sono NP-difficili sui grafici generali.

1
Algoritmi dello spazio di log su grafici con larghezza dell'albero limitata
La larghezza dell'albero misura la vicinanza di un grafico a un albero. È NP-difficile calcolare la larghezza dell'albero. L' algoritmo di approssimazione più noto raggiunge fattore.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Il teorema di Courcelle afferma che qualsiasi proprietà dei grafici definibile nella logica monadica di secondo ordine (MSO2) può essere decisa in tempo lineare …
2
Istanze risolvibili nel tempo polinomiale di Max-Sat
Il problema Max-Sat ti chiede di trovare un'assegnazione di una formula CNF che soddisfi il maggior numero possibile di clausole. Per il problema più semplice SAT ci sono molti casi speciali noti che possono essere risolti in tempo polinomiale, ad esempio possiamo risolvere 2-SAT in tempo polinomiale. Per Max-Sat la …
18 sat  treewidth  max2sat 
2
C'è qualche problema in
Sto cercando un problema che appartiene a ΣP2Σ2P\mathsf{\Sigma^P_2} nei grafici generali ma è in nei grafici con larghezza dell'albero limitata, infatti penso che questi problemi siano più difficili rispetto all'utilizzo della normale programmazione dinamica nei grafici con larghezza degli alberi limitata per risolverli.PP\mathsf{P}
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.