Fig. 4

Asymptotic space comparison in practice. A comparison of two derived functions for counting the number of elements retained at each level i. The first \(f(i)_p\) was derived as part of an early reduction to reduce the asymptotic space complexity for the dated tree reconciliation problem [9] while \(f(i)_c\) is the inferred function for f(i) constructed herein and is representative of the most efficient function which has been derived for f(i) to date