Showing 1–10 of 10 results for author: Rossin, D

An algorithm computing combinatorial specifications of permutation classes

Authors: Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Carine Pivoteau, Dominique Rossin

Abstract: This article presents a methodology that automatically derives a combinatorial specification for a permutation class C, given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations. The obtained specification yields a system of equations satisf… ▽ More This article presents a methodology that automatically derives a combinatorial specification for a permutation class C, given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations. The obtained specification yields a system of equations satisfied by the generating function of C, this system being always positive and algebraic. It also yields a uniform random sampler of permutations in C. The method presented is fully algorithmic. △ Less

Submitted 31 October, 2016; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: Version 2, incorporating suggestions of anonymous referees

An algorithm for deciding the finiteness of the number of simple permutations in permutation classes

Authors: Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin

Abstract: In this article, we describe an algorithm to determine whether a permutation class C given by a finite basis B of excluded patterns contains a finite number of simple permutations. This is a continuation of the work initiated in [Brignall, Ruskuc, Vatter, Simple permutations: decidability and unavoidable substructures, 2008], and shares several aspects with it. Like in this article, the main diffi… ▽ More In this article, we describe an algorithm to determine whether a permutation class C given by a finite basis B of excluded patterns contains a finite number of simple permutations. This is a continuation of the work initiated in [Brignall, Ruskuc, Vatter, Simple permutations: decidability and unavoidable substructures, 2008], and shares several aspects with it. Like in this article, the main difficulty is to decide whether C contains a finite number of proper pin-permutations, and this decision problem is solved using automata theory. Moreover, we use an encoding of proper pin-permutations by words over a finite alphabet, introduced by Brignall et al. However, unlike in their article, our construction of automata is fully algorithmic and efficient. It is based on the study of pin-permutations in [Bassino, Bouvel, Rossin, Enumeration of pin-permutations, 2011]. The complexity of the overall algorithm is O(n log n + s^{2k}) where n denotes the sum of the sizes of permutations in the basis B, s is the maximal size of a pin-permutation in B and k is the number of pin-permutations in B. △ Less

Submitted 8 December, 2014; v1 submitted 8 July, 2013; originally announced July 2013.

Comments: Correction of a few minor typos

MSC Class: 05A05; 68R05; 05-04

2-Stack Sorting is polynomial

Authors: Adeline Pierrot, Dominique Rossin

Abstract: 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 was first introduced by Knuth. He introduced the stack sorting problem as well as permutation patterns which arises naturally when characterizing permutations that can be sorted with one stack. When several stacks in serie… ▽ More 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 was first introduced by Knuth. He introduced the stack sorting problem as well as permutation patterns which arises naturally when characterizing permutations that can be sorted with one stack. When several stacks in series are considered, few results are known. There are two main different problems. The first one is the complexity of deciding if a permutation is sortable or not, the second one being the characterization and the enumeration of those sortable permutations. We hereby prove that the first problem lies in P by giving a polynomial algorithm to solve it. This article strongly relies on a previous article in which 2-stack pushall sorting is defined and studied. △ Less

Submitted 10 April, 2013; originally announced April 2013.

Comments: 23 pages

2-stack pushall sortable permutations

Authors: Adeline Pierrot, Dominique Rossin

Abstract: 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 a given permutation is sortable with 2 stacks in series? Whether this problem is polynomial or NP-complete is still unanswered yet. In this article we introduce 2-stack pushall permutations which form a subclass of 2-sta… ▽ More 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 a given permutation is sortable with 2 stacks in series? Whether this problem is polynomial or NP-complete is still unanswered yet. In this article we introduce 2-stack pushall permutations which form a subclass of 2-stack sortable permutations and show that these two classes are closely related. Moreover, we give an optimal O(n^2) algorithm to decide if a given permutation of size n is 2-stack pushall sortable and describe all its sortings. This result is a step to the solve the general 2-stack sorting problem in polynomial time. △ Less

Submitted 18 March, 2013; originally announced March 2013.

Comments: 41 pages

Average-case analysis of perfect sorting by reversals (Journal Version)

Authors: Mathilde Bouvel, Cedric Chauve, Marni Mishna, Dominique Rossin

Abstract: Perfect sorting by reversals, a problem originating in computational genomics, is the process of sorting a signed permutation to either the identity or to the reversed identity permutation, by a sequence of reversals that do not break any common interval. Bérard et al. (2007) make use of strong interval trees to describe an algorithm for sorting signed permutations by reversals. Combinatorial prop… ▽ More Perfect sorting by reversals, a problem originating in computational genomics, is the process of sorting a signed permutation to either the identity or to the reversed identity permutation, by a sequence of reversals that do not break any common interval. Bérard et al. (2007) make use of strong interval trees to describe an algorithm for sorting signed permutations by reversals. Combinatorial properties of this family of trees are essential to the algorithm analysis. Here, we use the expected value of certain tree parameters to prove that the average run-time of the algorithm is at worst, polynomial, and additionally, for sufficiently long permutations, the sorting algorithm runs in polynomial time with probability one. Furthermore, our analysis of the subclass of commuting scenarios yields precise results on the average length of a reversal, and the average number of reversals. △ Less

Submitted 4 January, 2012; originally announced January 2012.

