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