RUS  ENG
Полная версия
ЖУРНАЛЫ // Прикладная дискретная математика // Архив

ПДМ, 2019, номер 45, страницы 13–25 (Mi pdm667)

Эта публикация цитируется в 5 статьях

Теоретические основы прикладной дискретной математики

О степени ограничений функций $q$-значной логики на линейные многообразия

В. Г. Рябов

НП «ГСТ», г. Москва, Россия

Аннотация: В случае конечного поля $\mathbb{F}_q$ степень ограничения функции $q$-значной логики от $n$ переменных на линейное многообразие размерности $r$ векторного пространства $\mathbb{F}_q^n$ определена как степень полинома от $r$ переменных, представляющего данное ограничение. Для многообразий фиксированной размерности оценена вероятность появления у функции ограничений степени не выше заданной, а также получена асимптотика числа многообразий, на которых ограничения аффинны. Показано, что при $n \to \infty$ для почти всех функций $q$-значной логики от $n$ переменных значение максимальной размерности линейного многообразия, на котором ограничение аффинно, принадлежит отрезку $[\lfloor \log_q n+\log_q \log_q n \rfloor, \lceil \log_q n+\log_q \log_q n \rceil]$, в то время как аналогичный параметр для случая фиксации переменных находится в пределах $[\lfloor \log_q n \rfloor, \lceil \log_q n \rceil]$.

Ключевые слова: многозначная логика, булева функция, ограничение, линейное многообразие, степень.

УДК: 519.1,519.7

DOI: 10.17223/20710410/45/2



Реферативные базы данных:


© МИАН, 2024