Comments: A preliminary version of this work appeared in the proceedings of Combinatorial Pattern Matching (CPM) 2009. See arXiv:0901.2847; Discrete Mathematics, Algorithms and Applications, vol. 3(3), 2011

MSC Class: 05A05; 05A16; 05C90; 05C05

Deciding the finiteness of the number of simple permutations contained in a wreath-closed class is polynomial

Authors: Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin

Abstract: We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall, Ruskuc and Vatter which presents a decision procedure (of high complexity) for solving this question, without the assumption that Av(B) is wreath-closed. Using co… ▽ More We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall, Ruskuc and Vatter which presents a decision procedure (of high complexity) for solving this question, without the assumption that Av(B) is wreath-closed. Using combinatorial, algorithmic and language theoretic arguments together with one of our previous results on pin-permutations, we are able to transform the problem into a co-finiteness problem in a complete deterministic automaton. △ Less

Submitted 4 March, 2011; v1 submitted 20 February, 2010; originally announced February 2010.

Journal ref: Pure Mathematics and Applications 21, 2 (2010) 119-135

Average-case analysis of perfect sorting by reversals

Authors: Mathilde Bouvel, Cedric Chauve, Marni Mishna, Dominique Rossin

Abstract: A sequence of reversals that takes a signed permutation to the identity is perfect if at no step a common interval is broken. Determining a parsimonious perfect sequence of reversals that sorts a signed permutation is NP-hard. Here we show that, despite this worst-case analysis, with probability one, sorting can be done in polynomial time. Further, we find asymptotic expressions for the average… ▽ More A sequence of reversals that takes a signed permutation to the identity is perfect if at no step a common interval is broken. Determining a parsimonious perfect sequence of reversals that sorts a signed permutation is NP-hard. Here we show that, despite this worst-case analysis, with probability one, sorting can be done in polynomial time. Further, we find asymptotic expressions for the average length and number of reversals in commuting permutations, an interesting sub-class of signed permutations. △ Less

Submitted 19 January, 2009; originally announced January 2009.

MSC Class: 05A05; 05A16; 05C90; 05C05

Journal ref: CPM'09, Lille : France (2009)

Longest Common Separable Pattern between Permutations

Authors: Mathilde Bouvel, Dominique Rossin, Stephane Vialette

Abstract: In this article, we study the problem of finding the longest common separable pattern between several permutations. We give a polynomial-time algorithm when the number of input permutations is fixed and show that the problem is NP-hard for an arbitrary number of input permutations even if these permutations are separable. On the other hand, we show that the NP-hard problem of finding the longest… ▽ More In this article, we study the problem of finding the longest common separable pattern between several permutations. We give a polynomial-time algorithm when the number of input permutations is fixed and show that the problem is NP-hard for an arbitrary number of input permutations even if these permutations are separable. On the other hand, we show that the NP-hard problem of finding the longest common pattern between two permutations cannot be approximated better than within a ratio of $sqrt{Opt}$ (where $Opt$ is the size of an optimal solution) when taking common patterns belonging to pattern-avoiding classes of permutations. △ Less

Submitted 5 February, 2007; originally announced February 2007.

Comments: 15 pages

MSC Class: 05A05 - 05C12 - 05C85 - 05C05- 90C39

Journal ref: Combinatorial Pattern Matching (CPM) 2007 (2007) 00

Longest Common Pattern between two Permutations

Authors: Dominique Rossin, Mathilde Bouvel

Abstract: In this paper, we give a polynomial (O(n^8)) algorithm for finding a longest common pattern between two permutations of size n given that one is separable. We also give an algorithm for general permutations whose complexity depends on the length of the longest simple permutation involved in one of our permutations. In this paper, we give a polynomial (O(n^8)) algorithm for finding a longest common pattern between two permutations of size n given that one is separable. We also give an algorithm for general permutations whose complexity depends on the length of the longest simple permutation involved in one of our permutations. △ Less

Submitted 22 November, 2006; originally announced November 2006.

MSC Class: 05A05; 05C12; 05C85; 05C05; 90C39

Journal ref: Algebr. Geom. Topol. 7 (2007) 829-843

Edit Distance between Unlabeled Ordered Trees

Authors: Anne Micheli, Dominique Rossin

Abstract: There exists a bijection between one stack sortable permutations --permutations which avoid the pattern 231-- and planar trees. We define an edit distance between permutations which is coherent with the standard edit distance between trees. This one-to-one correspondence yields a polynomial algorithm for the subpermutation problem for $(231)$ avoiding permutations. Moreover, we obtain the genera… ▽ More There exists a bijection between one stack sortable permutations --permutations which avoid the pattern 231-- and planar trees. We define an edit distance between permutations which is coherent with the standard edit distance between trees. This one-to-one correspondence yields a polynomial algorithm for the subpermutation problem for $(231)$ avoiding permutations. Moreover, we obtain the generating function of the edit distance between ordered trees and some special ones. For the general case we show that the mean edit distance between a planar tree and all other planar trees is at least $n/ln(n)$. Some results can be extended to labeled trees considering colored Dyck paths or equivalently colored one stack sortable permutations. △ Less

Submitted 27 June, 2005; originally announced June 2005.

Comments: Algorithmique et Combinatoire

MSC Class: 05C12; 05C05; 05A05; 05A15