Results 1  10
of
12
DavenportSchinzel Sequences and Their Geometric Applications
, 1998
"... An (n; s) DavenportSchinzel sequence, for positive integers n and s, is a sequence composed of n distinct symbols with the properties that no two adjacent elements are equal, and that it does not contain, as a (possibly noncontiguous) subsequence, any alternation a \Delta \Delta \Delta b \Delta \ ..."
Abstract

Cited by 416 (115 self)
 Add to MetaCart
An (n; s) DavenportSchinzel sequence, for positive integers n and s, is a sequence composed of n distinct symbols with the properties that no two adjacent elements are equal, and that it does not contain, as a (possibly noncontiguous) subsequence, any alternation a \Delta \Delta \Delta b \Delta \Delta \Delta a \Delta \Delta \Delta b \Delta \Delta \Delta of length s + 2 between two distinct symbols a and b. The close relationship between DavenportSchinzel sequences and the combinatorial structure of lower envelopes of collections of functions make the sequences very attractive because a variety of geometric problems can be formulated in terms of lower envelopes. A nearlinear bound on the maximum length of DavenportSchinzel sequences enable us to derive sharp bounds on the combinatorial structure underlying various geometric problems, which in turn yields efficient algorithms for these problems.
Excluded permutation matrices and the StanleyWilf conjecture
 J. Combin. Theory Ser. A
, 2004
"... This paper examines the extremal problem of how many 1entries an n × n 0–1 matrix can have that avoids a certain fixed submatrix P. For any permutation matrix P we prove a linear bound, settling a conjecture of Zoltán Füredi and Péter Hajnal [8]. Due to the work of Martin Klazar [12], this also set ..."
Abstract

Cited by 76 (3 self)
 Add to MetaCart
This paper examines the extremal problem of how many 1entries an n × n 0–1 matrix can have that avoids a certain fixed submatrix P. For any permutation matrix P we prove a linear bound, settling a conjecture of Zoltán Füredi and Péter Hajnal [8]. Due to the work of Martin Klazar [12], this also settles the conjecture of Stanley and Wilf on the number of npermutations avoiding a fixed permutation and a related conjecture of Alon and Friedgut [1]. 1
A NearLinear Algorithm for the Planar Segment Center Problem
, 1996
"... Let P be a set of n points in the plane and let e be a segment of fixed length. The segment center problem is to find a placement of e (allowing translation and rotation) which minimizes the maximum euclidean distance from e to the points of P. We present an algorithm that solves the problem in tim ..."
Abstract

Cited by 15 (7 self)
 Add to MetaCart
