Sie sind auf Seite 1von 12

7 . Z e i t - Ko m p l e x i t ä t

2 . J u l i 2 0 1 8

C

o n t e n t s

1 7 . 1 M e s s e n v o n Z e i t

2 7 . 2 D i e K l a s s e P

3 7 . 3 D i e K l a s s e N P

4 7 . 4

5 7 . 5 N P - Vo l l s t ä n d i g e P r o b l e m e

N P - Vo l l s t ä n d i g ke i t

Ko m p l e x i t ä t

Fr a g e : war u m ke n n e n w i r f ü r m a n c h e Pr o b l e m e Po l y n o m z e i t a l g or i t h m e n u n d f ü r a n d e r e n i c h t ?

PR I M E ( t e s t e n o b e i n e Z a h l e i n e Pr i m z a h l i s t ) i s t i n P ( w u r d e 2 0 0 2

g e z e i g t ) .

K e i n Po l y n o m z e i t a l g or i t h m u s b e ka n n t :

H a m Pa t h = {G , s , t | G i s t g e r . G r a p h m i t H P v o n s n a c h t } .

E i n f a c h :

E U L E R = { G | G i s t G r a p h m i t E u l e r t o u r }.

Ve r i fi z i e r b ar ke i t

H a m Pa t h ka n n i n p o l y n o m i e l l e r Z e i t v e r i fi z i e r t we r d e n :

W i r kö n n e n n i c h t e i n f a c h t e s t e n , o b e s e i n e n We g z w i s c h e n s u n d t g i b t , d e r j e d e n K n o t e n g e n a u e i n m a l b e s u c h t .

Fa l l s i c h a b e r s o e i n e n We g a n g e b e , ka n n i c h e i n f a c h e n t s c h e i d e n , o b e s e i n H a m i l t o n Pa t h i s t o d e r n i c h t .

E i n a n d e r e s Pr o b l e m m i t d e r E i g e n s c h a f t :

C O M PO S I T E S = { x | x = p q , f ü r g a n z e Z a h l e n p , q > 0 }

Ve r i fi ka t i o n

D e fi n i t i o n

E i n Ve r i fi z i e r e r f ü r d i e S pr a c h e A i s t e i n e A l g or i t h m u s V m i t

A = { w | V a k z e p t i e r t w , c f ü r e i n e n St r i n g c }.

E i n Po l y n o m i a l z e i t v e r i fi z i e r e r ar b e i t e t i n p o l y n o m i e l e r Z e i t ( i n d e r L ä n g e v o n w ) . E i n e S pr a c h e h e i ß t p o l y n o m i a l z e i t v e r i fi z i e r b ar f a l l s s i e s i e e i n e n Po l y n o m i a l z e i t v e r i fi z i e r e r h a t .

c w i r a u c h Z e r t i fi ka t o d e r B e we i s g e n a n n t .

Fa l l s e i n e S pr a c h e p o l y n o m i a l z e i t v e r i fi z i e r b ar i s t h a t c e i n e L ä n g e p o l y n o m i a l i n w .

D i e K l a s s e N P

D e fi n i t i o n

N P i s t d i e M e n g e d e r S pr a c h e n d i e i n p o l y n o m i e l l e r Z e i t v e r i fi z i e r t we r d e n ka n n .

D i e K l a s s e N P e n t h ä l t v i e l e w i c h t i g e Pr o b l e m e .

H a m Pa t h u n d C O M PO SI T E S s i n d i n N P .

D a PR I M E i n P i s t , i s t C O M PO S I T E S a u c h i n P .

N i c h t d e t T M f ü r H a m Pa t h

N 1 ar b e i t e t w i e f o l g t a u f E i n g a b e G , s , t :

1 B e r e c h n e e i n e z u f ä l l i g e Pe r m u t a t i o n p 1 ,

2 Ü b e r pr ü f e o b p 1 = s u n d p n = t . Fa l l s n i c h t g e b e r e j e c t a u s .

3 Ü b e r pr ü f e f ü r a l l e 1 i n 1 o b e s e i n e K a n t e z w i s c h e n p i u n d p i + 1 g i b t . Fa l l s n e i n , g e b e r e j e c t a u s , s o n s t g e b e a c c e p t a u s .

p n d e r K n o t e n .

