Sánchez Couso, José RamónFernández Camacho, María Inés2023-06-202023-06-202006-040304-397510.1016/j.tcs.2005.12.015https://hdl.handle.net/20.500.14352/50542We analyze two bottom-up reduction algorithms over binary trees that represent replaceable data within a certain system, assuming the binary search tree (BST) probabilistic model. These reductions are based on idempotent and nilpotent operators, respectively. In both cases, the average size of the reduced tree, as well as the cost to obtain it, is asymptotically linear with respect to the size of the original tree. Additionally, the limiting distributions of the size of the trees obtained by means of these reductions satisfy a central limit law of Gaussian type.engjournal articlehttp://www.sciencedirect.com/science/article/pii/S0304397506000247http://www.sciencedirect.com/restricted access004Bottom-up algorithmGenerating functionAnalytic convergenceSingularity analysisComplex asymptoticsDifferential equationInformática (Informática)1203.17 Informática