Автор | Сообщение |
|
Отправлено: 11.04.17 20:56. Заголовок: крылов чуркина 5 вар.
Здравствуйте.Каким способом лучше решать? -((X1Y1=X3Y3)->X2Y2 -((X2Y2=X4Y4)->-(X3Y3) ---------------------------- -(X6Y6=X8Y8)->-(X7Y7) Я преобразую -((X1Y1=X3Y3)->X2)*(-((X1Y1=X3Y3)->Y2) Подбираю 9 реш. в 1 ур-и 10 реш во 2 ур-и.Ответ 81.Помогите. Заранее спасибо!
|
|
|
Новых ответов нет
[см. все]
|
|
|
| Администратор
|
Сообщение: 1367
|
|
Отправлено: 13.04.17 22:55. Заголовок: ELE пишет: Каким спо..
ELE пишет: цитата: | Каким способом лучше решать? |
|
Начните с замены переменных: z1=x1*y1, z2=x2*y2, ...
|
|
|
|
Отправлено: 16.04.17 14:26. Заголовок: замены переменных
после замены переменных получила: 1 ур 6 реш 2 ур 9 реш 3 ур 14 реш 4 ур 22 реш 5 ур 35 реш 6 ур 56 реш (т.е. +3 5 8 13 21(фибоначи) как же все же после возврата к xy можно получить ответ 81? не соображу никак!
|
|
|
|
| Администратор
|
Сообщение: 1371
|
|
Отправлено: 16.04.17 16:03. Заголовок: ELE пишет: как же вс..
ELE пишет: цитата: | как же все же после возврата к xy можно получить ответ 81? не соображу никак! |
|
В принципе, нужно выписывать все решения и переходить обратно к xy. Единичный бит в цепочке Z не меняет количество решений, так как Zi=Xi*Yi=1 только в одном случае. А нулевой бит увеличивает количество решений в 3 раза (3 варианта, когда Xi*Yi=0). Это нужно сделать для всех решений Z. Программа выдает ответ 7720, который далеко не равен 81. Как сделать вручную - наверное, лучше использовать метод отображений Е.А. Мирончик без замены переменных. Хотя там связь первых двух уравнений идет по 4-м переменным, так что вычислительных проблем и тут выше головы.
|
|
|
|
| постоянный участник
|
Сообщение: 136
|
|
Отправлено: 17.04.17 03:57. Заголовок: Поляков пишет: Как ..
Поляков пишет: цитата: | Как сделать вручную - наверное, лучше использовать метод отображений Е.А. Мирончик без замены переменных. Хотя там связь первых двух уравнений идет по 4-м переменным, так что вычислительных проблем и тут выше головы. |
| Нет, не выше головы. На 4 переменные переходить не обязательно. Также как Вы предлагаете сначала замена, анализ через другую переменную и до выполнения вычислений переход обратно и анализ какие числа умножаются на 3 в ходе построения таблицы. Решение компактное получается. Стрелки или матрица смежности пара в пару. Исходное количество пар 00 - 9, 01 и 10 - 3, 11 - одна. Умножение на 3 там, где вычисляем количество пар 00 и 10. Собственно решение менее половины тетрадной страницы. Хотя, вычислений все равно не мало, но в 23-ем их всегда не мало.
|
|
|
|
Отправлено: 16.04.17 17:02. Заголовок: Спасибо!
|
|
|
|
Отправлено: 17.04.17 14:09. Заголовок: Решение
Здравствуйте, MEA спасибо за рекомендации, но все равно не все понятно. Может быть можно где-то посмотреть полное решение? Спасибо заранее.
|
|
|
|
| постоянный участник
|
Сообщение: 137
|
|
Отправлено: 18.04.17 04:28. Заголовок: Для подробного решен..
Для подробного решения давайте сначала конкретизируем что решаем. В системе которая написана число скобок непарное. Если отрицание стоит перед всем выражением, то импликация равна 0, и все совсем просто ответ 3^8 (я видела похожую систему). То описание что давала выше для решения системы в которой нет отрицания. т.е. импликация равна 1.
|
|
|
|
Отправлено: 18.04.17 17:45. Заголовок: конкретизируем что решаем
-(X1Y1=X3Y3)->X2Y2 -(X2Y2=X4Y4)->-(X3Y3) ---------------------------- -(X6Y6=X8Y8)->-(X7Y7)
|
|
|
|
Отправлено: 18.04.17 17:55. Заголовок: импликация равна 1
ОТВЕТ 81?
|
|
|
|
| постоянный участник
|
Сообщение: 138
|
|
Отправлено: 18.04.17 19:07. Заголовок: 2-ое и первое уравне..
2-ое и первое уравнение отличаются. третье уравнение такое же как первое по знакам? Или оно отличается от всех?
|
|
|
|
Отправлено: 18.04.17 19:43. Заголовок: 2-ое и первое уравнение отличаются
все нечетные ур-я правая часть без инверсий, все четные- правая часть с инверсией
|
|
|
|
|
| постоянный участник
|
Сообщение: 139
|
|
Отправлено: 19.04.17 04:23. Заголовок: Точно проверить можн..
Точно проверить можно в программе, я считала вручную даже без калькулятора :) Получился ответ 12382
|
|
|
|