TY - GEN
T1 - New bounds for randomized list update in the paid exchange model
AU - Albers, Susanne
AU - Janke, Maximilian
N1 - Publisher Copyright:
© Susanne Albers and Maximilian Janke; licensed under Creative Commons License CC-BY
PY - 2020/3
Y1 - 2020/3
N2 - We study the fundamental list update problem in the paid exchange model Pd. This cost model was introduced by Manasse, McGeoch and Sleator [18] and Reingold, Westbrook and Sleator [24]. Here the given list of items may only be rearranged using paid exchanges; each swap of two adjacent items in the list incurs a cost of d. Free exchanges of items are not allowed. The model is motivated by the fact that, when executing search operations on a data structure, key comparisons are less expensive than item swaps. We develop a new randomized online algorithm that achieves an improved competitive ratio against oblivious adversaries. For large d, the competitiveness tends to 2.2442. Technically, the analysis of the algorithm relies on a new approach of partitioning request sequences and charging expected cost. Furthermore, we devise lower bounds on the competitiveness of randomized algorithms against oblivious adversaries. No such lower bounds were known before. Specifically, we prove that no randomized online algorithm can achieve a competitive ratio smaller than 2 in the partial cost model, where an access to the i-th item in the current list incurs a cost of i − 1 rather than i. All algorithms proposed in the literature attain their competitiveness in the partial cost model. Furthermore, we show that no randomized online algorithm can achieve a competitive ratio smaller than 1.8654 in the standard full cost model. Again the lower bounds hold for large d.
AB - We study the fundamental list update problem in the paid exchange model Pd. This cost model was introduced by Manasse, McGeoch and Sleator [18] and Reingold, Westbrook and Sleator [24]. Here the given list of items may only be rearranged using paid exchanges; each swap of two adjacent items in the list incurs a cost of d. Free exchanges of items are not allowed. The model is motivated by the fact that, when executing search operations on a data structure, key comparisons are less expensive than item swaps. We develop a new randomized online algorithm that achieves an improved competitive ratio against oblivious adversaries. For large d, the competitiveness tends to 2.2442. Technically, the analysis of the algorithm relies on a new approach of partitioning request sequences and charging expected cost. Furthermore, we devise lower bounds on the competitiveness of randomized algorithms against oblivious adversaries. No such lower bounds were known before. Specifically, we prove that no randomized online algorithm can achieve a competitive ratio smaller than 2 in the partial cost model, where an access to the i-th item in the current list incurs a cost of i − 1 rather than i. All algorithms proposed in the literature attain their competitiveness in the partial cost model. Furthermore, we show that no randomized online algorithm can achieve a competitive ratio smaller than 1.8654 in the standard full cost model. Again the lower bounds hold for large d.
KW - Competitive analysis
KW - Lower bound
KW - Online algorithm
KW - Self-organizing lists
UR - http://www.scopus.com/inward/record.url?scp=85082120012&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.STACS.2020.12
DO - 10.4230/LIPIcs.STACS.2020.12
M3 - Conference contribution
AN - SCOPUS:85082120012
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020
A2 - Paul, Christophe
A2 - Blaser, Markus
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020
Y2 - 10 March 2020 through 13 March 2020
ER -