- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
- Об издании
- Редколлегия
- Рецензирование
- Политика издательства
- Для авторов
- Последние выпуски
- Текущий выпуск
- Контакты
Новости
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
17 Февраля, 2025
Конкурс на замещение должности
О распознавании сложности аппроксимации булевых функций.
Н.Н. Кузюрин, О.А. Прокопьев.
Аннотация
Показано, что задача распознавания существования простой аппроксимации булевой функции алгоритмически трудна.
Издание
Труды Института системного программирования РАН, том 6, 2004, стр. 41-50
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Н.Н. Кузюрин, О.А. Прокопьев. О распознавании сложности аппроксимации булевых функций.. Труды Института системного программирования РАН, том 6, 2004, стр. 41-50 .
Полный текст статьи в формате pdf
