75 citations
- Université Paris CitéFR61 papers
- Centre National de la Recherche ScientifiqueFR33 papers
- Délégation Paris 7FR11 papers
- Institut national de recherche en sciences et technologies du numériqueFR10 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR8 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR5 papers
- École Normale Supérieure de LyonFR4 papers
- Sorbonne UniversitéFR4 papers
- Computer Algorithms for MedicineAT3 papers
- École PolytechniqueFR3 papers
- Laboratoire de Recherche en InformatiqueFR3 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR3 papers
7 papers · 1 filter
On fixed-polynomial size circuit lower bounds for uniform polynomials in the sense of Valiant
Hervé Fournier, Sylvain Perifel, Rémi de Verclos
Assuming the Generalised Riemann Hypothesis (GRH), we show that for all k, there exist polynomials with coefficients in $\MA$ having no arithmetic circuits of size O(n^k) over the…
2-Stack Sorting is polynomial
Adeline Pierrot, Dominique Rossin
In this article, we give a polynomial algorithm to decide whether a given permutation is sortable with two stacks in series. This is indeed a longstanding open problem which wa…
Randomness and lowness notions via open covers
Laurent Bienvenu, Joseph S. Miller
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R u…
2-stack pushall sortable permutations
Adeline Pierrot, Dominique Rossin
In the 60's, Knuth introduced stack-sorting and serial compositions of stacks. In particular, one significant question arise out of the work of Knuth: how to decide efficiently if…
Various improvements to text fingerprinting
Djamal Belazzougui, Roman Kolpakov, Mathieu Raffinot
Let s = s_1 .. s_n be a text (or sequence) on a finite alphabet Σof size σ. A fingerprint in s is the set of distinct characters appearing in one of its substrings. The problem con…
The axiomatic power of Kolmogorov complexity
Laurent Bienvenu, Andrei Romashchenko, Alexander Shen +2
The famous Gödel incompleteness theorem states that for every consistent sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements wo…