Als «treewidth» getaggte Fragen

Fragen zur Baumbreite von Grafiken. Graphen mit geringer Baumbreite erlauben schnelle Divide-and-Conquer-Algorithmen für viele Graphprobleme, die für allgemeine Graphen NP-schwer sind.


1
Treewidth und das NL vs L Problem
Die ST-Konnektivität ist das Problem, zu bestimmen, ob in einem gerichteten Graphen ein gerichteter Pfad zwischen zwei getrennten Eckpunkten und . Ob dieses Problem im Logspace gelöst werden kann, ist ein seit langem offenes Problem. Dies nennt man das vs Problem.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Was ist die Komplexität von ST-Connectivity, wenn der zugrunde …

1
Rekonstruktionsprojektion und partielle 2-Bäume
Rekonstruktionsvermutung besagt, dass Graphen (mit mindestens drei Scheitelpunkten) eindeutig durch ihre gelöschten Scheitelpunkt-Untergraphen bestimmt werden. Diese Vermutung ist fünf Jahrzehnte alt. In der einschlägigen Literatur habe ich festgestellt, dass die folgenden Klassen von Diagrammen bekanntermaßen rekonstruierbar sind: Bäume getrennte Graphen, Graphen, deren Komplement getrennt ist regelmäßige Grafiken Maximum Outerplanar Graphs …



1
Logspace-Algorithmen für Diagramme mit begrenzter Baumbreite
Die Baumbreite misst, wie nah ein Diagramm an einem Baum ist. Es ist NP-schwer, die Baumbreite zu berechnen. Der bekannteste Näherungsalgorithmus erreicht Faktor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelles Theorem besagt, dass jede Eigenschaft von Graphen, die in der monadischen Logik zweiter Ordnung (MSO2) definierbar ist, in linearer Zeit für jede Klasse von Graphen mit …



3
Was unterscheidet einfache globale Probleme von harten globalen Problemen in Diagrammen mit begrenzter Baumbreite?
Viele schwierige Graphenprobleme sind in der Polynomzeit auf Graphen mit begrenzter Baumbreite lösbar . In der Tat verwenden Lehrbücher in der Regel beispielsweise einen unabhängigen Satz als Beispiel, was ein lokales Problem darstellt . Grob gesagt ist ein lokales Problem ein Problem, dessen Lösung überprüft werden kann, indem eine kleine …

2
Polynomiell zeitlösbare Instanzen von Max-Sat
Das Problem Max-Sat fordert Sie auf, eine Zuordnung einer CNF-Formel zu finden, die möglichst viele Klauseln erfüllt. Für das einfachere Problem SAT gibt es viele bekannte Spezialfälle, die in Polynomzeit gelöst werden können, zB können wir 2-SAT in Polynomzeit lösen. Für Max-Sat ist die Situation anders, da Max-Sat auch für …
18 sat  treewidth  max2sat 

5
Schnelle Baumbreitenalgorithmen
Ich möchte die Baumbreite eines Graphen berechnen . Es gibt wirklich gute Heuristik für andere NP-hard Graphen Probleme wie VF2 für Subgraphen Isomorphismus, mit dem Code in IGRAPH zum Beispiel. Ich habe sie in meinen Grafiken ausprobiert und finde, dass sie für meine Daten sehr schnell laufen. Gibt es schnelle …


2
Verbotene Minderjährige für Diagramme mit begrenzter Baumbreite
Diese Frage ähnelt einer meiner vorherigen Fragen. Es ist bekannt, dass für Graphen mit einer Baumbreite von höchstens t ein verbotenes Moll ist .Kt+2Kt+2K_{t+2}ttt Gibt es eine gut konstruierte, parametrisierte, unendliche Familie von Diagrammen (außer vollständigen Diagrammen und Gitterdiagrammen), bei denen es sich bei Diagrammen aller Baumbreiten um minimal verbotene …


2
Gibt es ein Problem in
Ich suche nach einem Problem, das in allgemeinen Diagrammen zu ΣP2Σ2P\mathsf{\Sigma^P_2} gehört, in Diagrammen mit begrenzter Baumbreite jedoch zu Tatsächlich halte ich diese Probleme für schwerer als die Verwendung normaler dynamischer Programmierung in Diagrammen mit begrenzter Baumbreite, um sie zu lösen.PP\mathsf{P}

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.