Information cost tradeoffs for augmented index and streaming language recognition (2010)
| Venue: | In Proc. IEEE Symposium on Foundations of Computer Science |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Chakrabarti10informationcost,
author = {Amit Chakrabarti and Graham Cormode and Ranganath Kondapally and Andrew Mcgregor},
title = {Information cost tradeoffs for augmented index and streaming language recognition},
booktitle = {In Proc. IEEE Symposium on Foundations of Computer Science},
year = {2010},
pages = {387--396}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper makes three main contributions to the theory of communication complexity and stream computation. First, we present new bounds on the information complexity of AUGMENTED-INDEX. In contrast to analogous results for INDEX by Jain, Radhakrishnan and Sen [J. ACM, 2009], we have to overcome the significant technical challenge that protocols for AUGMENTED-INDEX may violate the “rectangle property ” due to the inherent input sharing. Second, we use these bounds to resolve an open problem of Magniez, Mathieu and Nayak [STOC, 2010] that asked about the multi-pass complexity of recognizing Dyck languages. This results in a natural separation between the standard multi-pass model and the multi-pass model that permits reverse passes. Third, we present the first passive memory checkers that verify the interaction transcripts of priority queues, stacks, and double-ended queues. We obtain tight upper and lower bounds for these problems, thereby addressing an important sub-class of the memory checking framework of Blum et al. [Algorithmica, 1994].
