Suppose that COMPACT-LIST-SEARCH(L,

Suppose that COMPACT-LIST-SEARCH(L, n, k) takes t iterations of the while
loop of lines 2–8. Argue that COMPACT-LIST-SEARCH(L, n, k, t) returns the
same answer and that the total number of iterations of both the for and while
loops within COMPACT-LIST-SEARCH is at least t

ผลลัพธ์ (ไทย) 1:

สมมติว่า คอมแพครายการ-SEARCH(L, n, k) ใช้เวลา t ซ้ำของในขณะวนของรายการ 2-8 โต้เถียงว่า คอมแพครายการ-SEARCH(L, n, k, t) ส่งกลับค่าเหมือนกับคำตอบและที่จำนวนการเกิดซ้ำของทั้งสองที่สำหรับ และขณะเป็นลูปภายในกระชับรายการค้นหาน้อยไม่

ผลลัพธ์ (ไทย) 2:

สมมติว่า COMPACT-LIST-ค้นหา (L, n, k) ใช้ซ้ำตันในขณะที่
วงของสาย 2-8 ยืนยันว่า COMPACT-LIST-ค้นหา (L, n, k, t) ผลตอบแทนที่ได้
คำตอบเดียวกันและว่าจำนวนรวมของการแสดงของทั้งสองและในขณะที่
ลูปภายใน COMPACT-LIST-ค้นหาอย่างน้อยที

ผลลัพธ์ (ไทย) 3:

สมมติว่า compact-list-search ( L , N , K ) ใช้เวลา t รอบในขณะที่
ห่วงของเส้น 2 – 8 ยืนยันว่า compact-list-search ( L , N , K , t ) ส่งกลับ
เดียวกันตอบและจำนวนของการทำซ้ำของทั้งสองและในขณะที่
ลูปภายใน compact-list-search อย่างน้อย T