сайты - меню - вход - но­во­сти


Задания
Версия для печати и копирования в MS Word

Каж­до­му из че­ты­рех або­нен­тов A1, A2, A3, A4 надо вы­дать по два урав­не­ния вида a x плюс b y плюс c z=d, где a, b, c, d, x, y, z при­над­ле­жит левая фи­гур­ная скоб­ка 0, 1 пра­вая фи­гур­ная скоб­ка . Зна­че­ния сек­рет­ных битов w, x, y, z оди­на­ко­вы для всех або­нен­тов и им за­ра­нее не­из­вест­ны. Пусть, на­при­мер, A1 по­лу­чит урав­не­ния

 левая фи­гур­ная скоб­ка x плюс y плюс z=1, x плюс y плюс 0 умно­жить на z=1 пра­вая фи­гур­ная скоб­ка ,

a A2  —

 левая фи­гур­ная скоб­ка 0 умно­жить на x плюс y плюс 0 умно­жить на z=1, 0 умно­жить на x плюс 0 умно­жить на y плюс 0 умно­жить на z=0 пра­вая фи­гур­ная скоб­ка .

Здесь тра­ди­ци­он­но по­ла­га­ет­ся, что 1 плюс 1=0. Тогда, объ­еди­нив­шись, из име­ю­щих­ся в их рас­по­ря­же­нии че­ты­рех урав­не­ний они од­но­знач­но най­дут, что x=0, y=1, z=0. При этом будем го­во­рить, что пара або­нен­тов {A1, A2} может до­сто­вер­но вы­чис­лить сек­рет­ные биты x, y, z. При­ве­ди­те хотя бы один при­мер урав­не­ний, ко­то­рые надо вы­дать этим че­ты­рем або­нен­там, чтобы каж­дая пара {A1, A2}, {A1, A3}, {A1, A4} могла до­сто­вер­но вы­чис­лить x, y, z, но чтобы при этом ни одна дру­гая пара або­нен­тов это сде­лать не смог­ла и ни один або­нент в оди­ноч­ку не смог бы найти даже один сек­рет­ный бит.

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

Ре­ше­ние.

«Спря­тать» один бит, пусть z, от всех або­нен­тов, но сде­лать его до­ступ­ным для пары {Ai, Aj} можно сле­ду­ю­щим общим спо­со­бом: вы­брать не­ко­то­рый бит а, пусть a=p, вы­дать это урав­не­ние Ai, а або­нен­ту Aj  — урав­не­ние a плюс z=q  левая круг­лая скоб­ка p, q при­над­ле­жит левая фи­гур­ная скоб­ка 0, 1 пра­вая фи­гур­ная скоб­ка   — про­из­воль­ные, но за­фик­си­ро­ван­ные зна­че­ния). Ни Ai, ни Aj не могут до­сто­вер­но по­лу­чить зна­че­ние бита z из име­ю­щих­ся у них урав­не­ний, но вме­сте они смо­гут его вы­чис­лить: a плюс a плюс z=z=p плюс q.

При­ме­ни­тель­но к за­да­че, в ка­че­стве бита а можно ис­поль­зо­вать сумму дру­гих двух сек­рет­ных бит. Вы­да­дим або­нен­ту A2 урав­не­ние x плюс y=p_1, а A1 урав­не­ние x плюс y плюс z=q_1, тогда сло­жив эти урав­не­ния вме­сте, пара або­нен­тов {A1, A2} най­дет z=p_1 плюс q_1. Вы­да­дим або­нен­ту A2 также урав­не­ние x плюс z=p_2, тогда они най­дут бит y=p_2 плюс q_1 . Оче­вид­но, что при таком спо­со­бе, если пара або­нен­тов на­хо­дит 2 бита, то она най­дет и тре­тий, так как он будет при­сут­ство­вать хотя бы у од­но­го або­нен­та в ли­ней­ной ком­би­на­ции: x=p_1 плюс p_2 плюс q_1.

Этот спо­соб можно рас­про­стра­нить и на пары або­нен­тов {A1, A3},{A1, A4}, про­ве­ряя при этом, что пары або­нен­тов {A2, A3}, {A2, A4}, {A3, A4} не смо­гут найти ни од­но­го бита.

 

Ответ: A1:  x плюс y плюс z=q_1; A2, A3, A4:  x плюс y=p_1, x плюс z=p_2.