davenport schinzel

8/2/2019 Davenport Schinzel

1/6

18. Davenport-Schinzel SequencesL e c t u r e o n M o n d a y 3 0

t h

N o v e m b e r , 2 0 0 9 b y M i c h a e l H o m a n n

Definition 18.1A (n, s)- D a v e n p o r t - S c h i n z e l s e q u e n c e i s a s e q u e n c e o v e r a n a l p h a b e t

Ao f s i z e

ni n w h i c h

n o t w o c o n s e c u t i v e c h a r a c t e r s a r e t h e s a m e a n d

t h e r e i s n o a l t e r n a t i n g s u b s e q u e n c e o f t h e f o r m . . . a . . . b . . . a . . . b . . .

o fs + 2

c h a r a c t e r s , f o r a n y

a, bP

A.

L e ts(n) b e t h e l e n g t h o f a l o n g e s t (n, s)- D a v e n p o r t - S c h i n z e l s e q u e n c e .

F o r e x a m p l e , abcbacb i s a (3, 4)- D S - s e q u e n c e b u t n o t a

(3, 3)- D S - s e q u e n c e b e c a u s e i t

c o n t a i n s t h e s u b s e q u e n c e

bcbcb.

L e t p = {f1, . . . , fn} b e a c o l l e c t i o n o f r e a l - v a l u e d c o n t i n u o u s f u n c t i o n s d e n e d o n

a c o m m o n i n t e r v a l I

&R

. T h e l o w e r e n v e l o p e v

p

o f p i s d e n e d a s t h e p o i n t w i s e

m i n i m u m o f t h e f u n c t i o n s fi, 1 i n, o v e r I. S u p p o s e t h a t a n y p a i r fi, fj, 1 i bg t h e n r c r e a t e s a

n e w i n t e r s e c t i o n w i t h t h e r i g h t e x t e n s i o n o f

gf r o m

bg, a n d i f

af < agt h e n

rd o e s n o t

c r e a t e a n y n e w i n t e r s e c t i o n w i t h g

. )

O n t h e o t h e r h a n d , f o r a n y p a i r s, t

o f s e g m e n t s , n e i t h e r t h e l e f t e x t e n s i o n o f t h e

l e f t m o s t s e g m e n t e n d p o i n t n o r t h e r i g h t e x t e n s i o n o f t h e r i g h t m o s t s e g m e n t e n d p o i n t

c a n i n t r o d u c e a n a d d i t i o n a l i n t e r s e c t i o n . T h e r e f o r e , a n y p a i r o f s e g m e n t s i n p

H

i n t e r s e c t s

a t m o s t s + 2 t i m e s a n d t h e c l a i m f o l l o w s .

N e x t w e w i l l g i v e a n u p p e r b o u n d o n t h e l e n g t h o f D a v e n p o r t - S c h i n z e l s e q u e n c e s f o r

s m a l l s

.

Lemma 18.4 1(n) = n , 2(n) = 2n 1, a n d 3(n) 2n(1 + l o g n).

Proof. 1(n) = n i s o b v i o u s . 2(n) = 2n 1 i s g i v e n a s a n e x e r c i s e . W e p r o v e

3(n) 2n(1 + l o g n) = O(n l o g n).

F o r

n = 1 i t i s 3(1) = 1 2 . F o r n > 1 c o n s i d e r a n y (n, 3) - D S s e q u e n c e o f l e n g t h

3(n). L e t a b e a c h a r a c t e r w h i c h a p p e a r s l e a s t f r e q u e n t l y i n . C l e a r l y a a p p e a r s a t

m o s t

3(n)/n t i m e s i n . D e l e t e a l l a p p e a r a n c e s o f a f r o m t o o b t a i n a s e q u e n c e H

o n

n 1 s y m b o l s . B u t H i s n o t n e c e s s a r i l y a D S - s e q u e n c e b e c a u s e t h e r e m a y b e c o n s e c u t i v e

a p p e a r a n c e s o f a c h a r a c t e r

bi n

