Оценка высокой степени точности для сложности обобщенных бинарных программтезисы доклада