2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Система однотипных логических уравнений
Сообщение17.05.2018, 13:37 


16/10/14
434
Система уравнений:

$\begin{cases}
(x_1\to x_2)\wedge(x_1\to y_1)=1\\
(x_2\to x_3)\wedge(x_2\to y_2)=1\\
(x_3\to x_4)\wedge(x_3\to y_3)=1\\
(x_4\to x_5)\wedge(x_4\to y_4)=1\\
(x_5\to x_6)\wedge(x_5\to y_5)=1\\
(x_6\to x_7)\wedge(x_6\to y_6)=1\\
(x_7\to y_7)=1
\end{cases}

Решая её, я построил граф и мой ответ $255$ оказался верным, но я не уверен в правильности своего метода решения.
Граф:
Изображение
Картинку большего размера можно скачать здесь: https://yadi.sk/i/gpMKmysb3W4i8R

UPD: решил второй подобный пример этим методом и вновь получил верный ответ, полагаю метод работает, понимаю как его упростить

 Профиль  
                  
 
 Posted automatically
Сообщение17.05.2018, 14:44 
Супермодератор
Аватара пользователя


09/05/12
15369
Кронштадт
 i  Тема перемещена из форума «Computer Science» в форум «Карантин»
по следующим причинам:

- условие задачи наберите в текстовом виде, тут это несложно.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 Профиль  
                  
 
 Posted automatically
Сообщение17.05.2018, 17:27 
Супермодератор
Аватара пользователя


09/05/12
15369
Кронштадт
 i  Тема перемещена из форума «Карантин» в форум «Computer Science»

 Профиль  
                  
 
 Re: Система однотипных логических уравнений
Сообщение17.05.2018, 21:50 
Заслуженный участник
Аватара пользователя


27/04/09
23597
Уфа
Вы ещё забыли дописать, что требуется определить число решений. И если бы вы дополнили свой граф описанием того, как он строится в общем случае, то и на вопрос о том, правильно ли так делать, быстро бы ответили. А так надо погружаться, восстанавливать опущенное…

 Профиль  
                  
 
 Re: Система однотипных логических уравнений
Сообщение17.05.2018, 22:55 


16/10/14
434
Да действительно, требуется определить число решений. К сожалению я и сам не знаю как граф строится в общем случае, только некоторые частные случаи. Красным выделены переменные и их логические значения, числа в кружке - сколькими способами данное логическое значение переменной возможно получить

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

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



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

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


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

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