Изменения

Перейти к: навигация, поиск

Представление булевых функций линейными программами

Нет изменений в размере, 21:47, 20 августа 2020
Нет описания правки
Определения и основные понятия, связанные с булевыми функциями описаны в статье [[Определение булевой функции|"определение булевой функции"]].<br>
{{Определение
|definition='''Линейная программа''' {{---}} последовательность строк вида <tex>{\{s_i\}}_{i=mn}^t</tex>, в которой <tex>s_i</tex> имеет вид <tex>x_i = F(x_{a_1}, x_{a_2}, \ldots , x_{a_na_m})</tex>, где <tex>x_i, x_{a_1}, \dots , x_{a_na_m}</tex> {{---}} переменные, каждое из чисел <tex>a_ia_j</tex> меньше <tex>i</tex>, а <tex>F</tex> {{---}} <tex>nm</tex>-местная базисная функция. Такая линейная программа имеет <tex>mn</tex> входных переменных, которые не выражаются через операции вычисления.
}}
'''Пример'''<br>
Анонимный участник

Навигация