Тема: Алгоритм Куна нахождения наибольшего паросочетания в двудольном графе
Ошибка в первом предложении секции Необходимые определения.
"Паросочетанием M называется такой набор рёбер графа, что любая вершина графа имеет не больше двух смежных рёбер паросочетания".
Есть вариант из википедии "Паросочетанием называется набор попарно несмежных рёбер графа".