H, i n c a s e t h a t

= . . . b a b . . ..

C l a i m : T h e r e a r e a t m o s t t w o p a i r s o f c o n s e c u t i v e a p p e a r a n c e s o f t h e s a m e c h a r -

a c t e r i n

H. I n d e e d , s u c h a p a i r c a n b e c r e a t e d a r o u n d t h e r s t a n d l a s t a p p e a r a n c e

o fa

i n

o n l y . I f a n y i n t e r m e d i a t e a p p e a r a n c e o f a

c r e a t e s a p a i r bb

i n H

t h e n

= . . . a . . . b a b . . . a . . . , i n c o n t r a d i c t i o n t o b e i n g a n (n, 3)- D S s e q u e n c e .

T h e r e f o r e , o n e c a n r e m o v e a t m o s t t w o c h a r a c t e r s f r o m H

t o o b t a i n a (n 1, 3)- D S -

s e q u e n c e ~

. A s t h e l e n g t h o f ~

i s b o u n d e d b y

3(n 1), w e o b t a i n 3(n) 3(n 1) +

3(n)/n + 2 . R e f o r m u l a t i n g y i e l d s

3(n)

n

3(n 1)

n 1+

2

n 1

1 + 2

n1

i=1

1

i= 1 + 2Hn1

a n d t o g e t h e r w i t h 2Hn1 < 1 + 2 l o g n w e o b t a i n 3(n) 2n(1 + l o g n).

109


3/6

D a v e n p o r t - S c h i n z e l S e q u e n c e s ( 3 0 . 1 1 . 2 0 0 9 ) C G 2 0 0 9

Remarks.T h e u p p e r b o u n d i s n o t t i g h t . I t c a n b e s h o w n [ 2 ] t h a t

3(n) = (n(n)),

w h e r e (n) i s t h e i n v e r s e A c k e r m a n n F u n c t i o n . M o r e p r e c i s e l y , i t i s k n o w n t h a t 2n(n)

O(n) 3(n) 2n(n) + O(n

q

(n)) , w h e r e t h e u p p e r b o u n d i s d u e t o K l a z a r [ 3 ] a n d

t h e l o w e r b o u n d w a s r e c e n t l y s h o w n b y N i v a s c h [ 4 ] .

T h e A c k e r m a n n f u n c t i o n i s d e n e d o n N N a s f o l l o w s 1

.A(1, n) = 2n, A(k, 1) = 2,

f o rk

!2

, a n d A(k, n) = A(k 1, A(k, n 1)), f o r k, n ! 2 . T h e i n v e r s e A c k e r m a n n

F u n c t i o n

(n) i s t h e n g i v e n b y (n) = m i n {k P N | A(k, k) ! n}. A s A(4, 4) i s a t o w e r

w i t h 65536 2

' s ,(n) 4 f o r a l l p r a c t i c a l p u r p o s e s .

s(n) i s a l m o s t l i n e a r e v e n f o r l a r g e r v a l u e s o f s. F o r e x a m p l e , 4(n) = (n2(n))

.

A l s o g e n e r a l i z a t i o n s o f D a v e n p o r t - S c h i n z e l s e q u e n c e s h a v e b e e n s t u d i e d , f o r i n s t a n c e ,

w h e r e a r b i t r a r y s u b s e q u e n c e s ( n o t n e c e s s a r i l y a n a l t e r n a t i n g p a t t e r n ) a r e f o r b i d d e n .

F o r a w o r d

a n d

nPN

d e n e E x (, n)

t o b e t h e m a x i m u m l e n g t h o f a w o r d o v e r

A = {1 , . . . , n}

t h a t d o e s n o t c o n t a i n a s u b s e q u e n c e o f t h e f o r m . F o r e x a m p l e ,

E x(ababa, n) = 3(n). I f c o n s i s t s o f t w o l e t t e r s o n l y , s a y a a n d b , t h e n E x (, n)

i s s u p e r - l i n e a r i f a n d o n l y i f

c o n t a i n s ababa

