Exercise 37. Redo the argument abov

Exercise 37. Redo the argument above for general values of ® and ¯ and charge
¯=(¯ ¡ 1) tokens to each call of pushBack and ¯=(® ¡ ¯) tokens to each call
of popBack. Let n0 such that w = ¯n0. Then, after a reallocate, n0 elements are
occupied and (¯ ¡1)n0 = ((¯ ¡1)=¯)w are free. The next call of reallocate occurs
when either n = w or ®n · w. Argue that in both cases there are enough tokens.
Amortized analysis is an extremely versatile tool and so we think it is worthwhile
to know alternative proof methods. We give two variants of the proof above.
We charged two tokens to each pushBack and one token to each popBack. Alternatively,
we could charge three tokens to each pushBack and not charge popBack
at all. The accounting is simple. The rst two tokens pay for the insertion as above
and the third token is used when the element is deleted.

Kết quả (Việt) 1:

Tập thể dục 37. Làm lại lý luận trên cho các giá trị chung của ® và ¯ và phí
¯ = (¯ 』 1) thẻ cho mỗi cuộc gọi của pushBack và ¯ =(® ¡ ¯) thẻ cho mỗi cuộc gọi
của popBack. Hãy để n0 như vậy đó w = ¯n0. Sau đó, sau khi một phân bổ, là yếu tố n0
chiếm đóng và n0 (¯ ¡1) = ((¯ ¡1) = ¯) w được tự do. Cuộc gọi tiếp theo của phân bổ xảy ra
khi một trong hai n = w hoặc ® n · w. tranh luận rằng trong cả hai trường hợp có những thẻ đủ.
Bình phân tích là một công cụ rất linh hoạt và vì vậy chúng tôi nghĩ rằng nó là đáng giá
biết phương pháp thay thế bằng chứng. Chúng tôi cung cấp hai phiên bản của các bằng chứng trên.
chúng tôi tính phí hai thẻ để mỗi pushBack và một mã thông báo để mỗi popBack. Ngoài ra,
chúng tôi có thể tính phí ba thẻ để mỗi pushBack và không tính phí cho popBack
ở tất cả. Kế toán là đơn giản. Rst hai thẻ trả tiền cho chèn như trên
và kỷ niệm thứ ba được sử dụng khi các yếu tố này sẽ bị xóa.

Kết quả (Việt) 2:

Tập thể dục 37. Làm lại lập luận trên cho các giá trị chung của ® và ¯ phí
¯ = (¯ ¡1) thẻ để mỗi cuộc gọi của pushback và ¯ = (® ¡¯) thẻ để mỗi cuộc gọi
của popBack. Cho n0 như vậy mà w = ¯ n0. Sau đó, sau khi một phân bổ lại, các yếu tố n0 đang
chiếm đóng và (¯ ¡1) n0 = ((¯ ¡1) = ¯) w đều miễn phí. Các cuộc gọi tiếp theo của tái phân bổ xảy ra
khi một trong hai n = w hoặc n ® · w. Cho rằng trong cả hai trường hợp có đủ thẻ.
phân tích phân bổ là một công cụ cực kỳ linh hoạt và vì vậy chúng tôi nghĩ rằng đó là đáng giá
để biết phương pháp bằng chứng thay thế. Chúng tôi đưa ra hai biến thể của bằng chứng ở trên.
Chúng tôi tính hai thẻ để mỗi pushback và một chiếc thẻ cho mỗi popBack. Ngoài ra,
chúng ta có thể tính phí ba thẻ cho mỗi pushback và không tính phí popBack
ở tất cả. Kế toán là đơn giản. RST hai thẻ? Trả cho chèn như trên
và các mã thông báo thứ ba được sử dụng khi các phần tử bị xóa.