2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Многомерные булевые функции
Сообщение02.02.2018, 09:00 


05/02/13
132
Задана некоторая булевая функция $\mathbf f:\{0,1\}^n \to \{0,1\}^n$, которая удовлетворяет условию $\forall \mathbf x = \{0,1\}^n \quad \mathbf f(\mathbf x) \leq \mathbf x$. Здесь мы считаем, что $\mathbf x \leq \mathbf y$ тогда и только тогда, когда $\mathbf x_i \leq \mathbf y_i \quad \forall i=1,2,\dots,n$.

Будем говорить, что функция $\mathbf f$ удовлетворяет Н-свойству, если $$\forall \mathbf y \leq \mathbf x \quad \mathbf f(\mathbf x) \wedge \mathbf y \leq \mathbf f(\mathbf y),$$

где $\wedge$ обозначает покомпонентную конъюнкцию.

Я искал в интернете, но я не нашёл, есть ли способ проверить это свойство, не используя прямой перебор?

 Профиль  
                  
 
 Re: Многомерные булевые функции
Сообщение02.02.2018, 12:37 
Заслуженный участник
Аватара пользователя


06/10/08
6193
А каким образом задана функция?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Toucan, maxal, PAV, Karan, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group