Proofs in Computer Science (Optional) · Certificates

Lesson 6

Nikolai Chukhin · Alexander S. Kulikov

In the graph below, a matching of size six is highlighted. How to convince your friend that it is maximum (that is, there is no matching of size seven)?