sam roweis et al- a sticker based model for dna computation

Upload: gmso3

Post on 06-Apr-2018

222 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    1/27

    A S t i c k e r B a s e d M o d e l f o r D N A C o m p u t a t i o n

    S a m R o w e i s

    1

    , E r i k W i n f r e e

    1

    ,

    R i c h a r d B u r g o y n e

    2

    , N i c k o l a s V . C h e l y a p o v

    3

    ,

    M y r o n F . G o o d m a n

    4

    , P a u l W . K . R o t h e m u n d

    3

    ,

    L e o n a r d M . A d l e m a n

    3 y

    L a b o r a t o r y f o r M o l e c u l a r S c i e n c e , U n i v e r s i t y o f S o u t h e r n C a l i f o r n i a

    a n d

    1

    C o m p u t a t i o n a n d N e u r a l S y s t e m s O p t i o n , C a l i f o r n i a I n s t i t u t e o f T e c h n o l o g y

    2

    D e p a r t m e n t o f B i o m e d i c a l E n g i n e e r i n g , U n i v e r s i t y o f S o u t h e r n C a l i f o r n i a

    3

    D e p a r t m e n t o f C o m p u t e r S c i e n c e , U n i v e r s i t y o f S o u t h e r n C a l i f o r n i a

    4

    D e p a r t m e n t o f B i o l o g i c a l S c i e n c e s , U n i v e r s i t y o f S o u t h e r n C a l i f o r n i a

    M a y 1 9 9 6

    A b s t r a c t

    W e i n t r o d u c e a n e w m o d e l o f m o l e c u l a r c o m p u t a t i o n t h a t w e c a l l t h e s t i c k e r m o d e l . L i k e m a n y

    p r e v i o u s p r o p o s a l s i t m a k e s u s e o f D N A s t r a n d s a s t h e p h y s i c a l s u b s t r a t e i n w h i c h i n f o r m a t i o n i s

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

    m o d e l s , t h e s t i c k e r s m o d e l h a s a r a n d o m a c c e s s m e m o r y t h a t r e q u i r e s n o s t r a n d e x t e n s i o n , u s e s

    n o e n z y m e s , a n d a t l e a s t i n t h e o r y i t s m a t e r i a l s a r e r e u s a b l e .

    T h e p a p e r d e s c r i b e s c o m p u t a t i o n u n d e r t h e s t i c k e r s m o d e l a n d d i s c u s s e s p o s s i b l e m e a n s f o r

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

    f o r i m p l e m e n t i n g t h e s t i c k e r s m o d e l a s a m i c r o p r o c e s s o r - c o n t r o l l e d p a r a l l e l r o b o t i c w o r k s t a t i o n .

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

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

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

    c o m p u t a t i o n S m i t h , H a r t m a n i s , L e t t e r s t o S c i e n c e a r e a d d r e s s e d . F i r s t , i t i s c l e a r t h a t g e n e r a l -

    p u r p o s e a l g o r i t h m s c a n b e i m p l e m e n t e d b y D N A - b a s e d c o m p u t e r s , p o t e n t i a l l y s o l v i n g a w i d e

    c l a s s o f s e a r c h p r o b l e m s . S e c o n d , w e n d t h a t t h e r e a r e c h a l l e n g i n g p r o b l e m s , f o r w h i c h o n l y

    m o d e s t v o l u m e s o f D N A s h o u l d s u c e . T h i r d , w e d e m o n s t r a t e t h a t t h e f o r m a t i o n a n d b r e a k i n g

    o f c o v a l e n t b o n d s i s n o t i n t r i n s i c t o D N A - b a s e d c o m p u t a t i o n . T h i s m e a n s t h a t c o s t l y a n d s h o r t -

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

    P C R . F o u r t h , w e s h o w t h a t a s i n g l e e s s e n t i a l b i o t e c h n o l o g y , s e q u e n c e - s p e c i c s e p a r a t i o n , s u c e s

    f o r c o n s t r u c t i n g a g e n e r a l - p u r p o s e m o l e c u l a r c o m p u t e r . F i f t h , w e i l l u s t r a t e t h a t s e p a r a t i o n e r r o r s

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

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

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

    D e s p i t e t h e s e e n c o u r a g i n g t h e o r e t i c a l a d v a n c e s , w e e m p h a s i z e t h a t s u b s t a n t i a l e n g i n e e r i n g

    c h a l l e n g e s r e m a i n a t a l m o s t a l l s t a g e s a n d t h a t t h e u l t i m a t e s u c c e s s o r f a i l u r e o f D N A c o m p u t i n g

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

    R e p r i n t r e q u e s t s t o r o w e i s @ c n s . c a l t e c h . e d u . T h e M A T L A B c o d e w h i c h w a s u s e d t o g e n e r a t e a l l o f t h e g u r e s i n

    S e c t i o n 5 o f t h i s p a p e r i s a l s o a v a i l a b l e b y r e q u e s t f r o m r o w e i s @ c n s . c a l t e c h . e d u . R o w e i s i s s u p p o r t e d i n p a r t b y t h e

    C e n t e r f o r N e u r o m o r p h i c S y s t e m s E n g i n e e r i n g a s a p a r t o f t h e N a t i o n a l S c i e n c e F o u n d a t i o n E n g i n e e r i n g R e s e a r c h

    C e n t e r P r o g r a m u n d e r g r a n t E E C - 9 4 0 2 7 2 6 a n d b y t h e N a t u r a l S c i e n c e s a n d E n g i n e e r i n g R e s e a r c h C o u n c i l o f C a n a d a .

    W i n f r e e i s s u p p o r t e d i n p a r t b y N a t i o n a l I n s t i t u t e f o r M e n t a l H e a l t h N I M H T r a i n i n g G r a n t 5 T 3 2 M H 1 9 1 3 8 -

    0 6 ; a l s o b y G e n e r a l M o t o r s ' T e c h n o l o g y R e s e a r c h P a r t n e r s h i p s p r o g r a m . A d l e m a n , C h e l y a p o v , a n d R o t h e m u n d a r e

    s u p p o r t e d i n p a r t b y g r a n t s f r o m t h e N a t i o n a l S c i e n c e F o u n d a t i o n C C R - 9 4 0 3 6 6 2 a n d S l o a n F o u n d a t i o n .

    y

    T o w h o m c o r r e s p o n d e n c e s h o u l d b e a d d r e s s e d .

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    2/27

    1 I n t r o d u c t i o n

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

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

    a t t a c k i n g p r o b l e m s w h i c h h a v e b e e n r e s i s t a n t t o s o l u t i o n w i t h c o n v e n t i o n a l a r c h i t e c t u r e s . M o d e l a r -

    c h i t e c t u r e s h a v e b e e n p r o p o s e d w h i c h s u g g e s t t h a t D N A b a s e d c o m p u t e r s m a y b e e x i b l e e n o u g h t o

    t a c k l e a w i d e r a n g e o f p r o b l e m s A d l e m a n 1 , A d l e m a n 2 , A m o s , L i p t o n , B o n e h 2 , B e a v e r , R o t h e m u n d ,

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

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

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

    L i k e m a n y p r e v i o u s p r o p o s a l s i t m a k e s u s e o f D N A s t r a n d s a s t h e p h y s i c a l s u b s t r a t e i n w h i c h

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

    u n l i k e p r e v i o u s m o d e l s , t h e s t i c k e r s m o d e l h a s a r a n d o m a c c e s s m e m o r y t h a t r e q u i r e s n o s t r a n d

    e x t e n s i o n , u s e s n o e n z y m e s , a n d a t l e a s t i n t h e o r y i t s m a t e r i a l s a r e r e u s a b l e .

    T h e p a p e r b e g i n s b y i n t r o d u c i n g a n e w w a y o f r e p r e s e n t i n g i n f o r m a t i o n i n D N A , f o l l o w e d b y a n

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

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

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

    w o r k s t a t i o n , e m p l o y i n g o n l y t e c h n o l o g i e s w h i c h e x i s t t o d a y . F i n a l l y , w e d i s c u s s m e t h o d s f o r a c h i e v -

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

    2 T h e S t i c k e r s M o d e l

    2 . 1 R e p r e s e n t a t i o n o f I n f o r m a t i o n

    T h e s t i c k e r s m o d e l e m p l o y s t w o b a s i c g r o u p s o f s i n g l e s t r a n d e d D N A m o l e c u l e s i n i t s r e p r e s e n t a t i o n

    o f a b i t s t r i n g . C o n s i d e r a m e m o r y s t r a n d N b a s e s i n l e n g t h s u b d i v i d e d i n t o K n o n - o v e r l a p p i n g

    r e g i o n s e a c h M b a s e s l o n g t h u s N M K . E a c h r e g i o n i s i d e n t i e d w i t h e x a c t l y o n e b i t p o s i t i o n

    o r e q u i v a l e n t l y o n e b o o l e a n v a r i a b l e d u r i n g t h e c o u r s e o f t h e c o m p u t a t i o n . W e a l s o d e s i g n K

    d i e r e n t s t i c k e r s t r a n d s o r s i m p l y s t i c k e r s . E a c h s t i c k e r i s M b a s e s l o n g a n d i s c o m p l e m e n t a r y t o

    o n e a n d o n l y o n e o f t h e K m e m o r y r e g i o n s . I f a s t i c k e r i s a n n e a l e d t o i t s m a t c h i n g r e g i o n o n a g i v e n

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

    i s a n n e a l e d t o a r e g i o n t h e n t h a t r e g i o n ' s b i t i s o . F i g u r e 1 i l l u s t r a t e s t h i s r e p r e s e n t a t i o n s c h e m e .

    A T C G G T C A T A G C A C T

    A T C G G T C A T A G C A C T

    T A CCGC T GG A

    C G TG A

    GAT CC

    GAT CC

    AG T A

    T

    C G TG AA

    G T AT

    AG T A

    T

    00 0

    0 11

    Memory

    Strands

    3

    5

    5

    3

    bit i bit i+1 bit i+2 bit ... (up to bit K)bit ...

    Stickers

    M bases

    F i g u r e 1 : A m e m o r y s t r a n d a n d a s s o c i a t e d s t i c k e r s t o g e t h e r c a l l e d a m e m o r y c o m p l e x r e p r e s e n t a

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

    s t i c k e r s a n d t h u s t w o b i t s o n .

    1

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    3/27

    E a c h m e m o r y s t r a n d a l o n g w i t h i t s a n n e a l e d s t i c k e r s i f a n y r e p r e s e n t s o n e b i t s t r i n g . S u c h p a r t i a l

    d u p l e x e s a r e c a l l e d m e m o r y c o m p l e x e s . A l a r g e s e t o f b i t s t r i n g s i s r e p r e s e n t e d b y a l a r g e n u m b e r

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

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

    o f i n f o r m a t i o n u s i n g D N A i n w h i c h t h e p r e s e n c e o r a b s e n c e o f a p a r t i c u l a r s u b s e q u e n c e i n a s t r a n d

    c o r r e s p o n d e d t o a p a r t i c u l a r b i t b e i n g o n o r o e . g . s e e A d l e m a n 1 , L i p t o n . I n t h i s n e w m o d e l ,

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

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

    T o g i v e a f e e l f o r t h e n u m b e r s i n v o l v e d , a r e a s o n a b l e s i z e p r o b l e m f o r e x a m p l e b r e a k i n g D E S a s

    d i s c u s s e d i n A d l e m a n 3 , m i g h t u s e m e m o r y s t r a n d s o f r o u g h l y 1 2 0 0 0 b a s e s N w h i c h r e p r e s e n t

    5 8 0 b i n a r y v a r i a b l e s K u s i n g 2 0 b a s e r e g i o n s M .

    T h e i n f o r m a t i o n d e n s i t y i n t h i s s t o r a g e s c h e m e i s 1 = M b i t s b a s e , d i r e c t l y c o m p a r a b l e t o t h e d e n s i t y

    o f p r e v i o u s s c h e m e s A d l e m a n 1 , B o n e h 2 , L i p t o n . W e r e m a r k t h a t w h i l e i n f o r m a t i o n s t o r a g e i n D N A

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

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

    m i s m a t c h e s . I n s t e a d w e c h o o s e t o s a c r i c e i n f o r m a t i o n d e n s i t y i n o r d e r t o m a k e t h e e x p e r i m e n t a l

    d i c u l t i e s l e s s s e v e r e .

    2 . 2 O p e r a t i o n s o n S e t s o f S t r i n g s

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

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

    t w o s e t s o f s t r i n g s i n t o o n e n e w s e t , s e p a r a t i o n o f o n e s e t o f s t r i n g s i n t o t w o n e w s e t s a n d s e t t i n g o r

    c l e a r i n g t h e k

    t h

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

    i n t e r p r e t a t i o n i n t e r m s o f t h e D N A r e p r e s e n t a t i o n i n t r o d u c e d a b o v e . F i g u r e 2 s u m m a r i z e s t h e s e

    r e q u i r e d D N A i n t e r a c t i o n s .

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

    n e w s e t c o n t a i n i n g t h e m u l t i - s e t u n i o n o f a l l t h e s t r i n g s i n t h e t w o i n p u t s e t s . I n D N A ,

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

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

    A s e t o f s t r i n g s m a y b e s e p a r a t e d i n t o t w o n e w s e t s , o n e c o n t a i n i n g a l l t h e o r i g i n a l s t r i n g s

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

    f r o m t h e s e t ' s t u b e e x a c t l y t h o s e c o m p l e x e s w i t h a s t i c k e r a n n e a l e d t o t h e g i v e n b i t ' s r e g i o n .

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

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

    t h e a p p r o p r i a t e r e g i o n o n e v e r y c o m p l e x i n t h e s e t ' s t u b e o r l e f t i n p l a c e i f a l r e a d y a n n e a l e d .

    F i n a l l y , t o c l e a r t u r n o a b i t i n e v e r y s t r i n g o f a s e t , t h e s t i c k e r f o r t h a t b i t m u s t b e r e m o v e d

    i f p r e s e n t f r o m e v e r y m e m o r y c o m p l e x i n t h e s e t ' s t u b e .

    C o m p u t a t i o n s i n t h i s m o d e l c o n s i s t o f a s e q u e n c e o f c o m b i n a t i o n , s e p a r a t i o n , a n d b i t s e t t i n g c l e a r i n g

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

    o n e p o s s i b l y n u l l s e t o f s t r i n g s d e e m e d t o b e t h e a n s w e r s " . W e c a l l t h e t u b e c o n t a i n i n g t h e i n i t i a l

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

    2

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    4/27

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    5/27

    h o w t o c o m p u t e w i t h t h e s t i c k e r s m o d e l , w e m u s t d e s c r i b e h o w t o c r e a t e a m o t h e r t u b e o f m e m o r y

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

    a n s w e r s o r r e c o g n i z e t h a t t h e t u b e c o n t a i n s n o s t r a n d s . W e c o n s i d e r c r e a t i o n o f t h e m o t h e r t u b e

    r s t :

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

    K ; L l i b r a r y s e t o f s t r i n g s . A K ; L l i b r a r y s e t c o n t a i n s s t r i n g s o f l e n g t h K g e n e r a t e d b y

    t a k i n g t h e s e t o f a l l p o s s i b l e b i t s t r i n g s o f l e n g t h L f o l l o w e d b y K , L z e r o s . T h e r e a r e t h u s

    2

    L

    l e n g t h K s t r i n g s i n t h e s e t

    1

    .

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

    o v e r i n p u t s o f l e n g t h L . W e s e a r c h f o r t h e f e w r a r e a n s w e r " s t r i n g s b y p r o c e s s i n g a l l 2

    L

    p o s s i b l e

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

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

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

    i n t e r m e d i a t e s t o r a g e a n d a n s w e r e n c o d i n g a n d a r e i n i t i a l l y o o n a l l c o m p l e x e s . A l l b i t s c a n b e

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

    w h i c h i s a K ; L l i b r a r y s e t c o r r e s p o n d s t o g e n e r a t i n g a l l p o s s i b l e i n p u t s o f l e n g t h L a n d z e r o i n g

    t h e w o r k s p a c e l e n g t h K , L .

    L a s t l y , w e i n d i c a t e h o w t o o b t a i n a s o l u t i o n a t t h e e n d o f t h e c o m p u t a t i o n :

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

    a n s w e r t u b e a n d i t s a n n e a l e d s t i c k e r s i f a n y d e t e r m i n e d . A l t e r n a t e l y , i t m u s t b e r e p o r t e d

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

    2 . 3 E x a m p l e P r o b l e m

    T o i l l u s t r a t e t h e p o w e r o f t h e o p e r a t i o n s d e n e d a b o v e w e w o r k t h r o u g h t h e s o l u t i o n o f t h e N P -

    C o m p l e t e

    2

    M i n i m a l S e t C o v e r p r o b l e m G a r e y w i t h i n t h e s t i c k e r s m o d e l . I n f o r m a l l y , a s s u m e w e

    a r e g i v e n a c o l l e c t i o n o f B b a g s e a c h c o n t a i n i n g s o m e o b j e c t s . T h e o b j e c t s c o m e i n A t y p e s . T h e

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

    o f e v e r y t y p e . F o r m a l l y t h e p r o b l e m i s a s f o l l o w s : G i v e n a c o l l e c t i o n C = f C

    1

    ; : : : ; C

    B

    g o f s u b s e t s

    o f f 1 ; : : : ; A g w h a t i s t h e s m a l l e s t s u b s e t I o f f 1 ; : : : ; B g s u c h t h a t

    S

    i 2 I

    C

    i

    = f 1 ; : : : ; A g ? T h e

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

    a l l p o s s i b l e 2

    B

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

    a p p e a r i n g i n t h e s u b s e t C

    i

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

    c o n t a i n i n g a l l A t y p e s a n d r e a d o u t t h e o n e s w h i c h u s e s t h e f e w e s t b a g s . F o r m a l l y , t h e s t i c k e r

    a l g o r i t h m f o r m i n i m a l s e t c o v e r i s :

    D e s i g n a m e m o r y s t r a n d w i t h K = B + A b i t r e g i o n s . B i t s 1 : : : B r e p r e s e n t w h i c h b a g s a r e

    c h o s e n , b i t s B + 1 : : : B + A w h i c h

    o b j e c t t y p e s a r e p r e s e n t .

    I n i t i a l i z e a K ; B l i b r a r y s e t i n a t u b e c a l l e d T

    0

    .

    f o r i = 1 t o B

    S e p a r a t e T

    0

    i n t o T

    o n

    a n d T

    o f f

    b a s e d o n b i t i M a r k t h e n a l A p o s i t i o n s o f e a c h

    c o m p l e x t o r e c o r d w h i c h o b j e c t

    t y p e s i t c o n t a i n s .

    f o r j = 1 t o j C

    i

    j

    S e t b i t N + C

    i

    j i n T

    o n

    C o m b i n e T

    o n

    a n d T

    o f f

    i n t o T

    0

    1

    F o r e x a m p l e , t h e 7 , 3 l i b r a r y s e t i s t h e s e t f 0 0 0 0 0 0 0 , 0 0 1 0 0 0 0 , 0 1 0 0 0 0 0 , 0 1 1 0 0 0 0 , 1 0 0 0 0 0 0 , 1 0 1 0 0 0 0 , 1 1 0 0 0 0 0 , 1 1 1 0 0 0 0 g .

    2

    T e c h n i c a l l y t h e N P - C o m p l e t e v e r s i o n o f t h i s p r o b l e m i s t h e b i n a r y d e c i s i o n v e r s i o n i n w h i c h w e a s k i f t h e r e e x i s t s

    a c o l l e c t i o n o f a p a r t i c u l a r s i z e t h a t c o v e r s t h e s e t , n o t f o r t h e c o l l e c t i o n o f t h e s m a l l e s t s i z e .

    4

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    6/27

    f o r i = B + 1 t o B + A G e t r i d o f o n e s w h i c h d o n o t h a v e

    a l l A t y p e s . S e p a r a t e T

    0

    i n t o T

    0

    a n d T

    b a d

    b a s e d o n b i t i

    D i s c a r d T

    b a d

    f o r i = 0 t o B - 1 C o u n t h o w m a n y b a g s

    w e r e u s e d . A t t h e e n d

    o f t h e o u t e r l o o p , t u b e

    T

    i

    c o n t a i n s a l l c o m -

    p l e x e s w h i c h u s e d e x -

    a c t l y i b a g s .

    f o r j = i d o w n t o 0

    S e p a r a t e T

    j

    i n t o T

    j + 1

    0

    a n d T

    j

    b a s e d o n b i t i + 1

    C o m b i n e T

    j + 1

    a n d T

    j + 1

    0

    i n t o T

    j + 1

    R e a d T

    1

    ;

    e l s e i f i t w a s e m p t y t h e n R e a d T

    2

    ;

    e l s e i f i t w a s e m p t y t h e n R e a d T

    3

    ;

    w h e r e a b o v e j C

    i

    j i s t h e n u m b e r o f i t e m s i n s u b s e t C

    i

    a n d C

    i

    j i s t h e j

    t h

    i t e m i n s u b s e t C

    i

    . N o t e

    t h a t t h e a b o v e a l g o r i t h m t a k e s O A B s t e p s , a n d t h e i n p u t i s O A B b i t s .

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

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

    o p e r a t i o n s m u s t b e p e r f o r m e d b l i n d " ; t h e o n l y i n t e r f a c e t o m o l e c u l a r p a r a l l e l i s m i s v i a i n i t i a l i z e ,

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

    m e n t d e s i g n " i . e . c o m p i l i n g h i g h e r - l e v e l p r o b l e m s p e c i c a t i o n s i n t o c o n c i s e s e q u e n c e s o f m o l e c u l a r

    o p e r a t i o n s b u t t h e y c a n n o t g e t a n y f e e d b a c k f r o m t h e D N A d u r i n g t h e c o u r s e o f t h e e x p e r i m e n t .

    A s a n a l c o m m e n t w e n o t e t h a t t h e s t i c k e r s m o d e l i s c a p a b l e o f s i m u l a t i n g i n p a r a l l e l i n d e p e n -

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

    u n b o u n d e d n u m b e r o f s t i c k e r r e g i o n s

    3

    . I t s h o u l d b e n o t e d t h a t t h e s t i c k e r s m o d e l i s u n i v e r s a l , i n

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

    a r e p o s s i b l e u s i n g c l e a r .

    3 P h y s i c a l I m p l e m e n t a t i o n o f t h e M o d e l

    E a c h l o g i c a l o p e r a t i o n i n o u r m o d e l h a s a c o r r e s p o n d i n g i n t e r p r e t a t i o n w h i c h w e g a v e a s w e i n t r o -

    d u c e d t h e o p e r a t i o n s i n t e r m s o f w h a t m u s t h a p p e n t o t h e D N A m e m o r y s t r a n d s a n d a s s o c i a t e d

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

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

    W e s p e a k i n t e r m s o f t u b e s i n s t e a d o f s e t s ; r e c a l l t h a t a t u b e c o n s i s t s o f t h e c o l l e c t i o n o f m e m o r y

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

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

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

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

    3 . 1 C o m b i n a t i o n

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

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

    3

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

    s i m u l a t e a f e e d f o r w a r d c i r c u i t , i n t h e s p i r i t o f B o n e h 2 . U s i n g t h e c l e a r o p e r a t i o n , a c l o c k e d f e e d b a c k c i r c u i t c a n

    a l s o b e s i m u l a t e d . S e c o n d , a l l o w i n g t h e c i r c u i t t o g r o w w i t h e a c h c l o c k c y c l e , w e c a n s i m u l a t e a u n i v e r s a l m a c h i n e .

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

    a n e w b i t a n d h e n c e a n e w s t i c k e r r e g i o n i n t h e m e m o r y s t r a n d . F o r c o n c r e t e n e s s , a f e e d f o r w a r d c i r c u i t C

    t

    c a n b e

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

    t , 1 . T h u s , t h e s t i c k e r s m o d e l c a n s i m u l a t e i n p a r a l l e l t h e e x e c u t i o n o f a T M o n a l l 2

    L

    l e n g t h L i n p u t s .

    5

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    7/27

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

    c o n s t r a i n t s : i f D N A i s n o t h a n d l e d g e n t l y t h e s h e a r f o r c e s f r o m p o u r i n g a n d m i x i n g i t w i l l f r a g m e n t

    i t i n t o 1 5 k i l o b a s e s e c t i o n s K o r n b e r g .

    A l s o o f c o n c e r n f o r t h i s o p e r a t i o n a n d i n d e e d f o r a l l o t h e r s i s t h e a m o u n t o f D N A w h i c h r e m a i n s

    s t u c k t o t h e w a l l s o f t u b e s , p u m p s , p i p e t t e t i p s , e t c . a n d t h u s i s l o s t " f r o m t h e c o m p u t a t i o n . E v e n

    i f t h i s l o s t " D N A i s a m i n u t e f r a c t i o n o f t h e t o t a l w h i c h w o u l d b e u n i m p o r t a n t t o m o l e c u l a r

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

    e a c h r e l e v a n t m o l e c u l e .

    3 . 2 S e p a r a t i o n

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

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

    s t i c k e r s . T h e m e c h a n i s m o f D N A h y b r i d i z a t i o n w i l l b e c e n t r a l t o a n y p r o p o s a l . I n g e n e r a l , s e p a r a -

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

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

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

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

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

    o r i g i n a l c o m p l e x e s w i t h t h e k e y b i t o w i l l b e c a p t u r e d o n t h e p r o b e s w h i l e a l l t h o s e w i t h t h e b i t

    o n w i l l r e m a i n u n b o u n d i n s o l u t i o n b e c a u s e t h e r e g i o n i s c o v e r e d b y a s t i c k e r . N e x t , t h e u n b o u n d

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

    o r a x i n g t h e p r o b e s t o s o l i d s u p p o r t a n d t h e n w a s h i n g . L a s t l y , t h e o " m e m o r y c o m p l e x e s a r e

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

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

    N o t i c e t h a t i f h e a t i n g i s u s e d t o a c h i e v e t h e n a l s t e p o f e l u t i o n t h i s m u s t b e d o n e w i t h o u t a l s o

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

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

    b y m a k i n g t h e p r o b e s e q u e n c e s n o t e x a c t l y c o m p l e m e n t a r y t o t h e i r r e g i o n s o n t h e m e m o r y s t r a n d s

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

    s t r a n d d i s s o c i a t i o n . A n a l t e r n a t i v e i s t o u s e p e r f e c t l y c o m p l e m e n t a r y s e q u e n c e s f o r b o t h t h e p r o b e s

    a n d s t i c k e r s b u t t o m a k e t h e s t i c k e r s o u t o f a n a l t e r n a t e b a c k b o n e m a t e r i a l s u c h a s P N A o r D N G

    E g h o l m 1 , D e m p c y w h i c h w o u l d e x h i b i t s t r o n g e r a n d m o r e s p e c i c b i n d i n g t o t h e D N A m e m o r y

    s t r a n d t h a n D N A p r o b e s

    4

    . P N A a n d D N G o e r t h e a d d i t i o n a l a d v a n t a g e t h a t d e c r e a s i n g s a l t

    c o n c e n t r a t i o n c a u s e s P N A D N A a n d D N G D N A t o b i n d m o r e s t r o n g l y w h i l e t h e o p p o s i t e i s t r u e

    f o r D N A D N A b i n d i n g . T h u s t h e n a l e l u t i o n s t e p m i g h t b e a c h i e v e d b y w a s h i n g i n a z e r o s a l t

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

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

    5

    .

    3 . 3 S e t t i n g a n d C l e a r i n g

    T o s e t a b i t i n e v e r y s t r i n g o f a s e t t h e m o s t o b v i o u s c h o i c e i s d i r e c t a n n e a l i n g . A n e x c e s s a m o u n t

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

    4

    P N A c l a m p s " E g h o l m 2 h a v e b e e n s h o w n t o f o r m P N A

    2

    D N A t r i p l e x e s w i t h r e m a r k a b l e a n i t y a n d s p e c i c i t y .

    T h e s e c l a m p s c o u l d a l s o b e u s e d a s s t i c k e r s .

    5

    F o r e x a m p l e c r o s s l i n k i n g t e c h n i q u e s m i g h t b e u s e d t o c o v a l e n t l y b o n d t h e s t i c k e r s t o t h e m e m o r y s t r a n d s s o t h a t

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

    s p i r i t o f t h e m o d e l .

    6

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    8/27

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

    o p p o s i t e t h e r e g i o n c o r r e s p o n d i n g t o t h e b i t b e i n g s e t . S u b s e q u e n t l y t h e e x c e s s u n u s e d s t i c k e r s a r e

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

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

    o r e n d t h a t i s n e v e r c o v e r e d b y a s t i c k e r a n d d e s i g n i n g a p r o b e f o r t h a t r e g i o n a s d e s c r i b e d i n

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

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

    T o c l e a r a b i t i n e v e r y s t r i n g o f a s e t r e q u i r e s r e m o v i n g t h e s t i c k e r s f o r o n l y t h a t b i t f r o m e v e r y

    c o m p l e x i n a t u b e . S i m p l e h e a t i n g w i l l o b v i o u s l y n o t w o r k s i n c e a l l s t i c k e r s f r o m a l l b i t r e g i o n s

    w i l l c o m e o . O n e p o s s i b i l i t y i s t o d e s i g n a t e c e r t a i n b i t r e g i o n s a s w e a k r e g i o n s . T h e s e r e g i o n s

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

    h e a t i n g t o s o m e i n t e r m e d i a t e t e m p e r a t u r e a l l t h e w e a k s t i c k e r s c a n b e m a d e t o d i s s o c i a t e a t o n c e ,

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

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

    n o m e n o n o f P N A s t r a n d i n v a s i o n b y t r i p l e h e l i x f o r m a t i o n N i e l s e n . I t h a s b e e n s h o w n t h a t u n d e r

    a p p r o p r i a t e c o n d i t i o n s , t w o s i n g l e s t r a n d e d o l i g o s o f a l l - p y r i m i d i n e P N A w i l l i n v a d e " a n e x i s t i n g

    c o m p l e m e n t a r y D N A D N A d u p l e x t o f o r m a P N A

    2

    D N A t r i p l e h e l i x , d i s p l a c i n g t h e p y r i m i d i n e

    D N A s t r a n d . T h i s p r o c e s s i s m o s t e c i e n t w i t h P N A c l a m p s " E g h o l m 2 w h i c h c o n t a i n b o t h t h e

    W a t s o n - C r i c k a n d H o o g s t e e n P N A s t r a n d s i n a s i n g l e m o l e c u l e . W e s u g g e s t t h a t i f f o r e x a m p l e

    2 1 n u c l e o t i d e D N A s t i c k e r s a r e u s e d , t h e n a 1 4 b a s e P N A c l a m p c o u l d b e d e s i g n e d w h i c h f o r m s

    a t r i p l e h e l i x w i t h t h e c e n t r a l 7 n u c l e o t i d e s o f t h e D N A s t i c k e r . B y m i x i n g P N A c l a m p s s p e c i c

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

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

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

    o p e r a t i o n a r e n o t y e t k n o w n e x p e r i m e n t a l l y ; i n d e e d t h e m e c h a n i s m o f t r i p l e x f o r m a t i o n D e m i d o v

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

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

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

    o f t h e m o d e l .

    3 . 4 I n i t i a l i z a t i o n a n d F i n a l O u t p u t

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

    f o l l o w e d b y K , L z e r o s , i t i s r s t n e c e s s a r y t o s y n t h e s i z e r o u g h l y 2

    L

    i d e n t i c a l c o p i e s o f a p r o p e r l y

    d e s i g n e d m e m o r y s t r a n d w i t h K L r e g i o n s . S t i c k e r s m u s t t h e n b e a d d e d r a n d o m l y " t o t h e s e

    s t r a n d s i n p o s i t i o n s 1 : : : L . O n e p r o c e d u r e t h a t a c h i e v e s t h i s i s o u t l i n e d b e l o w . N o t e t h a t t h e

    m e t h o d r e q u i r e s o n l y a s i n g l e s t e p .

    T h e s t r a n d s a r e s p l i t i n t o t w o e q u a l v o l u m e s . T o o n e v o l u m e i s a d d e d a n e x c e s s o f s t i c k e r s f o r

    a l l b i t s 1 : : L ; t h i s r e s u l t s i n a l l b i t s 1 : : L b e i n g s e t o n a l l s t r a n d s . T h e u n u s e d s t i c k e r s a r e t h e n

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

    T h e t w o v o l u m e s a r e t h e n r e c o m b i n e d a n d h e a t e d c a u s i n g a l l s t i c k e r s t o d i s s o c i a t e . F i n a l l y t h e

    m i x t u r e i s c o o l e d a g a i n , c a u s i n g t h e s t i c k e r s t o r a n d o m l y a n n e a l t o t h e m e m o r y s t r a n d s . S i n c e e a c h

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

    g i v e n b i t s e t w i t h p r o b a b i l i t y o n e h a l f v e r y n e a r l y i n d e p e n d e n t l y . U n d e r t h i s m o d e l , t h e o d d s t h a t

    a n y p a r t i c u l a r b i t s t r i n g i s n o t p r e s e n t i n t h e n a l l i b r a r y i s 1 , 1 = 2

    L

    2

    L

    w h i c h f o r t h e L o f i n t e r e s t

    i s a l m o s t e x a c t l y 1 = e . I n o t h e r w o r d s e a c h s t r i n g i s c r e a t e d a t l e a s t o n c e w i t h p r o b a b i l i t y r o u g h l y

    6 3 . T h i s p e r c e n t a g e c a n o b v i o u s l y b e i n c r e a s e d b y s y n t h e s i z i n g m o r e t h a n 2

    L

    s t r a n d s i n i t i a l l y .

    7

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    9/27

    N o t i c e t h a t t h i s p r o c e d u r e i s r e l a t i v e l y r o b u s t t o e r r o r s i n s t o i c h i o m e t r y : F o r e x a m p l e , i f t h e o r i g i n a l

    s t r a n d s a r e s p l i t i n t o v o l u m e s w h o s e r a t i o i s n o t 1 b u t 1 . 5 t h e n f o r s a y L = 5 6 a r a n d o m l y c h o s e n

    s t r i n g i s c r e a t e d w i t h p r o b a b i l i t y 3 7 , s t i l l n o t v a n i s h i n g l y s m a l l

    6

    .

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

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

    c o m p l e x a n d t h e n i d e n t i f y w h i c h s t i c k e r s i f a n y a r e a n n e a l e d t o i t .

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

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

    t u b e . S u c h d e t e c t i o n h a s a l r e a d y b e e n a c h i e v e d e x p e r i m e n t a l l y , s e e f o r e x a m p l e C a s t r o . T h i s

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

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

    o n P C R f o r c o m p l e x d e t e c t i o n a r e p o s s i b l e .

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

    t h e o r d e r o f b i t r e g i o n s w e c o u l d i m a g i n e j u s t l o o k i n g a n d r e a d i n g o t h e a n s w e r s t r i n g p e r h a p s

    u s i n g e l e c t r o n m i c r o s c o p y . A l t e r n a t e l y o n c e a c o m p l e x i s i s o l a t e d i t s s t i c k e r s m a y b e e l u t e d a n d

    p o u r e d o v e r a d e t e c t i o n h y b r i d i z a t i o n g r i d M e a d e t o d e t e r m i n e w h i c h o n e s w e r e p r e s e n t . W h i l e

    t h e s e p o s s i b i l i t i e s a r e i n t r i g u i n g , m o r e p r a c t i c a l a p p r o a c h e s b a s e d o n P C R a r e m o r e l i k e l y t o w o r k

    i n t h e n e a r t e r m A d l e m a n 3 . H o w e v e r , w e s h o w b e l o w t h a t d e t e c t i o n a l o n e i s s u c i e n t t o o b t a i n

    a n o u t p u t s t r i n g . T h e a p p r o a c h i s t o u s e b i n a r y t r e e d e c o d i n g :

    B e g i n w i t h t h e s o l u t i o n c o n t a i n i n g a l l p u t a t i v e a n s w e r c o m p l e x e s o f w h i c h t h e r e m a y b e n o n e .

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

    s e p a r a t e t h e m b a s e d o n t h e r s t b i t o f t h e a n s w e r s t r i n g

    7

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

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

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

    s t r i n g .

    3 . 5 M e m o r y S t r a n d a n d S t i c k e r D e s i g n

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

    s t r a n d o r s t i c k e r s t o h a v e c e r t a i n p r o p e r t i e s . I n t h i s s e c t i o n w e s u m m a r i z e t h o s e r e q u i r e m e n t s a n d

    e x p l o r e p o s s i b i l i t i e s f o r a c h i e v i n g t h e m .

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

    t h a t t h e s t i c k e r s o n l y a n n e a l t o t h e m e m o r y s t r a n d s w h e n o p p o s i t e t h e i r a s s i g n e d r e g i o n a n d n o t

    i n a n y o t h e r p o s i t i o n . T h u s t h e m e m o r y s t r a n d s e q u e n c e m u s t b e d e s i g n e d s o t h a t a n y r e g i o n ' s

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

    o t h e r a l i g n m e n t s a l o n g t h e s t r a n d . A s a r s t a p p r o x i m a t i o n t o t h i s w e w i l l r e q u i r e a c e r t a i n m i n i m u m

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

    t h a n s i m p l y r e q u i r i n g e a c h s t i c k e r t o m i s m a t c h a l l b i t r e g i o n s b u t i t s o w n . I t m u s t m i s m a t c h e v e r y

    o t h e r M l o n g w i n d o w p o s s i b l y s p a n n i n g t w o b i t r e g i o n s o n t h e s t r a n d . M a t h e m a t i c a l l y , w e w i s h

    t o d e s i g n a s e q u e n c e o f l e n g t h N s u c h t h a t t h e r e e x i s t K n o n - o v e r l a p p i n g s u b s e q u e n c e s o f l e n g t h M

    e a c h c a l l t h e m r e g i o n s " w i t h t h e f o l l o w i n g p r o p e r t y : F o r e a c h r e g i o n , i t s c o m p l e m e n t h a s a t l e a s t

    6

    T h e e x p r e s s i o n f o r t h e p r o b a b i l i t y o f a r a n d o m b i t s t r i n g b e i n g c r e a t e d i s 1 ,

    P

    L

    k = 0

    L

    k

    2

    L

    1 , r

    k

    1 + r

    , L

    2

    L

    w h e r e

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

    7

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

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

    8

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    10/27

    D

    1

    m i s m a t c h e s w i t h e v e r y o t h e r s u b s e q u e n c e o f l e n g t h M i n t h e e n t i r e s e q u e n c e . T h e q u a n t i t y D

    1

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

    I t i s a l s o i m p o r t a n t t o e l i m i n a t e s e c o n d a r y s t r u c t u r e i n t h e m e m o r y s t r a n d i t s e l f . W e m u s t p r e v e n t

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

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

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

    s u b s e q u e n c e o f l e n g t h M h a s a t l e a s t D

    2

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

    T h e q u a n t i t y D

    2

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

    a n n e a l i n g .

    F i n a l l y , w e m u s t d e s i g n s e p a r a t i o n p r o b e s s u c h t h a t t h e y s t i c k s p e c i c a l l y t o t h e a p p r o p r i a t e r e g i o n

    a n d t h e y h a v e s u c i e n t l y l o w e r a n i t y t h e r e t h a n t h e s t i c k e r s . T h i s e n s u r e s t h a t t h e r e e x i s t s a

    w a s h t e m p e r a t u r e a n d s a l i n i t y f o r w h i c h t h e p r o b e s w i l l d i s s o c i a t e w h i l e t h e s t i c k e r s w i l l r e m a i n

    i n p l a c e . A g a i n , a s a r s t a p p r o x i m a t i o n w e r e q u i r e t h a t t h e p r o b e s h a v e a t l e a s t D

    3

    m i s m a t c h e s

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

    4

    D

    3

    m i s m a t c h e s e v e r y w h e r e e l s e .

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

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

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

    N b u t c e r t a i n l y s t i l l K M N . I n o t h e r w o r d s , w e l e a v e g a p s " b e t w e e n t h e b i t r e g i o n s o n t h e

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

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

    p y r i m i d i n e s M i r . T h e a p p l i e d m a t h e m a t i c s l i t e r a t u r e o n c o m m a f r e e c o d e s " a n d o n d e B r u i j n

    s e q u e n c e s " w h e n D = 1 c o n t a i n s d e t a i l e d d i s c u s s i o n s o f m a n y o f t h e i m p o r t a n t i s s u e s s e e N e v e l n

    a n d F r e d r i c k s e n f o r r e a s o n a b l e i n t r o d u c t i o n s . A l s o , S m i t h , B a u m h a v e d i s c u s s e d s e q u e n c e d e s i g n

    i n t h e c o n t e x t o f D N A c o m p u t a t i o n .

    F i n a l l y , D

    1

    w o u l d b e r e d u c e d i f h i g h e r - a n i t y P N A o r D N G s t i c k e r s w e r e u s e d ; f u r t h e r m o r e , D

    3

    w o u l d p o s s i b l y b e r e d u c e d t o z e r o . O t h e r v a r i a b l e s o t h e r t h a n o r i n a d d i t i o n t o t e m p e r a t u r e c o u l d

    b e m a n i p u l a t e d , s u c h a s s a l t c o n c e n t r a t i o n a n d c h e m i c a l s o l v e n t , i n o r d e r t o a c h i e v e t h e r e l a t i v e

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

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

    m a s s p r o d u c t i o n . H o w e v e r i t r e m a i n s t o b e s e e n i f n a t u r a l s e q u e n c e s c a n b e f o u n d w h i c h m e e t t h e

    a b o v e r e s t r i c t i o n s .

    W e e m p h a s i z e t h a t t h e c r i t e r i a o u t l i n e d a b o v e a r e f o r i l l u s t r a t i o n o n l y ; a m o r e s o p h i s t i c a t e d a p -

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

    f o r o l i g o n u c l e o t i d e h y b r i d i z a t i o n . T h e r e a r e s e v e r a l d a t a s e t s a v a i l a b l e f o r c a l c u l a t i n g H a n d S

    f o r D N A D N A h y b r i d i z a t i o n S a n t a l u c i a , B r e s l a u e r , P e t r u s k a , a n d s i m i l a r d a t a c o u l d b e o b t a i n e d

    f o r P N A a n d o r D N G i n t e r a c t i o n s . A l l o w a n c e s w o u l d a l s o h a v e t o b e m a d e f o r p o t e n t i a l b u b b l e

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

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

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

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

    O u r c o n c l u s i o n i s t h a t a l t h o u g h d e s i g n o f t h e m e m o r y s t r a n d a n d t h e s t i c k e r s m a y b e d i c u l t , t h e

    d e s i g n s p a c e i s l a r g e ; a n d o n c e a s t r a n d w i t h K r e g i o n s i s f o u n d , i t c a n b e u s e d a n d r e u s e d i n

    t h e s t i c k e r s m o d e l f o r a n y p r o b l e m r e q u i r i n g K o r f e w e r b i t s o f m e m o r y . S i n c e t h e s t i c k e r s m o d e l

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

    K

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

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

    b e t e s t e d e x p e r i m e n t a l l y o n c e a n d f o r a l l .

    9

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    11/27

    3 . 6 E x p e r i m e n t a l F e a s i b i l i t y

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

    e x p e r i m e n t a l i m p l e m e n t a t i o n . S e v e r a l o b j e c t i o n s m i g h t b e r a i s e d t o t h e e e c t t h a t i t i s u n r e a s o n a b l e

    t o e x p e c t t h a t t h e s e r e q u i r e m e n t s c a n b e m e t . W e a t t e m p t t o b r i e y a d d r e s s s o m e o f t h e s e i s s u e s

    h e r e .

    O b j e c t i o n : N o m a t t e r w h a t m e t h o d s a r e p r o p o s e d , D N A b a s e d t e c h n i q u e s w i l l s u e r f r o m s t r a n d s

    b e i n g m i s p r o c e s s e d . W h a t e r r o r r a t e s w o u l d b e r e q u i r e d i n o r d e r t o s t i l l a c c o m p l i s h u s e f u l c o m p u -

    t a t i o n ?

    R e s p o n s e : F o r m a n y s e a r c h p r o b l e m s , i n c l u d i n g D E S a n d N P - c o m p l e t e p r o b l e m s , p r o b a b i l i s t i c

    a l g o r i t h m s h a v e p r a c t i c a l v a l u e . A n s w e r s s u g g e s t e d b y t h e m o l e c u l a r c o m p u t e r , s o l o n g a s t h e r e

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

    t h e p r o b l e m h a s a 9 0 c h a n c e o f e n d i n g u p i n t h e a n s w e r s " t u b e a f t e r a 1 0 0 0 - s t e p c o m p u t a t i o n ,

    s e p a r a t i o n e r r o r p r o b a b i l i t i e s o f l e s s t h a n 0 : 0 1 a r e r e q u i r e d . T o e l i m i n a t e f a l s e - p o s i t i v e d i s t r a c -

    t o r s , i t m a y b e n e c e s s a r y t o r e n e t h e a n s w e r s " t u b e b y r e p e a t i n g t h e s t e p s o f t h e c o m p u t a t i o n

    A d l e m a n 2 , K a r p . T h i s a n d o t h e r r e l a t e d e r r o r - h a n d l i n g s t r a t e g i e s a r e d i s c u s s e d i n S e c t i o n 5 .

    O b j e c t i o n : P u r i t y a n d y i e l d o f 9 0 f o r p u r i c a t i o n o f D N A a r e c o n s i d e r e d e x c e l l e n t i n m o l e c u l a r

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

    s i n c e l o n g s t r a n d s m a y b e u s e d , s t i c k e r s m u s t n o t b e k n o c k e d o , a n d b o t h s u p e r n a t e a n d e l u a n t

    a r e r e q u i r e d . Y e t D N A c o m p u t a t i o n r e q u i r e s m u c h l o w e r e r r o r r a t e s , b o t h f o r p u r i t y a n d y i e l d .

    R e s p o n s e : I s o l a t i o n o f p a r t i c u l a r t a r g e t D N A i n c o m p l i c a t e d c D N A l i b r a r i e s i s a r o u t i n e t a s k

    i n m o l e c u l a r b i o l o g y . 1 0

    5

    - f o l d e n r i c h m e n t o f t a r g e t D N A , w i t h 8 0 r e c o v e r y , h a s b e e n r e p o r t e d

    u s i n g , f o r e x a m p l e , t r i p l e x a n i t y c a p t u r e I t o . T h e u s e o f P N A p r o b e s a l s o s h o w s s o m e p r o m i s e :

    9 9 p u r i c a t i o n w i t h 5 0 y i e l d u s i n g P N A 1 5 - m e r s h a s b e e n r e p o r t e d O r u m . H o w e v e r , c u r r e n t

    t e c h n i q u e s d o n o t m e e t o u r r e q u i r e m e n t s f o r t h e s e p a r a t i o n o p e r a t o r . W e d o n o t b e l i e v e t h a t t h i s

    i s d u e t o a f u n d a m e n t a l l i m i t . S o l o n g a s y i e l d i s e x t r e m e l y h i g h i . e . m e m o r y c o m p l e x e s d o n ' t g e t

    l o s t " , o u r c a l c u l a t i o n s s e e S e c t i o n 5 s u g g e s t t h a t a p o o r s e p a r a t i o n c a n b e i m p r o v e d d r a m a t i c a l l y

    b y a u t o m a t e d p r o c e s s i n g . F u r t h e r m o r e , w e h a v e t h e o p p o r t u n i t y t o d e s i g n o u r o w n s e q u e n c e s t h a t

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

    s t r u c t u r e . W e r e c o g n i z e t h a t a t t a i n i n g h i g h s t e p y i e l d m a y b e a m a j o r c h a l l e n g e , h o w e v e r .

    O b j e c t i o n : E v e n w i t h o u t t r y i n g t o p r o c e s s t h e m a t a l l , s t i c k e r s w i l l b e f a l l i n g o t h e i r m e m o r y

    s t r a n d s a t s o m e r a t e k

    d

    . O n c e a s t i c k e r d i s s o c i a t e s , i t m a y t h e n h y b r i d i z e t o a n d t h u s c o r r u p t s o m e

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

    p r o b e s , k

    d

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

    c o m p l e x e s m a y b e c o m p l e t e l y s c r a m b l e d .

    R e s p o n s e : S u p p o s e w e w o u l d l i k e t o e n s u r e t h a t f e w e r t h a n 0 : 0 1 o f s t i c k e r s f a l l o d u r i n g t h e

    c o u r s e o f a 1 0 0 0 h o u r c o m p u t a t i o n . T h i s w o u l d r e q u i r e a k

    d

    o f l e s s t h a n 0 : 3 1 0

    , 9

    = s e c . A g e n e r i c

    D N A 2 0 - m e r c a n b e e s t i m a t e d t o h a v e t h e r e q u i r e d k

    d

    a t 4 2

    C i n 1 M N a

    +

    W e t m u r . P N A a n d

    D N G s t i c k e r s w o u l d b e e x p e c t e d t o h a v e a n e v e n l o w e r d i s s o c i a t i o n r a t e , e s p e c i a l l y a t l o w s a l t . H i g h

    w a s h t e m p e r a t u r e s m a y b e a v o i d e d b y u s i n g D N A p r o b e s a n d P N A o r D N G s t i c k e r s , a n d w a s h i n g

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

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

    O b j e c t i o n : I f D N A i s s u b j e c t e d t o h i g h t e m p e r a t u r e s f o r a s i g n i c a n t p o r t i o n o f a 1 0 0 0 h o u r

    c o m p u t a t i o n , i t m a y b e d a m a g e d b y d e a m i n a t i o n , d e p u r i n a t i o n , o r s t r a n d b r e a k a g e b y h y d r o l y s i s ,

    t h u s r e n d e r i n g i t n o n - f u n c t i o n a l . S u c h o b j e c t i o n s a r e d i s c u s s e d b r i e y i n f o r e x a m p l e S m i t h .

    1 0

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    12/27

    R e s p o n s e : U n d e r p h y s i o l o g i c a l c o n d i t i o n s o f s a l i n i t y , p H , a n d t e m p e r a t u r e , t h e d e p u r i n a t i o n h a l f -

    l i f e o f a b a s e i s 1 , 0 0 0 , 0 0 0 h o u r s , a n d t h e h y d r o l y s i s h a l f - l i f e o f a d e p u r i n a t e d b a s e i s 4 0 0 h o u r s

    F r i e d b e r g . T h u s , a f t e r 1 0 0 0 h o u r s , a p p r o x i m a t e l y 0 : 1 o f b a s e s w i l l b e d a m a g e d , a n d 1 0 o f

    2 5 0 0 - m e r s t r a n d s w i l l r e m a i n u n b r o k e n . T h i s l a s t g u r e i s v e r y d e p e n d e n t o n t h e l e n g t h o f t h e

    s t r a n d s ; o n l y 0 : 1 o f 5 0 0 0 - m e r s w o u l d s u r v i v e . W h i l e n o t g o o d , t h i s i n d i c a t e s t h a t f o r s h o r t "

    s t r a n d s , e r r o r s d u e t o d a m a g e c a n b e c o m p e n s a t e d f o r b y a m i l d i n c r e a s e i n t h e v o l u m e o f D N A

    u s e d i n a c o m p u t a t i o n . A d d i t i o n a l l y , i m p r o v e d r a t e s m a y b e p o s s i b l e b y c a r e f u l l y a d j u s t i n g s o l v e n t

    s a l i n i t y , p H , a n d c o m p o s i t i o n a n d a g a i n m i n i m i z i n g r o u g h p h y s i c a l h a n d l i n g .

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

    c l e a r l y i n s u r m o u n t a b l e .

    4 A S t i c k e r s M a c h i n e P r o p o s a l

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

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

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

    c o m p u t e r . I t c o n t a i n s o f a r a c k o f m a n y t e s t t u b e s , a s m a l l a m o u n t o f r o b o t i c s , s o m e u i d p u m p s

    a n d h e a t e r s c o o l e r s a n d s o m e c o n v e n t i o n a l m i c r o e l e c t r o n i c s . F o r e a c h o f t h e o p e r a t i o n s i n t h e m o d e l ,

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

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

    i s m e a n t t o p r o v o k e t h o u g h t a b o u t t h e e n g i n e e r i n g i s s u e s i n v o l v e d i n e v e n t u a l l y c o n s t r u c t i n g a

    m o l e c u l a r c o m p u t e r a n d n o t a s a s e r i o u s o r v i a b l e c o n s t r u c t i o n p l a n .

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

    d a t a t u b e s . E a c h d a t a t u b e i s a c l o s e d c y l i n d e r w i t h a n i p p l e c o n n e c t o r i n e i t h e r e n d t h a t a l l o w s

    u i d t o o w i n o r o u t . N e a r o n e e n d o n t h e i n s i d e i s a p e r m a n e n t m e m b r a n e w h i c h p a s s e s s o l v e n t

    b u t n o t s t i c k e r s o r m e m o r y s t r a n d s . T h i s m e m b r a n e g i v e s a p o l a r i t y t o t h e d a t a t u b e : t h e c o n n e c t o r

    o n t h e e n d c l o s e s t t o t h e m e m b r a n e i s t h e c l e a n " s i d e w h i l e t h e o p p o s i t e c o n n e c t o r i s d i r t y " . N o

    D N A i s e v e r p r e s e n t o n t h e c l e a n s i d e o r i n t h e c l e a n c o n n e c t o r . W h e n a d a t a t u b e i s n o t i n u s e i t

    i s h e l d c l e a n s i d e d o w n w i t h a l l o f t h e D N A i n t h e t u b e r e s t i n g o n t h e m e m b r a n e .

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

    s t i c k e r s . S p e c i c a l l y , e a c h s e t o f b i t s t r i n g s h a s a s s o c i a t e d w i t h i t a d a t a t u b e w h i c h h o l d s t h e

    m e m o r y s t r a n d s a n d a n n e a l e d s t i c k e r s r e p r e s e n t i n g t h o s e s t r i n g s . A l s o e a c h b i t h a s a s s o c i a t e d w i t h

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

    W h e n e v e r a n e w s e t o f c o m p l e x e s i s c r e a t e d e . g . f r o m a s e p a r a t i o n o p e r a t i o n i t i s p l a c e d i n a n e w

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

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

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

    d i e r e n t i n t e r n a l c o n t e n t s . A b l a n k " o p e r a t o r t u b e i s m e r e l y a n e m p t y t u b e w i t h n i p p l e c o n n e c t o r s

    o n e a c h e n d . A s t i c k e r " o p e r a t o r t u b e i s i d e n t i c a l e x c e p t f o r a p e r m a n e n t l t e r o n i t s i n s i d e w h i c h

    p a s s e s s t i c k e r s b u t n o t m e m o r y s t r a n d s . A s e p a r a t i o n " o p e r a t o r t u b e c o n t a i n s m a n y i d e n t i c a l

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

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

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

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

    o p e r a t o r t u b e s , b o t h e n d s a r e c o n s i d e r e d d i r t y " . F i g u r e 3 i l l u s t r a t e s t h e d a t a a n d o p e r a t o r t u b e s .

    1 1

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    13/27

    Filter(PassesStickersbut notMemoryStrands)

    DNA

    Strands(Memory

    orStickers)

    Membrane

    OligoProbes

    Separation Sticker BlankData Tube Tubes:Operator

    CleanSide

    DirtySide

    Connectors

    (Passes only

    solvent)

    F i g u r e 3 : D a t a a n d O p e r a t o r T u b e s i n t h e s t i c k e r s m a c h i n e .

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

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

    a s f o l l o w s : u n d e r c o n t r o l o f t h e e l e c t r o n i c c o m p u t e r t w o d a t a t u b e s a r e s e l e c t e d a n d r e m o v e d f r o m

    t h e r a c k b y a r o b o t . O n e o p e r a t o r t u b e i s a l s o s e l e c t e d a n d r e m o v e d . T h e d i r t y s i d e s o f t h e d a t a

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

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

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

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

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

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

    n e x t o p e r a t i o n b e g i n s . N o t i c e t h a t i n g e n e r a l c l e a n c o n n e c t o r s n e v e r t o u c h d i r t y o n e s a n d o n l y c l e a n

    c o n n e c t o r s c o n t a c t t h e p u m p i n g s y s t e m . T h i s s e t u p f o r a g e n e r i c o p e r a t i o n i s s h o w n i n F i g u r e 4 .

    Operator Tube

    Data

    Tube

    Data

    Tube

    #1 #2

    Pump & Heater/Cooler

    F i g u r e 4 : S e t u p f o r a g e n e r i c o p e r a t i o n i n t h e s t i c k e r s m a c h i n e .

    1 2

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    14/27

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

    a b o v e . T h e d e s c r i p t i o n s b e l o w a r e s u m m a r i z e d g r a p h i c a l l y i n F i g u r e 5 .

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

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

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

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

    t h e c o m p l e x e s t o b e s e p a r a t e d a n d a l s o a n e m p t y d a t a t u b e . S e l e c t t h e s e p a r a t i o n o p e r a t o r

    t u b e f o r t h e b i t i n q u e s t i o n . C y c l e c o l d s o l u t i o n i n b o t h d i r e c t i o n s f o r s o m e t i m e ; t h i s a l l o w s

    t h e p r o b e s t o b i n d t h o s e c o m p l e x e s t h a t h a v e t h e b i t i n q u e s t i o n o . N e x t c y c l e c o l d s o l u t i o n

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

    t h i s o r i g i n a l l y e m p t y t u b e a n d r e t u r n i t t o t h e r a c k ; i t h o l d s t h e c o m p l e x e s w i t h t h e b i t i n

    q u e s t i o n o n . R e p l a c e i t w i t h a n o t h e r e m p t y d a t a t u b e . C y c l e h o t s o l u t i o n o r p e r h a p s l o w

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

    t h e p r o b e s a n d f o r c e s t h e m i n t o t h e n e w d a t a t u b e . D e t a c h t h i s t u b e a n d r e t u r n i t t o t h e r a c k

    a l s o ; i t c o n t a i n s c o m p l e x e s w i t h t h e b i t o . D i s c a r d t h e o r i g i n a l d a t a t u b e n o w e m p t y a n d

    r e t u r n t h e o p e r a t o r t u b e t o t h e r a c k .

    T o s e t a b i t a d d a s t i c k e r t o a s e t o f c o m p l e x e s , s e l e c t t h e d a t a t u b e c o n t a i n i n g t h e c o m p l e x e s

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

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

    s t i c k e r s o v e r t h e m e m o r y c o m p l e x e s a l l o w i n g t h e m t o a n n e a l . N o w c y c l e c o l d s o l u t i o n t o w a r d s

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

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

    r a c k . R e p l a c e i t w i t h a n e m p t y d a t a t u b e . C y c l e c o l d s o l u t i o n t o w a r d s t h e m e m o r y c o m p l e x

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

    t h e i r d a t a t u b e . R e t u r n t h e m e m o r y c o m p l e x d a t a t u b e t o t h e r a c k a n d d i s c a r d t h e o p e r a t o r

    t u b e a n d e m p t y d a t a t u b e .

    A d d i t i o n a l p a r a l l e l i s m c a n b e a d d e d i n m a n y p l a c e s . F o r e x a m p l e , s e t t i n g o r c l e a r i n g b i t s m i g h t

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

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

    t h i s w o u l d a l s o r e q u i r e m u l t i p l e c o p i e s o f , f o r e x a m p l e , t h e s e p a r a t o r o p e r a t o r a n d s t i c k e r o p e r a t o r

    t u b e s .

    A s w e h a v e d e s c r i b e d i t , t h e s t i c k e r s m a c h i n e r e q u i r e s r e l a t i v e l y r u d i m e n t a r y r o b o t i c s a n d e l e c t r o n i c s .

    S i m p l e u i d p u m p s a n d h e a t e r s c o o l e r s a r e a l s o n e c e s s a r y . I t c a n b e s t o c k e d w i t h a g e n e r i c s u p p l y

    o f e m p t y d a t a t u b e s , b l a n k o p e r a t o r t u b e s , s t i c k e r o p e r a t o r t u b e s , a n d s a l t s o l u t i o n s o f v a r i o u s

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

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

    b i t . A n i m p o r t a n t f e a t u r e i s t h a t t h e s e t u b e s a r e r e u s a b l e f r o m p r o b l e m t o p r o b l e m , s o l o n g a s t h e

    n u m b e r o f b i t s r e q u i r e d d o e s n o t e x c e e d t h e n u m b e r o f r e g i o n s o n t h e d e s i g n e d m e m o r y s t r a n d . F o r

    a p r o b l e m o f r e a s o n a b l e s i z e o n t h e o r d e r o f a f e w t h o u s a n d t u b e s m i g h t b e r e q u i r e d f o r e x a m p l e

    D E S a s d e s c r i b e d i n A d l e m a n 3 . W i t h e a c h d a t a t u b e b e i n g a f e w m i n s i z e a n d o p e r a t o r t u b e s

    p e r h a p s a h u n d r e d t i m e s t h i s s i z e i t i s n o t i n c o n c e i v a b l e t h a t s u c h a m a c h i n e m i g h t t o n a d e s k t o p

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

    w i l l r e q u i r e a n e n o r m o u s v o l u m e o f D N A b y d e m o n s t r a t i n g b o t h a s p e c i c p r o b l e m a n d a s p e c i c

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

    1 3

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    15/27

    Filter(PassesStickersbut notMemoryStrands)

    Filter(PassesStickersbut notMemoryStrands)

    Set Bit

    ColdWash

    DataTube

    Tube

    ColdWash

    DataTube

    TubeSticker Blank

    ColdWash

    Tube

    Tube

    Wash

    Tube

    Tube

    Source

    Output

    (bit ON)

    Output

    (bit OFF)

    Source

    Probes Probes

    Warm

    Separation

    Filter(PassesStickersbut notMemoryStrands)

    Filter(PassesStickersbut notMemoryStrands)

    ColdWash

    DataTube

    ColdWash

    DataTube

    TubeBlank

    Clear Bit

    Anti-StickerTube(PNA strand

    invasion)

    ColdWash

    Data

    Tube#1

    DataTube#2

    Blank

    Combination

    Summary

    of all

    Operations

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

    1 4

  • 8/3/2019 Sam Roweis et al- A Sticker Based Model for DNA Computation

    16/27

    5 R e d u c i n g E r r o r R a t e s : A R e n e r y M o d e l

    I n t h i s s e c t i o n w e i n t r o d u c e a s e c o n d p o s s i b l e i m p l e m e n t a t i o n o f t h e s t i c k e r s m o d e l . I n c o n t r a s t t o

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

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

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

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

    t r a d e - o w h i c h w e n d r e a s o n a b l e .

    5 . 1 A n E r r o r F r a m e w o r k

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

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

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

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

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

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

    p r e s e n t i n t h e i n p u t m a y n o t a p p e a r i n t h e o u t p u t a t a l l : t h e y m a y s i m p l y g e t l o s t s o m e w h e r e i n s i d e

    t h e m a c h i n e . W h a t a r e t h e e r r o r r e q u i r e m e n t s t o d o u s e f u l c o m p u t a t i o n ? I t i s c l e a r t h a t w e w a n t

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

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

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

    o t h e r N o . I n t h e Y e s t u b e a r e a l l t h o s e c o m p l e x e s w h i c h t h e m a c h i n e h a s d e c i d e d e n c o d e s o l u t i o n s

    t o t h e p r o b l e m , i n t h e N o t u b e a r e a l l t h o s e c o m p l e x e s w h i c h i t h a s d e c i d e d d o n o t e n c o d e s o l u t i o n s .

    C a l l a g o o d c o m p l e x o n e w h i c h a c t u a l l y d o e s e n c o d e a s o l u t i o n a n d a b a d c o m p l e x o n e w h i c h a c t u a l l y

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

    s o m e b a d c o m p l e x e s i n t h e Y e s o u t p u t , a s w e l l a s s o m e l o s s e s .

    N o w w e a r e i n a p o s i t i o n t o s t a t e o u r r e q u i r e m e n t s f o r e r r o r r a t e s : W e w a n t t w o t h i n g s t o b e t r u e

    w i t h h i g h p r o b a b i l i t y s a y 1 , e a c h t i m e w e r u n t h e m o l e c u l a r c o m p u t e r : t h e r e i s a t l e a s t o n e

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

    s a y 1 . I n f o r m a l l y , w h e n w e g e t t h e a n s w e r t u b e , w e w i l l s h a r o u n d i n i t , p u l l o u t a r a n d o m

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

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

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

    W e w o u l d l i k e t o b e a b l e t o a n s w e r t h e q u e s t i o n : H o w g o o d d o i n d i v i d u a l o p e r a t i o n s h a v e t o b e f o r

    d i s a p p o i n t m e n t t o b e r a r e ? " U n f o r t u n a t e l y , i t i s v e r y c o m p l i c a t e d t o e x p r e s s t h e a b o v e r e q u i r e m e n t s

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

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

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

    8

    . I n s t e a d w e w i l l w o r k w i t h a m o d e l

    8

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