Latihan 2.
Graf bipartit yang tidak memiliki pencocokan mungkin masih memiliki pencocokan parsial. Istilah ini berarti suatu himpunan sisi sedemikian sehingga tidak ada simpul yang bersisian dengan lebih dari satu sisi (tetapi mungkin tidak bersisian dengan sisi mana pun). Setiap graf bipartit (dengan setidaknya satu sisi) memiliki pencocokan parsial, sehingga kita dapat mencari pencocokan parsial maksimum dalam suatu graf.
“Teman” Anda menyatakan bahwa ia telah menemukan pencocokan parsial maksimum untuk graf berikut (pencocokannya ditampilkan dengan garis tebal). Ia menjelaskan bahwa tidak ada sisi lain yang dapat ditambahkan karena semua sisi yang tidak digunakan dalam pencocokan parsialnya bersisian dengan simpul yang telah dicocokkan. Apakah pernyataannya benar?