Алгоритмическое решение многогранников доклад на конференции