1 | initial version |
The nodes of the tree that you get are sets of vertices
sage: g = graphs.RandomGNM(15, 50)
sage: g.show()
sage: treedec = g.treewidth(certificate=True)
sage: treedec
Graph on 11 vertices
sage: treedec.vertices()
[{0, 3, 4, 7, 8, 9},
{0, 3, 4, 5, 7, 9, 13},
{3, 4, 5, 7, 9, 10, 13},
{0, 1, 3, 4, 6, 7, 8, 9},
{0, 2, 13, 7},
{3, 4, 5, 7, 9, 13},
{0, 2, 13, 14, 7},
{3, 5, 7, 8, 9, 13},
{3, 5, 7, 8, 9, 11, 13},
{0, 2, 3, 4, 5, 7, 9, 12},
{0, 2, 3, 4, 5, 7, 9}]