2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Актуальность задачи о кол-ве решений систем логич уравнений
Сообщение14.01.2018, 20:54 


15/04/10
985
г.Москва
Известно что задача о количестве решений систем логических уравнений
является одной из если не самой сложной в профильном ЕГ по информатике.
Для решения систем однотипных логических уравнений используются
метод построения дерева решений и метод Отображений. При этом для количеств решений i-уравнений возникают возвратные последовательности в частности, ряды Фибоначчи
Вопрос только один - о практической применимости этого. В каких задачах практики возникают такие да еще однотипные или почти однотипные системы логических уравнений?

 Профиль  
                  
 
 Posted automatically
Сообщение14.01.2018, 21:15 
Заслуженный участник


09/05/12
25179
 i  Тема перемещена из форума «Олимпиадные задачи (М)» в форум «Помогите решить / разобраться (М)»
Причина переноса: какое отношение это имеет к олимпиадному разделу, неясно.

 Профиль  
                  
 
 Re: Актуальность задачи о кол-ве решений систем логич уравнений
Сообщение14.01.2018, 21:22 
Заслуженный участник


27/04/09
28128
Я правильно понимаю, что это линейные системы над $\mathbb Z_2$?

-- Вс янв 14, 2018 23:29:39 --

eugrita в сообщении #1284073 писал(а):
i-уравнений
Возможно, это не очень известный термин, его можно было бы пояснить. Ведь по поводу актуальности задачи могут потенциально знать не только те, кто знаком с текущим состоянием ЕГЭ по математике информатике; людей из последнего класса тут наберётся, возможно не так много и в абсолютном количестве.

 Профиль  
                  
 
 Re: Актуальность задачи о кол-ве решений систем логич уравнений
Сообщение14.01.2018, 21:49 


15/04/10
985
г.Москва
Z2 пожалуй правильно. А вот насчет линейности - как-то не врубаюсь, что значит булева функция линейна или нет? Пишу ответ, а сам смотрю в интернет.
Боже, как я отстал -есть ведь понятия и линейные-нелинейные и самодвойственные и монотонные и полином Жегалкина сюда же
вот типичные примеры задачи из информатики
$(x_1 \Rightarrow  x_2)+(x_1 \Rightarrow  x_3)=1$
$(x_2 \Rightarrow  x_3)+(x_2 \Rightarrow  x_4)=1$
..... и т д
или вот
$(x_1 \cdot x_2)+(\bar{x_1} \cdot \bar{x_2})+(x_1 \equiv x_2)=1 $
$(x_2 \cdot x_3)+(\bar{x_2} \cdot \bar{x_3})+(x_2 \equiv x_3)=1 $
.....

 Профиль  
                  
 
 Re: Актуальность задачи о кол-ве решений систем логич уравнений
Сообщение14.01.2018, 22:11 
Заслуженный участник


27/04/09
28128
Да, всё-таки выходят нелинейные системы, чего-то я сразу не увидел. Если бы были линейные и решались каким-то из стандартных способов, можно было бы ответить, дескать, вот шаг на пути к линейной алгебре. А так всё сложнее.

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

Модераторы: Модераторы Математики, Супермодераторы



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

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


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

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