a s a s u b s e q u e n c e [ 1 ] . T h i s h i g h l i g h t s t h a t

t h e a l t e r n a t i n g f o r b i d d e n p a t t e r n i s o f p a r t i c u l a r i n t e r e s t .

18.1 Constructing lower envelopes

Theorem 18.5L e t p = {f1, . . . , fn} b e a c o l l e c t i o n o f r e a l - v a l u e d c o n t i n u o u s f u n c t i o n s

d e n e d o n a c o m m o n i n t e r v a l

I&R

s u c h t h a t n o t w o f u n c t i o n s f r o m p i n t e r s e c t i n

m o r e t h a n

sp o i n t s . T h e n t h e l o w e r e n v e l o p e v

p

c a n b e c o n s t r u c t e d i n

O(s(n)l o g

n)t i m e . ( A s s u m i n g t h a t a n i n t e r s e c t i o n b e t w e e n a n y t w o f u n c t i o n s c a n b e c o n s t r u c t e d

i n c o n s t a n t t i m e . )

Proof.D i v i d e a n d c o n q u e r . F o r s i m p l i c i t y , a s s u m e t h a t

ni s a p o w e r o f t w o . S p l i t p i n t o

t w o a l m o s t e q u a l p a r t s p 1 a n d p 2 a n d c o n s t r u c t vp 1

a n d v

p 2r e c u r s i v e l y . T h e r e s u l t i n g

e n v e l o p e s c a n b e m e r g e d u s i n g l i n e s w e e p b y p r o c e s s i n g 2s(n/2)+s(n) 3s(n) e v e n t s .

( T h e r s t t e r m a c c o u n t s f o r e v e n t s g e n e r a t e d b y t h e v e r t i c e s o f t h e t w o e n v e l o p e s t o b e

m e r g e d . T h e s e c o n d t e r m a c c o u n t s f o r t h e i r i n t e r s e c t i o n s , e a c h o f w h i c h g e n e r a t e s a

v e r t e x o f t h e r e s u l t i n g e n v e l o p e . ) O b s e r v e t h a t n o s o r t i n g i s r e q u i r e d a n d t h e S L S

s t r u c t u r e i s o f c o n s t a n t s i z e . T h e r e f o r e , t h e s w e e p c a n b e d o n e i n t i m e l i n e a r i n t h e

n u m b e r o f e v e n t s .

T h i s y i e l d s t h e f o l l o w i n g r e c u r s i o n f o r t h e r u n t i m e

T(n)o f t h e a l g o r i t h m .

T(n)

2T(n/2) + cs(n) , f o r s o m e c o n s t a n t c P N. O b s e r v e t h a t ks(n/k) s(n) , f o r k | n,

b e c a u s e a n y

kD S - s e q u e n c e s o n a n a l p h a b e t o f s i z e

n/kc a n b e c o n c a t e n a t e d t o a s i n g l e

D S - s e q u e n c e o n a n a l p h a b e t o f s i z e n

b y u s i n g p a i r w i s e d i s j o i n t ( p a r t s o f t h e ) a l p h a b e t s

f o r e a c h o f t h e k

s e q u e n c e s . I t f o l l o w s t h a t T(n) c

l o g

n

i=1 2is(n/2

i) = c

l o g

n

i=1 s(n) =

O(s(n) l o g n).

1

I n f a c t , s e v e r a l d i e r e n t d e n i t i o n s a r e u s e d i n t h e l i t e r a t u r e , a l l o f w h i c h e x h i b i t t h e s a m e a s y m p t o t i c

g r o w t h .

110


4/6

C G 2 0 0 9

1 8 . 2 . C o m p l e x i t y o f a s i n g l e f a c e

1

2x1x2

