Я давно хотел спросить: а у числовых типа, там, ТЭТА+БЭТА=ГАММА итп есть какой-то общий оптимальный алгоритм решения? Потому что способ, которым я их решаю, по сути сводится к дедукции и перебору вариантов. Мне это представляется не очень оптимальным, наверняка есть способ лучше.