Sahifa 1 Shifrlangan ma'lumotlarni qidirishning amaliy usullari

11-sahifa

bu Adv katta bo'lgan degan taxminimizga zid keladi .

Endi uchburchak tengsizligining sodda qo'llanilishi

qarorgohlariga ko'rsatish uchun hech qanday algoritm mumkin, deb ( EUA2T 4 VEWx ) -distinguish

¡ 4) ¡ dan ¡ £ ) d : agar har qanday bunday algoritm bo'lib, so'ngra

Adv ) 14 365 7 ( ¡ 4 ) C) £ F9 A365D7 ( §¡ £ ) 6) £ @ 9

©  

@ ¢ ¡ B ¡ 4

1 365D7 ( §¡

B ) 6) £ @ 9B A3C5D7 ( ¡ B8 @ ) 6) £ @ 91

YV WxG

Bu dalilni to'ldirish uchun etarli, chunki qolganlari

Lemma A.1-ning isboti endi amalga oshirilmoqda.

Biz, nihoyat, qurilishni ko'rib chiqishga tayyormiz  

hozirda kalitlar qaerda

£ B

albatta tanlanmaydi

qaramlik bilan, lekin uning o'rniga ba'zi bir

xiroj £ ( € on ) 4

. Biz talab £ follow- ega bo'lishi

mulk: