EUCALYPT: efficient tree reconciliation enumerator

Table 4 Reducing the number of optimal time-feasible solutions by bounding k

For some datasets, the number of optimal time-feasible solutions may be huge when k is unbounded. In some cases, however, by introducing a bound on k we can greatly reduce the number of time-feasible solutions while keeping their optimality. For all datasets whose number of acyclic solutions is positive for unbounded k, we identified k _start (minimum k whose optimal cost is equal to the optimal cost obtained for unbounded k) and we searched for the minimum k ^′≥k _start whose number of acyclic solutions is non zero. We executed this procedure for every pair (dataset, cost vector) for which the number of optimal acyclic solutions is positive. In the first column, the values for k=k _start and k ^′ are given. # A C/# A C ^′ denotes the number of optimal acyclic solutions for the case when the switches are unbounded and the case when they are bounded by k ^′, respectively. The same relation is shown for the total number of optimal solutions in the column # T/# T ^′.

ISSN: 1748-7188