Wenn wir eine Baumzerlegung eines Graphen mit der Breite w erhalten , gibt es verschiedene Möglichkeiten, wie wir ihn "schön" machen können. Insbesondere ist bekannt, dass es möglich ist, ihn in eine Baumzerlegung umzuwandeln, bei der der Baum binär ist und seine Höhe O ( log n ) beträgt . Dies kann erreicht werden, während die Breite der Zersetzung höchstens 3 W beträgt . (Siehe zB "Parallele Algorithmen mit optimaler Geschwindigkeit für begrenzte Baumbreite", von Bodlaender und Hagerup). Logarithmische Tiefe ist also eine Eigenschaft einer Baumzerlegung, die wir fast kostenlos erhalten können.
Meine Frage ist, ob es ein ähnliches Ergebnis für clique-width oder vielleicht ein Gegenbeispiel gibt. Mit anderen Worten, gibt es bei einem Gruppenbreitenausdruck für Verwendung von k Bezeichnungen immer einen Gruppenbreitenausdruck der Höhe O ( log n ) für , der höchstens Bezeichnungen verwendet? Hier wird die Höhe natürlich als die Höhe des Analysebaums des Clique-Width-Ausdrucks definiert.
Wenn eine Aussage ähnlich der obigen nicht bekannt ist, gibt es ein Beispiel für einen Vertex-Graphen mit kleiner Clique-Breite , so dass der einzige Weg, mit -Labels zu konstruieren , darin besteht, einen Ausdruck mit groß zu verwenden Tiefe?G k G f ( k )