СОДЕРЖАНИЕ
.
СИСТЕМЫ ТЕСТОВЫХ УРАВНЕНИЙ
1. Основные обозначения и определения .
2. Труднорешаемость систем тестовых
уравнений.
3. Сложность произведения левых частей
тестовых уравнений
4. Полиномиальный алгоритм для решения задачи декомпозиции систем тестовых уравнений на оптимальные блоки из
двух уравнений.
5. Труднорешаемость задачи декомпозиции систем тестовых уравнений на блоки минимальной сложности, состоящие из
трех уравнений.
КОНЕЧНОЗНАЧНЫЕ СИСТЕМЫ БУЛЕВЫХ УРАВНЕНИЙ
1. Конечнозначные системы уравнений. Труднорешаемость задачи о декомпозиции двухзначных систем на оптимальные
блоки из трех уравнений .
2. Примеры двухзначных систем уравнений, на которых задача декомпозиции на оптимальные 5 блоки является труднорешаемой .
Стр.
2.3. Общий случай конечнозначних систем . .
ГЛАВА 3. ИССЛЕДОВАНИЕ СИСТЕМ ИЗ СИММЕТРИЧЕСКИХ И МОНОТОННЫХ ФУНКЦИЙ. СИСТЕМЫ НЕЛЬСОНОВСКИХ УРАВНЕНИЙ
3.1. Системы из монотонных функций.
3.2. Системы из симметрических функций .
3.3. О сложности произведения левых частей
нельсоновских уравнений.
3.4. Исследование задачи о декомпозиции нельсоновских систем на оптимальные
5 блоки
ЛИТЕРАТУРА