Balancing straight-line programs

M Ganardi, A Jeż, M Lohrey - Journal of the ACM (JACM), 2021 - dl.acm.org
We show that a context-free grammar of size that produces a single string of length (such a
grammar is also called a string straight-line program) can be transformed in linear time into a …

XML tree structure compression using RePair

M Lohrey, S Maneth, R Mennicke - Information Systems, 2013 - Elsevier
XML tree structures can conveniently be represented using ordered unranked trees. Due to
the repetitiveness of XML markup these trees can be compressed effectively using dictionary …

Tree compression with top trees revisited

L Hübschle-Schneider, R Raman - … , SEA 2015, Paris, France, June 29 …, 2015 - Springer
We revisit tree compression with top trees (Bille et al.[2]), and present several improvements
to the compressor and its analysis. By significantly reducing the amount of information stored …

[HTML][HTML] Approximation of smallest linear tree grammar

A Jeż, M Lohrey - Information and Computation, 2016 - Elsevier
A simple linear-time algorithm for constructing a linear context-free tree grammar of size O (r
g+ rg log⁡(n/rg)) for a given input tree T of size n is presented, where g is the size of a …

Identifying possible winners in ranked choice voting elections with outstanding ballots

A Jelvani, A Marian - Proceedings of the AAAI Conference on Human …, 2022 - ojs.aaai.org
Several election districts in the US have recently moved to ranked-choice voting (RCV) to
decide the results of local elections. RCV allows voters to rank their choices, and the results …

[HTML][HTML] Constructing small tree grammars and small circuits for formulas

M Ganardi, D Hucke, A Jeż, M Lohrey… - Journal of Computer and …, 2017 - Elsevier
It is shown that every tree of size n over a fixed set of σ different ranked symbols can be
produced by a so called straight-line linear context-free tree grammar of size O (n log σ⁡ n) …

Computing quartet distance is equivalent to counting 4-cycles

B Dudek, P Gawrychowski - Proceedings of the 51st Annual ACM …, 2019 - dl.acm.org
The quartet distance is a measure of similarity used to compare two unrooted phylogenetic
trees on the same set of n leaves, defined as the number of subsets of four leaves related by …

[HTML][HTML] Compressed range minimum queries

P Gawrychowski, S Jo, S Mozes, O Weimann - Theoretical Computer …, 2020 - Elsevier
Given a string S of n integers in [0, σ), a range minimum query RMQ (i, j) asks for the index of
the smallest integer in S [i… j]. It is well known that the problem can be solved with a succinct …

Slowing down top trees for better worst-case compression

B Dudek, P Gawrychowski - 29th Annual Symposium on …, 2018 - drops.dagstuhl.de
We consider the top tree compression scheme introduced by Bille et al.[ICALP 2013] and
construct an infinite family of trees on n nodes labeled from an alphabet of size sigma, for …

A universal tree balancing theorem

M Ganardi, M Lohrey - ACM Transactions on Computation Theory (TOCT …, 2018 - dl.acm.org
We present a general framework for balancing expressions (terms) in the form of so-called
tree straight-line programs. The latter can be seen as circuits over the free term algebra …