2014 dxdy logo

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

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




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


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

$\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
16563
Кронштадт
 i  Тема перемещена из форума «Computer Science» в форум «Карантин»
по следующим причинам:

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

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

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


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

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


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

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


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

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

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



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

Сейчас этот форум просматривают: Aritaborian


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

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