# Jeremy's publications

## Table of Contents

- 1. Introduction:
- 2. [IPL2014] "
*Maximum-weight planar boxes in O(n*" ISI cJournal ADAPTIVE GEOMETRY tTHEORY^{2}) time (and better) - 3. [ALGO2014] "
*Efficient Fully Compressed Sequence Representations*" ISI cJournal BIGDATA tTHEORY - 4. [TCS2013] "
*On Compressing Permutations and Adaptive Sorting*" ISI cJournal ADAPTIVE BIGDATA tTHEORY - 5. [IanFest2013] "
*From Time to Space: Fast Algorithms That Yield Small and Fast Data Structures*" tTHEORY BIGDATA ADAPTIVE tSURVEY cJournalProject cConference - 6. [ESA2013] "
*Theory and Implementation of Online Multiselection Algorithms*" tSIMUL tTHEORY ADAPTIVE cJournalProject cConference - 7. [IC2013] "
*Compact Binary Relation Representations with Rich Functionality*" ISI tSURVEY cJournal BIGDATA tTHEORY tSIMUL - 8. [CCCG2013] "
*Maximum-Weight Planar Boxes in O(n*" tTHEORY ADAPTIVE GEOMETRY cConference^{2}) Time (and Better) - 9. [BitsDeCiencias2013] "
*Chocolate Mousse y Algoritmos*" PEDAGOGY cPopular - 10. [ALGO2012] "
*Succinct Representation of Labeled Graphs*" ISI cJournal BIGDATA tTHEORY - 11. [TCS2012] "
*LRM-Trees Compressed Indices Adaptive Sorting and Compressed Permutations*" ISI cJournal ADAPTIVE BIGDATA tTHEORY - 12. [CCCG2012] "
*Adaptive Techniques to Find Optimal Planar Boxes*" tTHEORY GEOMETRY ADAPTIVE cConference - 13. [SIGACT2012] "
*Review of understanding and applying cryptography and data security by Adam J. Elbirt.*" CRYPTO cJournal - 14. [TALG2011] "
*Succinct indexes for strings, binary relations and multilabeled trees*" ISI cJournal BIGDATA tTHEORY - 15. [CPM2011] "
*LRM-Trees: Compressed Indices, Adaptive Sorting, and Compressed Permutations*" tTHEORY ADAPTIVE BIGDATA cConference - 16. [Chapter2010] "
*Randomized Complexity*" PEDAGOGY cChapter - 17. [ISAAC2010] "
*Alphabet Partitioning for Compressed Rank Select and Applications*" tTHEORY BIGDATA cConference - 18. [LATIN2010] "
*Compact Rich-Functional Binary Relation Representations*" tTHEORY BIGDATA cConference - 19. [JEA2009] "
*An Experimental Investigation of Set Intersection Algorithms for Text Searching*" tSIMUL ADAPTIVE cJournal - 20. [STACS2009] "
*Compressed Representations of Permutations and Applications*" tTHEORY ADAPTIVE BIGDATA cConference - 21. [SCCC2009] "
*Adaptive Algorithm for Threshold Path Subset Queries*" tTHEORY ADAPTIVE cConference - 22. [SCCC2009] "
*Efficient Algorithms for Context Query Evaluation over a Tagged Corpus*" tTHEORY ADAPTIVE cConference - 23. [FOCS2009] "
*Instance-Optimal Geometric Algorithms*" tTHEORY ADAPTIVE GEOMETRY cJournalProject cConference - 24. [TALG2008] "
*Alternation and Redundancy Analysis of the Intersection Problem*" tTHEORY ADAPTIVE cJournal - 25. [CCCG2008] "
*Convex Hull of the Union of Convex Objects in the Plane*" tTHEORY GEOMETRY ADAPTIVE cJournalProject cConference - 26. [EoA2008] "
*Succinct Encoding of Permutations: Applications to Text Indexing*" BIGDATA tSURVEY cChapter - 27. [TCS2007] "
*Adaptive Searching in Succinctly Encoded Binary Relations and Tree Structured Documents*" ISI cJournal ADAPTIVE BIGDATA tTHEORY - 28. [ISAAC2007] "
*Succinct Representation of Labeled Graphs*" tTHEORY BIGDATA cConference - 29. [SODA2007] "
*Succinct Indexes for Strings Binary Relations and Multi Labeled Trees*" tTHEORY BIGDATA cConference - 30. [CPM2006] "
*Adaptive Searching in Succinctly Encoded Binary Relations and Tree Structured Documents*" tTHEORY BIGDATA ADAPTIVE cConference - 31. [WEA2006] "
*Faster Adaptive Set Intersections for Text Searching*" tSIMUL ADAPTIVE cConference - 32. [TR2006a] "
*Adaptive Search Algorithm for Patterns in Succinctly Encoded XML*" tTHEORY ADAPTIVE cDraft - 33. [TR2006b] "
*Study of the Meiotic Recombination Hotspot Diffusion Paradox*" tSIMUL tTHEORY EVOLUTION cDraft - 34. [TR2006c] "
*Succinct Encoding for XPath Location Steps*" tTHEORY ADAPTIVE cDraft - 35. [Chapter2005] "
*Algorithmes Probabilistes*" PEDAGOGY cChapter - 36. [Havana2004] "
*On the Use of a Computer to Teach More and Better in a Collective Manner*" tSIMUL PEDAGOGY cConference - 37. [TR2004] "
*Index Trees for Descendant Tree Queries in the Comparison Model*" tTHEORY ADAPTIVE cDraft - 38. [ISAAC2003] "
*Deterministic Algorithm for the t-Threshold Set Problem*" tTHEORY ADAPTIVE cJournalProject cConference - 39. [SAGA2003] "
*Optimality Of Randomized Algorithms for the Intersection Problem*" tTHEORY ADAPTIVE cConference - 40. [PHD2002] "
*Analyse Fine Bornes Inferieures et Algorithmes de Calculs d'Intersection pour Moteurs de Recherche*" tTHEORY ADAPTIVE cThesis - 41. [SODA2002] "
*Adaptive Intersection and t-Threshold Problems*" tTHEORY ADAPTIVE cConference - 42. [SODA2001] "
*On the Discrete Bak Sneppen Model*" tSIMUL tTHEORY EVOLUTION cConference - 43. [ParisSud2000] "
*Les etudiants ont le sens du protocole*" tSIMUL cPopular - 44. [MASTER1998] "
*Capacités d'Adaptation des Algorithmes Génétiques*" tSIMUL EVOLUTION cThesis

## 1 Introduction:

This is the list of my publication by inversed chronological order, with various useful informations about it, from the bibtex entries to the structure of the article to help studying their content.

The ACM would like me to add that the documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

You can

- Download
- the same list in pdf, sorted by categories: listOfPublications-Barbay.pdf;
- all bibtex entries in a single bibtex file;

- Consult other sources such as Google Scholar, dblp, and Arxiv;
- Press
- "C" to access the lists by
- categories such as Thesis, Chapter in a book, publication in a journal issue, draft of publication in a journal issue, publication in the proceedings of a conference, Technical report or publication on Arxiv, article of popularisation; or
- research area such as Adaptive Analysis, Data Structures for large data, Cryptography, Evolution Theory, Computational Geometry, Pedagogy; or
- type of work such as theoretical work, and work based on implementations.

- "i" to return to the list of all publications;
- "?" for more commands.

- "C" to access the lists by

## 2 [IPL2014] "*Maximum-weight planar boxes in O(n*^{2}) time (and better)" ISI cJournal ADAPTIVE GEOMETRY tTHEORY

^{2}) time (and better)

- Authors
- Jérémy Barbay,
- Timothy M. Chan,
- Gonzalo Navarro,
- Pablo Pérez-Lantero

- Links:

- Grant

- Bibtex
@article{2014-IPL-MaximumWeightPlanarBoxesInON2TimeAndBetter-BarbayChanNavarroPerezLantero, author = {J{\'e}r{\'e}my Barbay and Timothy M. Chan and Gonzalo Navarro and Pablo P{\'e}rez-Lantero}, title = {Maximum-weight planar boxes in $O(n^2)$) time (and better)}, journal = {Information Processing Letters}, volume = {114}, number = {8}, year = {2014}, pages = {437-445}, ee = {http://dx.doi.org/10.1016/j.ipl.2014.03.007}, bibsource = {DBLP, http://dblp.uni-trier.de} }

- Highlights
- n points in the plane, each with a positive or negative weight, are considered.
- A maximum box is an axis-aligned rectangle covering the maximum weight sum.
- We find a maximum box in O(n
^{2}) time improving upon previous O(n^{2}log n) algorithms. - We provide adaptive algorithms improving the complexity on specific instances.
- We show extensions in higher dimensions and the relation with Klee's Measure problem.

- Keywords
Computational geometry; Maximum box; Divide–summarize-and-conquer; Adaptive algorithms; Klee's Measure problem

- Abstract
Given a set \(P\) of \(n\) points in \({R}^d\), where each point \(p\) of \(P\) is associated with a weight \(w(p)\) (positive or negative), the

`Maximum-Weight Box`

problem is to find an axis-aligned box \(B\) maximizing \(\sum_{p\in B\cap P}w(p)\).We describe algorithms for this problem in two dimensions that run in the worst case in \(O(n^2)\) time, and much less on more specific classes of instances. In particular, these results imply similar ones for the

`Maximum Bichromatic Discrepancy Box`

problem. These improve by a factor of \(\Theta(\lg n)\) on the previously known worst-case complexity for these problems, \(O(n^2\lg n)\) [Cortés et al., JALG 2009; Dobkin et al., JCSS 1996]. Although the \(O(n^2)\) result can be deduced from new results on`Klee's Measure`

problem [Chan, FOCS 2013], it is a more direct and simplified (non-trivial) solution.We exploit the connection with

`Klee's Measure`

problem to further show that- the
`Maximum-Weight Box`

problem can be solved in \(O(n^d)\) time for any constant \(d\ge 2\), improving the mentioned result of \(O(n^{2d-2}\lg n)\) [Cortés et al., JALG 2009]; - if the weights are integers bounded by \(O(1)\) in absolute values, or weights are \(+1\) and \(-\infty\) (as in the
`Maximum Bichromatic Discrepancy Box`

problem), the`Maximum-Weight Box`

problem can be solved in \(O((n^d/\lg^d n)(\lg\lg n)^{O(1)})\) time; - it is unlikely that the
`Maximum-Weight Box`

problem can be solved in less than \(n^{d/2}\) time (ignoring logarithmic factors) with current knowledge about`Klee's Measure`

problem.

- the
- Plan
- Introduction
- Related work
- Basic definitions
- Results
- Applications to other known problems
- Higher dimensions and lower bounds
- Outline

- Quadratic worst-case time algorithm
- \(\delta\)-sensitive analysis
- Cluster partition analysis
- Upper and lower bounds in \(d\) dimensions
- Connection to \pb{Klee's measure} and higher dimensions
- Polylogarithmic-factor speedups
- Problem complexity

- Introduction

## 3 [ALGO2014] "*Efficient Fully Compressed Sequence Representations*" ISI cJournal BIGDATA tTHEORY

- Authors

- Links

- Grants

- Short Description
- with Francisco Claude, Travis Gagie, Gonzalo Navarro and Yakov Nekrich,
- we introduced the first Compressed Index achieving space within o(n H
_{k}) + O(n) instead of merely within o(n lg σ): - previous indices were using space within o(n lg σ), which was sometime dominating the n H
_{k}bits used to encoded the compressed data.

- Bibtex
@article{2014-Algorithmica-EfficientFullyCompressedSequenceRepresentations-BarbayClaudeGagieNavarroNekrich, author = {J{\'e}r{\'e}my Barbay and Francisco Claude and Travis Gagie and Gonzalo Navarro and Yakov Nekrich}, title = {Efficient Fully-Compressed Sequence Representations}, journal = {Algorithmica}, volume = {69}, number = {1}, year = {2014}, pages = {232-268}, ee = {http://dx.doi.org/10.1007/s00453-012-9726-3}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 4 [TCS2013] "*On Compressing Permutations and Adaptive Sorting*" ISI cJournal ADAPTIVE BIGDATA tTHEORY

- Authors

- Links

- Short Description
- with Gonzalo Navarro,
- we connected formally the concepts of
- compression (of permutations) and
- adaptive algorithms (for sorting) in the comparison model, by

- showing that
- for various adaptive sorting algorithm (in the comparison model),
- there is a compressed data structure for permutations which supports the operators applying this permutation and its inverse in less time than required to decompress the permutation.

- Grants

- Bibtex
@article{2013-TCS-CompressedRepresentationsOfPermutationsAndApplications-BarbayNavarro, author = {J\'er\'emy Barbay and Gonzalo Navarro}, title = {On Compressing Permutations and Adaptive Sorting}, journal = {Theoretical Computer Science ({TCS})}, publisher = {ELSEVIER}, pages = {109-123}, volume = {513}, year = 2013, annote = {Keywords: Compression, Permutations, Succinct data structures, Adaptive sorting} }

- Citations
Barbay and Navarro \cite{2013-TCS-CompressedRepresentationsOfPermutationsAndApplications-BarbayNavarro} observed that each sorting algorithm in the comparison model yields an encoding for permutations, and that each adaptive sorting algorithm in particular yields a compressed encoding for permutations: this approach inspired several compressed data structures for permutations.

Barbay and Navarro \cite{2013-TCS-CompressedRepresentationsOfPermutationsAndApplications-BarbayNavarro} described various compressed data structures inspired from

*Wavelet Trees*, which use smaller space and support faster the operators on permutations which can be decomposed in a small number of sorted subsequences, either consecutive, non consecutive but always increasing or non consecutive but always monotone.Barbay and Navarro \cite{2013-TCS-CompressedRepresentationsOfPermutationsAndApplications-BarbayNavarro} observed that each sorting algorithm in the comparison model yields an encoding for permutations, and that each adaptive sorting algorithm in particular yields a compressed encoding for permutations. Focusing on divide and conquer adaptive sorting algorithms such as "Merge Sort", they described various compressed data structures for permutations taking advantage of sorted subsequences in the input.

## 5 [IanFest2013] "*From Time to Space: Fast Algorithms That Yield Small and Fast Data Structures*" tTHEORY BIGDATA ADAPTIVE tSURVEY cJournalProject cConference

- Authors
- Jérémy Barbay

- Links

- Abstract
In many cases, the relation between encoding space and execution time translates into combinatorial lower bounds on the computational complexity of algorithms in the comparison or external memory models. We describe a few cases which illustrate this relation in a distinct direction, where fast algorithms inspire compressed encodings or data structures. In particular, we describe the relation between searching in an ordered array and encoding integers; merging sets and encoding a sequence of symbols; and sorting and compressing permutations.

- Key words
- Adaptive (Analysis of) Algorithms
- Compressed Data Structures
- Permutation
- Set Union
- Sorting
- Unbounded Search

- Plan
- Introduction
- Adaptive Analysis
- Sorted Search
- Convex Hull
- Union of Sorted Sets
- Sorting
- Intersection and Threshold Set of Sorted Arrays
- Pattern Matching in Labeled Trees

- Encodings and Data Structures
- Integers
- Sets and Bit Vectors
- Ordinal Trees and Planar Graphs
- Permutations and Functions
- Strings
- Binary Relations
- Labeled Trees and Labeled Planar Graphs

- Fast Algorithms that yield Compression Schemes
- From Unbounded Search to Integer Compression
- From Merging Algorithms to Set and String Compression
- From Sorting Algorithms to Permutations Data Structures
- \({\cal H}(vRuns)\)-Adaptive Sorting and Compression:
- Strict-Runs-Adaptive Sorting and Compression:
- \({\cal H}(vSUS)\)-Adaptive Sorting and Compression:
- \({\cal H}(vLRM)\)-Adaptive Sorting and Compression:
- \(nRem\)-Adaptive Sorting and Compression:
- \(nInv\)-Adaptive Sorting and Compression:
- Other Adaptive Sorting and Compression:

- Selected Open Problems
- From Compression Schemes to Compressed Data Structures:
- From Compression Schemes to Adaptive Algorithms:
- Other Compressed Data Structures for Permutations:
- Sorting and Encoding Multisets:

- Bibtex
@inproceedings{2013-IanFest-FromTimeToSpace-Barbay, author = {J{\'e}r{\'e}my Barbay}, title = {From Time to Space: Fast Algorithms That Yield Small and Fast Data Structures}, booktitle = ianfest, year = {2013}, pages = {97-111}, ee = {http://dx.doi.org/10.1007/978-3-642-40273-9_8}, crossref = {DBLP:conf/birthday/2013munro}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/birthday/2013munro, editor = {Andrej Brodnik and Alejandro L{\'o}pez-Ortiz and Venkatesh Raman and Alfredo Viola}, title = {Space-Efficient Data Structures, Streams, and Algorithms - Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday}, booktitle = {Space-Efficient Data Structures, Streams, and Algorithms}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8066}, year = {2013}, isbn = {978-3-642-40272-2}, ee = {http://dx.doi.org/10.1007/978-3-642-40273-9}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 6 [ESA2013] "*Theory and Implementation of Online Multiselection Algorithms*" tSIMUL tTHEORY ADAPTIVE cJournalProject cConference

- Authors
- Jérémy Barbay, Ankur Gupta, Seungbum Jo, Srinivasa Rao, Jonathan Sorenson

- Links

- Grants

- Bibtex
@inproceedings{2013-ESA-OnlineRankSelect-BarbayGuptaJoRaoSorenson, author = {J\'er\'emy Barbay AND Ankur Gupta AND Seungbum Jo AND S. Srinivasa Rao AND Jonathan Sorenson }, title = {Theory and Implementation of Online Multiselection Algorithms}, booktitle = esa, year = 2013, abstract = {We introduce a new online algorithm for the /multiselection problem/ which performs a sequence of selection queries on a given unsorted array. We show that our online algorithm is 1-competitive in terms of data comparisons. In particular, we match the bounds (up to lower order terms) from the optimal offline algorithm proposed by Kaligosi et al. [ICALP 2005]. We provide experimental results comparing online and offline algorithms. These experiments show that our online algorithms require fewer comparisons than the best-known offline algorithms. Interestingly, our experiments suggest that our optimal online algorithm (when used to sort the array) requires fewer comparisons than both quicksort and mergesort.}

- Abstract
We introduce a new online algorithm for the

*multiselection problem*which performs a sequence of selection queries on a given unsorted array. We show that our online algorithm is 1-competitive in terms of data comparisons. In particular, we match the bounds (up to lower order terms) from the optimal offline algorithm proposed by Kaligosi et al. [ICALP 2005].We provide experimental results comparing online and offline algorithms. These experiments show that our online algorithms require fewer comparisons than the best-known offline algorithms. Interestingly, our experiments suggest that our optimal online algorithm (when used to sort the array) requires fewer comparisons than both quicksort and mergesort.

- Authors
- Jérémy Barbay
- Ankur Gupta
- Seungbum Jo
- S. Srinivasa Rao
- Jonathan Sorenson

- Keywords
- Deferred Data Structure
- Sorting
- Quickselect
- Multiselect
- rank
- select

- Plan
- Introduction
- Motivation.
- Previous Work.
- Our Results.
- Preliminaries.
- Outline.

- A Simple Online Algorithm
- Bitvector.
- Selection.
- Terminology
- Query and Pivot Sets.
- Pivot Tree and Recursion Depth.
- Intervals.
- Gaps.

- Analysis of the Simple Algorithm

- Optimal Online Multiselection
- Algorithm Description
- Merging
- Pivot Finding and Partitioning

- Experimental Results
- Experimental Setup
- Results

- Introduction
- Notes:
The authors discovered later that Motwani and Raghavan \cite{1986-SoCG-DeferredDataStructuringQueryDrivenPreprocessingForGeometricSearchProblems-MotwaniRaghavan} had already explored this topic in 1986, under the distinct name of ``Deferred Data Structures''. The 1986's resuls are weaker than those of 2013, due to a weaker analysis model, yet the range of applications considered in the 1986's publication is wider and includes data structures for set of planar points supporing queries on the \textsc{convex hulls} in the online model.

## 7 [IC2013] "*Compact Binary Relation Representations with Rich Functionality*" ISI tSURVEY cJournal BIGDATA tTHEORY tSIMUL

- Authors
- Jérémy Barbay, Francisco Claude, Gonzalo Navarro

- Links

- Grants

- Short Description
- with Francisco Claude and Gonzalo Navarro,
- we unified the various Compressed Data Structures for Binary Relations previously known
- into a single common theoretical interface, and explored in practice various implementation alternatives.

- Bibtex
@article{2013-IC-CompactBinaryRelationRepresentationsWithRichFunctionality-BarbayClaudeNavarro, AUTHOR = "J. Barbay and F. Claude and G. Navarro", TITLE = "Compact Binary Relation Representations with Rich Functionality", JOURNAL = "Information and Computation", PUBLISHER = "Elsevier", YEAR = 2013, VOLUME = 232, PAGES = "19--37" }

## 8 [CCCG2013] "*Maximum-Weight Planar Boxes in O(n*^{2}) Time (and Better)" tTHEORY ADAPTIVE GEOMETRY cConference

^{2}) Time (and Better)

- Authors
- Jérémy Barbay, Timothy M. Chan, Gonzalo Navarro, Pablo Pérez-Lantero

- Links

- Grants

- Bibtex
@inproceedings{2013-CCCG-MaximumWeightPlanarBoxesInON2TimeAndBetter-BarbayChanNavarroPerezLantero, author = {J{\'e}r{\'e}my Barbay and Timothy M. Chan and Gonzalo Navarro and Pablo P{\'e}rez-Lantero}, title = {Maximum-Weight Planar Boxes in O(n$^{\mbox{2}}$) Time (and Better)}, booktitle = {CCCG}, year = {2013}, ee = {http://cccg.ca/proceedings/2013/papers/paper_3.pdf}, crossref = {DBLP:conf/cccg/2013}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/cccg/2013, title = {Proceedings of the 25th Canadian Conference on Computational Geometry, CCCG 2013, Waterloo, Ontario, Canada, August 8-10, 2013}, booktitle = {CCCG}, publisher = {Carleton University, Ottawa, Canada}, year = {2013}, ee = {http://cccg.ca/proceedings/2013/}, bibsource = {DBLP, http://dblp.uni-trier.de} }

- Keywords
Computational geometry; Maximum box; Divide–summarize-and-conquer; Adaptive algorithms; Klee's Measure problem

- Abstract
Given a set \(P\) of \(n\) points in \({R}^d\), where each point \(p\) of \(P\) is associated with a weight \(w(p)\) (positive or negative), the

`Maximum-Weight Box`

problem is to find an axis-aligned box \(B\) maximizing \(\sum_{p\in B\cap P}w(p)\).We describe algorithms for this problem in two dimensions that run in the worst case in \(O(n^2)\) time, and much less on more specific classes of instances. In particular, these results imply similar ones for the

`Maximum Bichromatic Discrepancy Box`

problem. These improve by a factor of \(\Theta(\lg n)\) on the previously known worst-case complexity for these problems, \(O(n^2\lg n)\) [Cortés et al., JALG 2009; Dobkin et al., JCSS 1996]. Although the \(O(n^2)\) result can be deduced from new results on`Klee's Measure`

problem [Chan, FOCS 2013], it is a more direct and simplified (non-trivial) solution.We exploit the connection with

`Klee's Measure`

problem to further show that- the
`Maximum-Weight Box`

problem can be solved in \(O(n^d)\) time for any constant \(d\ge 2\), improving the mentioned result of \(O(n^{2d-2}\lg n)\) [Cortés et al., JALG 2009]; - if the weights are integers bounded by \(O(1)\) in absolute values, or weights are \(+1\) and \(-\infty\) (as in the
`Maximum Bichromatic Discrepancy Box`

problem), the`Maximum-Weight Box`

problem can be solved in \(O((n^d/\lg^d n)(\lg\lg n)^{O(1)})\) time; - it is unlikely that the
`Maximum-Weight Box`

problem can be solved in less than \(n^{d/2}\) time (ignoring logarithmic factors) with current knowledge about`Klee's Measure`

problem.

- the
- Plan
- Introduction
- Related work
- Basic definitions
- Results
- Applications to other known problems
- Outline

- Quadratic worst-case time algorithm
- \(\delta\)-sensitive analysis
- Cluster partition analysis
- Discussion
- Connection to Klee's measure problem and higher dimensions
- Polylogarithmic-factor speedups and applications

- Perspectives
- Potential Lower bounds
- Generalization to higher dimensions

- Introduction

## 9 [BitsDeCiencias2013] "*Chocolate Mousse y Algoritmos*" PEDAGOGY cPopular

- Authors
- Jérémy Barbay

- Links

## 10 [ALGO2012] "*Succinct Representation of Labeled Graphs*" ISI cJournal BIGDATA tTHEORY

- Authors
- Jérémy Barbay, Castelli, Aleardi, He, Ian J. Munro

- Links

- Grants

- Bibtex
@article{2012-Algoritmica-SuccinctRepresentationOfLabeledGraphs-BarbayCastelliAleardiHeMunro, author = {J\'er\'emy Barbay and Luca Castelli Aleardi and Meng He and J. Ian Munro}, title = {Succinct Representation of Labeled Graphs}, journal = {Algorithmica}, pages = {224-257}, volume = {62(1-2)}, year = 2012, abstract = {In many applications, properties of an object being modeled are stored as labels on vertices or edges of a graph. In this paper, we consider succinct representation of labeled graphs. Our main results are the succinct representations of labeled and multi-labeled graphs (we consider vertex labeled planar triangulations, as well as edge labeled planar graphs and the more general k-book embedded graphs) to support various label queries efficiently. The additional space cost to store the labels is essentially the information-theoretic minimum. As far as we know, our representations are the first succinct representations of labeled graphs. We also have two preliminary results to achieve the main results. First, we design a succinct representation of unlabeled planar triangulations to support the rank/select of edges in ccw (counter clockwise) order in addition to the other operations supported in previous work. Second, we design a succinct representation for a k-book embedded graph when k is large to support various navigational operations more efficiently. In particular, we can test the adjacency of two vertices in O(lg(k)lg(lg(k))) time, while previous work uses O(k) time.} }

## 11 [TCS2012] "*LRM-Trees Compressed Indices Adaptive Sorting and Compressed Permutations*" ISI cJournal ADAPTIVE BIGDATA tTHEORY

- Authors
- Jérémy Barbay, Johannes Fischer, Gonzalo Navarro

- Links

- Grants

- Abstract:
LRM-Trees are an elegant way to partition a sequence of values into sorted consecutive blocks, and to express the relative position of the first element of each block within a previous block. They were used to encode ordinal trees and to index integer arrays in order to support range minimum queries on them. We describe how they yield many other convenient results in a variety of areas: compressed succinct indices for range minimum queries on partially sorted arrays; a new adaptive sorting algorithm; and a compressed succinct data structure for permutations supporting direct and inverse application in time inversely proportional to the permutation's compressibility.

- Authors:
- Jérémy Barbay,
- Johannes Fischer
- Gonzalo Navarro

- Bibtex
@article{2012-TCS-LRMTreesCompressedIndicesAdaptiveSortingAndCompressedPermutations-BarbayFischerNavarro, author = {J{\'e}r{\'e}my Barbay and Johannes Fischer and Gonzalo Navarro}, title = {{LRM}-Trees: Compressed indices, adaptive sorting, and compressed permutations}, journal = {{ELSEVIER} Theoretical Computer Science ({TCS})}, volume = 459, year = 2012, pages = {26-41}, ee = {http://dx.doi.org/10.1016/j.tcs.2012.08.010}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 12 [CCCG2012] "*Adaptive Techniques to Find Optimal Planar Boxes*" tTHEORY GEOMETRY ADAPTIVE cConference

- Description for Humans
Adaptive Techniques to find Optimal Planar Boxes, Jeremy Barbay, Gonzalo Navarro and Pablo Perez-Lantero, Annual Canadian Conference on Computational Geometry (CCCG) 2012

- Authors
- Jérémy Barbay, Gonzalo Navarro, Pablo Perez-Lantero

- Links

- Grants

- Bibtex
@inproceedings{2012-CCCG-AdaptiveTechniquesToFindOptimalPlanarBoxes-BarbayNavarroPerezLantero, author = {J{\'e}r{\'e}my Barbay and Gonzalo Navarro and Pablo P{\'e}rez-Lantero}, title = {Adaptive Techniques to find Optimal Planar Boxes}, booktitle = {CCCG}, year = {2012}, pages = {71-76}, ee = {http://2012.cccg.ca/papers/paper2.pdf}, crossref = {DBLP:conf/cccg/2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/cccg/2012, title = {Proceedings of the 24th Canadian Conference on Computational Geometry, CCCG 2012, Charlottetown, Prince Edward Island, Canada, August 8-10, 2012}, booktitle = {CCCG}, year = 2012, ee = {http://2012.cccg.ca/papers.html}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 13 [SIGACT2012] "*Review of understanding and applying cryptography and data security by Adam J. Elbirt.*" CRYPTO cJournal

- Authors
- Jérémy Barbay

- Bibtex
@article{2012-SIGACT-ReviewOfUnderstandingAndApplyingCryptographyAndDataSecurity-Barbay, author = {J{\'e}r{\'e}my Barbay}, title = {Review of understanding and applying cryptography and data security by Adam J. Elbirt}, journal = {SIGACT News}, volume = {43}, number = {1}, year = {2012}, pages = {18-21}, ee = {http://doi.acm.org/10.1145/2160649.2160655}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 14 [TALG2011] "*Succinct indexes for strings, binary relations and multilabeled trees*" ISI cJournal BIGDATA tTHEORY

- Authors

- Links

- Short Description
- with Meng He, Ian J. Munro, and Srinivasa Rao,
- we introduced formally the concept of
**Succinct Indexes**: - some succinct data structures previously introduced were indexes without claiming it, nor the advantages of indexes such as
- their modularity (two succinct indexes supporting distinct operators can be combined into a single succinct index which supports the union of their operator sets, which is not necessarily true of two succinct data structures) or
- their applications to generate compressed data structures.

- Grants

- Bibtex
@article{2011-TALG-SuccinctIndexesForStringsBinaryRelationsAndMultiLabeledTrees-BarbayHeMundroSatti, author = {J{\'e}r{\'e}my Barbay and Meng He and J. Ian Munro and Srinivasa Rao Satti}, title = {Succinct indexes for strings, binary relations and multilabeled trees}, journal = {ACM Transactions on Algorithms}, volume = {7}, number = {4}, year = {2011}, pages = {52}, ee = {http://doi.acm.org/10.1145/2000807.2000820}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 15 [CPM2011] "*LRM-Trees: Compressed Indices, Adaptive Sorting, and Compressed Permutations*" tTHEORY ADAPTIVE BIGDATA cConference

- Authors
- Jérémy Barbay, Johannes Fischer, Gonzalo Navarro

- Links
- Publications/2011-CPM-LRMTrees-BarbayFischerNavarro.pdf
- Journal Version: TCS2012

- Grants

- Abstract:
LRM-Trees are an elegant way to partition a sequence of values into sorted consecutive blocks, and to express the relative position of the first element of each block within a previous block. They were used to encode ordinal trees and to index integer arrays in order to support range minimum queries on them. We describe how they yield many other convenient results in a variety of areas: compressed succinct indices for range minimum queries on partially sorted arrays; a new adaptive sorting algorithm; and a compressed succinct data structure for permutations supporting direct and inverse application in time inversely proportional to the permutation's compressibility.

- Authors:
- Jérémy Barbay,
- Johannes Fischer
- Gonzalo Navarro

- Bibtex
@inproceedings{2011-CPM-LRMTrees-BarbayFischerNavarro, author = {J{\'e}r{\'e}my Barbay and Johannes Fischer and Gonzalo Navarro}, title = {{LRM}-Trees: Compressed Indices, Adaptive Sorting, and Compressed Permutations}, booktitle = cpm, year = {2011}, pages = {285-298}, ee = {http://dx.doi.org/10.1007/978-3-642-21458-5_25}, crossref = {DBLP:conf/cpm/2011}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/cpm/2011, editor = {Raffaele Giancarlo and Giovanni Manzini}, title = {Combinatorial Pattern Matching - 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011. Proceedings}, booktitle = {CPM}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6661}, year = {2011}, isbn = {978-3-642-21457-8}, ee = {http://dx.doi.org/10.1007/978-3-642-21458-5}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 16 [Chapter2010] "*Randomized Complexity*" PEDAGOGY cChapter

- Authors
- Jérémy Barbay

- Links
- Publications/2010-BookConceptsOfCombinatorialOptimization-ChapterTwoRandomizedComplexity-Barbay.pdf
- Original Version in French: Chapter2005

- Bibtex
@InBook{2010-Chapter-RandomizedComplexity-Barbay, author = {J{\'e}r{\'e}my Barbay}, title = {Randomized Complexity}, chapter = {2}, publisher = {Wiley}, year = 2010, volume = 1, month = {August}, pages = {21-38}, note = {ISBN: 978-1-84821-147-6} } @book{2010-Book-ConceptsofCombinatorialOptimzation-Paschos, title={Concepts of Combinatorial Optimization}, author={Vangelis Th Paschos}, isbn={9781848211476}, lccn={2010018423}, series={Combinatorial Optimization}, url={http://books.google.cl/books?id=0fMgngEACAAJ}, year={2010}, publisher={Wiley} }

## 17 [ISAAC2010] "*Alphabet Partitioning for Compressed Rank Select and Applications*" tTHEORY BIGDATA cConference

- Authors
- Jérémy Barbay, Travis Gagie, Gonzalo Navarro, Yakov Nekrich

- Links

- Bibtex
@inproceedings{2010-ISAAC-AlphabetPartitioningForCompressedRankSelectAndApplications-BarbayGagieNavarroNekrich, author = {J{\'e}r{\'e}my Barbay and Travis Gagie and Gonzalo Navarro and Yakov Nekrich}, title = {Alphabet Partitioning for Compressed Rank/Select and Applications}, booktitle = isaac, year = {2010}, pages = {315-326}, ee = {http://dx.doi.org/10.1007/978-3-642-17514-5_27}, crossref = {DBLP:conf/isaac/2010-2}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/isaac/2010-2, editor = {Otfried Cheong and Kyung-Yong Chwa and Kunsoo Park}, title = {Algorithms and Computation - 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part II}, booktitle = {ISAAC (2)}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)}, volume = {6507}, year = {2010}, isbn = {978-3-642-17513-8}, ee = {http://dx.doi.org/10.1007/978-3-642-17514-5}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 18 [LATIN2010] "*Compact Rich-Functional Binary Relation Representations*" tTHEORY BIGDATA cConference

- Authors
- Jérémy Barbay, Francisco Claude, Gonzalo Navarro

- Links

- Bibtex
@inproceedings{2010-LATIN-CompactRichFunctionalBinaryRelationRepresentations-BarbayClaudeNavarro, author = {J{\'e}r{\'e}my Barbay and Francisco Claude and Gonzalo Navarro}, title = {Compact Rich-Functional Binary Relation Representations}, booktitle = latin, year = {2010}, pages = {170-183}, ee = {http://dx.doi.org/10.1007/978-3-642-12200-2_17}, crossref = {DBLP:conf/latin/2010}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/latin/2010, editor = {Alejandro L{\'o}pez-Ortiz}, title = {LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6034}, year = {2010}, isbn = {978-3-642-12199-9}, ee = {http://dx.doi.org/10.1007/978-3-642-12200-2}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 19 [JEA2009] "*An Experimental Investigation of Set Intersection Algorithms for Text Searching*" tSIMUL ADAPTIVE cJournal

- Authors
- Jérémy Barbay, Lopez, Ortiz, Lu, Salinger

- Links

- Bibtex
@article{2009-JEA-AnExperimentalInvestigationOfSetIntersectionAlgorithmsForTextSearching-BarbayLopezOrtizLuSalinger, author = {J{\'e}r{\'e}my Barbay and Alejandro L{\'o}pez-Ortiz and Tyler Lu and Alejandro Salinger}, title = {An experimental investigation of set intersection algorithms for text searching}, journal = jea, volume = {14}, year = {2009}, ee = {http://doi.acm.org/10.1145/1498698.1564507}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 20 [STACS2009] "*Compressed Representations of Permutations and Applications*" tTHEORY ADAPTIVE BIGDATA cConference

- Authors
- Jérémy Barbay, Gonzalo Navarro

- Links

- Bibtex
@inproceedings{2009-STACS-CompressedRepresentationsOfPermutationsAndApplications-BarbayNavarro, author = {J{\'e}r{\'e}my Barbay and Gonzalo Navarro}, title = {Compressed Representations of Permutations, and Applications}, booktitle = stacs, year = {2009}, pages = {111-122}, ee = {http://dx.doi.org/10.4230/LIPIcs.STACS.2009.1814}, crossref = {DBLP:conf/stacs/2009}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/stacs/2009, editor = {Susanne Albers and Jean-Yves Marion}, title = {26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings}, booktitle = {STACS}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, series = {LIPIcs}, volume = {3}, year = {2009}, isbn = {978-3-939897-09-5}, ee = {http://stacs2009.informatik.uni-freiburg.de/proceedings.php}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 21 [SCCC2009] "*Adaptive Algorithm for Threshold Path Subset Queries*" tTHEORY ADAPTIVE cConference

- Authors
- Jérémy Barbay, Aleh Veraskouski

- Links

- Bibtex
@inproceedings{2009-SCCC-AdaptiveAlgorithmsForThresholdPathSubsetQueries-BarbayVeraskouski, author = {J{\'e}r{\'e}my Barbay and Aleh Veraskouski}, title = {Adaptive Algorithm for Threshold Path Subset Queries}, booktitle = sccc, year = {2009}, pages = {3-10}, ee = {http://doi.ieeecomputersociety.org/10.1109/SCCC.2009.17}, crossref = {DBLP:conf/sccc/2009}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/sccc/2009, editor = {Marcelo Arenas and Benjamin Bustos}, title = {2009 International Conference of the Chilean Computer Science Society, SCCC 2009, Santiago, Chile, November 10-12, 2009}, booktitle = {SCCC}, publisher = {IEEE Computer Society}, year = {2009}, isbn = {978-0-7695-4137-2}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 22 [SCCC2009] "*Efficient Algorithms for Context Query Evaluation over a Tagged Corpus*" tTHEORY ADAPTIVE cConference

- Authors
- Jérémy Barbay, Alex L

- Links

- Bibtex
@inproceedings{2009-SCCC-EfficientAlgorithmsForContextQueryEvaluationOverATaggedCorpus-BarbayLopezOrtiz, author = {J{\'e}r{\'e}my Barbay and Alex L{\'o}pez-Ortiz}, title = {Efficient Algorithms for Context Query Evaluation over a Tagged Corpus}, booktitle = sccc, year = {2009}, pages = {11-17}, ee = {http://doi.ieeecomputersociety.org/10.1109/SCCC.2009.16}, crossref = {DBLP:conf/sccc/2009}, bibsource = {DBLP, http://dblp.uni-trier.de} }

## 23 [FOCS2009] "*Instance-Optimal Geometric Algorithms*" tTHEORY ADAPTIVE GEOMETRY cJournalProject cConference

- Authors

- Links

- Short Description
- with Peyman Afshani and Timothy Chan,
- we gave the first applications of (input order oblivious)
**Instance Optimality**to**Computational Geometry**, a fundamental result which generalize to many other problems in computational geometry. - (The concept of Instance Optimality had been previously introduced by Fagin et al. on queries to databases.)

- Abstract
We prove the existence of an algorithm A for computing 2-d or 3-d convex hulls that is optimal for every point set in the following sense: for every set S of n points and for every algorithm A' in a certain class C, the maximum running time of A on input s

_{1,…,s}_{n}is at most a constant factor times the maximum running time of A' on s_{1,…,s}_{n}, where the maximum is taken over all permutations s_{1,…,s}_{n}of S.In fact, we can establish a stronger property: for every S and A', the maximum running time of A is at most a constant factor times the average running time of A' over all permutations of S. We call algorithms satisfying these properties instance-optimal in the order-oblivious and random-order setting. Such instance-optimal algorithms simultaneously subsume output-sensitive algorithms and distribution-dependent average-case algorithms, and all algorithms that do not take advantage of the order of the input or that assume the input is given in a random order. The class C under consideration consists of all algorithms in a decision tree model where the tests involve only multilinear functions with a constant number of arguments.

To establish an instance-specific lower bound, we deviate from traditional Ben-Or-style proofs and adopt an interesting adversary argument. For 2-d convex hulls, we prove that a version of the well known algorithm by Kirkpatrick and Seidel (1986) or Chan, Snoeyink, and Yap (1995) already attains this lower bound. For 3-d convex hulls, we propose a new algorithm.

To demonstrate the potential of the concept, we further obtain instance-optimal results for a few other standard problems in computational geometry, such as maxima in 2-d and 3-d, orthogonal line segment intersection in 2-d, finding bichromatic L

_{∞}-close pairs in 2-d, off-line orthogonal range searching in 2-d, off-line dominance reporting in 2-d and 3-d, off-line halfspace range reporting in 2-d and 3-d, and off-line point location in 2-d. - Bibtex
@inproceedings{2009-FOCS-InstanceOptimalGeometricAlgorithms-AfshaniBarbayChan, author = {Peyman Afshani and J{\'e}r{\'e}my Barbay and Timothy M. Chan}, title = {Instance-Optimal Geometric Algorithms}, booktitle = focs, year = {2009}, pages = {129-138}, ee = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2009.34}, crossref = {DBLP:conf/focs/2009}, bibsource = {DBLP, http://dblp.uni-trier.de}, address = {}, abstract = {We prove the existence of an algorithm A for computing 2-d or 3-d convex hulls that is optimal for every point set in the following sense: for every set S of n points and for every algorithm A' in a certain class C, the maximum running time of A on input s_1,...,s_n is at most a constant factor times the maximum running time of A' on s_1,...,s_n, where the maximum is taken over all permutations s_1,...,s_n of S. In fact, we can establish a stronger property: for every S and A', the maximum running time of A is at most a constant factor times the average running time of A' over all permutations of S. We call algorithms satisfying these properties instance-optimal in the order-oblivious and random-order setting. Such instance-optimal algorithms simultaneously subsume output-sensitive algorithms and distribution-dependent average-case algorithms, and all algorithms that do not take advantage of the order of the input or that assume the input is given in a random order. The class C under consideration consists of all algorithms in a decision tree model where the tests involve only multilinear functions with a constant number of arguments. To establish an instance-specific lower bound, we deviate from traditional Ben-Or-style proofs and adopt an interesting adversary argument. For 2-d convex hulls, we prove that a version of the well known algorithm by Kirkpatrick and Seidel (1986) or Chan, Snoeyink, and Yap (1995) already attains this lower bound. For 3-d convex hulls, we propose a new algorithm. To demonstrate the potential of the concept, we further obtain instance-optimal results for a few other standard problems in computational geometry, such as maxima in 2-d and 3-d, orthogonal line segment intersection in 2-d, finding bichromatic L_\infty-close pairs in 2-d, off-line orthogonal range searching in 2-d, off-line dominance reporting in 2-d and 3-d, off-line halfspace range reporting in 2-d and 3-d, and off-line point location in 2-d. } } @proceedings{DBLP:conf/focs/2009, title = {50th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2009, October 25-27, 2009, Atlanta, Georgia, USA}, booktitle = {FOCS}, publisher = {IEEE Computer Society}, year = {2009}, isbn = {978-0-7695-3850-1}, bibsource = {DBLP, http://dblp.uni-trier.de} }

In collaboration with Peyman Afshani and Timothy Chan, we proved the existence of an algorithm \(A\) for computing 2-d or 3-d convex hulls that is optimal for

*every point set*in the following sense: for every sequence \(S\) of \(n\) points and for every algorithm \(A'\) in a certain class \(A\), the maximum running time of \(A\) on input \(S\) is at most a constant factor times the running time of \(A'\) on the worst possible permutation of \(S\) for \(A'\). In fact, we can establish a stronger property: for every sequence \(S\) of points and every algorithm \(A'\), the maximum running time of algorithm \(A\) is at most a constant factor times the average running time of \(A'\) over all permutations of \(S\). We call algorithms satisfying these properties*instance-optimal*in the*order-oblivious*and*random-order*setting. Such instance-optimal algorithms simultaneously subsume output-sensitive algorithms and distribution-dependent average-case algorithms, and all algorithms that do not take advantage of the order of the input or that assume the input is given in a random order.The class \(A\) under consideration consists of all algorithms in a decision tree model where the tests involve only

*multilinear*functions with a constant number of arguments. To establish an instance-specific lower bound, we deviate from traditional Ben–Or-style proofs and adopt an interesting adversary argument. For 2-d convex hulls, we prove that a version of the well known algorithm by Kirkpatrick and Seidel (1986) or Chan, Snoeyink, and Yap (1995) already attains this lower bound. For 3-d convex hulls, we propose a new algorithm.We further obtain instance-optimal results for a few other standard problems in computational geometry, such as maxima in 2-d and 3-d, orthogonal line segment intersection in 2-d, finding bichromatic \(L_\infty\)-close pairs in 2-d, off-line orthogonal range searching in 2-d, off-line dominance reporting in 2-d and 3-d, off-line halfspace range reporting in 2-d and 3-d, and off-line point location in 2-d.

## 24 [TALG2008] "*Alternation and Redundancy Analysis of the Intersection Problem*" tTHEORY ADAPTIVE cJournal

- Authors
- Jérémy Barbay, Claire Kenyon-Mathieu

- Links

- Bibtex
@article{2008-TALG-AlternationAndRedundancyAnalysisOfTheIntersectionProblem-BarbayKenyon, author = {Barbay, J{\'e}r{\'e}my and Kenyon, Claire}, title = {Alternation and redundancy analysis of the intersection problem}, issue_date = {March 2008}, volume = {4}, number = {1}, month = mar, year = {2008}, issn = {1549-6325}, pages = {4:1--4:18}, articleno = {4}, numpages = {18}, url = {http://doi.acm.org/10.1145/1328911.1328915}, doi = {10.1145/1328911.1328915}, acmid = {1328915}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Adaptive analysis, alternation analysis, intersection, intersection of sorted arrays, randomized algorithm, redundancy analysis}, journal = {ACM Transactions on Algorithms ({TALG})}, keywords = {randomized algorithm, intersection of sorted arrays, alternation and redundancy adaptive analysis}, abstract = {The intersection of sorted arrays problem has applications in search engines such as Google. Previous work propose and compare deterministic algorithms for this problem, in an adaptive analysis based on the encoding size of a certificate of the result (cost analysis). We define the alternation analysis, based on the non-deterministic complexity of an instance. In this analysis we prove that there is a deterministic algorithm asymptotically performing as well as any randomized algorithm in the comparison model. We define the redundancy analysis, based on a measure of the internal redundancy of the instance. In this analysis we prove that any algorithm optimal in the redundancy analysis is optimal in the alternation analysis, but that there is a randomized algorithm which performs strictly better than any deterministic algorithm in the comparison model. Finally, we describe how those results can be extended beyond the comparison model. } }

## 25 [CCCG2008] "*Convex Hull of the Union of Convex Objects in the Plane*" tTHEORY GEOMETRY ADAPTIVE cJournalProject cConference

- Authors
- Jérémy Barbay, Eric Y. Chen

- Links

- Bibtex
@inproceedings{2008-CCCG-ConvexHullOfTheUnionOfConvexObjectsInThePlane-BarbayChen, author = {J{\'e}r{\'e}my Barbay and Eric Y. Chen}, title = {Convex Hull of the Union of Convex Objects in the Plane: an Adaptive Analysis}, booktitle = cccg, year = {2008}, crossref = {DBLP:conf/cccg/2008}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/cccg/2008, title = {Proceedings of the 20th Annual Canadian Conference on Computational Geometry, Montr{\'e}al, Canada, August 13-15, 2008}, booktitle = {CCCG}, year = {2008}, bibsource = {DBLP, http://dblp.uni-trier.de} }

- Abstract
An adaptive algorithm is one which performance can be expressed more precisely than as a mere function of the size of the input: output-sensitive algorithms are a special case of adaptive algorithms. We consider the computation of the convex hull of a set of convex hulls, for instance in the case where the set of points has been composed from simpler objects from a library, for each of which the convex hull has been precomputed. We show that in this context an adaptive algorithm performs better if it takes advantage of other features than the size of the output.

## 26 [EoA2008] "*Succinct Encoding of Permutations: Applications to Text Indexing*" BIGDATA tSURVEY cChapter

- Authors
- Jérémy Barbay, J. Ian Munro

- Links

- Erratas:
- Page 3, line 18, "(e.g. \(f^5(9)=f^3(9)=3\))" should be replaced by "(e.g. \(f^5(9)=f^2(3)=3\))"

- Bibtex
@incollection{2008-EoA-SuccinctEncodingOfPermutationsApplicationsToTextIndexing-BarbayMunro, author = {J{\'e}r{\'e}my Barbay and J. Ian Munro}, title = {Succinct Encoding of Permutations: Applications to Text Indexing}, booktitle = eoa, pages = {915-919}, year = {2008}, ee = {http://dx.doi.org/10.1007/978-0-387-30162-4_411}, crossref = {DBLP:reference/algo/2008}, bibsource = {DBLP, http://dblp.uni-trier.de} } @book{DBLP:reference/algo/2008, editor = {Ming-Yang Kao}, title = {Encyclopedia of Algorithms}, publisher = {Springer}, year = {2008}, isbn = {978-0-387-30162-4}, bibsource = {DBLP, http://dblp.uni-trier.de} }

- Title
Succinct Encoding of Permutations and its Applications to Text Indexing (2003; Munro, Raman, Raman, Rao)

- Authors
Jérémy Barbay (University of Waterloo), J. Ian Munro (University of Waterloo).

- Index Terms
Succinct Data Structures, Permutations, Functions, Text Strings, Binary Relations

- Plan
- PROBLEM DEFINITION
- KEY RESULTS
- APPLICATIONS
- Functions
- Text Strings
- Binary Relations

- OPEN PROBLEMS
- EXPERIMENTAL RESULTS
- DATA SETS
- URL to CODE
- CROSS REFERENCES
- RECOMMENDED READING

## 27 [TCS2007] "*Adaptive Searching in Succinctly Encoded Binary Relations and Tree Structured Documents*" ISI cJournal ADAPTIVE BIGDATA tTHEORY

- Authors
- Jérémy Barbay, Alexander Golynski, Ian J. Munro, Srinivasa Rao

- Links

- Bibtex
@article{2007-TCS-AdaptiveSearchingInSuccinctlyEncodedBinaryRelationsAndTreeStructuredDocuments-BarbayGolynskiMunroRao, author = {J{\'e}r{\'e}my Barbay and Alexander Golynski and J. Ian Munro and S. Srinivasa Rao}, title = {Adaptive Searching in Succinctly Encoded Binary Relations and Tree-Structured Documents}, journal = {{ELSEVIER} Theoretical Computer Science ({TCS})}, year = 2007, key = {TCS6592}, month = {October}, abstract = { The methods most heavily used by search engines to answer conjunctive queries on binary relations (such as one associating keywords with web pages) are based on computing the intersection of postings lists stored as sorted arrays and using variants of binary search. We show that a succinct representation of the binary relation permits much better results, while using less space than traditional methods. We apply our results not only to conjunctive queries on binary relations, but also to queries on semi-structured documents such as XML documents or file-system indexes, using a variant of an adaptive algorithm used to solve conjunctive queries on binary relations. } }

## 28 [ISAAC2007] "*Succinct Representation of Labeled Graphs*" tTHEORY BIGDATA cConference

- Authors
- Jérémy Barbay, Luca Castelli-Aleardi, Meng He, Ian J. Munro

- Links

- Grants

- Bibtex
@inproceedings{2007-ISAAC-SuccinctRepresentationOfLabeledGraphs-BarbayCastelliAleardiHeMunro, author = {J\'er\'emy Barbay and Luca Castelli Aleardi and Meng He and J. Ian Munro}, title = {Succinct Representation of Labeled Graphs}, booktitle = isaac, pages = {575-584}, publisher = {Springer}, series = {Lecture Notes in Computer Science ({LNCS})}, volume = 2906, year = 2007, abstract = {In many applications, properties of an object being modeled are stored as labels on vertices or edges of a graph. In this paper, we consider succinct representation of labeled graphs. Our main results are the succinct representations of labeled and multi-labeled graphs (we consider vertex labeled planar triangulations, as well as edge labeled planar graphs and the more general k-book embedded graphs) to support various label queries efficiently. The additional space cost to store the labels is essentially the information-theoretic minimum. As far as we know, our representations are the first succinct representations of labeled graphs. We also have two preliminary results to achieve the main results. First, we design a succinct representation of unlabeled planar triangulations to support the rank/select of edges in ccw (counter clockwise) order in addition to the other operations supported in previous work. Second, we design a succinct representation for a k-book embedded graph when k is large to support various navigational operations more efficiently. In particular, we can test the adjacency of two vertices in O(lg(k)lg(lg(k))) time, while previous work uses O(k) time.} }

## 29 [SODA2007] "*Succinct Indexes for Strings Binary Relations and Multi Labeled Trees*" tTHEORY BIGDATA cConference

- Authors
- Jérémy Barbay, Meng He, Ian J. Munro, Srinivasa Rao

- Links

- Bibtex
@inproceedings{2007-SODA-SuccinctIndexesForStringsBinaryRelationsAndMultiLabeledTrees-BarbayHeMunroRao, author = {J{\'e}r{\'e}my Barbay and Meng He and J. Ian Munro and S. Srinivasa Rao}, title = {Succinct Indexes for Strings, Binary Relations and Multi-Labeled Trees}, booktitle = soda, pages = {680--689}, DISABLEDorganization = {ACM-SIAM}, publisher = {ACM}, year = {2007}, postscript = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/sisabr_soda.ps}, pdf = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/sisabr_soda.pdf}, abstract = {We define and design succinct indexes for several abstract data types (ADTs). The concept is to design auxiliary data structures called succinct indexes that occupy asymptotically less space than the information-theoretic lower bound on the space required to encode the given data, and support an extended set of operations using the basic operators defined in the ADT. As opposed to succinct encodings, The main advantage of succinct indexes is that we make assumptions only on the ADT through which the main data is accessed, rather than the way in which the data is encoded. This allows more freedom in the encoding of the main data. In this paper, we present succinct indexes for various data types, namely strings, binary relations and multi-labeled trees. Given the support for the interface of the ADTs of these data types, we can support various useful operations efficiently by constructing succinct indexes for them. When the operators in the ADTs are supported in constant time, our results are comparable to previous results, while allowing more flexibility in the encoding of the given data. Using our techniques, we design the first succinct encoding that represents a string of length $n$ over alphabet $[\sigma]$ using $nH_k+o(n\log\sigma)$ bits that support access / rank / select operations in $o((\log\log \sigma)^3)$ time. We also design the first succinct text index using $nH_k+o(n\log\sigma)$ bits that supports pattern matching queries in $O(m\log\log\sigma + occ\log^{1+\epsilon}n\log\log\sigma)$ time, for a given pattern of length $m$. Previous results on these two problems either have a $\log\sigma$ factor instead of $\log\log\sigma$ in terms of running time, or are not compressible, but our results do not have such problems. More results are reported in the paper. } }

## 30 [CPM2006] "*Adaptive Searching in Succinctly Encoded Binary Relations and Tree Structured Documents*" tTHEORY BIGDATA ADAPTIVE cConference

- Authors
- Jérémy Barbay, Alexander Golynski, Ian J. Munro, Srinivasa Rao

- Links

- Bibtex
@inproceedings{2006-CPM-AdaptiveSearchingInSuccinctlyEncodedBinaryRelationsAndTreeStructuredDocuments-BarbayGolynskiMunroRao, author = {J{\'e}r{\'e}my Barbay and Alexander Golynski and J. Ian Munro and S. Srinivasa Rao}, title = {Adaptive Searching in Succinctly Encoded Binary Relations and Tree-Structured Documents}, booktitle = cpm, year = 2006, pages = {24-35}, series = {Lecture Notes in Computer Science ({LNCS})}, volume = 4009, publisher = {Springer-Verlag}, postscript = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/multiLabeledStringsAndTrees.ps}, pdf = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/multiLabeledStringsAndTrees.pdf}, note = {(Later extended in \cite{2007-TCS-AdaptiveSearchingInSuccinctlyEncodedBinaryRelationsAndTreeStructuredDocuments-BarbayGolynskiMunroRao})}, abstract = { The methods most heavily used by search engines to answer conjunctive queries on binary relations (such as one associating keywords with web pages) are based on computing the intersection of inverted lists stored as sorted arrays and using variants of binary search. We show that a succinct representation of the binary relation permits much better results, while using less space than traditional methods. We apply our results not only to conjunctive queries on binary relations, but also to queries on semi-structured documents such as XML documents or file-system indexes, using a variant of an adaptive algorithm used to solve conjunctive queries on binary relations.} }

## 31 [WEA2006] "*Faster Adaptive Set Intersections for Text Searching*" tSIMUL ADAPTIVE cConference

- Authors
- Jérémy Barbay, Alez Lopez-Ortiz, Tyler Lu

- Links

- Bibtex
@inproceedings{2006-WEA-FasterAdaptiveSetIntersectionsForTextSearching-BarbayLopezOrtizLu, author = {J{\'e}r{\'e}my Barbay and Alejandro L{\'o}pez-Ortiz and Tyler Lu}, title = {Faster Adaptive Set Intersections for Text Searching}, booktitle = wea, pages = {146--157}, year = 2006, DISABLEeditor = {Carme Alvarez, Maria Serma }, volume = 4007, series = {Lecture Notes in Computer Science ({LNCS})}, publisher = {Springer Berlin / Heidelberg}, postscript = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/wea06.ps}, pdf = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/wea06.pdf}, abstract = { The intersection of large ordered sets is a common problem in the context of the evaluation of boolean queries to a search engine. In this paper we engineer a better algorithm for this task, which improves over those proposed by Demaine, Ian J. Munro and L२pez-Ortiz [SODA 2000/ALENEX 2001], by using a variant of interpolation search. More specifically, our contributions are threefold. First, we coroborate and complete the practical study from Demaine et al. on comparison based intersection algorithms. Second, we show that in practice replacing Binary Search and galloping search by a simple interpolation search improves the performance of each main intersection algorithms. Third, we introduce and test variants of interpolation search: this results in an even better intersection algorithm.} }

## 32 [TR2006a] "*Adaptive Search Algorithm for Patterns in Succinctly Encoded XML*" tTHEORY ADAPTIVE cDraft

- Authors
- Jérémy Barbay

- Bibtex
@techreport{2006-TR-AdaptiveSearchAlgorithmForPatternsInSuccinctlyEncodedXML-Barbay, author = {J\'er\'emy Barbay}, title = {Adaptive Search Algorithm for Patterns, in Succinctly Encoded {XML}}, institution = {University of Waterloo, Ontario, Canada}, year = 2006, key = {CS-2006-11}, number = {CS-2006-11} }

## 33 [TR2006b] "*Study of the Meiotic Recombination Hotspot Diffusion Paradox*" tSIMUL tTHEORY EVOLUTION cDraft

- Authors
- Jérémy Barbay

- Bibtex
@techreport{2006-TR-StudyOfTheMeioticRecombinationHotspotDiffusionParadox-Barbay, author = {J{\'e}r{\'e}my Barbay}, title = {Study of the Meiotic Recombination Hotspot Diffusion Paradox}, institution = {University of Waterloo}, year = 2006, key = {CS-2006-38, } }

## 34 [TR2006c] "*Succinct Encoding for XPath Location Steps*" tTHEORY ADAPTIVE cDraft

- Authors
- Jérémy Barbay, Srinivasa Rao

- Bibtex
@techreport{2006-TR-SuccinctEncodingForXPathLocationSteps-BarbayRao, author = {J\'er\'emy Barbay and Srinivasa Rao}, title = {Succinct Encoding for {XPath} Location Steps }, institution = {University of Waterloo, Ontario, Canada}, year = 2006, key = {CS-2006-10}, number = {CS-2006-10} }

## 35 [Chapter2005] "*Algorithmes Probabilistes*" PEDAGOGY cChapter

- Authors
- Jérémy Barbay

- Links
- Version in English: Chapter2010

- Bibtex
@incollection{2005-Chapter-AlgorithmesProbabilistes-Barbay, author = {J़{\'e}r{\'e}़my Barbay}, title = {Algorithmes Probabilistes}, booktitle = {Optimisation Combinatoire : Concepts Fondamentaux}, publisher = {Herm\`es}, year = 2005, pages = {21-38}, editor = {Vangelis Th. Paschos}, chapter = 2, address = {Paris} }

## 36 [Havana2004] "*On the Use of a Computer to Teach More and Better in a Collective Manner*" tSIMUL PEDAGOGY cConference

- Authors
- Jérémy Barbay

- Links

- Bibtex
@inproceedings{2004-Havana-onTheUseOfAComputerToTeachMoreAndBetterInACollectiveManner-Barbay, author = {J{\'e}r{\'e}my Barbay}, title = {On the Use of a Computer, to Teach More and Better, in a Collective Manner}, booktitle = {X International Convention of Computer Sciences of Havana (INFORMATICA 2004)}, year = 2004, OPTmonth = {May}, pdf = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Preprints/informatica2004.pdf}, abstract = {The use of computers to help teaching overcomes a fast development. One of the main objectives is to teach isolated people who can't join regular university courses. We show in this paper that computers can be used to efficiently teach in a classroom without the need of modern and expenseive equipement for students. The paper is divided in two parts: in the first part we expose the principles, results and evaluation of two experiments performed in parallel during the teaching of a one-term fourth year undergrad course. In the second part we expose how those two techniques can be extended in a single more general technique, by using XML to define and manipulate a general purpose database of solved problems; and how such a database can be built in a dynamic and collective way.} }

## 37 [TR2004] "*Index Trees for Descendant Tree Queries in the Comparison Model*" tTHEORY ADAPTIVE cDraft

- Authors
- Jérémy Barbay

- Bibtex
@techreport{2004-TR-IndexTreesForDescendantTreeQueriesInTheComparisonModel-Barbay, author = {J\'er\'emy Barbay}, title = {Index-Trees for Descendant Tree Queries in the Comparison Model}, institution = {University of British Columbia}, year = {2004}, key = {XML, Index, Fine Analysis, Alternation}, number = {TR-2004-11}, month = {July}, }

## 38 [ISAAC2003] "*Deterministic Algorithm for the t-Threshold Set Problem*" tTHEORY ADAPTIVE cJournalProject cConference

- Authors
- Jérémy Barbay, Claire Kenyon-Mathieu

- Links

- Grants

- Bibtex
@inproceedings{2003-ISAAC-DeterministicAlgorithmForTheTThresholdSetProblem-BarbayKenyon, author = {J{\'e}r{\'e}my Barbay and Claire Kenyon}, title = {Deterministic Algorithm for the t-Threshold Set Problem.}, booktitle = isaac, pages = {575-584}, publisher = {Springer}, series = {Lecture Notes in Computer Science ({LNCS})}, volume = 2906, year = 2003, ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2906{\&}spage=575}, bibsource = {DBLP, http://dblp.uni-trier.de}, abstract = { Given k sorted arrays, the t-Threshold problem, which is motivated by indexed search engines, consists of finding the elements which are present in at least t of the arrays. We present a new deterministic algorithm for it and prove that, asymptotically in the sizes of the arrays, it is optimal in the alternation model used to study adaptive algorithms. We define the Opt-Threshold problem as finding the smallest non empty $t$-threshold set, which is equivalent to find the largest t such that the t-threshold set is non empty, and propose a naive algorithm to solve it.} }

## 39 [SAGA2003] "*Optimality Of Randomized Algorithms for the Intersection Problem*" tTHEORY ADAPTIVE cConference

- Authors
- Jérémy Barbay

- Links

- Bibtex
@inproceedings{2003-SAGA-OptimalityOfRandomizedAlgorithmsForTheIntersectionProblem-Barbay, author = {J{\'e}r{\'e}my Barbay}, title = {Optimality of Randomized Algorithms for the Intersection Problem}, booktitle = saga, pages = {26--38}, year = 2003, editor = {Andreas Albrecht }, volume = 2827, month = {November}, series = {Lecture Notes in Computer Science {(LNCS)}}, publisher = {Springer}, note = {(Later extended in \cite{2008-TALG-AlternationAndRedundancyAnalysisOfTheIntersectionProblem-BarbayKenyon})}, annote = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2827&spage=26}, postscript = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/redundancy_saga.ps}, pdf = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/redundancy_saga.pdf}, abstract = { The "Intersection of sorted arrays" problem has applications in indexed search engines such as Google. Previous works propose and compare deterministic algorithms for this problem, and offer lower bounds on the randomized complexity in different models (cost model, alternation model). We refine the alternation model into the redundancy model to prove that randomized algorithms perform better than deterministic ones on the intersection problem. We present a randomized and simplified version of a previous algorithm, optimal in this model.} }

## 40 [PHD2002] "*Analyse Fine Bornes Inferieures et Algorithmes de Calculs d'Intersection pour Moteurs de Recherche*" tTHEORY ADAPTIVE cThesis

- Authors
- Jérémy Barbay

- Links

- Authors
- Jérémy Barbay, Claire Kenyon-Mathieu

@phdthesis{2002-PhDThesis-AnalyseFineBornesInferieuresEtAlgorithmesDeCalculsDIntersectionPourMoteursDeRecherche-Barbay, author = {J{\'e}r{\'e}my Barbay}, title = {Analyse fine: bornes inf{\'e}rieures et algorithmes de calculs d'intersection pour moteurs de recherche }, school = {Universit{\'e} Paris-Sud}, year = 2002, address = {Laboratoire de Recherche en Informatique}, month = {Septembre}, } #+END

_{SRC}

## 41 [SODA2002] "*Adaptive Intersection and t-Threshold Problems*" tTHEORY ADAPTIVE cConference

- Authors
- Jérémy Barbay, Claire Kenyon-Mathieu

- Links

- Bibtex
@inproceedings{2002-SODA-AdaptiveIntersectionAndTThresholdProblems-BarbayKenyon, author = {J{\'e}r{\'e}my Barbay and Claire Kenyon}, title = {Adaptive Intersection and t-Threshold Problems}, booktitle = soda, key = {Adaptive Algorithms, Random Lower Bounds}, pages = {390--399}, year = 2002, month = {January}, publisher = {Society for Industrial and Applied Mathematics (SIAM)}, abstract = {Consider the problem of computing the intersection of k sorted sets. In the comparison model, we prove a new lower bound which depends on the non-deterministic complexity of the instance, and implies that the algorithm of Demaine, L२pez-Ortiz and Munro is usually optimal in this ``adaptive'' sense. We extend the lower bound and the algorithm to the t-Threshold Problem, which consists in finding the elements which are in at least t of the k sets. These problems are motivated by boolean queries in text database systems.} }

## 42 [SODA2001] "*On the Discrete Bak Sneppen Model*" tSIMUL tTHEORY EVOLUTION cConference

- Authors
- Jérémy Barbay, Claire Kenyon-Mathieu

- Links

- Bibtex
@inproceedings{2001-SODA-OnTheDiscreteBakSneppenModel-BarbayKenyon, author = {J{\'e}r{\'e}my Barbay and Claire Kenyon}, title = {On the Discrete {Bak-Sneppen} Model}, booktitle = soda, key = {Self Organized Criticality, {Bak Sneppen}, Percolation}, pages = {928--931}, year = 2001, month = {January}, organization = {ACM-SIAM}, publisher = {ACM}, postscript = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/evol.ps}, pdf = {http://www.cs.uwaterloo.ca/~jbarbay/Recherche/Publishing/Publications/evol.pdf}, abstract = { We propose a discrete variant of the {Bak-Sneppen} model for self-organized criticality. In this process, a configuration is an n-bit word, and at each step one chooses a random bit of minimum value (usually a zero) and replaces it and its two neighbors by independent Bernoulli variables with parameter p. We prove bounds on the average number of ones in the stationary distribution and present experimental results.} }

## 43 [ParisSud2000] "*Les etudiants ont le sens du protocole*" tSIMUL cPopular

- Authors
- Jérémy Barbay

- Links
*2000-ParisSud-FFSS-Barbay.pdf*

## 44 [MASTER1998] "*Capacités d'Adaptation des Algorithmes Génétiques*" tSIMUL EVOLUTION cThesis

- Authors
- Jérémy Barbay

- Bibtex
@mastersthesis{1998-MasterThesis-CapacitesDAdaptationDesAlgorithmesGenetiques-Barbay, author = {J\'er\'emy Barbay}, title = {Capacit\'es d'adaptation des Algorithmes G\'en\'etiques}, school = {Universit\'e Paris-Sud, France}, year = {1998}, month = {Aout}, note = {Sous la direction d'Antoine Cornu\'ejols et d'Yves Kodratoff}, annote = {Int\'eressant seulement {\`a} titre d'exemple.}, postscript = {http://www.lri.fr/~jeremy/bib/1998/rapport_stage.ps.gz} }