Origins of Nonlinearity in Davenport-Schinzel Sequences

Abstract. A generalized Davenport–Schinzel sequence is one over a finite alphabet that excludes subsequences isomorphic to a fixed forbidden subsequence. The fundamental problem in this area is bounding the maximum length of such sequences. Following Klazar, we let Ex(σ, n) be the maximum length of a sequence over an n-letter alphabet excluding subsequences isomorphic to σ. It has been proved that for every σ, Ex(σ, n) is either linear or very close to linear. In particular it is O(n2α(n)O(1) ), where α is the inverse-Ackermann function and O(1) depends on σ. In much the same way that the complete graphs K5 and K3,3 represent the minimal causes of nonplanarity, there must exist a set ΦNonlin of minimal nonlinear forbidden subsequences. Very little is known about the size or membership of ΦNonlin. In this paper we construct an infinite antichain of nonlinear forbidden subsequences which, we argue, strongly supports the conjecture that ΦNonlin is itself infinite. Perhaps ...

• Type: Journal
• Year: 2011
• Where: SIAMDM
• Authors: Seth Pettie
• Keywords: Forbidden Subsequences, Maximum Length, Nonlinear Forbidden Subsequences, SIAMDM 2011, Software Engineering