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 ] 

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



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

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


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

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