However, many existing methods are not applicable in our case. Some methods require that different vertices have different labels, and different trees have the same label set [1]}, [2]}. Some methods work for phylogenetic trees: only leaves vertices have labels; different vertices have different labels; different trees have the same label set [3]}, [4]}, [5]}, [6]}.
Some methods require that the trees are ordered [7]}.
