ฉันจะถือว่า bitstrings ถูกหลอมรวมกับจำนวนเต็มโดยสัญกรณ์ big-endian $a$ และ $ข$ เป็น $k$-บิตด้วย $k=8$ ในคำถาม และได้รับสอง $k$- ปริมาณบิต $s:=a+b\bmod{2^k}$ และ $x:=a\oบวก b$.
$s$ และ $x$ ไม่เป็นอิสระ: บิตลำดับต่ำของพวกเขาเหมือนกัน จึงเปิดเผย $(ส,x)$ เผย ที่มากที่สุด $2k-1$ บิตของข้อมูลจึงทำให้ ที่มากที่สุด ก $2k-1$ การลดเอนโทรปีเล็กน้อย
ตั้งแต่ให้ $a$ และ $x$ เราสามารถคำนวณได้ $b=a\oบวก x$,เปิดเผย $(ส,x)$ สาเหตุ อย่างน้อย ก $k$ การลดเอนโทรปีเล็กน้อย
การลดลงของเอนโทรปีจริงจะแตกต่างกันไปตามขอบเขตเหล่านี้:
- กับ $x=0$ และ $s$ แม้วิธีแก้ปัญหาคือ $(a,b)\in\{(s/2,s/2),(s/2+2^{k-1},s/2+2^{k-1})\}$จึงมีเหลืออยู่ $\log_2(2)=1$ เอนโทรปีเล็กน้อยจากจุดเริ่มต้น $2k$, การสูญเสียของ $2k-1$ บิตของเอนโทรปี
- กับ $x=s=1$ มี 4 วิธีแก้ไข: $(a,b)\in\{(0,1),(1,0),(2^{k-1},2^{k-1}+1),(2^{k-1} +1,2^{k-1})\}$จึงมีเหลืออยู่ $\log_2(4)=2$ เอนโทรปีเล็กน้อยจากจุดเริ่มต้น $2k$, การสูญเสียของ $2k-2$ บิตของเอนโทรปี
- กับ $x=s=2^{k-1}$ มี $2^k$ การแก้ปัญหาของแบบฟอร์ม $(ก,2^ก-1-ก)$จึงมีเหลืออยู่ $k$ เอนโทรปีเล็กน้อยจากจุดเริ่มต้น $2k$, การสูญเสียของ $k$ บิตของเอนโทรปี
ฉันยืนยันโดยไม่มีหลักฐานว่าสำหรับ $i\in[0,k)$ การสูญเสียเอนโทรปีคือ $2k-1-i$ เล็กน้อยด้วยความน่าจะเป็น ${k-1\choose i}/2^{k-1}$และเป็นไปตามการสูญเสียเอนโทรปีที่คาดไว้คือ $(3k-1)/2$ นิดหน่อย.