Введение
Глава 1. Представление группы Джевонса 15
1.1. Основные обозначения, объекты и операции 15
1.2. Действие группы подстановок на множестве БВ 18
1.3. Контрольные примеры действия подстановок над БВ 21
1.4. Выбор представления группы Джевонса 25
1.5. Контрольные примеры операций в группе Джевонса 34
1.6. Выводы 37
Глава 2. Действие группы Джевонса на множествах 38
2.1. Действие группы Джевонса на множестве БВ 38
2.2. Действие группы Джевонса на множестве БФ 42
2.3. Эквиморфизм группы Джевонса и группы n 44
2.4. Частотные свойства БВ и БФ 48
2.5. Частотные свойства действия группы Джевонса 50
2.6. Выводы 54
Глава 3. Исследование джевонс-эквивалентности данных 55
3.1. Формальная постановка задачи 55
3.2. Каноническое представление элемента группы Джевонса 57
3.3. Основной алгоритм решения уравнения 61
3.4. Эквиморфный вычислитель 67
3.5. Выводы 77
Глава 4. Оценки сложности предложенных решений 78
4.1. Теоретические оценки сложности 78
4.2. Анализ тривиальности подгрупп инерции булевых функций 80
4.3. Спектральный анализ булевых функций 84
4.4. Выводы 94
Заключение 95
Список сокращений и условных обозначений 97
Список литературы
