نظریه گراف‌های جهت‌دار و کاربردهای آن در تحلیل ساختارهای جبری