Ich interessiere mich für die Komplexität des Dominating-Set-Problems (DSP) in einigen spezifischen Graphenklassen, die Unterklassen von Akkordgraphen sind .
Ein Diagramm ist ein ungerichtetes Pfaddiagramm, wenn es sich um das Scheitelpunkt-Schnittdiagramm einer Pfadfamilie in einem ungerichteten Baum handelt. Sei UP die Klasse der ungerichteten Pfadgraphen.
Ein Diagramm ist ein EPT-Diagramm, wenn es sich um das Kantenschnittdiagramm einer Pfadfamilie in einem ungerichteten Baum handelt. Ein EPT-Diagramm ist möglicherweise nicht akkordisch, aber CEPT ist die Klasse der akkordischen EPT-Diagramme.
Ein Graph ist ein (verwurzelter) gerichteter Pfadgraph, wenn es sich um den Scheitelpunkt-Schnittpunkt-Graphen einer Familie gerichteter Pfade in einem verwurzelten gerichteten Baum handelt (dh alle von der Wurzel weggerichteten Bögen). Sei RDP die Klasse der (verwurzelten) gerichteten Pfadgraphen.
Wir haben
Es ist bekannt, dass der DSP für Graphen in RDP linear zeitlich lösbar ist, für Graphen von UP jedoch NP-vollständig ist [ Booth and Johnson, 1981 ].
Ich interessiere mich für spezielle Graphen, die Scheitelpunkt-Schnitt-Graphen von Familien ungerichteter Pfade in raupenähnlichen Bäumen des maximalen Grades 3 entsprechen. Genauer gesagt, diese "Raupen" sind aus einem Pfad aufgebaut, in dem jeder zweite Scheitelpunkt einen hängenden Grad hat. Ein-Eckpunkt angehängt an. Nennen wir diese Klasse cat-up.
Darüber hinaus können meine speziellen Graphen auch als Kantenschnittgraphen einiger Familien ungerichteter Pfade in bestimmten Bäumen mit maximalem Grad 3 konstruiert werden.
Meine Fragen sind also:
1) Ist die Komplexität des DSP für Cat-UP-Diagramme bekannt? (Beachten Sie, dass die Reduktion in [ Booth and Johnson, 1981 ] einen Wirtsbaum mit maximalem Grad 3 erzeugt, der jedoch weit von einer Raupe entfernt ist.)
2) Wie komplex ist DSP für CEPT-Diagramme? Und für Diagramme der CEPT entsteht ein Wirtsbaum mit maximalem Grad 3? ( dies ist ISGCI nicht bekannt )
3) Gibt es ein Komplexitätsergebnis für den DSP in einer eng verwandten Graphenfamilie?