Y-сводимый маршрут

[math]\displaystyle{ Y }[/math]-Сводимый маршрут ([math]\displaystyle{ Y }[/math]-Reduced sequence) - для реберного покрытия [math]\displaystyle{ Y }[/math] такой маршрут, у которого концевые ребра принадлежат [math]\displaystyle{ Y }[/math], а концевые вершины инцидентны тем ребрам из [math]\displaystyle{ Y }[/math], которые не являются концевыми ребрами этого маршрута. Очевидно, что любое наименьшее реберное покрытие не содержит сводимых маршрутов.

Литература

[Харари]