Let P be a set of n points in the plane and let e be a segment of fixed length. The segment center problem is to find a placement of e (allowing translation and rotation) which minimizes the maximum euclidean distance from e to the points of P. We present an algorithm that solves the problem in time O(n1+"), for any " ? 0, improving the previous solution of Agarwal et al. [3] by nearly a factor of O(n).
TRACES OF FINITE SETS: EXTREMAL PROBLEMS AND GEOMETRIC APPLICATIONS
, 1992
"... Given a hypergraph H and a subset S of its vertices, the trace of H on S is defined as HS = {E ∩ S: E ∈ H}. The Vapnik–Chervonenkis dimension (VCdimension) of H is the size of the largest subset S for which HS has 2 S edges. Hypergraphs of small VCdimension play a central role in many areas o ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
Given a hypergraph H and a subset S of its vertices, the trace of H on S is defined as HS = {E ∩ S: E ∈ H}. The Vapnik–Chervonenkis dimension (VCdimension) of H is the size of the largest subset S for which HS has 2 S edges. Hypergraphs of small VCdimension play a central role in many areas of statistics, discrete and computational geometry, and learning theory. We survey some of the most important results related to this concept with special emphasis on (a) hypergraph theoretic methods and (b) geometric applications.
On Nonlinear Forbidden 01 Matrices: A Refutation of a FürediHajnal Conjecture
"... A matrix A P t0, 1u m n is said to avoid a forbidden pattern P P t0, 1u k l if no k l submatrix of A matches P, where a 0 in P can match either a 0 or 1 in A. Let ExpP, nq be the maximum weight (i.e., number of 1s) of an n n matrix avoiding the pattern P or all patterns in the set P. The theory of f ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
A matrix A P t0, 1u m n is said to avoid a forbidden pattern P P t0, 1u k l if no k l submatrix of A matches P, where a 0 in P can match either a 0 or 1 in A. Let ExpP, nq be the maximum weight (i.e., number of 1s) of an n n matrix avoiding the pattern P or all patterns in the set P. The theory of forbidden submatrices subsumes many extremal problems in combinatorics and graph theory, including DavenportSchinzel sequences and their generalizations, Stanley and Wilf’s permutation avoidance problem, and Turántype subgraph avoidance problems. Forbidden submatrices have found many applications in discrete geometry and the analysis of both geometric and nongeometric algorithms. In general terms, to bound the complexity of an arrangement of objections or the running time of an algorithm, one transcribes the objects or operations as a 01 matrix that provably avoids some forbidden pattern or collection of patterns P. This method is useful only to the extent that ExpP, nq can be tightly bounded, for specific P s or whole classes of P s. A 01 matrix can be interpreted as the incidence matrix of a bipartite graph where vertices on either side of the bipartition are ordered. In 1992, Füredi and Hajnal conjectured that imposing
Applications of forbidden 01 matrices to search tree and path compression based data structures
, 2009
"... In this paper we improve, reprove, and simplify a variety of theorems concerning the performance of data structures based on path compression and search trees. We apply a technique very familiar to computational geometers but still foreign to many researchers in (nongeometric) algorithms and data s ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
In this paper we improve, reprove, and simplify a variety of theorems concerning the performance of data structures based on path compression and search trees. We apply a technique very familiar to computational geometers but still foreign to many researchers in (nongeometric) algorithms and data structures, namely, to bound the complexity of an object via its forbidden substructures. To analyze an algorithm or data structure in the forbidden substructure framework one proceeds in three discrete steps. First, one transcribes the behavior of the algorithm as some combinatorial object M; for example, M may be a graph, sequence, permutation, matrix, set system, or tree. (The size of M should ideally be linear in the running time.) Second, one shows that M excludes some forbidden substructure P, and third, one bounds the size of any object avoiding this substructure. The power of this framework derives from the fact that M lies in a more pristine environment and that upper bounds on the size of a Pfree object M may be reused in different contexts. All of our proofs begin by transcribing the individual operations of a dynamic data structure
Origins of nonlinearity in DavenportSchinzel sequences
, 2009
"... A generalized DavenportSchinzel 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 Expσ, nq be the maximum length of a sequence ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
A generalized DavenportSchinzel 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 Expσ, nq be the maximum length of a sequence over an alphabet of size n excluding subsequences isomorphic to σ. It has been proved that for every σ, Expσ, nq is either linear or very close to linear. In particular it is Opn2 αpnqOp1q q, where α is the inverseAckermann function and Op1q 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 the most novel contribution of this paper is a succinct, humanly readable code for expressing the structure of forbidden subsequences.
Degrees of Nonlinearity in Forbidden 01 Matrix Problems
"... A 01 matrix A is said to avoid a forbidden 01 matrix (or pattern) P if no submatrix of A matches P, where a 0 in P matches either 0 or 1 in A. The theory of forbidden matrices subsumes many extremal problems in combinatorics and graph theory such as bounding the length of DavenportSchinzel sequen ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
A 01 matrix A is said to avoid a forbidden 01 matrix (or pattern) P if no submatrix of A matches P, where a 0 in P matches either 0 or 1 in A. The theory of forbidden matrices subsumes many extremal problems in combinatorics and graph theory such as bounding the length of DavenportSchinzel sequences and their generalizations, Stanley and Wilf’s permutation avoidance problem, and Turántype subgraph avoidance problems. In addition, forbidden matrix theory has proved to be a powerful tool in discrete geometry and the analysis of both geometric and nongeometric algorithms. Clearly a 01 matrix can be interpreted as the incidence matrix of a bipartite graph in which vertices on each side of the partition are ordered. Füredi and Hajnal conjectured that if P corresponds to an acyclic graph then the maximum weight (number of 1s) in an n × n matrix avoiding P is O(n log n). Our first result is a refutation of this conjecture. We exhibiting n × n matrices with weight Θ(n log n log log n) that avoid a relatively small acyclic matrix. The matrices are constructed via two complementary composition operations for 01 matrices. Our second result is a simplified proof that there is an infinite antichain (with respect
On the Structure and Composition of Forbidden Sequences, with Geometric Applications
, 2010
"... Forbidden substructure theorems have proved to be among of the most versatile tools in bounding the complexity of geometric objects and the running time of geometric algorithms. To apply them one typically transcribes an algorithm execution or geometric object as a sequence over some alphabet or a 0 ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Forbidden substructure theorems have proved to be among of the most versatile tools in bounding the complexity of geometric objects and the running time of geometric algorithms. To apply them one typically transcribes an algorithm execution or geometric object as a sequence over some alphabet or a 01 matrix, proves that this object avoids some subsequence or submatrix σ, then uses an off the shelf bound on the maximum size of such a σfree object. As a historical trend, expanding our library of forbidden substructure theorems has led to better bounds and simpler analyses of the complexity of geometric objects. We establish new and tight bounds on the maximum length of generalized DavenportSchinzel sequences, which are those whose subsequences are not isomorphic to some fixed sequence σ. (The standard DavenportSchinzel sequences restrict σ to be of the form abab · · ·.) 1. We prove that Nshaped forbidden subsequences (of the form abc · · · xyzyx · · · cbabc · · · xyz) have a linear extremal function. Our proof dramatically improves an earlier one of Klazar and Valtr in the leading constants and overall simplicity. This result tightens the (astronomical) leading constants in Valtr’s O(n log n) bound on geometric graphs without