- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Орган по сертификации
- Центр коллективного пользования ИСП РАН
- Образование
- Издания
- Новости
- Лицензии
- Об издании
- Редколлегия
- Рецензирование
- Политика издательства
- Для авторов
- Последние выпуски
- Текущий выпуск
- Контакты
Новости
Алгоритмические задачи с таблицами значений булевых полиномов.
М.Н. Вялый.
Аннотация
В данной работе рассматривается алгоритмическая сложность основных задач комбинаторики слов (варианты задачи поиска вхождений подслова в слово) при задании слова сжатым описанием. А именно, в качестве слов, в которых ищутся вхождения подслов, рассматриваются таблицы значений булевых полиномов. Построены эффективные алгоритмы проверки вхождения слова фиксированной длины в таблицу значений полинома фиксированной степени, последовательного порождения вхождений при тех же условиях. Приведены и некоторые другие задачи того же типа, для которых существуют полиномиальные алгоритмы их решения.
Издание
Труды Института системного программирования РАН, том 6, 2004, стр. 51-64.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
М.Н. Вялый. Алгоритмические задачи с таблицами значений булевых полиномов. . Труды Института системного программирования РАН, том 6, 2004, стр. 51-64. .
Полный текст статьи в формате pdf
Вернуться к содержанию тома