Минимальный эквивалентный по достижимости ориентированный граф

См. [math]\displaystyle{ {\mathcal NP} }[/math]-Полная задача.