Задания
Версия для печати и копирования в MS Word
Тип Д23 № 10299
i

Сколь­ко су­ще­ству­ет раз­лич­ных на­бо­ров зна­че­ний ло­ги­че­ских пе­ре­мен­ных x1, x2, ... x9, y1, y2, ... y9, ко­то­рые удо­вле­тво­ря­ют всем пе­ре­чис­лен­ным ниже усло­ви­ям:

 левая круг­лая скоб­ка левая круг­лая скоб­ка x_1\equiv y_1 пра­вая круг­лая скоб­ка arrow левая круг­лая скоб­ка x_2 \equiv y_2 пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка x_1 arrow x_2 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка y_1 arrow y_2 пра­вая круг­лая скоб­ка =1;

 левая круг­лая скоб­ка левая круг­лая скоб­ка x_2\equiv y_2 пра­вая круг­лая скоб­ка arrow левая круг­лая скоб­ка x_3 \equiv y_3 пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка x_2 arrow x_3 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка y_2 arrow y_3 пра­вая круг­лая скоб­ка =1;

...

 левая круг­лая скоб­ка левая круг­лая скоб­ка x_8\equiv y_8 пра­вая круг­лая скоб­ка arrow левая круг­лая скоб­ка x_9 \equiv y_9 пра­вая круг­лая скоб­ка пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка x_8 arrow x_9 пра­вая круг­лая скоб­ка \wedge левая круг­лая скоб­ка y_8 arrow y_9 пра­вая круг­лая скоб­ка =1?

 

Спрятать решение

Ре­ше­ние.

Будем обо­зна­чать набор вход­ных пе­ре­мен­ных урав­не­ния кор­те­жем из четырёх чисел  левая круг­лая скоб­ка x_1, y_1, x_2, y_2 пра­вая круг­лая скоб­ка .

 

Рас­смот­рим пер­вое урав­не­ние. Пе­ре­берём все 16 на­бо­ров пе­ре­мен­ных, по­дой­дут 7 из них:

 левая круг­лая скоб­ка 0, 0, 0, 0 пра­вая круг­лая скоб­ка , левая круг­лая скоб­ка 0, 0, 1, 1 пра­вая круг­лая скоб­ка , левая круг­лая скоб­ка 0, 1, 0, 1 пра­вая круг­лая скоб­ка , левая круг­лая скоб­ка 0, 1, 1, 1 пра­вая круг­лая скоб­ка , левая круг­лая скоб­ка 1, 0, 1, 0 пра­вая круг­лая скоб­ка , левая круг­лая скоб­ка 1, 0, 1, 1 пра­вая круг­лая скоб­ка , левая круг­лая скоб­ка 1, 1, 1, 1 пра­вая круг­лая скоб­ка .

Так как в сле­ду­ю­щем урав­не­нии встре­ча­ют­ся x_2, y_2, по­счи­та­ем, какие пары  левая круг­лая скоб­ка x_2,y_2 пра­вая круг­лая скоб­ка и сколь­ко раз вошли в на­бо­ры, удо­вле­тво­ря­ю­щие пер­во­му урав­не­нию: (0, 0) - 1, (0, 1) - 1, (1, 0) - 1, (1, 1) - 4.

Будем под­став­лять эти  левая круг­лая скоб­ка x_2, y_2 пра­вая круг­лая скоб­ка на место x_3,y_3 во вто­рое урав­не­ние. Так как оно эк­ви­ва­лент­но пер­во­му урав­не­нию, то можно про­сто брать x_2,y_2 и на­хо­дить среди ре­ше­ний пер­во­го урав­не­ния кор­те­жи, ко­то­рый на­чи­на­ют­ся так же.

То есть (0, 0) даст ре­ше­ния (0, 0, 0, 0) и (0, 0, 1, 1). (0, 1) - (0, 1, 0, 1), (0, 1, 1, 1). (1, 0) - (1, 0, 1, 0), (1, 0, 1, 1). (1, 1) - (1, 1, 1, 1).

По­счи­та­ем, сколь­ко каких пар x_3,y_3 по­лу­чи­лось среди всех ре­ше­ний си­сте­мы из пер­вых двух урав­не­ний. Так как (1, 1) ста­вил­ся на место 4 раза, он по­ро­дил 4 кор­те­жа с (1, 1) на конце. В общем по­лу­чи­лось (0, 0) - 1, (0, 1) - 1, (1, 0) - 1, (1, 1) - 7.

Пе­рей­дя к сле­ду­ю­ще­му урав­не­нию, по­лу­чим (0, 0) - 1, (0, 1) - 1, (1, 0) - 1, (1, 1) - 10.

И так далее, с каж­дым урав­не­ни­ем ко­ли­че­ство ре­ше­ний будет уве­ли­чи­вать­ся на 3.

Из­на­чаль­но было 7 ре­ше­ний, плюс ещё 7 урав­не­ний, каж­дое из ко­то­рых до­бав­ля­ет по 3 ре­ше­ния.

Итого 7 плюс 7 умно­жить на 3 = 28.


Аналоги к заданию № 10299: 10326 Все