( a ) f l i e s o n t h e u n b o u n d e d s i d e o f [ .

1

2x1

x2

( b ) f l i e s o n t h e b o u n d e d s i d e o f [ .

Figure 18.1:C a s e s i n t h e C o n s i s t e n c y L e m m a .

18.2 Complexity of a single face

Theorem 18.6L e t

= {1, . . . , n} b e a c o l l e c t i o n o f J o r d a n a r c s i n R2

s u c h t h a t

e a c h p a i r i n t e r s e c t s i n a t m o s t s

p o i n t s , f o r s o m e s

P N. T h e n t h e c o m b i n a t o r i a l

c o m p l e x i t y o f a n y s i n g l e f a c e i n t h e a r r a n g e m e n t e()

i s

O(s+2(n)) .

Proof.C o n s i d e r a f a c e

fo f e (). I n g e n e r a l , t h e b o u n d a r y o f f m i g h t c o n s i s t o f s e v e r a l

c o n n e c t e d c o m p o n e n t s . B u t a s a n y s i n g l e c u r v e c a n a p p e a r i n a t m o s t o n e c o m p o n e n t w e

m a y a s w e l l s u p p o s e t h a t t h e b o u n d a r y c o n s i s t s o f o n e c o m p o n e n t o n l y . ( T h e c o m p l e x i t y

w e a r e h e a d i n g f o r i s s u p e r - l i n e a r . )

R e p l a c e e a c h

i b y t w o d i r e c t e d a r c s +i a n d

i t h a t t o g e t h e r f o r m a c l o s e d c u r v e

t h a t i s i n n i t e s i m a l l y c l o s e t o i. D e n o t e b y S t h e c i r c u l a r s e q u e n c e o f t h e s e o r i e n t e d

c u r v e s , i n t h e i r o r d e r a l o n g t h e ( o r i e n t e d ) b o u n d a r y f o f f.

C o n s i s t e n c y L e m m a . L e t

b e o n e o f t h e o r i e n t e d a r c s +i o r

i . T h e o r d e r o f

p o r t i o n s o f

t h a t a p p e a r i n

Si s c o n s i s t e n t w i t h t h e i r o r d e r a l o n g

. ( T h a t i s , f o r e a c h

w e c a n b r e a k u p t h e c i r c u l a r s e q u e n c e

Si n t o a l i n e a r s e q u e n c e

S() s u c h t h a t t h e

p o r t i o n s o f

t h a t c o r r e s p o n d t o a p p e a r a n c e s o f

i n

S()a p p e a r i n t h e s a m e o r d e r a l o n g

. )

C o n s i d e r t w o p o r t i o n s

1 a n d 2 o f t h a t a p p e a r c o n s e c u t i v e l y i n S . C h o o s e p o i n t s

x1 P 1 a n d x2 P 2 a n d c o n n e c t t h e m i n t w o w a y s : r s t b y t h e a r c f o l l o w i n g f a s

i nS

, a n d s e c o n d b y a n a r c

i n s i d e t h e c l o s e d c u r v e f o r m e d b y +i o r

i . T h e c u r v e s

a n d

d o n o t i n t e r s e c t e x c e p t a t t h e i r e n d p o i n t s a n d t h e y a r e b o t h c o n t a i n e d i n t h e

c o m p l e m e n t o f t h e i n t e r i o r o f f. I n o t h e r w o r d s , f o r m s a c l o s e d J o r d a n c u r v e a n d

fl i e s e i t h e r i n t h e i n t e r i o r o f t h i s c u r v e o r i n i t s e x t e r i o r . I n e i t h e r c a s e , t h e p a r t o f

b e t w e e n 1 a n d 2 i s s e p a r a t e d f r o m f b y a n d , t h e r e f o r e , n o p o i n t f r o m t h i s p a r t

c a n a p p e a r a n y w h e r e a l o n g

f. I n o t h e r w o r d s ,

1 a n d 2 a r e a l s o c o n s e c u t i v e b o u n d a r y

p a r t s i n t h e o r d e r o f b o u n d a r y p o r t i o n s a l o n g

, w h i c h p r o v e s t h e l e m m a .

B r e a k u p

Si n t o a l i n e a r s e q u e n c e

S H = (s1, . . . , st) a r b i t r a r i l y . F o r e a c h o r i e n t e d a r c

, c o n s i d e r t h e s e q u e n c e

s() o f i t s p o r t i o n s a l o n g f i n t h e o r d e r i n w h i c h t h e y a p p e a r

a l o n g

. B y t h e C o n s i s t e n c y L e m m a ,

s()c o r r e s p o n d s t o a s u b s e q u e n c e o f

S, s t a r t i n g

a tsk, f o r s o m e 1 k t . I n o r d e r t o c o n s i d e r s() a s a s u b s e q u e n c e o f S

H

, b r e a k u p t h e

s y m b o l f o r

i n t o t w o s y m b o l s

a n d H

a n d r e p l a c e a l l o c c u r r e n c e s o f

i nS H

b e f o r e sk

111


5/6

D a v e n p o r t - S c h i n z e l S e q u e n c e s ( 3 0 . 1 1 . 2 0 0 9 ) C G 2 0 0 9

b y

H. D o i n g s o f o r a l l o r i e n t e d a r c s r e s u l t s i n a s e q u e n c e

S o n a t m o s t

4ns y m b o l s .

C l a i m : S

i s a (4n, s + 2)- D a v e n p o r t - S c h i n z e l s e q u e n c e .

C l e a r l y n o t w o a d j a c e n t s y m b o l s i n S

a r e t h e s a m e . S u p p o s e S

c o n t a i n s a n a l t e r n a t -

i n g s u b s e q u e n c e

. . . . . . . . . o f l e n g t h

s +4. C o n s i d e r a n y f o u r c o n s e c u t i v e e l e m e n t s

o f t h i s s u b s e q u e n c e . C h o o s e p o i n t s x, y

P

a n dz, w

P

s u c h t h a t t h e y a p p e a r i n t h e

o r d e r

x,z,y,wa l o n g

f. C o n n e c t

xa n d

yb y a J o r d a n a r c

xy w i t h i n t h e c l o s e d c u r v e

f o r m e d b y

a n d i t s c o u n t e r p a r t . S i m i l a r l y , c o n n e c t z

a n dw

b y a J o r d a n a r c zw w i t h i n

t h e c l o s e d c u r v e f o r m e d b y

a n d i t s c o u n t e r p a r t . T h e n c o n n e c t x,z,y,w

a l o n g f

b y

c u r v e s xz, zy, yw, a n d wx. O b s e r v e t h a t t h e l a s t f o u r c u r v e s a r e p a i r w i s e d i s j o i n t

e x c e p t f o r c o m m o n e n d p o i n t s . M o r e o v e r , n o n e o f t h e m i n t e r s e c t s xy o r zw, e x c e p t a t

a c o m m o n e n d p o i n t .

W e c l a i m t h a t

xy a n d zw i n t e r s e c t . S u p p o s e t h e y d o n o t . T h e n t h e s i x c u r v e s

f o r m a p l a n e g r a p h o n x,y,z,w w h i c h t o g e t h e r w i t h a p o i n t u c h o s e n s o m e w h e r e i n s i d e

fa n d c u r v e s / e d g e s c o n n e c t i n g

ut o a l l o f

x,y,z,ww i t h i n

ff o r m a p l a n e e m b e d d i n g o f

K5, c o n t r a d i c t i o n .

I n o t h e r w o r d s , a n y q u a d r u p l e o f c o n s e c u t i v e e l e m e n t s f r o m t h e a l t e r n a t i n g s u b s e -

q u e n c e i n d u c e s a n i n t e r s e c t i o n b e t w e e n t h e c o r r e s p o n d i n g a r c s

a n d

. C l e a r l y t h e s e

i n t e r s e c t i o n p o i n t s a r e p a i r w i s e d i s t i n c t f o r a n y p a i r o f d i s t i n c t q u a d r u p l e s w h i c h a l t o -

g e t h e r p r o v i d e s s +4 3 = s + 1 p o i n t s o f i n t e r s e c t i o n b e t w e e n a n d , i n c o n t r a d i c t i o n

t o t h e a s s u m p t i o n t h a t t h e y i n t e r s e c t i n a t m o s t

sp o i n t s .

Corollary 18.7T h e c o m b i n a t o r i a l c o m p l e x i t y o f a s i n g l e f a c e i n a n a r r a n g e m e n t o f

nl i n e s e g m e n t s i n R

2i s

O(3(n)) = O(n(n)) .

Questions

4 6 . W h a t i s a n (n, s)

D a v e n p o r t - S c h i n z e l s e q u e n c e a n d h o w d o e s i t r e l a t e t o t h e

l o w e r e n v e l o p e o f r e a l - v a l u e d c o n t i n u o u s f u n c t i o n s ? G i v e t h e p r e c i s e d e n i t i o n

a n d s o m e e x a m p l e s . E x p l a i n t h e r e l a t i o n s h i p t o l o w e r e n v e l o p e s a n d h o w t o a p p l y

t h e m a c h i n e r y t o p a r t i a l f u n c t i o n s l i k e l i n e s e g m e n t s .

4 7 . W h a t i s t h e o r d e r o f m a g n i t u d e o f

i(n), f o r i P {1,2,3}? P r o v e t h e b o u n d s

g i v e n i n L e m m a 1 8 . 4 . Y o u s h o u l d a l s o k n o w t h e a s y m p t o t i c s o f 3(n), w i t h o u t

p r o o f .

4 8 . W h a t i s t h e c o m b i n a t o r i a l c o m p l e x i t y o f t h e l o w e r e n v e l o p e o f a s e t o f n

l i n e s / p a r a b o l a s / l i n e s e g m e n t s ?

4 9 . W h a t i s t h e c o m b i n a t o r i a l c o m p l e x i t y o f a s i n g l e f a c e i n a n a r r a n g e m e n t o f n

l i n e s e g m e n t s ? S t a t e t h e r e s u l t a n d s k e t c h t h e p r o o f ( T h e o r e m 1 8 . 6 ) .

112


6/6

C G 2 0 0 9

1 8 . 2 . C o m p l e x i t y o f a s i n g l e f a c e

References

[ 1 ] R . A d a m e c , M . K l a z a r , a n d P . V a l t r , G e n e r a l i z e d D a v e n p o r t - S c h i n z e l s e q u e n c e s w i t h

l i n e a r u p p e r b o u n d , D i s c r e t e M a t h . 108

( 1 9 9 2 ) , 2 1 9 { 2 2 9 .

[ 2 ] S . H a r t a n d M i c h a S h a r i r , N o n l i n e a r i t y o f D a v e n p o r t - S c h i n z e l s e q u e n c e s a n d o f g e n -

e r a l i z e d p a t h c o m p r e s s i o n s c h e m e s , C o m b i n a t o r i c a 6

( 1 9 8 6 ) , 1 5 1 { 1 7 7 .

[ 3 ] M . K l a z a r , O n t h e m a x i m u m l e n g t h s o f D a v e n p o r t - S c h i n z e l s e q u e n c e s , i n : C o n t e m -

p o r a r y T r e n d s i n D i s c r e t e M a t h e m a t i c s ( R . G r a h a m e t a l . , e d . ) , v o l u m e 4 9 o f

D I M A C S S e r i e s i n D i s c r e t e M a t h e m a t i c s a n d T h e o r e t i c a l C o m p u t e r S c i e n c e ,

A m e r . M a t h . S o c . , P r o v i d e n c e , R I , 1 9 9 9 , 1 6 9 { 1 7 8 .

[ 4 ] G a b r i e l N i v a s c h , I m p r o v e d b o u n d s a n d n e w t e c h n i q u e s f o r D a v e n p o r t - S c h i n z e l s e -

q u e n c e s a n d t h e i r g e n e r a l i z a t i o n s , i n : P r o c . 2 0 t h A C M - S I A M S y m p o s . D i s c r e t e

A l g o r i t h m s , 2 0 0 9 , 1 { 1 0 .

113

davenport schinzel

Documents