Bipartite best match graphs (BMG) and their generalizations arise in mathematical phylogenetics as combinatorial models describing evolutionary relationships among related genes in a pair of species. In this work, we characterize the class of \emph{undirected 2-quasi-BMGs} (un2qBMGs), which form a proper subclass of the $P_6$-free chordal bipartite graphs. We show that un2qBMGs are exactly the class of bipartite graphs free of $P_6$, $C_6$, and the eight-vertex Sunlet$_4$ graph. Equivalently, a bipartite graph $G$ is un2qBMG if and only if every connected induced subgraph contains a ``heart-vertex'' which is adjacent to all the vertices of the opposite color. We further provide a $O(|V(G)|^3)$ algorithm for the recognition of un2qBMGs that, in the affirmative case, constructs a labeled rooted tree that ``explains'' $G$. Finally, since un2qBMGs coincide with the $(P_6,C_6)$-free bi-cographs, they can also be recognized in linear time.
翻译:二分最佳匹配图(BMG)及其推广在数学系统发育学中作为组合模型出现,用于描述一对物种中相关基因间的进化关系。本文刻画了无向2-拟最佳匹配图(un2qBMG)的类别,该类构成了$P_6$-无弦二分图的真子类。我们证明,un2qBMG恰好是同时不含$P_6$、$C_6$及八顶点Sunlet$_4$图的二分图类。等价地,一个二分图$G$是无向2-拟最佳匹配图当且仅当其每个连通诱导子图均包含一个“核心顶点”,该顶点与所有异色顶点相邻。我们进一步提出了一种$O(|V(G)|^3)$复杂度的un2qBMG识别算法,该算法在肯定情况下能构建一个“解释”$G$的带标号有根树。最后,由于un2qBMG与$(P_6,C_6)$-无双余图等价,它们也可在线性时间内完成识别。