As we know, a tree-decomposition of a graph must have following features:
- All vertices are covered
- All edges are covered
- The connectivity condition
I think using repeated nodes in tree-decomposition must be allowed by definition. Is it true?
Edit:
The answer is here.