Идеальным подходящим набором является любой набор ребер в графе, где каждая вершина графа касается ровно одного ребра в соответствующем наборе.Если вы рассматриваете граф с четырьмя связанными вершинами, так что граф напоминает квадрат, есть два идеально подходящих набора, которые являются парами параллельных ребер.Поскольку все вершины касаются ровно один раз любой парой.Если вы думаете о графе с 3-мя вершинами, соединенными как треугольник, не существует идеального совпадающего множества, потому что если вы берете любую пару ребер, то к одной вершине прикасаются дважды, но одно ребро всегда пропускает вершину.1002 *http://en.wikipedia.org/wiki/Perfect_matching
В вашем вопросе упоминается дерево, но дерево - это просто особый тип графика, поэтому он все еще работает так же.