047. Сравнение сложности вычисления функций q-значной логики двумя классами ветвящихся программ

Рассматривается вычисление q-значными ветвящимися упорядоченными 1- и 2-программами функций q-значной логики.  В работе получены полиномиальная верхняя оценка сложности упорядоченных ветвящихся 2-программ и сверхполиномиальная нижняя оценка сложности упорядоченных ветвящихся 1-программ для одной и той же последовательности функций q-значной логики (q > 2). Тем самым показано существенное отличие этих двух классов ветвящихся программ.

 

Файл тезисов: 3ffThes.pdf