Pair workers with jobs, each at most once. An augmenting path from a free worker to a free job, flipped, makes the matching one larger.
This interactive visualization needs JavaScript.