K l ar : D i e L a u f z e i t i s t p o l y n o m i e l i n d e r E i n g a b e G , s , t .

E i n e a n d e r e D e fi n i t i o n

T h e or e m

E i n e S pr a c h e A i s t i n N P , g e n a u d a n n we n n e s e i n e n i c h t d e t e r m i n i s t i s c h e T M g i b t , d i e A i n p o l y n o m i e l e r Z e i t e n t s c h e i d e t .

B e we i s : R i c h t u n g 1 : S e i A N P . D a n n g i b t e s e i n e n Po l y n o m z e i t -

v e r i fi z i e r e r V f ü r A . N e h m e n w i r a n V h a t e i n e L a u f z e i t v o n n k . D a n n

kö n n e n w i r w i e f o l g t e i n e n i c h t d e t . T M N f ü r A ko n s t r u i e r e n . S e i w E i n g a b e f ü r N d e r L ä n g e n .

d i e

1 R a t e e i n e n S t r i n g c d e r L ä n g e n k .

2 L a s s e V a u f d e r E i n g a b e w , c l a u f e n .

3 A k z e p t i e r e g e n a u d a n n we n n V a kz e p t i e r t , a n s o n s t e n g e b e r e j e c t a u s .

E i n e a n d e r e D e fi n i t i o n I I

R i c h t u n g 2 : W i r n e h m e n a n , d a ß A v o n e i n e r n i c h t d e t T M N i n p o l y n o m i e l l e r L a u f z e i t e n t s c h i e d e n we r d e n ka n n . D a n n g i b t ka n n m a n e i n e n Po l y n o m z e i t v e r i fi z i e r e r V f ü r A ko n s t r u i e r e n . S e i w , c d i e E i n g a b e f ü r V .

1 S i m u l i e r e N a u f d e r E i n g a b e w :

1 B e n u t z e c a l s A u f z ä h l e r v o n N u m m e r n f ü r d i e E n t s c h e i d u n g e n , d i e N m a c h e n m u s s .

2 A k z e p t i e r e g e n a u d a n n we n n N a kz e p t i e r t , a n s o n s t e n g e b e r e j e c t a u s .

N T I M E ( t ( n ) )

D e fi n i t i o n

S e i t : N R + e i n e Fu n k t i o n . D i e Ko m p l e x i t ä t s kl a s s e N T i me ( t ( n ) ) e n t h ä l t a l l e Pr o b l e m e , d i e i n Z e i t O ( t ( n ) ) v o n e i n e r n i c h t d e t . T M e n t s c h i e d e n we r d e n kö n n e n .

N P = N T i m e ( n k ) .

k

E s i s t a u c h n i c h t w i c h t i g we l c h e s n i c h t d e t . M a s c h i n e n m o d e l m a n b e n u t z t .

P r o b l e m e i n N P

k - C l i q u e = { G , k | G i s t e i n u n g e r i c h t e t e r G r a p h m i t e i n e r k - C l i q u e }

S u b s e t S u m = { S , t | S = {x 1 ,

x k } u n d e s g i b t { y 1 ,

{x 1 ,

x k } s o d a ß y i = t }

}

y

I n t e r e s s a n t : E s i s t n i c h t kl ar o b k C l i q u e u n d Su b s e t S u m a u c h i n N P

s i n d .

E s i s t e i n f a c h e r z u z e i g e n , d a ß e twa s e x i s t i e r t , a l s z u z e i g e n d a ß e s n i c h t e x i s t i e r t .

D e fi n i t i o n

C O N P i s t d i e K l a s s e d e r Spr a c h e n d e r e n Ko m p l e m e n t i n N P i s t .

P v e r s u s N P

P i s t d i e K l a s s e d e r Pr o b l e m e d i e i n p o l y n o m i e l l e r Z e i t g e l ö ß t we r d e n kö n n e n .

N P i s t d i e K l a s s e d e r Pr o b l e m e d i e i n p o l y n o m i e l l e r Z e i t v e r i fi z i e r t we r d e n kö n n e n .

D i e Fr a g e P = N P i s t e i n e d e r w i c h t i g s t e n u n g e l ö ß t e n Fr a g e n i n d e r

I

n f or m a t i k.

Wa s w i r w i s s e n :

P N P E X P T I M E = T i m e ( 2 n k ) .

k