نظریه گروه‌ها و محاسبات الگوریتمی