Questions marquées «treewidth»

Questions concernant la largeur de l'arborescence des graphiques. Les graphes de faible largeur d'arbre admettent des algorithmes de division et de conquête rapides pour de nombreux problèmes de graphes qui sont NP-difficiles sur les graphes généraux.




1
Est-il encore ouvert pour déterminer la complexité du calcul de la largeur d'arbre des graphes planaires?
Pour une constante , on peut déterminer en temps linéaire, étant donné un graphe d'entrée G , si sa largeur d'arbre est ≤ k . Cependant, lorsque k et G sont donnés en entrée, le problème est NP-difficile. ( Source ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Cependant, lorsque le graphe d'entrée est …


1
Algorithmes d'espace de journalisation sur les graphiques avec une largeur d'arbre bornée
La largeur de l'arbre mesure la proximité d'un graphique avec un arbre. Il est difficile de calculer la largeur de l'arbre NP. L' algorithme d' approximation le plus connu atteint le facteur .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Le théorème de Courcelle stipule que toute propriété de graphes définissables en logique monadique du second ordre …



3
Qu'est-ce qui sépare les problèmes globaux faciles des problèmes globaux durs sur les graphiques de largeur d'arbre bornée?
De nombreux problèmes de graphes durs peuvent être résolus en temps polynomial sur des graphes de largeur d'arbre bornée . En effet, les manuels utilisent généralement, par exemple, l'ensemble indépendant comme exemple, ce qui est un problème local . En gros, un problème local est un problème dont la solution …

2
Instances solubles dans le temps polynomial de Max-Sat
Le problème Max-Sat vous demande de trouver une affectation d'une formule CNF qui satisfasse autant de clauses que possible. Pour le problème SAT plus simple, il existe de nombreux cas spéciaux connus qui peuvent être résolus en temps polynomial, par exemple, nous pouvons résoudre 2-SAT en temps polynomial. Pour Max-Sat, …
18 sat  treewidth  max2sat 

5
Algorithmes de largeur d'arbre rapides
Je voudrais calculer la largeur d' arbre d'un graphique. Il existe de très bonnes heuristiques pour d'autres problèmes de graphes NP-durs tels que VF2 pour l'isomorphisme de sous-graphe, avec du code disponible en igraph par exemple. Je les ai essayés sur mes graphiques et je trouve qu'ils fonctionnent très rapidement …





En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.