Estoy leyendo sobre el teorema de Berge sobre el emparejamiento, pero creo que he entendido mal el teorema y las definiciones de alguna manera, porque no puedo dar sentido al ejemplo de abajo. En este ejemplo he marcado el emparejamiento en rosa, y el camino alterno en verde. Este es el único camino alterno que implica la coincidencia que pude encontrar, y claramente no es un camino de aumento.
Me he dado cuenta de que hay una coincidencia mayor que podría obtenerse quitando la arista 3 y añadiendo las aristas 1 y 2. Pero como 1325679 no es un camino alterno, ¿no debería esa posibilidad ser considerada por el teorema?
\=============================================
He aquí el teorema y las definiciones pertinentes: