This is because the transitive closure property has a close relationship with the NL-complete problem STCON for finding directed paths in a graph.
دلیل این است که متعدی بسته شدن اموال است یک رابطه نزدیک با NL-کامل مشکل STCON برای پیدا کردن کارگردانی مسیر در یک گراف.