Group the edge indicators into independent blocks
All edges in one block share vertex . Replacing the entire block can change the maximum matching number by at most one: after deleting the at most one matched edge incident to , a matching from either graph remains valid in the other. Applying McDiarmid inequality to these blocks gives
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.