Compression of Partially Ordered Strings

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Theory
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Chaudhuri, Swarat
Etessami, Kousha
Guha, Sudipto
Yannakakis, Mihalis
Contributor
Abstract

We introduce the problem of compressing partially ordered strings: given string σ ∈ Σ* and a binary independence relation I over Σ how can we compactly represent an input if the decompressor is allowed to reconstruct any string that can be obtained from σ by repeatedly swapping adjacent independent symbols? Such partially ordered strings are also known as Mazurkiewicz traces, and naturally model executions of concurrent programs. Compression techniques have been applied with much success to sequential program traces not only to store them compactly but to discover important profiling patterns within them. For compression to achieve similar aims for concurrent program traces we should exploit the extra freedom provided by the independence relation. Many popular string comrpession schemes are grammar-based schemes that produce a small context-free grammar generating uniquely the given string. We consider three classes of strategies for compression of partially-ordered strings: (i) we adapt grammar-based schemes by rewriting the input string σ into an "equivalent" one before applying grammar-based string compression, (ii) we present the input by a collection of projections before applying (i) to each projection, and (iii) we combine (i) and (ii) with relabeling of symbols. We present some natural algorithms for each of these strategies, and present some experimental evidence that the extra freedom does enable extra compression. We also prove that a strategy of projecting the string onto each pair of dependent symbols can indeed lead to exponentially more succinct representations compared with only rewriting, and is within a factor of |Σ|2 of the optimal strategy for combining projections with rewriting.

Advisor
Date of presentation
2005-06-08
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:30:49.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postprint version. Published in Lecture Notes in Computer Science, Proceedings of the 14th International Conference on Concurrency Theory 2003 (CONCUR 2003), Volume 2761, pages 42-56. Publisher URL: http://dx.doi.org/10.1007/b11938
Postprint version. Published in Lecture Notes in Computer Science, Volume 2761, Concurrency Theory, 2003, pages 42-56. Publisher URL: http://dx.doi.org/10.1007/b11938
Recommended citation
Collection