Skip Letters for Short Supersequence of All Permutations

01/17/2022
by   Oliver Tan, et al.
0

A supersequence over a finite set is a sequence that contains as subsequence all permutations of the set. This paper defines an infinite array of methods to create supersequences of decreasing lengths. This yields the shortest known supersequences over larger sets. It also provides the best results asymptotically. It is based on a general proof using a new property called strong completeness. The same technique also can be used to prove existing supersequences which combines the old and new ones into an unified conceptual framework.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/21/2022

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Kleene Algebra (KA) is the algebra of regular expressions. Central to th...
research
01/14/2022

The NP-completeness of Redundant Open-Locating-Dominating Set

For a graph G, a dominating set D is a subset of vertices in G where eac...
research
11/16/2020

On sets of indefinitely desubstitutable words

The stable set associated to a given set S of nonerasing endomorphisms o...
research
07/13/2021

Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic

Temporal logics over finite traces are not the same as temporal logics o...
research
06/17/2020

Proof Complexity of Substructural Logics

In this paper, we investigate the proof complexity of a wide range of su...
research
06/01/2023

Complexity of Simple Folding of Mixed Orthogonal Crease Patterns

Continuing results from JCDCGGG 2016 and 2017, we solve several new case...

Please sign up or login with your details

Forgot password? Click here to reset