New techniques and tighter bounds for local computation algorithms
Given an input x and a search problem F, local computation algorithms (LCAs) implement access to specified locations of y in a legal output y∈F(x), using polylogarithmic time and space. Parnas and Ron [27] and Mansour et al. [19] showed how to convert certain distributed and online algorithms to LCA...
Saved in:
| Published in: | Journal of computer and system sciences Vol. 82; no. 7; pp. 1180 - 1200 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Inc
01.11.2016
|
| Subjects: | |
| ISSN: | 0022-0000, 1090-2724 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Given an input x and a search problem F, local computation algorithms (LCAs) implement access to specified locations of y in a legal output y∈F(x), using polylogarithmic time and space. Parnas and Ron [27] and Mansour et al. [19] showed how to convert certain distributed and online algorithms to LCAs, respectively. In this work, we expand on those lines of work and develop new techniques for designing LCAs and bounding their space and time complexity.
•We introduce d-light graphs, a new family that includes graphs of constant bounded degree and Erdos–Renyi graphs.•We develop new techniques for bounding the time and space requirements of LCAs.•We use these techniques to develop algorithms for a large family of problems on d-light graphs.•For example, we construct an LCA that requires O(lognloglogn) space and O(log2n) time for MIS.•We show that the above LCA requires O(loglogn) time and O(logn) space in expectation. |
|---|---|
| Bibliography: | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| ISSN: | 0022-0000 1090-2724 |
| DOI: | 10.1016/j.jcss.2016.05.007 |