Поиск периодичностей и идентификация подслов в реальное время
Полиномиальный алгоритм изоморфизма для графов, не стягиваемых на
Разложение многочленов над конечным полем и решение систем алгебраических уравнений
Распознавание и проверка изоморфизма циклических турниров за полиномиальное время
Реализация алгоритма построения оптимального расписания с началом в заданном интервале
Решение двух задач упорядочения работ
Решение систем полиномиальных неравенств над вещественно замкнутыми полями в субэкспоненциальное время
Сложностные вопросы теории чисел
Сложность аддитивных вычислений семейств целочисленных линейных форм
Сложность вентильных схем, получаемых с помощью градиентного алгоритма
Сложность и асимптотически оптимальные алгоритмы моделирования абсолютно непрерывных распределений
Сложность разрешения теории первого порядка вещественно замкнутых полей
Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений
Сложность распознавания симметрии на многоленточных машинах Тьюринга
Сложность решения систем линейных уравнений в кольцах дифференциальных операторов
Строение решеток конгруэнций конечных полурешеток
Структурные расписания в задачах теории расписаний
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга
Уровневые логики
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов