Nikhil Bansal, Marek Eliáš, Grigorios Koumoutsos, Jesper Nederlof
{"title":"统一度量下广义k-Server的竞争算法","authors":"Nikhil Bansal, Marek Eliáš, Grigorios Koumoutsos, Jesper Nederlof","doi":"https://dl.acm.org/doi/10.1145/3568677","DOIUrl":null,"url":null,"abstract":"<p>The generalized <i>k</i>-server problem is a far-reaching extension of the <i>k</i>-server problem with several applications. Here, each server <i>s<sub>i</sub></i> lies in its own metric space <i>M<sub>i</sub></i>. A request is a <i>k</i>-tuple <i>r</i> = (<i>r</i><sub>1</sub>,<i>r</i><sub>2</sub>,… ,<i>r<sub>k</sub></i>, which is served by moving some server <i>s<sub>i</sub></i> to the point <i>r<sub>i</sub> ∈ M<sub>i</sub></i>, and the goal is to minimize the total distance traveled by the servers. Despite much work, no <i>f</i>(<i>k</i>)-competitive algorithm is known for the problem for <i>k</i> > 2 servers, even for special cases such as uniform metrics and lines.</p><p>Here, we consider the problem in uniform metrics and give the first <i>f</i>(<i>k</i>)-competitive algorithms for general <i>k</i>. In particular, we obtain deterministic and randomized algorithms with competitive ratio <i>k</i> · 2<i><sup>k</sup></i> and <i>O</i>(<i>k</i><sup>3</sup> log <i>k</i>), respectively. Our deterministic bound is based on a novel application of the polynomial method to online algorithms, and essentially matches the long-known lower bound of 2<i><sup>k</sup></i>-1. We also give a 2<sup>2<sup><i>O(k)</i></sup></sup>-competitive deterministic algorithm for weighted uniform metrics, which also essentially matches the recent doubly exponential lower bound for the problem.</p>","PeriodicalId":50922,"journal":{"name":"ACM Transactions on Algorithms","volume":"1 3","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Competitive Algorithms for Generalized k-Server in Uniform Metrics\",\"authors\":\"Nikhil Bansal, Marek Eliáš, Grigorios Koumoutsos, Jesper Nederlof\",\"doi\":\"https://dl.acm.org/doi/10.1145/3568677\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The generalized <i>k</i>-server problem is a far-reaching extension of the <i>k</i>-server problem with several applications. Here, each server <i>s<sub>i</sub></i> lies in its own metric space <i>M<sub>i</sub></i>. A request is a <i>k</i>-tuple <i>r</i> = (<i>r</i><sub>1</sub>,<i>r</i><sub>2</sub>,… ,<i>r<sub>k</sub></i>, which is served by moving some server <i>s<sub>i</sub></i> to the point <i>r<sub>i</sub> ∈ M<sub>i</sub></i>, and the goal is to minimize the total distance traveled by the servers. Despite much work, no <i>f</i>(<i>k</i>)-competitive algorithm is known for the problem for <i>k</i> > 2 servers, even for special cases such as uniform metrics and lines.</p><p>Here, we consider the problem in uniform metrics and give the first <i>f</i>(<i>k</i>)-competitive algorithms for general <i>k</i>. In particular, we obtain deterministic and randomized algorithms with competitive ratio <i>k</i> · 2<i><sup>k</sup></i> and <i>O</i>(<i>k</i><sup>3</sup> log <i>k</i>), respectively. Our deterministic bound is based on a novel application of the polynomial method to online algorithms, and essentially matches the long-known lower bound of 2<i><sup>k</sup></i>-1. We also give a 2<sup>2<sup><i>O(k)</i></sup></sup>-competitive deterministic algorithm for weighted uniform metrics, which also essentially matches the recent doubly exponential lower bound for the problem.</p>\",\"PeriodicalId\":50922,\"journal\":{\"name\":\"ACM Transactions on Algorithms\",\"volume\":\"1 3\",\"pages\":\"\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2023-02-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM Transactions on Algorithms\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/https://dl.acm.org/doi/10.1145/3568677\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Transactions on Algorithms","FirstCategoryId":"94","ListUrlMain":"https://doi.org/https://dl.acm.org/doi/10.1145/3568677","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Competitive Algorithms for Generalized k-Server in Uniform Metrics
The generalized k-server problem is a far-reaching extension of the k-server problem with several applications. Here, each server si lies in its own metric space Mi. A request is a k-tuple r = (r1,r2,… ,rk, which is served by moving some server si to the point ri ∈ Mi, and the goal is to minimize the total distance traveled by the servers. Despite much work, no f(k)-competitive algorithm is known for the problem for k > 2 servers, even for special cases such as uniform metrics and lines.
Here, we consider the problem in uniform metrics and give the first f(k)-competitive algorithms for general k. In particular, we obtain deterministic and randomized algorithms with competitive ratio k · 2k and O(k3 log k), respectively. Our deterministic bound is based on a novel application of the polynomial method to online algorithms, and essentially matches the long-known lower bound of 2k-1. We also give a 22O(k)-competitive deterministic algorithm for weighted uniform metrics, which also essentially matches the recent doubly exponential lower bound for the problem.
期刊介绍:
ACM Transactions on Algorithms welcomes submissions of original research of the highest quality dealing with algorithms that are inherently discrete and finite, and having mathematical content in a natural way, either in the objective or in the analysis. Most welcome are new algorithms and data structures, new and improved analyses, and complexity results. Specific areas of computation covered by the journal include
combinatorial searches and objects;
counting;
discrete optimization and approximation;
randomization and quantum computation;
parallel and distributed computation;
algorithms for
graphs,
geometry,
arithmetic,
number theory,
strings;
on-line analysis;
cryptography;
coding;
data compression;
learning algorithms;
methods of algorithmic analysis;
discrete algorithms for application areas such as
biology,
economics,
game theory,
communication,
computer systems and architecture,
hardware design,
scientific computing