El problema del subárbol de máxima concordancia es cualquiera de varios problemas estrechamente relacionados en teoría de grafos e informática . En todos estos problemas se presenta una colección de árboles , cada uno de los cuales contiene hojas. Las hojas de estos árboles reciben etiquetas de algún conjunto , de modo que ningún par de hojas en el mismo árbol comparta la misma etiqueta; dentro del mismo árbol, el etiquetado para cada hoja es distinto. En este problema, a uno le gustaría encontrar el subconjunto más grande tal que los subárboles de extensión mínima que contienen las hojas en , de sean "iguales" preservando al mismo tiempo el etiquetado.
Esta versión requiere que los subárboles sean homeomórficos entre sí.
Esta versión es la misma que el subárbol de acuerdo homeomórfico máximo , pero además asumimos que están enraizados y que los subárboles contienen el nodo raíz. Esta versión del problema del subárbol de máxima concordancia se utiliza para el estudio de árboles filogenéticos . [1] Debido a sus estrechos vínculos con la filogenia, esta formulación es a menudo lo que se entiende cuando uno se refiere al problema del "subárbol de máxima concordancia".
Existen otras formulaciones, por ejemplo, el subárbol de acuerdo isomórfico máximo (enraizado) [1] donde requerimos que los subárboles sean isomórficos entre sí.