【摘要】给定简单二部图G=(V,E),最大度是k(k≥3),G有一个完美匹配M={e1,e2,…,ek}。称边集E的划分{E1,E2,…,El}是G的一个关于M的正交匹配分解,如果对每一个Ei是G的匹配并且包含且仅包含M中的一条边。在本文中我们将证明对于简单二部图G,存在关于完美匹配M的正交匹配分解,并给出了求这个分解的多项式时间算法。