گراف جهتدار و بدون دور G مفروض است. گرافی مثل H با حداقل تعداد یالها را که زیر گراف G باشد و بستار متعدیاش با بستار متعدی G برابر باشد، زیر گراف کاهش یافتهی G مینامیم. (بستار متعدی گراف G، گرافی است که مجموعهی راسهایش همان مجموعهی راسهای G است و در آن از راسی مثل u به راسی مثل v یال وجود دارد، اگر و فقط اگر در گراف G از u به v مسیری وجود داشته باشد.)
الف) ثابت کنید هر گراف جهتدار بیدور، فقط یک زیرگراف کاهش یافته دارد.
ب) الگوریتم سریعی از مرتبهی O(n3) ارائه دهید که زیر گراف کاهشیافتهی یک گراف جهتدار بیدور را بیابد. (نیازی به برنامه نیست.)