Diberikan grafik bipartit G=(U∪V,E)G=(U∪V,E)G = (U \cup V, E) dengan bobot positif, biarkan f:2U→Rf:2U→Rf: 2^U \rightarrow \mathbb{R} dengan f(S)f(S)f(S) sama dengan pencocokan berat maksimum dalam grafik G[S∪V]G[S∪V]G[S\cup V] . Benarkah fff adalah fungsi