English
Related papers

Related papers: Pattern classes and priority queues

200 papers

We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: a query transformation approach which works by revising the preference…

Databases · Computer Science 2007-05-23 Jan Chomicki

An occurrence of a classical pattern p in a permutation \pi is a subsequence of \pi whose letters are in the same relative order (of size) as those in p. In an occurrence of a generalized pattern, some letters of that subsequence may be…

Combinatorics · Mathematics 2008-05-31 Einar Steingrimsson

This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…

Logic · Mathematics 2009-09-25 John T. Baldwin , Saharon Shelah

We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions…

Representation Theory · Mathematics 2021-09-14 Henning Krause

The last decade has seen a revolution in the theory and application of machine learning and pattern recognition. Through these advancements, variable ranking has emerged as an active and growing research area and it is now beginning to be…

Computer Vision and Pattern Recognition · Computer Science 2017-06-20 Giorgio Roffo

Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in general, and for message-passing programs in particular. A…

Logic in Computer Science · Computer Science 2023-08-03 Joseph W. N. Paulus , Jorge A. Pérez , Daniele Nantes-Sobrinho

Motivation coming from the study of affine Weyl groups, a structure of ranked poset is defined on the set of circular permutations in $S_n$ (that is, $n$-cycles). It is isomorphic to the poset of so-called admitted vectors, and to an…

Combinatorics · Mathematics 2020-10-14 Antoine Abram , Nathan Chapelier-Laget , Christophe Reutenauer

In the unidimensional unfolding model, given m objects in general position there arise 1+m(m-1)/2 rankings. The set of rankings is called the ranking pattern of the m given objects. By changing these m objects, we can generate various…

Combinatorics · Mathematics 2007-07-11 H. Kamiya , P. Orlik , A. Takemura , H. Terao

Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…

Logic · Mathematics 2009-03-23 Saharon Shelah

We study sorting by queues that can rearrange their content by applying permutations from a predefined set. These new sorting devices are called shuffle queues and we investigate those of them corresponding to sets of permutations defining…

Combinatorics · Mathematics 2022-07-05 Stoyan Dimitrov

In a permutation sequence built by means of sub permutations the transition between successive permutations are subject to a set of n(n - 1)/2 rules that group into n - 1 matrices with a high degree of regularity. By means of these rules…

Data Structures and Algorithms · Computer Science 2015-05-04 Asbjørn Brændeland

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…

Logic · Mathematics 2018-05-14 Samuel Braunfeld

The Schur Theorem says that if $G$ is a group whose center $Z(G)$ has finite index $n$, then the order of the derived group $G'$ is finite and bounded by a number depending only on $n$. In the present paper we show that if $G$ is a finite…

Group Theory · Mathematics 2015-06-04 Leonid A. Kurdachenko , Pavel Shumyatsky

A digraph D is the pattern of a matrix M when D has an arc ij if and only if the ij-th entry of M is nonzero. Study the relationship between unitary matrices and their patterns is motivated by works in quantum chaology and quantum…

Combinatorics · Mathematics 2007-05-23 Simone Severini

This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern means instantiating it or composing it…

Software Engineering · Computer Science 2016-08-16 Sandrine Blazy , Frédéric Gervais , Régine Laleau

Complex systems can be characterized by classes of equivalency of their elements defined according to system specific rules. We propose a generalized preferential attachment model to describe the class size distribution. The model…

We review and extend previous results on coincidence of mesh patterns. We introduce the notion of a force on a permutation pattern and apply it to the coincidence classification of mesh patterns, completing the classification up to size…

Combinatorics · Mathematics 2019-10-22 Christian Bean , Bjarki Gudmundsson , Tomas Ken Magnusson , Henning Ulfarsson

We consider a stack sorting algorithm where only the appropriate output values are popped from the stack and then any remaining entries in the stack are run through the stack in reverse order. We identify the basis for the $2$-reverse pass…

Combinatorics · Mathematics 2018-08-14 Toufik Mansour , Howard Skogman , Rebecca Smith

There exists an absolute constant $C$ with the following property. Let $A \subseteq \mathbb{F}_p$ be a set in the prime order finite field with $p$ elements. Suppose that $|A| > C p^{5/8}$. The set \[ (A \pm A)(A \pm A) = \{(a_1 \pm…

Combinatorics · Mathematics 2016-02-08 Giorgis Petridis

We investigate a generalization of stacks that we call $\mathcal{C}$-machines. We show how this viewpoint rapidly leads to functional equations for the classes of permutations that $\mathcal{C}$-machines generate, and how these systems of…

Combinatorics · Mathematics 2018-01-30 Michael H. Albert , Cheyne Homberger , Jay Pantone , Nathaniel Shar , Vincent Vatter