{"id":"arxiv/2602.22281","url":"https://arxiv.org/abs/2602.22281","tags":["math.CO","q-bio.PE"],"score":0,"title":"A kernel for the maximum agreement forest problem on multiple binary phylogenetic trees","domain":"math.CO","source":"arxiv","authors":["Steven Kelk","Ruben Meuwese","Leo van Iersel"],"reviews":0,"subject":"math.CO","summary":"The maximum agreement forest (MAF) problem in phylogenetics takes as input a set t >= 2 of binary phylogenetic trees T on the same set of taxa X. It asks for a partition of X into the smallest number of blocks such that the subtrees induced by these blocks are disjoint and have common topology across all the trees in T. We produce a modified version of the well-known chain reduction rule in order to prove that after exhaustive application of reduction rules each tree has O( t * r * k ) leaves, where k is the natural parameter (the number of blocks) and r=min{max{k,3},t+1}}. We prove this…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-25","reactions":{}}