- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
О сложности задачи решения линейных уравнений над конечными подстановками.
Авторы
Новикова Т.А., Захаров В.А.
Аннотация
Установлены оценки сложности решения различных видов линейных уравнений над полугруппой подстановок. Показана применимость алгоритмов решения уравнений над подстановками для анализа поведения последовательных программ.
Полный текст статьи в формате pdfКлючевые слова
подстановка, унификация, уравнение, сложность, логико-термальная эквивалентность программ
Издание
Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 221-223.