Ê Ø ì íbì - computer science and...

30

Upload: others

Post on 10-Jul-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�����������

����������������������

�! #"�$&%('*)+$�,� .-�/*01%2"�3�/*32 54.3(65-87* :9�';6<%=)>%?)@$�$20*/1/A .$B"�7C%2 :71 EDGFH$?%2'*)@$�/*3B .4.3(6I-J,� .3B32"K,K%LD�! #"�$M)+%M,� .NO%(65)@NP65NOQR"K323B .32$(D�S&'*"K$2"&6I32"T%('*3B"�"U IV1%('1"U/W .$2$B)@X*Y+"T9U6ZQ#$� 5V;/*'13(65$B)@N*4[6?\E0*"K$B%()+ .NV] .3^9�'*)+,_'`-a6INEQb/W"� 5/*Y@"c$2"K"�de6f3B"�Y+)g65X*Y+"c65N*$h9U"K3�i�S&';6I%RN* 5%R"Kj5"�3BQ5 .N*"�71"�-:65N*7*$R6k4. # #765N*$h9U"K3l%( m%2'*)@$�\E0*"K$B%2)@ .Nn)@$:"Kj#)@71"�N*,K"b%2';6I%l-:65NOQo,� .-�/*01%2"�3�/*3B .4.3265-:$Gpq$B0*,_'r6I$a9U 5327/*3B s,K"�$2$B .32$t65N*7u$B/A"KY@Y@)+N*4v,_'*"K,_d5"K32$_wM';6Zj."T$20*X1$B%_6INE%2)g65Y.jI65Y+0*"�"xj."�Ny9�'*"�Ny%('*"xQ^,� 5NE%(65)@N^"K323B .32$KizU01%M9�'*"KN{"�3B32 .3B$�|},� .N1$2"�\E0*"KN*,�"K$�%( ?/A"K ./*Y@"~653B"�)+N<�B0*3hQu .3�7*"Z6I%2'�p�6I$t)+NR$B 5V�%H9v6I32"�,� .NO%(3B .Y@Y+)@N*465)+32,�326IV�%� .3?-:"K7*)@,�65Y�"�\E0*)+/*-�"�NO%����*�.�A�.����wL�A-:65NOQ�-� .32"u/W"� ./*Y+"y6532"y)@N*,KY@)+N*"�7�%( �7*"�-:65N*7C64. # s7�6IN*$B9~"�3�%( c%('*"u,K .323B"�,K%2N*"�$B$=\E0*"K$B%2)@ .N�i

� /*32 .453(65-f|�$��x�_�1�5�����<�B�5�I�H�;�_�x� �v�2�5�q���< �p�9�'*)@,_'u9U"�'*"KN*,�"xV] .3B%2'{65X*X132"Kj#)@6I%("�%( ¡�B0*$h%[¢L�H�;�_�x£� �v�2�5�q���< O¤Ew�$B%_6<%("�$t9�';6I%�)>%M)@$¡$B0*/*/W .$2"K7{%( =7* *i � N*$B9~"�3B)@N*4=%('*"~,� .3B32"�,x%(N*"K$2$�\E0*"K$B%()+ .N{-�"Z65N1$7*"K,�)@71)@N*4c%('*"u%(3B01%('k 5V¡%2'*"l�_�<�x�(�_�x�q ¥�_�_���_�< Z¦Z�_�x��§#�(�u%(';6<%P���;���W�_�2¨5�B�5©ª�5�¬«��5­��P�x�_�1�5�5�_�R�#�x£�_�<�B®5�� #¨b�H���������H�;�_�x� �v�2�5�����< W¯G°m"l$26ZQm%('1"�/*32 54.3(65-±)@$��_�<�L�_�_�x�u9�'*"KN²%2'*)@$R,� .N<�B"K,K%20*32"l)+$%(3B0*"5i

S&'*"�7*)@$B,�)@/1Y@)@N1"� 5VU-:6I%2'*"�-:6I%()+,�$^4.)>j."K$y01$y%H9~ k9U6ZQs$R 5VU65/*/*3B O65,_'*)+N*4f%2'*"�/*32 .X1Y@"�-³ 5V7*"K,�)@71)@N*4�%('*"P%23201%2'G 5V�6a,K .N<�B"K,K%(0132"5i^´^N1"R9U6�QC)@$�%( �/132 �j#)@7*"�6:,� .0*NO%2"�3hµ¶"x·165-�/*Y@"I�W9�'1)@,_'"�$h%_65X1Y@)@$B'*"�$�%('1"~,K .N<�B"�,x%(0*3B"~%2 [XW"�Vq65Y+$2"IitS&'*"� 5%2'*"�3�9v6ZQy)@$�%2 [/*3B }j#)+7*"U6INR"L·s%232"K-:"KY+Qu,Z6I32"KV]01Y653B4.0*-�"�NO%Z�� .3u/*3B s IV¸�¥%(';6<%y%2'*"�,� 5N<�B"�,x%(0*3B":)+$!%(3201"5i�¹; .3[%('1"�,K .323B"�,x%(N*"K$2$P,K .N<�B"K,K%(0132"5��%('1"$2"�6532,_'oV] .3c6º,K .0*NO%("K3hµ¶"x·165-�/*Y@"f)@$�,�65Y@Y+"�7»$2 5V�%H9U653B"m�H�_�x���� #¨5i²St"K$B%2)@N*4e0*$20;6IY@Y+Qm)@$c0*$B"�7o%2 "�$h%_65X1Y@)@$B'f%2'*"P/132"�$B"�N*,K"{ 5V¡ .N*"P 53?-� .3B"y71"KV]"�,x%($!)+NC6�/*32 54.3(65-8XEQ�¼;N17*)@N*4a65Nf)@N*$h%_65N*,K"P)+N9�'*)+,_'c%2'*"&/*3B .4.3(6I-k|½$�XW"�';6Zj#)@ .3�71 s"K$�N* 5%T-�"�"K%¡%('*"�$2/W"�,K)+¼;,�6I%()+ .N�itS&';6I%�6!X;6I%B%("K3BQ� 5V¾%2"�$B%2$';65$=Vq65)@Y+"�7k%2 �32"xj."�65Y�6a71"KV]"�,x%u-a6ZQf3(6I)@$2"R,� .Ns¼;7*"�N1,�"�)@Nk%('*"{,K .323B"�,x%(N*"K$2$^ 5V�%2'*"{/*3B .4.3(6I-k�7*"K/A"KN*7*)@N14^ .NP%('1"v\E0;65Y@)>%HQy 5V;%('*"UX;6I%2%2"�3hQP 5V;%2"�$h%($�i�¿= �9U"xj."K3��#0*N*Y@"K$2$¡%2'*)@$tX;6I%B%("�3hQP)+N*,�Y+0*7*"K$"Kj5"�3hQ�/W .$2$B)@X*Y+"=)+N*/*01%~%( R%2'*"[/132 .4.3265-f�s)>%($TVq65)@Y+0*32"&%( P32"Kj5"Z65Y¥65NOQa71"KV]"�,x%($v)+$~N1 5%v/*3B s IV�%(';6<%%('1"y/132 .4.3265-8)+$&,� .3B32"K,K%Zi

°n'*"�N�9~"u9U65NO%�%( c"�$h%_65X1Y@)@$B'�%('*"!%23201%2'k IVM%2'*"^,� 53232"K,K%2N*"�$B$=,K .N<�B"�,x%(0*3B"y9�)>%('�6�Y@"xj."KY� 5V,� 5N1¼;7*"KN*,�"�%(';6I%R65/1/*32 O6I,_'*"�$R,�"�3h%_65)+NO%HQ.��9U"c%(0*3BNº%2 f%2'*"� 5%('*"K3u-a6I%2'*"�-:6I%2)@,Z6IY�65/*/132 O65,_'¥À/*3B }j#)+7*)@N*4R65N�"L·#%(32"K-:"KY+Q�,Z6I32"KV]01YA6I324.0*-�"�NO%��s .3~/*32 # 5V¸�O%('*6I%~%2'*"[,K .N<�B"K,K%(0132"!)+$�%2320*"Ii�St R7* %('1)@$��s9U"y-{0*$h%=3B"Z65$B .N�j."�3hQ�,Z653B"KV]0*Y+Y+Qa65XW .01%&%('1"yXW"�'*6�j#)+ .3� 5V¡,K .-�/*01%("K3&/*32 54.3(65-�$�i

Page 2: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

� /;6I3B%�V]32 5-Ï"�-�/*Y+ }Q#)+N*4^/*32 # 5VW)@Nc\E0;65Y+)+%HQP65$2$B0*3(6IN*,�"?"KÐA .3B%2$��O%('1"�32"�)+$�65N* 5%2'*"�3¥�B0*$h%()>¼;,Z6<µ%()+ .NlV] .3&%('*"y)@-�/W .3B%(65N*,�"^ IV�32"�65$2 5N*)@N*4:65XW .01%�%('1"R"L·1"K,�01%2)@ .N#µ¶%()+-:"^XW"�'*6�j#)+ .3� 5V�,K .-:/101%("K3/*3B .4.3(6I-:$KÀ�S&'*)@$�3B"Z65$B .N*)@N14�)@$�65N�"�$B$2"KNE%2)g65Y�/*653B%� 5Vt6�/*3B .4.3(6I-:-�"�3K|�$U%(65$2d¾iTS&'*"u/*3B .4.3(6I-cµ-�"�3�-{0*$B%~7*)+$2,� �j5"�3v$B .-:"?$2"K\E0*"�N*,K"^ 5V�$h%_6I%2"�-�"�NO%($�%(';6I%��#9�'1"�N�"L·1"K,�01%2"�7��s9�)@Y@Y¾6I,�,� 5-:/*Y+)@$B'6R45)+j."KNa .XE�B"�,K%2)+j5"5iT¿="ZÑI$2'1"=%('1)@N*dE$v6IXA .0s%�%2'*"["xÐ¥"K,K%2$~%('*6I%~9~ .0*Y+7aXW"=,�650*$B"�7�XOQ�"x·s"�,K01%()+N*4%('1"PjI6532)+ .0*$!,�65N*7*)+7;6I%("P$B%_6<%("�-�"�NO%2$���$B"�Y@71 .-Ò3B"�$2 53B%()+N*4a%2 �%('*"{-�"K%2'* #7� 5V�%(3B)g65Yt65N*7�"K3232 539�)+%2'* .01%u45)+j#)@N*4l$B .-�"�-�"Z6I$20*3B"� IV~%2'* .0*4.'O%�i � Y+%2'* .0*4.'G%2'*)@$u3B"Z65$B .N*)@N14f)+$^0*$20*65Y@Y>QG)@NOj#)@$B)>µX*Y+"5�1 #,�,K0*323B)@N*4P .N*Y+Q�)+N:%('1"!/*32 54.3(65-�-�"�3�|½$U'1"Z657��s)+%U)@$v6I-: .N14R%('1"!-: 5$B%v)+-:/W .3h%_65NO%�j56IY@0*"K$'*"ZÑI$2'*"R657*71$�%2 �%('*"u/*3B s7*01,K%()+ .N� 5Vt$2 5V�%H9U6532"Ii

S&'*"�-a6��B .3�/*0*3B/A 5$2"� 5V¾%('*)+$�7*)@$B$2"K3B%_6<%()@ 5N�)@$¡%2 y/132 �j#)@7*"�6!4. # #7{V] .0*N*7;6<%()@ 5N{V] .3¡%('1"&32"Z6}µ$2 5N*)@N*4R%(';6I%U/*32 54.3(65-�-�"�32$~7* *i¡°e"!-{01$B%&N* I%("5�s'* �9U"xj."K3��;%(';6<%v/;6532657*)+4.-:$~65N*7lY@65N*4.0*654."�$V] .3T/*3B .4.3(6I-:-�)@N*4=j56I3BQc65Y+ .N*4u6^V]"K9Ó71)@-�"�N*$B)@ .N*$Ki¡S&'*"K32"=6532"�,K .N*,�013232"KNO%upq 53�/*653(65Y+Y@"KY�wt6IN*7$2"K\E0*"�NO%()@65Y1Y@65N*4.0*654."�$K�57*"K,�Y@653(6I%2)+j5"!p�V] .3t"L·165-:/1Y@"5�<V]0*N*,x%()@ 5N;65YE/*32 54.3(65-�-�)@N*4?65N*7PY@ .4.)+,T/*32 Iµ4.3265-:-�)@N14Ew[65N*7e)@-�/A"K3(6I%2)+j5"fpq .3y/*32 #,�"K7*0*3265Y�w!Yg6IN*4.0;6545"�$��t65N*7eYg65N14.0;654."K$^%(';6I%R7* k .3u7* N* 5%=)@N1,�Y@017*"u"x·s/*Y@)+,�)>%=,K .N*$h%(3201,K%($?V] .3?N* .Nsµ¶7*"K%2"�32-�)@N1)@$2-fiT°m"yV] s,K0*$= 50*3[6<%2%("KNO%()@ 5Nk'*"K32"R .N�B0*$h%� .N*"�dE)+N*7Ô 5V�Yg6IN*4.0;6545"5À�6C$2"K\E0*"�NO%()@65Y���)+-:/W"�326I%()>j."�Yg65N14.0;654.":';6Zj#)@N*4G,K .N*$h%(3201,K%(${V] 53/*3B s,K"�7*0*3B"l7*"�,KYg65326I%()+ .N��t$2/W"�,�)>¼;,Z6<%()@ 5N���65N*7Ô,�65Y@Y�ib´!0*3PY@65N*4.0*654."a IV&V] s,K0*$�65Y+$2 G';6I${,� .N#µ$B%2320*,x%($UV] 53~$B"�Y@"K,K%2)@ .Na65N*7�)>%("�326I%()+ .N��OX*0s%v';65$~N* {"L·1/1Y@)@,K)+%�,� 5N*$B%2320*,x%vV] .3�N* .Nsµ¶7*"K%2"�32-�)@N1)@$2-fi¿= �9~"Kj5"�3��s9U"=/A"K32-�)+%~6y/132 #,�"�710*32"I|�$v$B/A"K,�)>¼;,Z6I%2)@ .Nc%( R7*"K¼*N*"!6y32"�Y@6I%()+ .N��ON* I%U)+N*$2)+$B%()+N*4^%(';6<%)+%{XA"�6GV]0*N*,x%()+ .N�ie°e"�657* 5/1%�6�$2"�-:65NO%()+,�$�)+N`9�'*)@,_'²6�/*32 #,�"K7*0*3B"f,�65Y@Y�|�$P .01%(/101%($c653B"�6V]0*N*,x%()+ .Nm 5V�)>%($y)@N*/101%($HÕnN* 5%{6k3B"�Yg6<%()@ 5N�i�S&'*"�$2"K-a6INE%2)@,K$P7*"K"�-Ö6C/*32 #,�"K7*0*3B"a%( kXA":,� .3¸µ32"K,K%[)+V�%2'*"RV]0*N1,K%()+ .NG)>%=,K .-�/*01%("K$!$(6<%()@$h¼;"�$?%('*"P32"�Y@6I%()+ .Nf)+%?)@$=$20*/*/W .$B"�7G%( a,� .-�/*01%2"5×�6IN*7%('1"KQº7*"�"K-�6f,�Y+)@"�NO%R/*32 #,�"K7*0*3B":%( kXA":,� .3B32"K,K%{)>V¸�M9�)>%('m65NOQe,K .323B"�,x%{)@-�/*Y+"�-�"�NO%_6I%2)@ .N1$! 5V%('1"a"x·#%2"�32N*65YU/*3B s,K"�7*0132"�$P)+%y,Z65Y+Y@$K�M%2'*":V]0*N1,K%()+ .Nm)>%P,K .-�/*01%("K$P$26I%()+$B¼;"K$R%('1"a32"KYg6I%2)@ .Nº)+%y)+$$201/*/A 5$2"�7f%( �,K .-:/101%("Ii�FHNl%2'*)@$&$B"�N*$B"5�;%('*"u3B"�$201Y+%($� 5VM,�65Y@Y+)@N*4�6INf"L·#%("�3BN;65Y�/*3B s,K"�7*0132"u-a6ZQN* 5%~XW"[,� 5-:/*Y+"K%2"�Y+Qc71"K%("K32-�)@N*"K7��#XA"K)@N*4R,� .N*$h%(3265)@N*"K7a .N1Y+Q�XOQ�%2'*"[/132 #,�"�710*32"I|�$up]32"KYg6I%2)@ .N;6IY�w$2/W"�,K)+¼;,�6I%()+ .N�i

� N* I%('*"K3~7*)+-:"KN*$2)+ .N�%( y,� .N1$2)@71"�3�9�'*"�Na,� .N1¼*N*)@N*4u%('1"?$B,� ./W"? 5V¥%2'*)@$�9~ .32d{9�)>%('*)+N�-:65Nsµ654."�65X*Y+"?Y+)@-�)+%2$¡)@$T%('1"?Vq65,x%T%(';6I%~"x·s"K,�01%2)@ .N: 5V�6u4.)+j5"�N:/*32 .453(65-ÏV]3B .-�4.)>j."�N�)@N1/*01%~-a6ZQ�N* I%%("K32-�)@N;6<%(":�½Øs�K��i � /132 .4.3265-J)+$?,K .323B"�,x%Z�W 5V�,K .0*32$B"5�W .N*Y>Ql)+V¡)+%=65Y+9U6ZQ#$?%2"�32-�)@N*6I%("K$�9�)>%('f32"Lµ$201Y+%($t$(6I%2)@$hV�Qs)+N*4?)+%($t$2/W"�,K)+¼;,�6I%()+ .NR9�'*"KN*"Kj5"�3�)>%($M"x·s"�,K01%()+ .N{)@$M$B%(653B%2"�7{9�)>%('P)+N*/*01%t/W"�32-�)+%B%("K7XOQa%2'*"!$2/W"�,K)+¼;,�6I%()+ .N�i�¿? �9U"xj."�3K�*V] .Y@Y+ �9�)@N*4R¿= O6I32"5|½$vY+"Z657b�¬��Ù1�s/*/�i*Ú.�5Ù}ÛsÜ<���E%('*"=%(3(6I7*)+%2)@ .N� 5V,� 53232"K,K%2N*"�$B$R/*3B s IV~$B"�/;6I3(6I%2"�$!%('1"�\#01"�$B%2)@ .Nº 5VT%("K32-�)@N;6<%()@ 5NkV]32 5-ª%2';6I%u 5V��1�5�L���q�5�T�_�<�L�_�_�x�q£ ¥�_�_�xi � /*32 54.3(65-Ò';65$^%('*"c/*3B ./W"�3B%HQb IV��1�5�L�q�q�5�~�_�<�L�_�_�x�q ¥�_�_�:)+V~65N*7º .N*Y>QG)>V~%2'*"c/*32 .453(65-XW"�';6Zj."K$U6I,�,� 5327*)+N*4^%( u)+%2$�$2/W"�,K)+¼;,�6I%()+ .N�9�'*"�N*"xj."K3U)+%¡%("�3B-:)+N;6I%2"�$��ÝØ.Ü1�O/*/¥i;��Ü5�<Û1Ú}��iMFHN: I%('*"K39~ .327*$K��/;653h%()g6IYt,K .323B"�,K%2N*"�$B$u4.0;653265NO%("�"K$!%(';6<%^"�)>%('*"K3[%('*"�/132 .4.3265-Þ9�)@Y@Y�Vq65)+YM%2 �%("K32-�)@N;6I%2"5� .3�)+%T9�)@Y+Y;XA"K';6Zj."^6I,�,� 5327*)+N*4R%2 R%('1"=$B/A"K,�)+¼*,Z6I%2)@ .NG�Ý�*�#/�is�.Ú<��i�FHNa%2'*)@$T%(32657*)>%()@ 5N��O .N*"?/*32 �j5"�$

Page 3: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß Ê ß ÊàÂPÌyá�Ä�Æ?Ì&ÄTâ�ÆÏá{Ã!Ë�ÅãÅUÌrÇ?Æ�Ã^ä�Ì&ËÉÃ!å^ÌcÎvÅ»ÄTÇ^Ìuæ?Ç�Ã^çèåvÆTÂ=Ã?é¡ÈxÌ&Ç Ø

%('1"f�H�<���5�&�_�<�L�(�_�x�q ¥�_�_�� 5V&6l/*3B .4.3(6I-êXOQb/*32 �j#)@N*4f)+%2$^/;653h%()g6IY�,� .3B32"K,K%(N1"�$2$P65N*7º,� .N1$B%(3B0*,K%hµ)@N14�6C$2"K/;65326I%("l/*3B s IV� 5V&%("K32-�)@N;6I%2)@ .NeXOQm 5%2'*"�3P-:"�65N*$��ÝØ.Ü1��/�i~��ÜOÚ<��i�S&'*)+${7*)@$B$2"K3B%_6<%()@ 5N"�$h%_65X1Y@)@$B'*"�$f6Ô4. # s7ëV] 50*N*7;6I%2)@ .NÓV] .3:%('*"b/;653h%()@65Y>µ¶,� .3B32"�,x%(N*"K$2$l/W .3B%2)@ .NÓ IVP/*3B .4.3265-:-�"�3B$�|32"�65$2 5N*)@N*41i

ì�íBì îÉïtð ñCò�ïUó^ô¸ò�õ öT÷Uøoø1ï8ùÓò�ö�úsïU÷èûýüPïUþ=øoñºÿ;ï���ÿ;ö�� �²ò��!ö��hï�ÿ¹; .32-:65Y~X;65$2"K$:V] .3�-�"K%2'* #7*$c 5V!3B"Z65$B .N*)@N14m65XW .01%�%2'*"fXA"K';6Zjs)+ .3c 5V!$B"�\E0*"KNE%2)g65Y�/*3B .4.3265-:$65Y+32"Z6I71Q²"x·s)@$h%º�½ØI�1�vØ.�#�[�ZØs�[�ZÙ1�=�ZÜ1�v���1�� s�UØ��s�UØO�#�v�5Øs�&Ú#�~�� s�v�5Ü<��iÉS&'*)+$a7*)+$2$2"K3B%(6I%()+ .N�|½$,� 5NE%232)+X*01%()+ .NÓ'*)+N*4."�$�)+NÓ/;653B%� 5Nn%2'*"b/*Yg6I0*$2)+X*)@Y+)+%HQ» 5Vy%('*"b/*3B ./W .$2"K7 3B"Z65$B .N*)@N14²-�"K%2'* #7XW"�)@N14C-� .32"cN;6I%20*3(6IYT%2';65N`"L·s)@$B%2)@N*4f-�"K%('1 s7*$Kil°m":,� .N*$B)@7*"K3P6f32"�65$2 .N1)@N*4k-:"x%('* #7e%2 CXW"-� .32"� W�5�q§s�B�5�^p�%(';6INm6�,� .-�/W"K%()+N*4�-:"x%('* #7¾w!)+V~)+%u)+$u,�Y@ 5$2"�3^%2 f%2'*"�9v6ZQ#$P-� .$B%y,K .-:/101%("K3/*3B 5V]"�$B$2)@ 5N;65Y@$�01$20;65Y+Y+Qm0*$2"I�U .3{9~ .0*Y+7²Y+)@dI"�%( b0*$2"I�U9�'*"KN²%2'*"KQ»3B"Z65$B .Nà6IXA .0s%c/*32 .453(65-�$�|XW"�';6Zj#)@ .3Ki

S&'*"c)@$B$20*"� 5V�/*3B .4.3265-³,K .-�/*32"K'*"�N*$B)@ .Nb)+$[%('*"{V] #,�01$^ 5V~6�4532 �9�)@N*4aXA #71QG IV~3B"�$B"Z653B,_'�i��)+%B%(-:65Nl"K%=65Y�i��½�5ÙI��N;65-�"�7l%H9~ a,K .-:/132"�'1"�N*$B)@ .N�$B%23(6I%2"�4.)+"�$KÀ���3B .4.3(6I-:-�"�3B$&0*$2"K7C"�)>%('*"K3�6�x­��x�¸�x©��5�q���^ .3�6IN`�<�x£H ¥�_�2®#�2®�$B%23(6I%2"�45Q5i

��32 54.3(65-�-�"�32${9�'1 m0*$B"�7à%2'*"�$BQ#$B%2"�-:6I%()+,C65/1/*32 O6I,_'o%( º$B%20*71Q»%('1"f/132 .4.3265-,K .N*$B%2320*,x%("K7É$20*,K,�"�$B$BV]0*YP-: #7*)+¼*,Z6I%2)@ .N*$K×P/*3B .4.3265-:-�"�3B$l9�'* .$2"m0*$2"K7r%('*"m65$hµN*"K"�7*"K7²65/*/*3B O65,_'`Vq65)+Y@"�7º%( �,K .N*$B%2320*,x%c$20*,K,�"K$2$BV]01Y&-: #7*)+¼*,Z6I%2)@ .N*$Ki���32 54.3(65-�µ-�"�3B$b9�'1 0*$B"�7 %('*"»$BQ#$h%("�-:6I%2)@,»$B%23(6I%2"�45QÉ4.6I%('*"K32"K7��< ¥�<«&�@�2®�¨#�`�O�x�<§s�����;��2�5§O���5�;�� ;�¸�x�B�#�x�q���< 1�!���?�]�;���W�(�2¨5�B�5©�� ���L§# ¥�x�����< W�5�¥�_�<©[�;�< ¥�x ;����¯���32 .453(65-�-:"K32$9�'* =0*$2"K7{%('*"~65$¸µHN*"K"�7*"K7�$B%(326I%("K45Qu7*)+7PN* 5%t4O6I%2'*"�3M$201,_'{,Z6501$(65Y#dEN* �9�Y@"�714."v65N17%2'*"�3B"KV] .3B"[Vq65)@Y+"�7�%( �7*"x%("�,x%�)@NO%("K3(65,x%()+ .N*$v6I-: .N14P,� 5-:/W .N*"KNE%2$& 5V�%('1"!/*32 54.3(65-fi�½�5Ù1�*/¥i¾Ù��I���)+%2%2-a6INy"x%t65Y�i�V] #,�01$2"�7R .Nu%('*"�,� .N1$2"�\E0*"KN*,�"K$� 5V10*$2)+N*4= 5N*"T .3�%('*"� 5%('1"�3� 5V1%2'*"�$B"~$h%(326I%("Lµ

4.)+"�$��I65N*7R32"K/A .3h%("K7R9�'*)+,_'{$B%23(6I%2"�45Qy6?-a65N*654."�3�-�)@45'E%�9~"�Y+Y#/132"KV]"K3t'1"�3_Ñ<'*)@$M/*32 54.3(65-�-�"�32$�%2 0*$B"5�* .3[p]%2 {XW"=Vq65)+3_w�9�'*)@,_'l$h%(3(6<%("�4IQa6R/*32 .453(65-�-:"K3¸ÕÓ)@NO%("K32"�$h%("K7a)@Na,� .N*$h%(3B0*,K%2)@N*4{$B0*,�,K"�$B$hµV]0*Y¾-� s7*)>¼;,Z6<%()@ 5N*$� .N�%('*"�¼;32$h%~%23BQ.Õn-�)@45'E%�9~"�Y+YW657* ./1%�i � Yg6I%2"�3T$B%20*71Qc%(';6<%~,K)+%2"�$���)>%2%2-a65N"K%!65Y�i¾,_'* 5$2"�6�7*)+ÐA"�3B"�NO%[V] #,�0*$Ki��^ #"�N;6I-a65N1NG65N*7��? .XW"�3h%($B .N�|½$��½�I�5�t4. O65Y�9U65$=%2 �7*)@$B,� �j."K39�'*)+,_'e$h%(3(6<%("�4IQ�/*32 54.3(65-�-�"�32$[0*$2"K7�icS&'*"�)+3^7;6I%_6l$B0*4.4."K$B%($u%('*6I%^%('*"{%H9~ f$B%(326I%("K4.)@"K$�|�0*$B"-:6�QfN* I%!XW"{"�\E0;65Y¡65-� .N*4�/*3B .4.3265-:-�"�3B$�ia¢2¿="K32"P9~"�$2'1 }9�%2';6I%!$B0*X#�B"K,K%($^V] .Y+Y@ �9�6a/13(654Iµ-:6I%()+,�� 65$hµ¶N*"�"K7*"�7¥|�$B%23(6I%2"�45Qk3(6I%2'*"�3=%(';65NG6�$BQ#$B%2"�-:6I%()+,{65/*/132 O65,_'¥�¥%(';6<%!$201X#�B"�,x%($u32"K$B%(3B)@,x%%('1"�)@3�01N*7*"�3B$B%(65N*7*)+N*4y%2 u/;653B%2$T 5VA%2'*"�,� #7*"v%('1"KQc,� 5N*$2)+7*"�3�%( uXW"&32"KY@"KjI65NO%TV] .3�%2'*"&%_65$Bd�65N*7��%('E0*$K��4O65)+Ne 5N*Y+Qb6f/;653h%()g6IY�0*N*7*"K32$B%(65N*7*)+N*4G 5V~%('*":/*32 54.3(65-ê%2';6I%y-�)@4.'O%yY@"�657e%2 k-�)@$B,� .Nsµ,�"K/1%()+ .N*${ 53R"K3232 532$�i½¤ ��32 .4.3265-�-:"K32$C¢B0*$2"aXA 5%B%( .-�µH01/m,� 5-:/*3B"�'*"KN*$2)+ .N` .N1Y+QbV] .3P71)@32"K,K%2Y+Q32"KY@"xj56INE%�,K s71"u65N*7f)@Nl,Z6I$2"�$� 5Vt-�)@$2$B)@N*41�1)@N1$20"!�,�)+"�NO%Z�1 .3vVq65)@Y+)@N*4R'OQs/W 5%2'*"�$B"�$�i½¤�¢BSM # .Y@$U9�)+Y@Y

Page 4: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

';6Zj."�%2 lXA"�7*"xj."KY@ ./W"�7�%('*6I%!Vq65,K)@Y@)>%_6I%2"�� 65$¸µHN*"K"�7*"K7�|�$B%23(6I%2"�4.)+"�$^65N17º'1"�Y@/�/132 .4.3265-�-:"K32$=%2 6Zj. .)+7�$2 .-�"u 5V¡)>%($&)+N*'*"�3B"�NO%?/*32 5X*Y@"K-:$Ki�¤à���<�1�;/�i��}�5Ú<�

S&'*"�$B"!%H9U P$B%(017*)@"K$U7*)>Ð¥"K3U .N�%('*"=\#01"�$B%2)@ .N:9�'*"K%2'*"�3U%2 {$201/*/A 53B%v/132 .4.3265-�-:"K32$�|O$h%(326I%("Lµ4.)+"�$¡9�)>%('{%( # .Y+$� .3¡%2 ^,_';65N*4."&/132 .4.3265-�-:"K32$�|I,_'* .)+,�"v 5VW$h%(3(6<%("�45)@"�$Ki#�t"K32';6I/*$�%('*)+$�7*)+ÐA"�3B"�N*,K",Z6I0*$2"K7:%('1"=6I01%('* 532$�%( y65$Bd�7*)+ÐA"�3B"�NO%T\E0*"�$h%()+ .N*$��#/*0*3B$20*"?7*)>Ð¥"K32"�NO%T-�"K%2'* s71$��#65N*7c7*326�9à7*)+VgµV]"�3B"�NO%:,� .N*,KY@0*$B)@ .N1$�i%$U .N*,�Y+0*$2)+ .N*$c7* bjI653BQÔ)+N²%2'*"�4.32 �9�)+N*4<ÕnX101%c$B%2)@Y@Y~Q. .0*N14<ÕnXW s7sQÔ 5V32"K$2"�6532,_'k .Nl%('*"u)@$B$20*"^ IV¡/*3B .4.3265-8,K .-:/132"�'1"�N*$B)@ .N�iT�!"K$2/*)>%("^%('1"�)@3U7*)+ÐA"�3B"�N*,K"�$��;%2'*"�$B"u%H9~ $B%20*7*)+"�$&XW 5%('�V] .01N*7l%(';6I%&6{$2)@45N*)+¼;,�65NO%&NE0*-{XW"�3& 5VM$B0*X#�B"�,x%($�,_'* .$B"y65Nf65$hµ¶N*"�"K7*"�7�$B%23(6I%2"�45Q3(6<%('*"K3u%2';65Ne6f$hQ#$B%("K-a6<%()@,c$h%(3(6<%("�4IQ.i:zU 5%('º$B%20*7*)+"�$u"x·165-�)@N*"K7e$B0*X#�B"K,K%($y9�'* �9U"K32"�"x·s/A"Lµ32)+"�N*,K"�7���"L·s/A"K3B%y/*32 54.3(65-�-�"�32$KiuS&'*"�3B"KV] .3B"5��)+%!)@$!/*Y@650*$B)@X*Y+"R%('*6I%u6�$2)+4.N*)>¼;,Z65NO%^/W .3h%()@ 5NG 5V/*3265,K%2)@,�)+N*4�"x·s/W"�3h%[,K .-:/101%("K3?/132 .4.3265-�-:"K32$UV]3B"�\E0*"�NO%2Y+Q�/*0*3B$20*"R65Nk65$hµ¶N*"�"K7*"�7k$B%23(6I%2"�45Q�)+N/*3B"KV]"�3B"�N*,K"P%( �6:$BQ#$h%("�-:6I%2)@,P$h%(326I%("K45Q�V] .3=/132 .4.3265-�,� 5-:/*3B"�'*"KN*$2)+ .N�i=zv65$B"�7� .Nf%('*)+$=)+7*"Z61�9~"R-:65d5"!%2'*"^V] .Y@Y+ �9�)@N*4P%H9~ �$2/W"�,�)>¼;,y,�Yg6I)@-�$�À

�.i&°n'*"KN Vq65,K"�7n9�)+%2' 6»/*3B .4.3(6I- ,� 5N*$2)+$B%()+N*4» 5V{$B"Kj5"�3(6IYy$h%_6I%2"�-�"�NO%($K�!%('*"b,K .-:/101%("K3/*3B 5V]"�$B$2)+ .N;65Y�01$20;65Y+Y+Q:32"�65$2 .N1$?)+N*7*"K/A"KN*7*"�NO%2Y+Ql6IXA .0s%�7*)+ÐA"�3B"�NO%�$B%(6I%("K-:"KNE%2$��; .3U$2-:[email protected] .0*/*$� 5V¡$B%(6I%("K-:"KNE%2$��¾XW"KV] .3B"R6I$2$2"K-{X*Y+)@N*4�%('1"�$2"R$2"K/;653(6<%("y/;653B%2$�)@NO%( �65Nk6532450*-:"KNO%65XW .01%u%2'*"c"�NO%()+32"c/*32 54.3(65-fi'&s'*"ZÑI'*":%HQ#/*)+,Z65Y+Y+QC7* s"K$c ¥�<�^$B%_6I3B%u9�)+%2'º%2'*"c/*32 ./W .$B"�7/W .$B%2,� .N17*)+%2)@ .N�6I%�%2'*"uYg65$h%�$B%_6<%("�-�"�NO%��¾65N*7f$B%("K/CX;6I,_dE9U653B7*$?%2'*32 50*4.'�%('*"u/*3B .4.3(6I-k�$h%_6I%2"�-�"�NO%{XOQe$B%_6<%("�-�"�NO%���,� .N*$h%(3B0*,K%2)@N*4�6k-a6I%2'*"�-:6I%2)@,Z6IY�65$2$B"�3h%()@ 5N`XOQm)>%("�326I%()>j."KY+Q$B0*X*$B%2)+%201%()+N*4²V] 532-{0*Y@65$�)@NO%( »%('1"e4.3B �9�)@N*4o65$2$B"�3h%()@ 5N��½�5Ø<���!9�'*)@,_' )@$�%('*"º)@NsV] .32-:65Y,K .0*NO%("K32/;653h%�%( »¿= .6532"�Y+ .4.)@,Ii)(? .3l7* #"�$�$2'1"�ÑI'*"�%HQ#/*)+,Z65Y+Y+Qo"�-�/*Y@ �Qà%2'*"�)@NsV] .32-:65Y,K .0*NO%("K32/;653h%^ 5V�$hQ#-{XA 5Y@)@,u"L·1"K,�01%2)@ .N¥�¥9�'*)@,_'C32"�\E0*)+32"K$!X*0*)+Y@7*)+N*4�%('*"PjI653B)g65X1Y@"�$K|;$BQ#-�µXW .Y@)+,�jI65Y+0*"�$�V]3B .-�%('*"v%2 ./� 5V¾%('*"&/132 .4.3265-8��Ú<��i#*k650*32"K3?�½Ø5Ø1�O/�i5�O�5ÙI�*,�65Y@Y+"�7{$hQ#-{XA 5Y@)@,"L·1"K,�01%2)@ .N�%2'*"+�Z�<�L«��5�2®k�#�_�x§s©�§#�>�5�q���< m©a�x���;��®5×¥%('*"f�_�#�,�:�x§*�x�x�q���q§s�q���< `©a�x���;��®²�ÝØ.Ø1�/�iA�E�5ÜI�M9U65$!'*)+$!N;65-�"RV] .3?%('*"{65/*/*Y+)@,Z6<%()@ 5Nk 5V�¿? O653B"PY@ 54.)@,Ii[S&'*"K$2"�Yg6<%2%("K3[-�"K%2'* s71$653B"u$BQ#$B%2"�-:6I%()+,5�¾3(6I%2'*"�3&%2';65Nk65$hµ¶N*"�"K7*"�7�ivzU01%=N*"�)>%('*"K3�%2'*"R65XA �j5"xµH,K)+%2"�7f$B%(017*)@"K$=N* 5365NOQ� 5%2'*"�3T9U"[d#N1 }9n IV�4.)+j5"�$~"Kj#)@7*"KN*,�"?%(';6<%~%2'*"[$hQs$h%("K-a6I%2)@,=-:"x%('* #7*$~65,K%20;65Y@Y>Q�0*$B"�7XOQl/*3B .4.3265-:-�"�3B$�6532"u6INEQE%2'*)@N*4�Y@)+d5"!V] .3h9v6I327f65,�,K0*-{0*Y@6I%()+ .Nl .3&X;6I,_dl$20*X*$h%()>%(01%2)@ .N�i

�si&°n'*"KN 3B"Z65$B .N*)+N*4Ô)@N1V] 532-:65Y@Y>Q²65XA 501%�%('1"�XA"K';6Zjs)+ .3l 5VP6`/*32 54.3(65-f��%('*"�,K .-:/101%("K3/*3B 5V]"�$B$2)+ .N;65Yt0*$20;6IY@Y+Qk7*"�65Y@$!9�)>%('G%('1"�/*32 .453(65-f|�$[$2 .0*3B,�"�%("L·#%Z��/W .$2$B)@X*Y>QG65N1N* 5%_6<%()@N14)>%Z��X*0s%u0*$20;6IY@Y+QC7* #"�$^N* 5%^9�3B)+%2"c6�Y@)@$h%^ 5VT%('1"�/132 .4.3265-f|�$!"L·s"�,�0s%()@ 5Ne/;6<%('*$Ki-&s0*,_'e6Y+)@$B%u)+$u65N* 5%2'*"�3u$hQs$h%("K-a6I%2)@,I�tN* I%P6INm65$¸µHN*"K"�7*"K7��¡$h%(326I%("K45Q.iazU01%Z�M654.65)@N���%2'*"�3B"�)+$uN* 3B"Z65$B .Nf%2 cXA"KY@)@"xj."u)+%v)@$�65,x%(0;65Y+Y+Qa65-� .N*4c .X*$B"�3Bj5"�7k$BQ#$B%2"�-:6I%()+,y$h%(326I%("K4.)@"K$�i

Page 5: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß Ê/.1Ê%0�Ì&Ç=çkÃ!âeåUÃ^ä1Æ�ä10~Ì&ÇãÇ?Æ�Ã^ä�Ì&Ë?ȸË{æ Ú

ì�í32 4!ï�ÿ5� öTô��²ö�úsò�ú%6Lï~ÿÓùÓò�ö�úsïU÷7h÷+�� Vq65-�)@Y+)g653¡"x·s/A"K32)+"�N*,K"^)@N�3B"Z65$B .N*)@N14�)@$U3B"Z65,_'1)@N*4�6{,K .N*,KY@0*$B)@ .Na%2';6I%&)+$UY@6I%("K3U,� 5NE%23(6571)@,K%2"�7�i°n';6I%=9U"KNO%^9�32 .N*4ODo�!)@7kF&-a6Id5"�6a-�)@$h%_65dI"P)+NG65/*/1Y+Q#)@N*4a-PQf32"Z6I$2 .N*)+N*4�-�"K%2'* s7;D²�!)+7CF65/*/1Y+Q�%('1"=-�"K%2'* s7cVq65)>%('1V]0*Y+Y+Q5�.X*01%~/*32 #7*0*,K"!65N:"�3B32 .3TXW"�,Z6I0*$2"!F�65$2$B0*-:"K7�6uVq65Y@$B"?/132"�-�)@$B"�D´!3��vX*65$2"K7ë .Në/*3B"�-�)@$B"�$:65Y@Yv%2320*"I�&7*)@7oFPVq65)+%2'1V]0*Y+Y+QÔ6I/*/*Y+Q²6º-:"x%('* #7à IV!32"�65$2 5N*)@N*4º%(';6<%9U65$��*)>%($B"�Y+V¸�OVq6501Y+%HQ1DfF¶%U)@$�7*)8!�,�01Y+%U%2 P7*"K,�)+7*"[9�'*"x%('*"K3&6P-�"K%('1 s7: 5V�32"�65$2 .N1)@N*4R)@$~Vq6I)+%('sV]0*Y@Y>Q65/*/1Y@)@"K7��U 53:9�'*"x%('*"K3a%('*"f-�"K%('1 s7o)+%($B"�Y>V^)@$cVq650*Y>%HQ.�v0*N1Y@"�$B$:%2';6I%:-:"x%('* #7à)+$:,KY@"Z6I32Y+Q²6IN*70*N;6I-{X*)@450* .0*$BY+Q{"K$B%(65X*Y@)+$2'*"K7�i�S&'*"�/*0132/W .$2"� 5V�6u/132"�,K)@$B"5�OV] .32-:65Ys7*"K¼;N1)+%()+ .Nc 5V¥6u3B"Z65$B .N*)+N*4-�"K%('1 s7G)+$?%2 �/*3B }j#)+7*"{$201,_'�,�Yg6I32)+%HQ5i=°e"P$26�QG6:-�"K%2'* s7C 5VT32"�65$2 .N1)@N*4�'*65$!69�Z�<�L©��5�¡�_�<�x�@�)+VM)>%�)@$vV] .3B-a65Y+Y+Q�7*"x¼;N*"�7¥i

S&'*"a/*65$B%y,�"KNO%(0*3hQm';6I$y$B"�"KN`/*32 IV] .0*N*7e$20*,K,�"�$B${)@Nb/*3B �js)+7*)@N14fV] .3B-a6IY�X;65$B"�$uV] .3u-{0*,_' 5VM%('*"y32"�65$2 5N*)@N*4c0*$B"�7k)@N�-a6<%('*"K-a6I%2)@,K$�i�S&'*)+$?$B0*,�,K"�$B$!';65$�XW"�"�Nf%("K-:/W"�3B"�7�9�)+%('�9�)@$B7* .-4O65)+N*"�7�V]32 .-�3B"�$B0*Y+%2$~9�'*)+,_'�32"xj."Z6IY¥$2 5-:"?)@N*'1"�32"KNO%vY@)+-:)>%_6I%2)@ .N1$¡ 5V�V] 532-:65Y;$BQ#$B%2"�-�$v 5V�Y+ .4.)+,5i�!"�$B/*)+%2"y%2'*"�$B"PY+)@-�)+%_6<%()@ 5N*$��# .3��¾/W"�3B';65/*$K�AXW"�,�650*$2"R 5V¡%2'*"y/A �9~"�3[71)@$2/1Yg6ZQ."K7C)@N�%('1"�)@3?XW"�)@N147*)+$2,� �j5"�32"K7��1%2'*"?V] 532-:65Y@)8:Z6I%2)@ .N{ IV�-a6<%('*"K-a6I%2)@,K$�/*32 �j#)@7*"K$v65N:"x·s,�"KY@Y+"�NO%U-� #7*"�Y;%( uV] .Y+Y@ �9ë)+N6I%B%("�-�/1%2$v%( �/*32 �j#)@7*"!V] 532-:65Y�X;65$B"�$&V] .3�32"�65$2 5N*)@N*4c)+Nl 5%('*"K3&¼;"�Y+7*$�i

FH-:/W .3h%_65NO%U%2 R%2'*"!$201,�,�"K$2$� 5V�%2'*"�$B"[V] .3B-a65Y¾X;6I$2"�$vV] 53~-:6I%('1"�-:6I%()+,Z65Y;3B"Z65$B .N*)@N14{)@$T%(';6<%%('1"KQR6532"T$hQs$h%("K-:$t 5V;/*0*3B"�Y>Qu$BQ#NO%_65,x%()@,�-:65N*)@/10*Yg6I%2)@ .N¥i � Y>%('* .014.'y%2'*"�$20*X#�B"K,K%2$� 5V*3B"Z65$B .N*)+N*4)@N^-:6I%2'*"�-:6I%()+,�$�6I32"�%('1"�-�"Z6IN*)@N*45$� 5Vs-a6I%2'*"�-:6I%2)@,Z6IYI"KNE%2)+%2)@"�$K��%('*"�$B0*X#�B"�,x%($M 5V#V] .32-:65Y5/132 # 5V)@NC6:V] .3B-a65Y�X;6I$2)@$?V] .3[-:6I%2'*"�-:6I%()+,�$=6532"R$B%232)@N14.$[ 5VT$hQ#-{XA 5Y@$��W .3?V] .32-{01Yg65$Ki=S&'*"P320*Y+"�$=V] 539�';6I%v,� .N*$h%()>%(01%2"�$�6RV] .3B-a6IYA/*3B s IVM6532"="x·s/*32"K$2$B"�7C)+Na%("K32-�$v 5V�%2'*"! .3B7*"�3&6IN*7�65323265N*4."K-:"KNO% 5VM%('*"u$hQs-PXA .Y+$��*9�)>%('* .0s%�32"�4.65327l%( �%2'*"�)+3&)@NO%("KN*7*"�7k .3&/W .$2$B)@X*Y+"^-:"�65N*)@N14.$�i

� V] .32-:65Y5$hQ#$B%("K-�7*"K¼;N1"�$M .N*"T .3�-� .32"&�L§#�@�_�?���T�� ;�Z�x�(�x ¥�_��V] 53�,� .N*$h%(3B0*,K%2)@N*4? .N*"�V] .3B-{0*Yg6V]32 5-� 5%('*"K3~V] .3B-{0*Y@65$�itF¶%&65Y+$2 y"�$B%(65X*Y+)@$2'1"�$v6y7*)@$h%()+N*4.0*)+$2'*"K7a$2"x%v 5V�V] 532-{0*Y@65$T,Z65Y+Y@"K7G�;<.���<©P�xi� V] 532-:65Y�/*32 # 5V&)+$P6f$2"K\#01"�N*,K"l 5VvV] .3B-{0*Yg6I$R)+Nº9�'*)+,_'`"Z6I,_'`V] .32-{01Yg6�"�)+%2'*"�3y)@$R65NÔ6}·1)+ .- .3y)@$u,� 5N*$B%2320*,x%("�7»6I,�,� 5327*)+N*4f%2 G6�320*Y+": IVv)@NsV]"�32"KN*,�"�V]32 .-êV] 532-{0*Y@65$^/*3B"�,�"K7*)@N14C)+%y)+Ne%('1"$2"K\E0*"�N*,K"5i>=T65,_'cV] .32-{01Yg6[)+Nc6u/132 # 5V¾)@$T6[V] .3B-a6IYs%('1"� .3B"�-fi¡FHNc/;653h%()@,K0*Yg6I3��5%2'*"&Yg65$h%�V] .3B-{0*Yg6)@N�6P$20*,_'f6P/132 # 5V�)@$U6RV] .3B-a65Y;%2'*"� .3B"�-f�*65N17l,� .-�-: 5Na0*$2654."[V] #,�0*$B"�$v 5Na%('*"[Yg65$h%UV] .3B-{0*Yg665$�XW"�)@N14c%2'*"^%('*"K .32"K-J 5Vt)@NO%("K32"K$B%Zi�$UY+"Z653BY+Q.�*65Y@Y¥6<·s)@ .-�$�6532"!%2'*"� 532"�-�$�i

St �6I,_'*)@"xj."�,�Y@6532)>%HQ�9�)+%('1 .01%u65-PX*)@4.01)+%HQ.�W"Z6I,_'º3B0*Y@"R4. �j."K32N*)+N*4f6:V] .32-:65YM/*32 # 5VT$hQs$h%("K-)@$="x·s/*3B"�$2$B"�7e)@N*7*"K/A"KN*7*"KNE%2Y+QC 5V�65NOQG-�"Z65N1)@N*4*×A'* �9U"xj."K3���V] .3[$B0*,_'m6:$BQ#$B%2"�-Ò%2 lXA"{01$2"KV]01Y65$~6yX*65$2)+$TV] 53�3B"Z65$B .N*)+N*4R)+N:$B .-�"�¼*"�Y@7¥�E%2'*"�3B"=-P0*$B%~XA"?6^9v6ZQc%( y32"Lµ¸6I%B%_65,_'�)+%T%2 R-�"Z65N1)@N*4.$)@NG%2'*"�¼;"�Y+7�i{S&'*)+$u32"xµH6I%2%(65,_'*-�"�NO%u)@$^71 .N*"�XOQb65$B$2 #,�)g6<%()@N14l"Z65,_'bV] .32-:65Yt$BQ#-{XW .Y¡9�)+%2'º65N .X#�B"K,K%^)+Nk%2'*"R¼;"KY@7k 5VT)@NO%("K32"K$B%Zi?F¶V�%('1"{65$B$2 #,�)g6<%()@ 5NC 5V�$hQ#-{XA 5Y@$�9�)+%('C .X#�B"�,x%($!3B"�$B0*Y+%2$[)@NC6-�"Z65N*)+N*4�V] .3R"�65,_'Ô6<·s)+ .-Ò%('*6I%P)+$y%2320*":)@Nb%('*"�¼;"�Y+7m 5Vv)@NO%("K32"�$h%Z�M%('*"KNm%('*"a65$2$B s,K)g6I%2)@ .Nb)+$,Z6IY@Y@"K7�6f©a��®#�x�U�ÝÙs�;/*/�iW�IÜ}ÛsÙ5�5�� 5Vt%2'*"^V] .32-:65YA$BQ#$B%2"�-�';6Zj#)@N*4c%('*6I%�$2"x%= IV�6<·s)@ 5-:$Ki

Page 6: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

S&'*"{0*$B"KV]0*Y+N*"�$B$! 5VT6cV] .32-:65Y�$hQs$h%("K-³7*"K/A"KN*7*$^,K320*,K)g65Y+Y+Q� 5NG)+%2$=/W .$2$B"�$B$2)@N14l6:/*3B ./W"�3B%HQ,Z6IY@Y@"K7G���<§s W®5 ¥�_�_�xi~F¶V¸�;)@Nf"Kj."K3BQf-� s7*"KY� 5V�6cV] .32-:65Y�$hQ#$B%("K-k�W"Z6I,_'kV] .3B-a65YA%('*"K .32"K-ª)+$&%(3201")@NG%2'*"{-� s71"�Y��W%('*"KN�%('*"PV] 532-:65Yt$hQ#$B%("K- )@$u���<§s W®²�½Ù#��/�i¡���I�5��i?&# .0*N*7*N1"�$2$u-:65d5"K$!V] .32-:65Y/*3B s 5V[65N*7o)+%2$c%2'*"� 532"�-�$c)@NO%("K32"K$B%()+N*4*×&"�65,_'àV] .3B-a65Y�%('*"K .32"K- )@$�N*"K,�"�$B$(653B)@Y>QÔ%(3201"k)+No6INEQ-� s7*"KY� 5V~6l$2 .01N*7ºV] 532-:65Y¡$hQs$h%("K-ki{°n';6<%R)+$!-� .32"I��-a6I%2'*"�-:6I%2)@,�)@65N*$=';6Zj."c/*32 �j5"�Nm$B .-�"0*$B"KV]0*Y�V] .3B-a6IYA$hQs$h%("K-:$&%( cXW"!$2 50*N*7�i � Y>%('* 50*4.'l)+%v)@$vdEN* �9�N�%(';6I%�/132 # 5VM,Z65N*N1 5%&"�$h%_65X1Y@)@$B'%('1"=$B .0*N*7*N1"�$2$U 5V�$2"xj."K3(65YW"Kj5"�Nl-� .32"�0*$B"KV]0*Y¾V] .32-:65Y*$hQ#$B%("K-:$K�s%2'*"�)+3~$B .0*N*7*N1"�$2$U)@$�65$2$B0*-�"�7XW"�,Z6I0*$2"y)+%&'*65$�N* 5%?XA"K"�Nf,� .NO%23(657*)+,K%2"�7f)@N�-a6INEQ:Q."�6532$? 5Vt0*$2"Ii

� V] .32-:65Y~$BQ#$B%2"�- ,Z6IN��T 5V[,K .0*3B$2"5�~65,_'*)+"Kj5"f$B .0*N*71N*"�$B$:XOQÔ';6Zj#)@N14bV]"x98 53�N* GV] .32-:65Y%('1"� .3B"�-�$�i�F¶%v)+$U"�65$2)+"�3��E%('1"�N��*N1 5%U%2 P';6Zj."u6yV] .32-:65Y*%('1"� .3B"�- %(';6I%U)@$�Vq65Y@$B"=)+N�$2 .-�"[-� #7*"�Y 5V�%('*"�$hQ#$B%("K-A@�&#0*,_'m6l$hQs$h%("K-k��'* �9~"Kj."K3��t';65$!j."K3BQbY+)+%2%2Y@"y0*$2"Ii�&s �$2 .01N*7*N*"K$2$y7* s"K$uN* 5%Z�XOQ�)+%2$2"KY+V¸�¥,K .N1V]"K3^0*$2"xV]0*Y@N*"K$2$u .Nº6�$BQ#$h%("�-fiP°e"�/*32"xV]"�3^$hQs$h%("K-:$^%( �';6Zj5":6I$^-a65NOQfV] .32-:65Y%('1"� .3B"�-�$^65$[/W .$B$2)@X1Y@"5i!´!NG%('*"R 5%('*"K3!';65N17��¥)>V�%( # �-:65NOQfV] 532-{0*Y@65$=6532"R/A"K32-�)+%2%2"�7C%2 �XW"V] .3B-a65Y~%('*"K .32"K-:$K�~%('1"�Nà$B .-�"f IV[%('1"�$2"k-:)+4.'O%cXA"lVq65Y+$2"�)@N²$2 5-:"�-� s7*"KY��T32"KN*7*"K32)@N14e%('1"$BQ#$h%("�- 0*N*$B .0*N*7¥i � $hQs$h%("K-k�#)@Nc9�'*)@,_'a"Kj."K3BQcV] .3B-{0*Yg6!%2';6I%~)@$�%(3B0*"=)+N:"xj."K3BQ:-: #7*"�Y;)+$�65Y@$B 6aV] .3B-a65YM%('*"K .32"K-k�A9U .01Y@7bXA"�,K .N*$B)@7*"K32"�7�%2 f'*6�j5"º¢B"�N1 .0*4.'*¤l%2'*"� .3B"�-�$�iy°m"�,�65Y@Yt$20*,_'e6$BQ#$h%("�- �_�<©[�W�@�x�H���ÝÙs�t/�iT�}�5ÙI��i � $R6k,_'*653(65,x%("K32)@$h%()+,: 5VUV] .32-:65Y�$hQs$h%("K-:$K��,� .-�/*Y@"x%("KN*"�$B$R)+$%('1":7*0*65Y� 5Vv$B .0*N*71N*"�$B$�i � ,� .-�/*Y+"K%("�$hQ#$B%("K-è7* s"K$RN1 5%y';6Zj.":%2 s lV]"x9 V] .32-:65Y¡%2'*"� 532"�-�$�×6a$B .0*N*7�$hQs$h%("K-ê7* #"�$[N1 5%^';6Zj."R%( # �-a6INEQ5i!S&'*"K32"�653B"?�B0*$h%[%('1"{32)+4.'O%!NE0*-{XW"�3= 5V�V] .32-:65Y%('1"� .3B"�-�$?)+Nf6c$hQ#$B%("K-J%(';6<%=)+$&XA I%('�$2 .01N*7G65N17f,K .-�/*Y@"x%("5i

FHN �ZÜ.Ø1�.�>B�C .7*"KYu� ��Ú<�&$2'1 }9~"�7²%(';6<%�65NOQ`V] .32-:65Y�$BQ#$B%2"�- 3B)@,_'»"�N* 50*4.'»%( �"x·s/*3B"�$B$:%('1"N* 5%2)@ .NÓ IVRN*6I%(0*3265Y[NE0*-PXA"K32$�,Z65N1N* 5%�XW"GXA I%('n$2 .01N*7ý65N*7n,� .-�/*Y+"K%("IiÏ¿?"b65Y@$B Ô$2'* �9~"�7%('*6I%{%('1"�$2 .01N*7*N*"K$2$� 5V�$20*,_'o6C$hQs$h%("K-�,� .01Y@7ÔN* 5%{XA"�/132 �j."K7²9�)>%('*)+Nm%('*"a$BQ#$B%2"�-�)>%($2"KY+V¸×%('1"�32"xV] .32"I�W65NOQ�/*32 # 5Vt 5V�$B .0*N*7*N1"�$2$=V] .3&%('*"u$BQ#$h%("�-Þ-{01$B%="�-�/*Y@ �Q�6�-� .32"u,� 5-:/*Y+"x·�Y+ .4.)+,5�9�'* .$B"�$2 .01N*7*N*"K$2$l9U"�$B'* .0*Y+7���%('*"K32"KV] 532"5�?\E0*"�$h%()+ .NÓ"Kj5"�Ný-: .3B"k%2';65Në%('1"G$2 .01N*7*N*"K$2$� 5V%('1"l .32)+4.)@N;6IY�$hQ#$B%("K-ki`¿= �9U"xj."K3��U-:6I%2'*"�-:6I%()+,�)@65N*$y';6Zj."�'*"Z6Zj#)@Y>Q`"L·1"K32,K)@$2"K7o$B .-�"aV] .32-:65Y$BQ#$h%("�-�$c32)+,_'²"KN* .0*45'»%2 �"x·s/*3B"�$2$c%('1"lN* 5%()+ .NÔ 5V?N;6I%20*3(6IYvNE0*-{XW"�32${9�)>%('* 501%c7*)@$B,� �j."K32)+N*40*N*$B .0*N*71N*"�$B$?)+Na%('1"�-fi�&s P%2'*"KQ�65$2$B0*-:"=%('*"K$2"!$hQs$h%("K-:$v%2 {XA"[$2 .0*N17��;65N*7¥�s%('1"�32"xV] .32"I�1N* I%,� 5-:/*Y+"K%2"5ivS&'*"K$2"{$hQ#$B%("K-:$K�¥'* �9~"Kj5"�3��¥7* a';6Zj5"P-:65NOQlV] .32-:65Y�%('1"� .3B"�-�$�iv°n'*"KNC9U"R$2/W"Z65d 5V�%('1"l)@N*,K .-:/1Y@"K%2"�N*"K$2${ IV=-:6I%2'*"�-:6I%()+,�$K�¡9U"�6I32"l32"xV]"�3B32)@N14C%( G%2'*"�Vq65,K%P%(';6I%�65NOQ`$2 50*N*7V] .3B-a65YAX;65$B)@$&V] .3&-:6I%('*"K-a6<%()@,K$v-{0*$h%�XA"u)+N*,� .-�/*Y+"K%("Ii

F¶%�)+$¡)@Ny%('*)+$t$B"K%B%()@N14[%(';6<%�32"K$2"�6532,_'�XW"�4.)+N*N*)+N*4=9�)>%('R%2';6I%¡ 5VW¹¡Y@ �Q#7��I¿= O6I32"5�.65N*7��!)��Bd#$h%(326�¬��Ø1����Ù1�U�ZÜs�����1�� }�v$201,�,�"K"�7*"K7à)+N`"�$h%_65X*Y+)@$B'*)@N*4C6CV] .32-:65YTX;65$B)@$PV] 53P32"�65$2 5N*)@N*4G65XA 501%{%('1"XW"�';6Zj#)@ .3& IVt,K .-�/*01%("K3&/*32 54.3(65-�$�i¡FH7*"Z65$�"L·1/132"�$B$2"K7GXOQ � XW"�Y+$2 .N�65N17D&#0*$2$B-a65Nm�¬�.�*/�is·#j#)+�'*"KY@/�0*$?0*N*7*"K32$B%(65N*7f%('*"uN;6I%20*32"^ IV¡%('1)@$vV] .3B-a65YA$BQ#$B%2"�-fi

S&'*"c,K .-:/101%("K3^32"Kj5 .Y@0s%()@ 5N�)@$^6l32"xj. .Y+01%()+ .N�)@N�%2'*"{9v6ZQG9~"�%('*)+N*dG6IN*7b)@N�%('*"9U6ZQ^9U"�"x·s/*3B"�$2$M9�';6I%M9U"T%('1)@N*d¾iMS&'*"~"K$2$B"�N*,K"U 5Vs%('*)+$�,_';65N*4."�)@$�%2'*"T"�-�"�3245"�N*,K" 5VT9�';6<%u-:)+4.'O%^XA"K$B%uXW"c,Z65Y+Y@"�7C/*32 #,�"K7*0*3(6IY�"�/*)+$B%("K-: 5Y@ .45Q.Õë%('*"R$B%(0171Q� 5V�%('*"

Page 7: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß Ê/.1Ê%0�Ì&Ç=çkÃ!âeåUÃ^ä1Æ�ä10~Ì&ÇãÇ?Æ�Ã^ä�Ì&Ë?ȸË{æ �

$h%(3201,K%(0132"U IV1dEN* �9�Y@"K7*4."�V]32 .-É6INR)+-:/W"�326I%()>j."�/W .)@NO%� 5Vsjs)+"K9u�565$t 5/*/A 5$2"�7y%( �%('*"-� .32"y7*"K,�Yg6I3(6I%2)+j."R/A 5)@NO%! 5V¡js)+"K9�%_6Id5"�N�XOQk,�Y@65$2$B)@,Z6IYt-:6I%('1"�-:6I%()+,Z65Y�$B0*X#�B"�,x%($Ki*C6<%('*"K-a6I%2)@,K$y/132 �j#)@7*"K${6lV]3(65-�"K9~ .32dGV] 53y71"Z65Y+)@N*4f/*32"K,�)+$2"�Y>Q�9�)+%2'eN* I%()@ 5N*$R IV¢h9�'*6I%[)+$�i½¤E$U 5-:/*0s%_6I%2)@ .Nf/*32 �j#)@71"�$!6cV]3(65-�"K9~ .3Bd�V] .3=71"Z65Y+)@N*4�/*32"K,�)+$2"�Y>Ql9�)+%2'N* I%()@ 5N*$& 5V!¢B'* �9r%2 *i�¤

´!X*$2"K3Bj5"=%('*6I%�N* 5%()+ .N*$T 5V��;�<«k%2 P65,K,� .-�/*Y+)@$2'�$B .-�"K%('1)@N*4y-a6Id5"�$2"KN*$2"= .N*Y+QP)@N�32"KYg6I%2)@ .N*$B'*)@/%( Ô«¡�1�5�~%(';6I%c$B .-�"K%('1)@N*4G)+$�i��?"K,Z65Y+Y~%('*6I%�6G/*32 54.3(65-f|½${XA"K';6Zj#)@ .3265Yv$2/W"�,K)+¼;,�6I%()+ .NÔ$B%(6I%("K$«¡�1�5�1%2'*"�/*32 .453(65- )@$�$201/*/A 5$2"�7�%( y65,K,� .-�/*Y@)+$2'�iMS&'*"K32"KV] 532"5�E%('1"?Y@65N*4.0*654."v 5VA,_'* .)+,�"I�E9�'1"�N$B%(6I%()+N*4c$2/W"�,K)+¼;,�6I%()+ .N*$&/*3B"�,�)+$2"KY+Q.�;)+$ypq,KYg65$B$2)@,�65Y�w�-a6I%2'*"�-:6I%2)@,�$Ki

S&'*"?"x·s)@$h%()@N14yV] .3B-a6IY1X;65$B)@$�V] .3T32"�65$2 5N*)@N*4y65XW .01%T%2'*"�XA"K';6Zjs)+ .3T 5V�,K .-�/*01%("K3T/*32 .453(65-�$��Y@)+d5"u%('*"uV] .3B-a65Y�X*65$2"K$[V] .3?-a6I%2'*"�-:6I%2)@,�$K�;)@$=6:$hQs$h%("K-Ò 5V¡/*0*32"KY+Qf$BQ#NO%_6I,K%()+,P-:65N*)+/*0*Yg6<%()@ 5N�i°e"G,Z65Nà0*$2"C%2'*"G3B0*Y@"K$a 5V^%2'*)@$�V] .32-:65Y&X;65$B)@$�%( m%23(65N*$hV] .32- 6ºV] 532-{0*Y@61�v,K .N*$2)+$B%2)@N*4` IVu6/*3B .4.3(6I- 9�)>%('l6R$2/W"�,�)>¼;,Z6<%()@ 5N��s)+NO%( {6yV] .32-{01Yg6u 5V�,�Y@65$2$B)@,Z6IYA-:6I%('1"�-:6I%()+,�$�itS&';6I%U)@$~%2 {$(6ZQ5�%('1"�3B0*Y@"K$�,Z65NuXW"�01$2"�7y%( &%(3265N*$hV] .32-É6vV] .3B-{0*Y@6U7*"Z6IY@)@N14v9�)+%('yN* 5%2)@ .N1$�XA 5%2'u 5V�¢h'* �9m%( 5¤=6IN*7¢h9�';6<%�)@$2¤�)+NO%( c6PV] .3B-{0*Yg6R7*"Z65Y+)@N*4P .N*Y+Q�9�)+%2'lN* 5%2)@ .N*$U 5V[¢h9�';6I%�)+$�i½¤eS&'*"!%23(65N1$BV] .3B-a6I%2)@ .N #,�,�0132$P)+Nm-:65NOQb$B%2"�/*$K��"Z65,_'`$h%("K/f�B0*$B%2)+¼;"K7`XOQe6k3201Y@"� 5Vv%('1"�V] .3B-a6IY�$BQ#$B%2"�-fikS&'*"a)@7*"�6 5VR%('*)+$k$hQs$h%("K- )+$�%2';6I%k)+Vy%('*"º¼;N;65Yu/*0132"�Y>Qn-a6<%('*"K-a6I%2)@,�65Y=V] .3B-{0*Y@6»)+$f%2320*"I�!%('*"KNr%('1",� 53232"K,K%2N*"�$B$[,� 5N<�B"�,x%(0*3B"uV] 53v%('*"u .3B)@4.)+N;65Y¥/132 .4.3265-J6IN*7k$B/A"K,�)>¼;,Z6I%2)@ .N�)+$�65Y@$B {%(3201"5i

°m"�dEN* �98%2'*)@$�)+7*"Z6G)+$�,� .3B32"K,K%�XA"K,Z6501$2"l%('*"�V] 532-:65YU$hQs$h%("K- ';65$cXA"K"�N²$2'* �9�N»%( bXW"$2 50*N*7�il¹;0*3h%('*"K32-� .32"I��%('*)+$y$B .0*N*71N*"�$B${)@$uN* 5%u%232)+j#)@65Y�×�32"K$2"�6532,_'*"K32$�6IY@$2 f';6Zj.":$2'* �9�Nº%('*)+$V] .3B-a65Y=$BQ#$B%2"�- %2 ÔXA"G9�';6<%k)+$�,Z6IY@Y@"K7 ¢B32"KYg6I%2)+j5"�Y+Q²,K .-:/1Y@"K%2"�¤<Õë%(';6<%l)@$K�=,K .-:/1Y@"K%2"C9�)+%2'32"K$2/W"�,x%k%2 »%2'*"�%(3B01%('ý 5Vy%('*"b/*0*3B"�Y>Që-:6I%('*"K-a6<%()@,�65Y=V] 532-{0*Y@65$bp]$2"�"I�[V] .3l"L·*6I-:/*Y+"5�{�Ý�5�gwxi��"�,Z6IY@Y��#'* �9~"Kj."K3��;%('*6I%Z�*XW"�,�650*$B"y-:6I%2'*"�-:6I%()+,�$~)@$v)+N*,� .-�/*Y+"K%("I�sN1 5%?65Y@Y¾%(3B0*"^-:6I%('*"K-a6<%()@,�65YV] .3B-{0*Yg6I$c6532"�/*3B }jI65X1Y@"5ioS&'*"�3B"KV] .3B"5�vXW"�,�650*$B"k%('1"fV] .3B-a6IYv$BQ#$B%2"�- V] .3c7*"�65Y@)+N*4�9�)+%('»%('1",� 53232"K,K%2N*"�$B${,� .N}�B"�,K%20*32":)@$yX*0*)+Y+%u .Nº%('*"cV] .32-:65Y�$hQs$h%("K-Gp]$_wuV] 53y-:6I%2'*"�-:6I%()+,�$K�M)>%y)@$uN* 5%P6%(3B0*Y+Qm,� .-�/*Y+"K%("�V] 532-:65YU$hQs$h%("K-k�vX101%�)+%�)+$�,� .-�/*Y@"x%("l3B"�Yg6<%()+j5"�%( b%('*"�)+N*,� .-�/*Y+"K%("KN*"�$B$� 5V-:6I%('*"K-a6<%()@,K$y�Ý�s�¾/*/�i¾ÙOÚ�ÛF I��i � NOQ�)+N*,� .-�/*Y+"K%("KN*"�$B$� .X*$2"K3Bj5"�7�)@N�)>%�)@$�7*0*"yN* 5%�%( �65NOQHG¾6Z9)@Nk%('*"�/*3B s IVT320*Y+"�$^32"K4O653B7*)@N*4a,� .-�/*01%(6I%()+ .NGX*01%[%( �%('1"{)@N*,K .-�/*Y@"x%("�N1"�$2$^ IV~-:6I%2'*"�-:6I%()+,�$)+%2$2"KY+V¸i

FHN�$20*-�-:653BQ5�5XW"�,Z6I0*$2"v%2'*"v$BQ#$h%("�- )@$t$2 .0*N17��.%('*"U,� .3B32"�,x%(N*"K$2$�,K .N<�B"�,x%(0*3B"&)@$M%(3201"UV] .3¡"xjOµ"�3hQ�/*32 .453(65-aÑI$2/W"�,K)+¼;,�6I%()+ .N�/;65)@3�%2';6I%v,�65N�XW"?%23(65N1$BV] .3B-:"K7a%( P6R-:6I%('*"K-a6<%()@,�65Y*$h%_6I%2"�-�"�NO%%('*6I%!)+$=%(3B0*"5i[zU"�,�650*$B"{%('*"{$hQ#$B%("K-Ò)+$[32"KYg6I%2)+j5"�Y+Q�,K .-�/*Y@"x%("5�W"Kj5"�3hQG/*3B .4.3(6I-�ÑI$B/A"K,�)>¼;,Z6I%2)@ .N/;65)+3^$(6I%2)@$hV�Qs)+N*4�%('*"c,� 53232"K,K%2N*"�$B${,� .N}�B"�,K%20*32"�)@$^%23(65N*$hV] .32-:65X*Y+"{%( f6�-a6I%2'*"�-:6I%2)@,Z6IY�65$B$2"�3¸µ%()+ .Nl%(';6<%�)@$v%(3B0*"5iTS&'*"K32"xV] .32"I�W3B"Z65$B .N*)+N*4�65XA 501%�/*32 54.3(65-�$&';65$?6�$2 5Y@)@7�V] 532-:65Y¥X;6I$2)@$KiTS&'*"/*3B .X*Y@"K-8 5Vt,� 53232"K,K%2N*"�$B$[';65$�XW"�"KNk3B"�7*0*,K"�7C%2 �%('*"u/*3B .X*Y@"K-8 5Vt-:6I%('*"K-a6<%()@,�65YA%23201%2'�i

Page 8: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

Ù Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

ì�íJI KL�!ò�ñeÿ;ï~ü^ô¸òM�S&';65N1d#$y%( f%('*"�4. # s7�9~ .32db 5Vv¹¡Y@ �Q#7��t¿= O653B"5�t�!)Ý�BdE$B%23(61�M65N17e%('1 .$2"c9�'* kV] 5Y@Y@ �9~"�7b%('*"K-k�%('1"�32"fN* �9�"L·1)+$B%2$a6b4. # s7ÔV] .0*N17;6I%()+ .NÔV] .3�32"�65$2 5N*)@N*4e65XW .01%c%('1"fXW"�'*6�j#)+ .3c 5V!,K .-:/101%("K3/*3B .4.3(6I-:$KiON?N1V] .3h%(0*N;6<%("�Y>Q.��65$�9�)@Y+Y&XA"k$2'* �9�NÓ)@NE&s"�,x%()+ .Nã�.i Ús�U%2'*)@$�%(3(6I7*)+%2)@ .N;6IYUV] .32-:65Y

usual, desired,"natural"

existing Hoare logic

?

?

Human Reasoning

Formal Bases

¹¡)@450*32"{�5ÀT¿=0*-:65NA�?"�65$2 .N1)@N*4�65N*7f¹; .3B-a65Y¥zv65$B"�$

X;65$B)@${71 s"K$�N* 5%{-:6I%2,_'Ô,�Y@ 5$2"�Y>Qe9�)>%('`%2'*"�N;6I%20*3(6IY~9U6�Q#$K�~7*"K$2,K32)@XW"�7»)+NP&s"�,x%()+ .NÓ�.i>�.��%(';6<%,� 5-:/*0s%("�3�/*3B 5V]"�$B$2)@ 5N;65Y@$�0*$B0;65Y@Y>Q»0*$2"I�& .3c9U .01Y@7àY+)@dI"f%2 m0*$B"5�v9�'*"KNà%('*"xQà3B"Z65$B .Në6IXA .0s%/*3B .4.3(6I-:$K|*XA"K';6Zj#)@ .3KiT¹¡)@4.0132"��u0*$2"K$=\E0*"K$B%2)@ .Nf-a6I32dE$yp�¢(DZ¤EwP%2 �/W .3h%(3(6ZQ�%H9~ cVq65,K%2$�À�.i�S&'*"K32"k7* s"K$:N1 5%�"x·s)@$h%�6bV] .32-:65YvX;6I$2)@$cV] .3�%('1"k0*$B0;65Y��U7*"K$2)@3B"�7���¢BN;6I%20*3(65Y+¤�9v6ZQ² 5V3B"Z65$B .N*)@N14:6IXA .0s%�/*32 .453(65-XA"K';6Zjs)+ .3�i

�siQ��"Z65$B .N*)+N*4�%(';6I%�-:6I%2,_'*"�$&%('1"u%23(6571)+%()+ .N;65YWV] .32-:65YAX;65$2)+$&)@$�N* 5%&9�)+7*"�Y>Q�/*3265,K%2)@,K"�7�iS&'*"K32"~6532"I�}%2'*"�N¥�<%H9~ ?9U6ZQ#$M%2 ?'*6�j5"U6vV] .3B-a6IY5X;65$B)@$�V] .3�9�)+7*"�Y>QOµH/*3265,K%2)@,�"K7^9v6ZQ#$t IVs3B"Z65$B .N*)+N*465XW .01%M/*3B .4.3(6I-ãXA"K';6Zj#)@ .3Ki�´!N*"T)@$�%2 ="K$B%_6IX*Y@)+$2'R6?-�)@$B$2)@ 5N!%( �%("Z6I,_'P,� 5-:/*0s%("�3M/*3B 5V]"�$B$2)@ 5N;65Y@$%( [32"Z6I$2 .N�6I,�,� 5327*)+N*4[%( ?%('*"U"x·s)@$h%()@N14=V] .3B-a65YEX;6I$2)@$Ki¡S&'*"U 5%('*"K3¡)+$t%( =/*32 �j#)@71"&6?V] .3B-a6IY#X*65$2)+$V] .3�6!-�"K%2'* #7� IVA3B"Z65$B .N*)+N*4!%(';6<%�)@$�-� .3B"vN;6I%20*3(65Y¬Õn,KY@ .$B"�3t%2 ^%('*"&-�"K%2'* s71$�0*$2"K7: 53�7*"�$B)@3B"�7

Page 9: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊSR#Ê�ÅtÂ=Æ ÅtÂ[Æ�äsÈhä Ü

%( #7;6ZQ.i[�!)Ý�BdE$B%23(6:65N*7G'*)+$[7*)+$2,K)@/*Y+"�$?';6Zj."{,_'* 5$2"�N�%2'*"RV] .3B-:"K3= 5/1%()+ .N�×W'*"�3B"P9U"P/*0*32$B0*"{%('1"Yg6<%2%("K3�i

ì�íUT KL�!òVKL�!ò�úW¸úS&'*)+$?71)@$2$B"�3h%_6I%2)@ .N�7*"xV]"�N*7*$�%('1"uV] 5Y@Y@ �9�)+N*4R%2'*32"K"xµH/*653B%�%('1"�$2)+$�À�.i�S&'*"y%(32657*)+%2)@ .N*65Y¥V] .3B-a65Y¥-:"x%('* #7C 5V¡32"�65$2 .N1)@N*4a65XA 501%�%('*"RXA"K';6Zjs)+ .3? 5V�/*3B .4.3265-:$�)+$N* I%�N;6I%(013(65Y�i

�si�S&'*"K32"l)+$�6G$2 .01N*7ÔV] .32-:65Y�X;65$2)+${V] .3�p�%('*"�/*653B%2)g65Y µH,� 53232"K,K%2N*"�$B${/A 53B%()+ .N` 5V(wP6G-� .32"N;6<%(0*3265Y�32"�65$2 5N*)@N*4c-�"K%2'* s7¥i

Ø1i�S&'*"R$2 .01N*7*N*"K$2$! 5V¡%('*)+$?N1"K9ÉV] .3B-a65Y�X*65$2)+$=)+$=$h%(32 5N*4a)+Nf%2'*"R$B"�N*$B"P%('*6I%=%2'*"P-�"K%2'* #7)+$&65Y@$B �Y@ .45)@,Z6IY@Y+Qc,K .-�/*Y@"x%("cp]32"�Y@6I%()>j."[%2 �%('*"�p])@N¾w¸,� .-�/*Y@"x%("KN*"�$B$& 5Vt%2'*"^-:6I%('*"K-a6<%()@,�65Y%2'*"� .3B)@"K$?01$2"�7f)@Nl%2'*"u/*32 .453(65-f|�$&XW"�'*6�j#)+ .3(65Y¥$2/W"�,�)>¼;,Z6<%()@ 5Nk6IN*7k"L·s/*Yg65N*6I%()+ .N¾wxi

�¡6I3B%k�C 5V=%('*)+$�%2'*"�$B)@$�)@$�$20*/*/W .3h%("�7à)@N%&s"�,x%()@ 5N �.i ÚºXOQ²0*$B)@N*4e65Nà"L·165-:/1Y@"�%( º,� .-�/;653B"%('1"º%23(657*)>%()+ .N;65Y[V] 532-:65Y!-�"K%('1 s7 5V{3B"Z65$B .N*)@N14²9�)>%(' %2'*"ºN*"K9è-�"K%2'* s7n9~"m/*3B ./A 5$2"LÕn6-�"K%('1 s7y9U"v,�65Y@YO%2'*"[�� W®#�X<s�2®!©a�x���;��®yV] .3M32"Z6I$2 .N*)+N*4^65XW .01%t/*3B .4.3(6I-ÉXA"K';6Zjs)+ .3�iM°m"~7*)@$B,�0*$B$ .0*3u"L·*6I-:/*Y+"c)@Nb%('*"�Y@)+4.'O%u 5VvY+)+%("K3(6I%20*32"�,K .N*,K"�32N1)@N*4f"�-�/*)@3B)@,�65Y�$B%20*7*)+"�$y 5Vv/*3B .4.3265-:-�"�3B$��$2'1 }9�)+N*4b%('*"l)+N*7*"x·s"K7o-�"K%2'* s7Ô%2 ºXW"�-: 532"�N;6<%(0*3265Y�iY�t653B%2$:�b6IN*7²Øº6I32"l$201/*/A 53B%("K7à)+N$201X*$2"K\#01"�NO%C,_'*65/1%("K32$lXOQë71"K¼;N*)+N*4`%('1"C%_653B4."K%aYg65N14.0;654."C65N*7ë%2'*"CV] .3B-a65Y�X;6I$2)@$:V] .3a%('1")@N17*"x·s"�7f-�"K%('1 s7��*65N*7f/*32 �j#)@N*4�%2'*)@$�X;65$B)@$&$B .0*N*7C65N*7�32"KYg6I%2)+j."KY+Qa,� .-�/*Y@"x%("Ii

ì�í3Z K:ÿ;ö#[\¶ø]¸ï~÷!öTô'4!ï�ÿ5� öTôcùÓò�ö�ú1ï~÷7B÷+�_^Oú%`Éï�øE`Éö¡ø*þ!ÿ;öTôFHN�%('*"P,� .NO%("L·#%R IV�65Nb"x·165-�/*Y@"R/*32 .453(65-�µ¶9�)>%('sµ¶$2/W"�,�)>¼;,Z6<%()@ 5N��;9U"c7*"K$2,�3B)@XW"�'*"�3B"�'* �9 32"Z6}µ$2 5N*)@N*4[)@$�/W"�3hV] .32-�"�7�6I,�,� 5327*)+N*4!%( [%2'*"v%(32657*)>%()@ 5N;65YOV] .32-:65YE-�"K%('1 s7��I%('*"vX*65,_dP$B0*X*$B%2)+%201%()+ .N-�"K%('1 s7�i{°e"�%('*"KNm$Bd5"K%2,_'`'* �9 3B"Z65$B .N*)+N*4f65XA 501%u%('*"c$(6I-:"�/*3B .4.3265-�Ñ<$2/W"�,�)>¼;,Z6<%()@ 5N�/;65)@39~ .0*Y@7»XW"l7* .N*"l)+NÔ%('*"l)+N*7*"x·s"K7o-�"K%2'* s7¥�T6�9U6ZQ`%('*6I%c)@${-� .3B"l,� .-cV] .3B%(65X*Y+":%( G%2 s7*6�QW|½$,� 5-:/*0s%("�3�/*3B 5V]"�$B$2)+ .N;65Y+$��;65,K,� .3B7*)@N14c%2 c .0*3&,�Y@65)@-�$v)+ND&#"�,K%2)@ .Nb�.i>�.i

´!0*3�"x·165-�/*Y@"!/132 .4.3265-aÑI$2/W"�,K)+¼;,�6I%()+ .N�/;65)+3�6532)+$2"K$& .01%� 5V¡6{%('*3B"�"xµ¶/;653h%�/*32 .X1Y@"�-$B%(6I%("Lµ-�"�NO%ZÀ�.i&s/W"�,K)+V�Qb6�/*3B s,K"�7*0*3B":%2';6I%y';65$^V] .0*3^V] .3B-a6IY�/;653265-:"x%("K32$��t61��X��M,5�¡65N*7º-a6<·A�M65Y+Y� 5V%HQ#/W"{FHNO%("�45"�3��A$20*,_'�%2';6I%[%2'*"P-:6<·s)@-P0*-Þ65-� .N*4:61�¥X��¥65N*7G,RXA"K,� .-�"�$=%('*"yj56IY@0*"y 5V-:6<·Ai

Page 10: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�a� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

bMced�f�gFh�i�ceg &s"x% *C6}·1)+-{0*-èpq61�*X��;,I�;-a6}·�À�FHNO%("K4."�3(wcegFjki�lUcegFm+nacoi�ggFp�m;i�cegFm p]-a6}·�q 6Qrk-:6<·-q X9rk-a6}·�qý,�ws -a6}·Htn6 s -:6<·HtÓX s -:6<·HtÓ,

¹¡)+4.0*3B"y�sÀ � &s/A"K,�)>¼;,Z6I%2)@ .Nl IV#��32 #,�"K7*0*32"9&s"x% *C6<·s)+-{0*-

�siQ��32 �j#)@71"R6�$B"�\E0*"�N1,�"P IV�$B%(6I%("K-:"KNO%($&%( c,� 5-:/W .$2"^%2'*"uXA #71Q� IVt%2'*)@$�/*3B s,K"�7*0*3B"5iØ1i&s'1 }9 %(';6<%?%2'*"u/*32 #,�"K7*0*3B"yXW #71Ql-�"�"K%2$�)+%($&$B/A"K,�)>¼;,Z6I%2)@ .N¥i¹¡)@450*32"k��$2'* �9�$l6b/A 5$2$2)+X*Y@"�$B/A"K,�)+¼*,Z6I%2)@ .N² 5V[%2'*)@$c/*3B s,K"�7*0132"5�&,�65Y@Y+)@N*4�)>%e¢u&s"x% *C6<·s)>µ

-{0*-fi½¤ °e"c$2/W"�,�)>V�Qb/*32 #,�"K7*0*3B"�$yXEQb/132"�$B,�3B)@X*)+N*4�,� .N*71)+%()+ .N*$^ .Nb%('1"�/*653(65-�"K%2"�3B$�|�jI65Y@01"�$�iS&'*"R,� .N*71)+%()+ .N�)@N�%('*" cegFjkiMlvcegFm ,KYg650*$B"R)+$�,Z65Y+Y@"�7k6{�W�_�_�_�< W®5���q���< ;×;)+%?$h%_6I%2"�$�9�';6I%=-a6ZQ�XW"65$B$20*-�"�7�65XW .01%t%('*"vV] .3B-a6IYs/;6I3(65-�"K%2"�32$�6I%�%('1"vXA"K4.)@N1N*)@N*4[ 5V;%('*"&/132 #,�"�710*32"&XW s7sQ.i¡S&'1"�32"LµV] .3B"5�1V]3B .- %2'*"u/A 5)@NO%v 5VMj#)@"x9r 5Vt6{,KY@)@"KNO%&%(';6I%v-a6ZQ�,�65Y@YW%('*"^/132 #,�"�710*32"I�*%('*"^/*3B"�,K .N*7*)>%()@ 5N .N�%('*"=,� .3B32"�$B/A 5N*7*)@N14�65,K%20;65Y¾/;653265-�"K%("K32$~)@$~6RN*"K,�"�$B$(653hQ�,K .N*7*)>%()@ 5N�V] .3�$201,_'�6R/*3B s,K"�7*0*3B",Z6IY@Y�%( �XW"RY+"�4O65Y�iU¹t)@4.0*3B"R�c$B/A"K,�)+¼*"�$=%2'*"u9U"�65d5"K$B%^/W .$2$B)@X*Y+"u/*32"K,� .N*71)+%()+ .N�À nacoi�g i~°m"y-a6ZQ65$B$20*-�"=N1 5%('*)+N*4y$2/W"�,�)@65Y¾65XW .01%T%('1"?jI65Y+0*"�$� 5V¥%2'*"�V] .32-:65Y*/;6I3(65-�"K%2"�32$�6I%T%2'*"=XW"�45)@N*N*)+N*4u 5V%('1"P/*3B s,K"�7*0*3B"PXW s7sQ.�W"x·s,�"K/1%!%('*6I%!6IY@Y�V] .0*3=6532"y)@NO%2"�4."K32$�i&#%(6I%("K7�65N* I%('*"K3=9U6�Qmp�V]32 .-�%('1",�Y+)@"KNE%�|�$uj#)@"x9�/A .)+NO%Lwx�M%('*"cjI65Y@01"�$P IVv%('*":65,x%(0;65Y�/;653265-�"K%("K32$y)@Ne6C,�Y+)@"KNE%y';6Zj5"�N* CXW"Z6I32)@N14 .NÔ%('1"fY+"�4O6IY@)+%HQe 5V[6�,Z65Y+YU%( �%('1)@$�/*3B s,K"�7*0*3B"5iÔ°n'*"KNë6�/*32"K,� .N17*)+%2)@ .N»)@$ n;c�iwg ��9~"�-a6ZQ65X*X132"Kj#)@6I%("^%('1"y$B/A"K,�)>¼;,Z6I%2)@ .N�XOQl .-�)+%B%()+N*4P%('1"y,KYg6501$2"k¢ cegFjkiMlvcegFm�nacoi�g i½¤

°m":,Z65Y+Y�%('*":,� .N*71)+%()+ .Nº)@Ne%2'*" gFp�m;iwcogFm ,KYg650*$B"a6��;���x�¸�_�< W®5���q���< ;×�)+%y$h%_6I%2"�$P9�';6<%P%('1"/*3B s,K"�7*0*3B"!XW s71Qc-P0*$B%U-a65dI"=%2320*"= 5V�%('1"=jI65Y@01"�$U IV�%('*"?V] .32-:65Y;/;6I3(65-�"K%2"�32$~0*/W .Na,K .-:/1Y@"xµ%()+ .Nc 5VW%('*"?XA #71QW|½$�"L·s"�,�0s%()@ 5N�i�S&'*"�3B"KV] .3B"5�s6^,�Y@)+"�NO%�%('*6I%�';65$TY@"K4O65Y@Y>QP,�65Y@Y+"�7{%2'*)@$T/*3B s,K"�7*0*3B"-:6�QG65$2$B0*-�"{%(';6I%^%2'*"c/A 5$B%(,K .N*7*)>%()+ .N�)@$[%2320*"�V] .3=%('*"c,� 53232"K$2/W .N*7*)+N*4f65,K%20;65Y�/*653(65-�"K%2"�3B$6IV�%2"�3�%('1"&,Z65Y+Y�it¹¡)@4.0132"��!$2/W"�,K)+¼;"K$�%(';6I%��#6I%�%('1"?/132 #,�"�710*32"I|�$T,� 5N*,�Y+0*$2)+ .N��O-:6<·A|�$�jI65Y+0*"&-{0*$h%"�\E0;6IYM%2';6I%= 5VT6I%?Y@"�65$B%= .N*"y 5VT6s�WX¥�¥65N17C,5�A65N*7k%(';6I%?%('1"yjI65Y+0*"R IV�-:6<·f-{0*$h%[XW"{6I%?Y+"Z65$h%65$�4.3B"Z6I%?65$&%2'*"^j56IY@0*"^ 5V¡61�*X¥�¾65N*7f,5i�¡653h%��e IV!%('*"k/*32 5X*Y@"K- 6I$2dE$a%('*6I%:9~"G/*3B �js)+7*"G6e$2"�\E0*"KN*,�"� IVu$B%_6<%("�-�"�NO%2$:%('*6I%a9~"XW"�Y@)+"Kj5"[9�)@Y+YA6IY+9U6�Q#$vXW"�'*6�j5"y65,�,K .327*)+N*4P%2 P%('*"^/132 #,�"�710*32"I|�$&$B/A"K,�)+¼*,Z6I%2)@ .N�i�¹¡)@4.0132"!ØR$2'* �9�$/*3B s,K"�7*0*3B"x&s"K% *C6<·s)@-{01- 9�)>%('l)>%($v6IX*X*32"xj#)g6I%2"�7�$2/W"�,K)+¼;,�6I%()+ .NbpqN1 cogFjki�lvcogFm ,KYg650*$B"�wU6IN*76�XA #71Ql,K .NO%_65)+N*)@N14c6c$B"�\E0*"KN*,�"{ IV¡$h%_6I%2"�-�"�NO%($Ki

Page 11: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â �.�

bMced�f�gFh�i�ceg &s"x% *C6}·1)+-{0*-èpq61�*X��;,I�;-a6}·�À�FHNO%("K4."�3(wgFp�m;i�cegFm p]-a6}·�q 6Qrk-:6<·-q X9rk-a6}·�qý,�ws -a6}·Htn6 s -:6<·HtÓX s -:6<·HtÓ,{ gF|}lUp-:6<·lÀ~qr6lv� pqX��r-:6<·*w ne��gFp

-a6<·�ÀSqýXgFp�h�lU�lv� pq,-�r-:6<·*w ne�wg�p

-a6<·�ÀSqý,gFp�h�lU�g�p�h &s"x% *C6<·s)+-{0*-

¹¡)@4.0132"^Ø1À � NfFH-�/*Y+"�-�"�NO%_6I%2)@ .N�V] 53��T3B s,K"�7*0132"?&s"K% *C6<·s)@-{01-

ì�í3ZvíBì û ÷��1�=ö��ó^ô¸ò ï�61K:ÿ;ö#[\¶øWhï~÷!öTô:ùÓò�ö�ú1ï~÷7h÷+�(="L·#%�9U"b6IN*$B9~"�3a%2'*"G/*3B .X*Y+"�-f|�$:/;653B%�Ø1�&$2'1 }9�)+N*4*�?65,K,� .3B7*)@N*4e%( m%2'*"C%(32657*)>%()@ 5N;65Y&X;65,_d$201X*$B%2)+%(0s%()@ 5N{-:"x%('* #7��5%2';6I%t%('*)+$�/*32 #,�"K7*0*3B"vXA #71QR-:"K"K%2$�)+%2$¡$2/W"�,K)+¼;,�6I%()+ .N�i¡¹¡)@4.0132"U�[$2'* �9�$%('*6I%�9U"TXW"�4.)+NuXEQ!$20*3B32 .0*N17*)@N*4&%2'*"T/*32"K,� .N*71)+%()+ .Ny65N*7u/W .$B%2,� .N*71)+%()+ .N!9�)+%2'uX*3(65,K"�$~p�¢��}¤=6IN*7¢��}¤Ew^65N17º9�3B)+%()+N*4l%('*"�32"K$20*Y>%($K�¡32"K$2/W"�,x%()+j5"�Y>Q.�¡XW"KV] 532"�65N*7m6IV�%("K3u%2'*"�$B%_6<%("�-�"�NO%R$2"K\#01"�N*,K"5ipqS&'1"�$2"�X*3265,�"K$t6I32"�N* 5%�%2 �XA"�,K .N1V]0*$B"�7R9�)>%('u$2"x%�N* 5%(6I%()+ .N�i wuS&'*"�%23(657*)>%()+ .N;65Y<-:"x%('* #7^9U 532dE$V]32 5-ª%2'*"�X;65,_dk 5VT%('*"�$B"�\E0*"�N1,�"c%( �9v6I327�%('*"RV]32 .NO%Ziu°e"{¼;32$h%u65Y+%2"�3[%2'*"{/W .$B%2,� .N17*)+%2)@ .NC%2 32"K-: �j5"u%2'*"uYg65$h%�$B%(6I%("K-:"KNE%�i

S&'*"GY@65$B%a$B%_6<%("�-�"�NO%a)@$�6IN lU� µ ne�wgFp $h%_6I%2"�-�"�NO%Zi °m"k-{0*$B%a,� .N1,�"�3BNn .0*32$B"�Y>j."�$aXA 5%2'9�)+%2'm%('1"�zU s 5Y@"Z6INm,� 5N*7*)+%2)@ .N¥�u¢B,�� -a6<·A�½¤º65N*7Ô)+%2$PN*"K4O6I%2)@ .N��^¢B,��J-:6<·Ai�¤�N=N*71"�3{%('1"N*"K4O6I%("K7n,� .N*71)+%()+ .N��&"L·1"K,�01%2)@ .Nn$Bd#)+/*$�%('1"�$B%_6<%("�-�"�NO%�|�$�XW s71Q5��$2 »'*"�3B"G9U"�71 ²N1 5%�65Y>%("�3%('1"k/W .$B%2,� .N17*)+%2)@ .N�i»¿? �9U"xj."�3K�&%( b';65N*71Y@"l%('*"f,� 5N*7*)+%2)@ .N ¢B,��³-:6<·W�½¤`9U"f7* e65Y+%2"�3�%('1"/W .$B%2,� .N*71)+%()+ .N»65,K,� .3B7*)@N*4�%2 b%2'*"�$B%(6I%("K-:"KNE%�|�$�XW s71Q5��9�'1)@,_'²'*"�3B"f,K .N*$B)@$B%2$c 5V=%2'*"�$2)+N*4.Y@"65$B$2)@45N*-:"KNO%a$h%_6I%2"�-�"�NO%»¢B-:6<·ãÀSqÖ,Ii�¤ S&'*"CX*65,_do$B0*X*$h%()+%201%()+ .N²-:"x%('* #7à';6I$a0*$:32"�/1Yg65,K""Kj5"�3hQm #,�,K0*323B"�N*,K"� 5V�¢B-:6<·s¤C)+Ne%2'*"a/W .$B%2,� .N17*)+%2)@ .Nb9�)+%2'É¢B,Ii�¤8¹¡)@4.0132"aÚf$2'1 }9�$R%('*":N*"K9/W .$B%2,� .N*71)+%()+ .Nl6I%&%2'*"^"�N17f IVM%2'*"u$B%(6I%("K-:"KNE%�$B"�\E0*"KN*,�"yN* �9r$B'* .3h%("�N1"�7fXEQa%('*"^3B"�-� }jI65YA 5V)+%2$TYg65$h% lv� µ ne�wg�p $h%_6I%2"�-�"�NO%Zi�S&'*"?N*"x9n/A .$h%(,K .N*7*)>%()@ 5N�)+$�%('*"?,� .N}�B0*N*,K%2)@ .N: 5V¥%2'*"�%H9U {/*653B%2$653B)@$2)+N*4&V]32 .- %('*"~zU # .Y@"�65NR,K .N*7*)>%()+ .N��A¢B,7�ë-:6<·W�½¤u65N*7y)+%($�N*"K4O6I%2)@ .N��¥¢B,\�Ó-:6<·Wi�¤b¹t)@4.0*3B"� $2'1 }9�$T%('1"&32"�$B0*Y+%T IV�65/1/*Y+Q#)@N14!%('*)+$�/*32 #,�"K$2$T%( ^%('1"&N*"K9à/A .$h%(,K .N*7*)>%()@ 5N� 5VA¹¡)@4.0132"?Ú!65N*7c%('1"¢ lv� pqXH�²-a6}·;w ne��gFp ¤u$B%_6<%("�-�"�NO%�it°e"&32"�-� �j."v%2'*"�65$2$B)@4.N1-:"KNE%T$h%_6I%2"�-�"�NO%y¢B-:6<·�ÀSqr6I¤^XEQ32"K/*Yg6I,�)@N14:"xj."�3hQf s,K,�0*3B32"�N1,�"{ 5V^¢B-:6<·A��¤�)@N�%('*"R/A 5$B%(,K .N*7*)>%()+ .N� 5VT¹¡)+4.0*32"\ s�¾9�)>%('ë¢265¤*×¾$2"K"

Page 12: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�}� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

� nacoiwg �-:6<·�À~q 6lv� p]X�� -a6}·;w na��gFp

-:6<·�ÀSq XgFpMh�lv�lv� p],-�ã-a6}·;w na��gFp

-:6<·�ÀSq ,gFpMh�lv��spq-:6<·-qr6Qrf-:6<·'qýX?rf-:6<·-q ,�ws -:6<·Htn6 s -:6<·�tÓX s -a6<·�tÓ,��

¹t)@4.0*3B"^�*À�SM3(657*)>%()+ .N;65Y¥zv65,_d�&s01X*$B%2)+%(0s%()@ 5ND*f"K%('1 s7�À�¹¡)+32$h%&#%("K/

� nacoi�g �-a6<·�ÀSqý6lU� pqX��ã-:6<·*w ne�wgFp

-:6<·lÀ~q Xg�p�h�lv��lp],x�o-a6}·'� pBpq,q 6Qrk,qnX�r�,�qý,�w

s ,xtn6 s ,xtÓX s ,\tn,�wBws pq,\�Ó-:6<·�� p2p]-a6}·�qr6Qrf-:6<·'qnX�r�-a6}·�q ,Zws -a6<·�tn6 s -:6<·�tÓX s -:6<·HtÓ,Zw2w��

¹¡)@4.0132"yÚsÀ�SM3(6571)+%()+ .N;65YAzv65,_d1&#0*X*$B%2)+%201%()+ .NA*k"K%2'* s7¥À�&#"�,� 5N*7�&E%("�/

Page 13: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â ��Ø

� nacoiwg �-:6<·lÀ~qr6��pqX1� -a6<·-� p

pq,\�ëX�� pBpq,q 6Qrk,qýX?rf,q ,Zws ,\tn6 s ,\tÓX s ,\tÓ,}wBws p],\�ÓX�� p2p]X�qr6�rfX�qnX�r�X�q ,Zws X�tý6 s X1tÓX s XAtÓ,Zw2wBw2ws pqX1�Ó-a6<·-� p

pq,\�ë-:6<·�� p2p],�q 6r�,q X9rk,qý,}ws ,\tn6 s ,\tÓX s ,\tÓ,}wBws p],\�Ó-a6<·-� pBpq-:6<·�qý6rf-a6<·-qýX?rf-:6<·'qn,�ws -:6<·�tn6 s -a6}·�tÓX s -a6}·HtÓ,�wBw2wBw��

¹¡)+4.0*3B"\ 1À�St32657*)>%()@ 5N;65Y�zU65,_d�&s0*X1$B%()>%(01%2)@ .NA*k"x%('* #7�ÀTS&'*)+327A&#%("K/

¹¡)+4.0*32"P�si=S&'*"�65$B$2"�3h%()+ .NG 5VT,KYg65$B$2)@,�65Y�-a6<%('*"K-a6I%2)@,K$?9~"�653B"P$2"K"�dE)@N14*�¥$B'* �9�Nº)+NG¹¡)+4.0*3B"PÙ1�)@$~%('*"u65$B$2"K3B%()+ .N�%('*6I%v%('1"^/*32"K,� .N*71)+%()+ .N� 5Vt¹¡)+4.0*3B"u�lp nacoiwg wU)@-�/*Y@)+"�$T%('*"[/A .$h%(,K .N*7*)>%()@ 5N� 5V¹¡)+4.0*32"[�si�F¶V�%2'*)@$U65$2$B"�3h%()@ 5N�)@$T%(3B0*"cp�6IN*7�)+%~)@$(wx�E%('*"KN�&s"x% *C6<·s)@-P0*-k|½$�XA #71Q�7* #"�$��1)@N*7*"K"�7��-�"�"K%�)>%($&$B/A"K,�)+¼*,Z6I%2)@ .N�i��Y@"Z6I$2"{N* I%("R%2';6I%=%('*"R$B%(3B0*,K%20*32"P 5V�¹¡)@450*32"yÙ1|½$^65$B$2"�3h%()+ .NG32"�G;"�,x%($[%2'*"PNE0*-PXA"K3! 5V�"L·1"Lµ,�0s%()@ 5Nl/;6I%('1$U%('*3B .0*4.'�%2'*"^$B%(6I%("K-:"KNO%&$2"K\#01"�N*,K"5iUS&'1"�32"u6I32"[V] .013v"x·s"�,K01%()+ .Nl/;6I%2'*$&)@N:%('*)+$"x·165-�/*Y+"5��6IN*7�%('*"{ 532)@45)@N;65Y�/W .$B%2,� .N17*)+%2)@ .Nk)@$!3B"�/W"Z6I%2"�7op]9�)>%('�65/1/*32 ./132)g6<%("�Y>Qf$20*X*$h%()>%(01%2"�7jI6532)@65X*Y+"�$_w¡V] .013T%2)@-�"�$Ki�S&'*)@$�)@$�%2'*"=9U6ZQ�%2'*"?X;65,_dc$20*X1$B%()>%(01%2)@ .N:-:"x%('* #7�';65N*7*Y+"�$�$2"KY@"�,x%()+ .N$B%(6I%("K-:"KNO%($¡Y+)@dI" lv� µ na��gFp 65N*7 lU� µ ne�wg�p µ g��Um�g $h%_6I%2"�-�"�NO%($Ki¡°n)+%2'R%('1"v65)+7R 5V;6=Y@ # ./y)@NOjI6532)@65NO%Z�%('1"yX*65,_dl$20*X1$B%()>%(01%2)@ .N�-�"K%2'* s7l%232"Z6<%($�"Z65,_'1� �MlU�Ug Y@ # ./��1'* �9U"xj."�3K�¥6I$=6c$2)+N*4.Y+"!"x·s"�,K01%()+ .N/;6I%2'�i

ì�í3Zví32 û ÷��1�=ö��ó^ô¸ò ï�6�� ï�ÿ;ò�`Éö¡ø;þ!ÿ;öTô�ùÓò�ö�ú1ï~÷7B÷+�°e"!N* �9r3B"K%20*32N�%2 �¹¡)@450*32"[Ø1�*65N17l4.)+j5"^6P7*)>Ð¥"K32"�NO%�6I324.0*-�"�NO%~%(';6I%U%('*"!XW #71Qa IVM&s"K% *k6<·Eµ)@-P0*- -�"�"K%2$k)>%($�$2/W"�,K)+¼;,�6I%()+ .N�iS&'*)@$k6532450*-:"KNO%k)+$�,�Y@ 5$2"�3�%( »%('1"e-�"K%2'* s71$k,K .-:/101%("K3/*3B 5V]"�$B$2)@ 5N;65Y@$�01$20;65Y+Y+Qm0*$2"I�U .3{9~ .0*Y+7²Y+)@dI"�%( b0*$2"I�U9�'*"KN²%2'*"KQ»3B"Z65$B .Nà6IXA .0s%c/*32 .453(65-�$�|XW"�';6Zj#)@ .3�p]$2"K"�&#"�,K%2)@ .N��5i+�}wLitS&'1"T¼*32$B%�%2'*)@N14v9U"T7* �)@$�-:653Bd="�65,_'RXW"K%H9~"�"KNsµH$h%_6I%2"�-�"�NO%t$2/;65,K"9�)+%2'�6�0*N*)@\E0*"^)+NO%("�45"�3�iT¹; .3U,� .NOj."KN*)@"KN*,�"I�;9U"u0*$B"u65N�)@N*,K32"Z6I$2)@N14�$2"�\E0*"KN*,�"y 5VM)@NO%2"�4."K32$��¾6I$$2'1 }9�N»)+N`¹¡)+4.0*32":Ü1if°m"�,�65Nm%2'*"�NÔ3B"KV]"�3R%( C%2'*":jI65Y+0*"a"�65,_'Ô/*32 54.3(65- jI653B)g65X*Y+"c';657`%('1"Yg6I$B%�%()@-�"?"x·s"�,K01%()+ .N�32"�65,_'*"K7f/W .$B)+%()+ .N��*�s$26ZQ.�19�)>%(':%2'*"!N*"x9ýN;65-�"�$v6e�}�sXW�Z�1,��Z�*65N*7a-a6<·��}i*C65NOQ�N*"x9ëjI6532)@65X*Y@"&N*65-:"K$��# .X1%(65)@N*"K7:XOQc0*$B)@N*4u%('1"=0*N1)@\E0*"?)@NO%("K4."�3B$U65$�$201X*$2,K32)@/s%($U 5N:%('1"

Page 14: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�Z� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

� nacoi�g ��lp]XA� 6x� ppq,\�oX�� p2p],�q 6r�,q X9rk,qý,}w

s ,\tn6 s ,\tÓX s ,xtÓ,Zw2ws pq,7�nX�� pBpqX�q 6QrkX'q X9rkX�qý,}ws X1tn6 s X1tnX s X�tn,�wBw2w2ws pqX��ý6x� p

pq,\�à6?� p2p],�q 6�rk,q X9rf,q ,�ws ,\tn6 s ,\tÓX s ,xtÓ,Zw2ws pq,7�ý6x� pBp�69q 6QrC6xq X9rC6xq ,Zws 6-tn6 s 6�tÓX s 6 tÓ,}wBw2wBw��

¹¡)@4.0132"u�sÀTSM3(6571)+%()+ .N;65YAzv65,_d1&#0*X*$B%2)+%201%()+ .N1*k"K%2'* #7�À�¹¾ 50*3B%2'�&#%2"�/

nacoiwg �p&pqX1� 69� p

pq,\�àX�� pBpq,q 6Qrk,qýX9rk,q ,Zws ,xtn6 s ,\tÓX s ,\tÓ,}wBws p],\�ÓX�� p2p]X�qý6rfX�qnX?rfX�qn,}ws XAtn6 s X1tÓX s XAtÓ,Zw2wBw2ws pqX1�n69� p

pq,\�ë69� pBpq,qr6Qrf,q X9rk,qn,}ws ,xtn6 s ,\tÓX s ,\tÓ,}wBws p],\�n69� p2pq69qý6QrC6xq X9rC6xq ,�ws 6�tn6 s 6-tÓX s 6 tÓ,}w2wBw2wBw

¹¡)@450*32"^ÙsÀ�SM3(6I7*)+%2)@ .N;6IY¥zv6I,_d1&s0*X*$h%()+%201%()+ .NA*k"K%2'* #7�À�¹¡)@N;6IY � $B$2"K3B%()+ .N

Page 15: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â �}Ú

¡E¡ p¢�.w-:6<·�À~q 6¡E¡ ph��wlv� p]X�� -a6}·;w na��gFp¡E¡ p��5w -:6<·�ÀSq X¡E¡ p�Ø.wgFpMh�lv�¡E¡ pq�Owlv� p],-�r-:6<·*w ne��gFp¡E¡ p�Ú5w -:6<·�ÀSq ,¡E¡ p¢ .wgFpMh�lv�¡E¡ p��5w

¹¡)@4.0132"^Ü1ÀTFHN*71"x·s"�7�*k"K%2'* s7¥À�*k6532dlz~"K%H9~"�"�N#µ£&#%(6I%("K-:"KNE%7&s/;65,K"�$

N;65-�"�$t 5V*%2'*"v/*3B .4.3(6I-ãj56I32)g6IX*Y@"K$��I6532"~N* �9à6ZjI65)+Yg65X*Y+"�%( [%2'*"U3B"Z65$B .N*)+N*4[/*3B s,K"�$B$�i�S&'*"~N;65-�"¢B)+N*7*"x·s"K7a-�"K%('1 s7*¤u,K .-:"K$�V]3B .-Ï%2'*"&Vq65,K%T%('*6I%T%('*"?NE0*-{XW"�32$�-:6532dE)@N14yXW"K%H9~"�"KNsµH$h%_6I%2"�-�"�NO%$2/*65,�"K$¸Õý6IN*7»65/*/W"Z653B)@N*4C65$P$B0*X*$B,�32)+/1%($P)@NmN*65-:"K$¸ÕëV]0*N*,K%2)@ .Nm65$P)+N*7*"L·1"K$�ikS&'*"l65$B$2"�3h%()+ .N¢26���q³6�¤(¤�$(6ZQ#$�%(';6I%b¢h%('*"�jI65Y+0*"� 5V�/132 .4.3265-èj56I32)g6IX*Y@"a61��9�'*"�N1"Kj."K3:"L·s"�,�0s%()@ 5N²3B"Z65,_'1"�$/W .$2)>%()@ 5N��*�O)@$�%2'*"=$265-�"�65$�%('*"&jI65Y@01"vj56I32)g6IX*Y@"&6^';6I7�%2'*"�-: .$h%T32"K,�"�NO%�%()+-:"&"L·1"K,�01%2)@ .Nc9U65$6I%�/W .$2)>%()+ .N��1i½¤mzU I%('à¢26o�¥qr6�¤_¤�65N17ë¢26�¦¥qý6�¤(¤:6532"!%2320*"u$B%(6I%("K-:"KNO%($?)@Nl .0*3�"L·*6I-:/*Y+"5iN=$B"y IVt%2'*"�$B"y$B0*X*$B,�32)+/1%("K7kjI653B)g65X*Y+"�$~32"�710*,�"K$?%2'*"u/*32 .X1Y@"�- 5Vt65Y@)@65$2)+N*4PjI653B)g65X*Y+"[N;6I-:"K$

V]32 5-ª 5N*"P)+NEj5 .Y+j#)+N*4a7*)+-:"KN*$2)+ .N*$�%(';6<%!)@N1,�Y@017*"PXW 5%('f%()+-:"R65N*7GY+ s,�6I%()+ .N�%( � .N1"P)@NOj5 .Y+j#)@N14 .N*Y>Q�%()@-�"5i?S&';6I%[)@$?%( a$26ZQ.�¥%2'*"PjI6532)@65X*Y+"R6:$B%_6IN*7*$[V] .3{pq)+$[65Nb6IY@)g6I$�V] 53_w�65NG)@NO%2"�4."K3[jI65Y@0*"6I%�$B .-:"u6I32X*)>%(3(6I3BQ�Y+ s,�6I%()+ .N�)+N�%('*"u/*3B .4.3(6I-%("L·#%[6<%�$2 .-�"^%()@-�"!7*0132)@N14�"x·s"�,K01%()+ .NC 5VM%('1"/*3B .4.3(6I- 6<%¡%('*6I%�Y+ s,�6I%()+ .NR)+NP%('1"v/*32 54.3(65-fi¡´^NR%('*"v I%('*"K3¡';65N17��.jI6532)@65X*Y@"�6��T$h%_65N17*$¡V] .3¡65N)@NO%2"�4."K3MjI65Y+0*"U6<%¡$B .-:"���<s�2®RY+ s,�6I%()+ .Nu)@NR%2'*"�/*32 .453(65-ã%2"x·#%�6I%t$2 5-:"�%()@-�"T7*0*3B)@N*4?"x·s"�,K01%()+ .N 5V¾%('1"v/*32 54.3(65- 6I%�%2';6I%�Y+ s,�6I%()+ .NP)+NP%('1"&/*32 .453(65-fitFHN�Vq65,x%Z�59�'1"�Nc,� .-�/;653B)@N*41�5$(6ZQc6�¦Z�59�)+%2'6�����6��y$B%_6IN*7*$!V] .3?%('*"l©a���x�&�(�_�_�x ;��%()@-�"P"L·s"�,�0s%()@ 5Nº3B"Z65,_'1"�7b/A 5$2)+%2)@ .Nk�l)@NG%2'*"{/*3B .4.3(6I-kiS&'*"K32"KV] 532"5�W%('*"K32"R6532"yV]"K9~"�3?%('*)+N*4.$&%( :d5"�"K/G%(3265,_d� 5V¡9�'*"KNG32"�65$2 5N*)@N*4a65XW .01%=$20*X*$B,�3B)@/1%2"�7jI6532)@65X*Y+"�$v%('*65Nk9�'*"KNG32"�65$2 5N*)@N*4:65XW .01%=/*32 54.3(65-j56I32)g6IX*Y@"K$�iUS&'1"R/*3B .4.3265-:-�"�3K|�$&9~ .32dE)+N*4-�"�-� .3BQã���}�!,Z6I3232)+"�$�6`Y+"�$2$B"�3�X*0*3B7*"�NÓ9�)>%('n$20*X1$2,�3B)@/1%2"�7njI6532)@65X*Y@"K$:%2';65NÓ9�)+%2'Ó/*32 .453(65-jI6532)@65X*Y+"�$�i�¿="�N1,�"5�¾$B0*X*$2,K32)+/1%("K7kjI6532)@65X*Y+"�$v$B'* .0*Y+7kXW"u/*32"xV]"�323B"�7�i

Page 16: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�a Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

¡�¡ p¢�.w-:6<·�À~q 6¡�¡ ph��wlv� pqX1�ë-:6<·1w ne��gFp

X¨§��ë-:6<·]§©ª« ª¬ ¡�¡

p��.w-:6<·lÀ~qýX

¡�¡ pqØOwgFp�h�lU�¡�¡ pq�Owlv� pq,\�ë-:6<·1w ne�wg�p

,���ë-:6<·��©ª« ª¬ ¡�¡

p�Ú.w-:6<·lÀ~qý,

¡�¡ pU OwgFp�h�lU�¡�¡ p��5w

¹¡)@450*32"��a�sÀ�FHN*7*"x·s"K7�*k"x%('* #7�À�*C653BdH=T65,_'GzU3265N*,_'D$U .N*7*)>%()+ .N

°m"P,Z65N�0*$B"P%('1"�$2"�$B0*X*$B,�32)+/1%("K7GjI6532)@65X*Y@"K$?%2 �32"�65$2 5Nb65XA 501%[%2'*"{"x·s"K,�01%2)@ .N� 5V lv� µ ne�wg�p$B%(6I%("K-:"KNO%($�itF¶V;"x·s"K,�01%2)@ .NR)@$M6I%M/A 5$2)+%2)@ .NRÚ& .3� 1�I9~"�d#N1 }9Ô%2';6I%�%('1"~Y@65$B%�%()+-:"�"L·s"�,�0s%()@ 5NR9U65$6I%[/A .$B)+%2)@ .Nf�*�W,P9v6I$!4.32"�6I%("K3=%2';65NG-:6<·Ai=S&'*6I%^)@$�%( a$(6ZQ.�W%('*"{,K .N*7*)>%()+ .NÓ¢B,��x�r-:6<·��L¤a)+$N*"K,�"�$B$(653hQ{V] .3�"L·s"�,�0s%()@ 5Nc6I%�/W .$2)>%()@ 5N*$�Ú[ 53# 1it°n'1"�N�$2"KY@"K,K%()+ .Nc65N*7;ÑI .3¡Y+ s 5/*)@N*4=$B%(6I%("K-:"KNE%2$653B":N*"K$B%2"�7���$B G653B"�%2'*"�$B"�,� .N17*)+%2)@ .N*$Ki � N1"�,�"K$2$2653BQm,� .N*71)+%()+ .N�V] .3y"x·s"�,K01%()+ .N`)@N1$2)@71": .N1" 5V=%('*"K$2"CN1"�$B%2"�7Ó$B,� ./W"�$:)@$�%('*"f,� 5N<�B0*N*,x%()@ 5Nà 5V=%('*"kN*"�$h%("�7à,� .N*71)+%()+ .N*$�65$B$2 #,�)g6<%("�7»9�)+%2'%('1"y,K .NO%_65)+N*)@N14�$h%_6I%2"�-�"�NO%($Ki�°e"u,Z65Y+Y¥%('1"�$2"R,� .N}�B0*N*,K%2)@ .N1$P���B�5 ¥�_�G�_�< W®5���q���< 1� § i~¹¡)+4.0*32"P�a�$2'1 }9�$�%('1"y$B"�,K .N*7C$h%("K/C)@Nl 50*3�32"Z6I$2 .N*)+N*4c/*32 #,�"K$2$HÕn-:6532dE)@N14�"�65,_'fX*3(65N1,_'C,� 5N*7*)+%2)@ .N¥i�?"K,Z65Y+Y;%(';6I%~ .0*3�4. O6IYW)+Na3B"Z65$B .N*)@N14P)@$T%( R"�$h%_65X*Y+)@$B':%('1"=,K .323B"�,K%2N*"�$B$&,� .N}�B"�,K%20*32"?V] .3T%('*)+$

/*3B s,K"�7*0*3B"5|½$u$2/W"�,�)>¼;,Z6<%()@ 5Ne6IN*7bXA #71Q.iRSt �7* �%2'*)@$K��9U"c-{01$B%u/*3B }j5"c$2 .-�"K%2'*)@N*41iP¿?"�32"�9~"-{0*$h%c/*32 �j5"�%2';6I%{%2'*"l/W .$B%2,� .N*71)+%()+ .N`'* 5Y@7*$�6<%c/A .$B)+%2)@ .N»�#×�%2';6I%c)@$P .0*3{ .X1Y@)@4.6I%()+ .N�iG°e"65X*X132"Kj#)@6I%("e¢B .X1Y@)@4.6I%()+ .N*¤:%2 l%('*"cd5"xQ�9U 5327 d { �UlU| i�¹¡)+4.0*32"a�.�:$B'* �9�$y%2';6I%^9~"�9�3B)+%2"{%('*)+$ .X*Y+)@4O6<%()@ 5N�6I%�/W .$2)>%()+ .Nf�si

­3®9¯±°�²u³�¯�´�¯X¯£µ�¶o·¢¯X¸x¹¢º\»£²�¼/¼~½~µe¾Q¹¿°e¯�·U¹¿²,¹¿¯£À¥¯£µ�¹>·¢¯XÁ�¶e¯Xµo»�¯�Â�½Ã¹¿°e½~µ�²�µe¯Ä·v¹¿¯X¸�·¿»�º�Å�¯±²�ÆU´eÇJ²�µo»J°FÈ É�Êk°o¯»�º�µ,Ëv¶eµo»�¹¢½~º�µ?½~·Ì¹¿°e¯�Æ¢»£º�µo¸a½/¹¢½~º�µ�ɱÍκ�Ç#¯£Ïa¯X»�¶e¹¢½~µe¾Q¹¿°e¯¥´eÇJ²�µo»J°�È�Ð}²�Ç¢¼~½/¯XÇM¶�·U¯Ä·Mº�Í}¹¿°e¯X·¢¯�¹v¨º¹¢¯XÇ¢À±·Ì°o²u³�¯�µeº�¹´�¯£¯£µ�½~µH»�º�À�´e½~µo²,¹¿½/º�µ�Ñk¹¢°e¯XÒ�°o²u³�¯+´�¯X¯£µ�¶o·¢¯X¸�·U¯XÅo²�ÇJ²,¹¿¯£¼~Ò ½/µH² »£¼/º�·U¯X¼/Ò�ÓÔÇ¢¯X¼~²�¹¢¯X¸ ÍÕ²�·¢°e½/º�µ�È�Öeº�DZ¯�Ïe²�À¥Åe¼~¯�×Ø Ç¿¯X·¿·¢À¥²�µ�Ù ·�¸a½S·¢»£¶o·¢·¢½~º�µ º�Í�·¢º�Íz¹vÂk²�Ç¿¯±¹¿¯X·U¹¢½~µe¾'Ú Û�Üa×]ÅFÈ"ÝoÞÄßuàk·v¹J²,¹¿¯X·#¹¿°o²,¹�´eÇJ²�µo»J°�¹¿¯X·U¹¢½~µe¾1Æ¢½~·�ÅeÇ¿º�´o²�´e¼/Ò9¹¢°o¯·¢½/À¥Åe¼~¯X·U¹�»�º�µo¸a½/¹¢½~º�µ¹¢¯X·U¹¢½~µe¾�·U¹¢ÇJ²,¹¿¯£¾�Ò�È É9Êk°o²,¹�½S·k¹¢º±·¿²uÒ�×a´eÇJ²�µ�»J°Q¹¿¯X·U¹¢½~µe¾¥½~·�º�µe¯�á;½/µo¸�º�Í"»�º�µo¸a½/¹¢½~º�µ�¹¢¯Ä·v¹¿½/µo¾oÈ

Page 17: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â �}�

¡�¡ pU�Ow-a6}·lÀ~qr6¡�¡ p¸�}wlU� p]XA�o-a6<·*w ne�wgFp

X¨§¥�o-a6}·}§©ª« ª¬ ¡E¡

p��5w-a6}·lÀ~q X

¡E¡ p�Ø.wgFpMh�lv�¡�¡ p]�EwlU� p],x�o-a6}·;w na��gFp

,����o-a6}·��©ª« ª¬ ¡E¡

p�Ú5w-a6}·lÀ~q ,

¡E¡ p¢ .wgFpMh�lv�¡�¡ p��.wd { �UlU| pq-:6<·"¦�q 6�¦Mrf-:6<·"¦�qnX]¦Mrk-a6}·�¦�q ,�¦Lws -:6<·"¦Qtn6�¦ s -a6<·�¦QtÓX]¦ s -:6<·"¦QtÓ,�¦

¹¡)+4.0*3B"{�.�.À�FHN*71"x·s"�7�*f"K%('1 s7�À�°e32)>%("y´!X*Y@)+4O6I%2)@ .Na6I%Q��65$B%�t 5$2)+%2)@ .N

Page 18: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

��Ù Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

¡�¡ p¢�Ow�Jâ]f�n -:6<·5§�q 6�¤ s 6F§#qr6�¤ s X¨§#q XW¤ s ,e§�qý,�¤¡�¡ ph�}wlv� p]X��ë-a6}·1w na��gFp

X¨§¥�à-:6<·5§©ª« ª¬ ¡E¡

p��.w-:6<·lÀ~q X

¡E¡ pqØOwgFpMh�lv�¡�¡ pq�Ewlv� p],\�à-:6<·*w ne��gFp

,����à-:6<·F�©ª« ª¬ ¡E¡

p�Ú.w-:6<·lÀ~q ,

¡E¡ pU OwgFpMh�lv�¡�¡ p��.wd { �Ulv| p]-a6<·�¦�qr6�¦�rk-:6<·�¦�qýX]¦Mrf-:6<·"¦�qý,;¦_ws -:6<·�¦Qtn6�¦ s -a6}·�¦QtÓX5¦ s -:6<·�¦�tý,�¦

¹¡)@4.0132"{�}�#À�FHN*7*"x·s"K7�*k"K%2'* #7�À>�?"K/*Yg65,K)@N*4c6IN � $2$2)+4.N*-�"�NO%&#%(6I%("K-:"KNE%�9�)>%('f6:¹¾65,x%

¹; .3B%20*N;6I%2"�Y+Q5�M%2'*"a$h%_6I%2"�-�"�NO%R$2"�\E0*"KN*,�"l45)+j."K$P0*$uVq65,x%($R%2 k'1"�Y@/e/*32 �j5"a%('*"� .X*Y+)@4O6<%()@ 5N�i°e"�,�65Nº32"�/1Yg65,K"{%('*"�¼;3B$B%y$B%(6I%("K-:"KNE%���%('*"�65$B$2)@45N*-:"KNO%u 5Vv6�%2 f-:6<·A��9�)+%2'º%2'*"�d5"xQ�9U 5327�Jâ]f�n V] 5Y@Y@ �9~"�7GXOQk"Kj5"�3BQE%2'*)@N*4l%2'*)@$=$B%_6<%("�-�"�NO%u-:65d5"K$[%(3B0*"5i^S&'1)@$!$h%_6I%2"�-�"�NO%^,_';65N14."�$^%('1"jI65Y@01"R 5V�-a6<·`p]-a6<·]§¥q�6�¤LwL�¥Y@"�6Zjs)+N*4c%('*"PjI65Y+0*"�$? 5VT6IY@Y� 5%('1"�3=jI653B)g65X1Y@"�$�0*N1,_';65N*4."K7op�6�§¥q6�¤ s Xã§#qýX]¤ s ,�§#qý,;¤LwLi�¹¡)+4.0*3B"!�}�!$2'* �9�$�%('1)@$T¹¾65,K%�32"�/1Yg65,K)@N*4[%2'*"?65$2$B)@4.N1-:"KNE%�$B%_6<%("�-�"�NO%�i

°m"�3B"�/*Y@65,�"f65N lv� µ na��gFp $B%(6I%("K-:"KNO%�9�)+%('»%H9~ m¹¾65,x%($�iÔS&'1"�¼*32$B%cVq65,x%c)@${%2';6I%Z��)+V?%('1"X*3265N*,_'à,K .N*7*)>%()+ .N»)@$�%(3B0*"5��%('*"KNo%('1"fjI65Y+0*"�$c 5V[65Y@YvjI653B)g65X1Y@"�${6IV�%("K3c%2'*"fd5"KQ»9~ .327 ne�wg�p"�\E0;6IY�%('*"K)@3vjI65Y@01"�$�XA"xV] .32"^%2'*" lU� i�°n)+%('l%2'*"u$2"�,K .N*7 lU� µ ne�wg�p $B%_6<%("�-�"�NO%��*%('*)+$v¼;32$h%?Vq6I,K%?)@$

�Jâ]f�n ,���ë-a6}·��±� p�6�ä¥q 6�� s X"ä¥q X�� s ,;ä¥qn,�� s -:6<·Fä¥qý-a6<·��Kw�å p¸�.i+��w

S&'*"�$2"K,� .N17:Vq65,x%~"K$B%(65X*Y@)+$2'*"K$�j56I32)g6IX*Y@"K$�|IjI65Y+0*"�$T6<V�%("�3�%2'*"�d5"KQ�9~ .3B7*$ gFp�h�lU� i�S&'*"K$2"�j56IY@0*"K$653B"�%2'*"?$(65-�"?65$~XW"KV] 532"&%('*" gFpMh�lv� 9�'*"�N�%('*"?X*3(6IN*,_'a,K .N*7*)>%()@ 5N�)+$�%(3201"5�EX*01%�%('*"xQ�6532"�%('1"$(6I-:":65$yXA"xV] .32"�%('1" lv� 9�'*"KNe%2'*"aX*3265N*,_'e,� .N*71)+%()+ .Nb)@$uVq65Y@$B"5i:S&'*)@$uVq65,K%��MV] 53u%2'*"a$B"�,K .N*7

Page 19: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â ��Ü

¡E¡ pU�Ow�Jâ]f�n -a6}·]§�qr6�¤ s 6F§�qý6�¤ s X¨§�qýXW¤ s ,�§#qý,�¤¡E¡ p¸�}wlU� p]XA�o-a6<·*w ne�wgFp

X¨§¥�à-a6<·]§©ª« ª¬ ¡�¡

p��5w-a6}·lÀ~q X

¡�¡ p�Ø.wgFpMh�lv�¡E¡ p]�Ew�Jâ]f�n ,���ë-:6<·��±�

p�6�ä�qr6e� s X"ä¥qnXW� s ,�ä�q ,�� s -:6<·�ä¥qn-a6}·��Lw,����à-a6<·��

©ª« ª¬¡�¡ p�Ú5w-a6}·lÀ~q ,¡�¡ p¢ .w�Jâ]f�n pq,����ë-:6<·��¥�

p�6�¦�qr6oæ s XW¦�qnX]æ s ,;¦�q ,�æ s -:6<·"¦�qn-a6}·"æ_w2ws p],����Ó-:6<·F�¥�p�6�¦�qr6e� s XW¦�qnXW� s ,;¦�q ,�� s -:6<·"¦�qn-a6}·��Lw2w

¡E¡ p��.wd { �UlU| pq-:6<·"¦�q 6�¦Mrf-:6<·"¦�qýX]¦�rk-a6}·�¦¥qý,�¦Lws -:6<·"¦Qtn6�¦ s -a6<·"¦�tÓX]¦ s -:6<·"¦QtÓ,�¦

¹¡)+4.0*32"?��Ø1À�FHN*71"x·s"�7�*k"x%('* #7�ÀM�?"K/*Yg6I,�)@N14=%('1"±&s"K,� .N*7 lU� µ ne�wg�p &#%(6I%("K-:"KNO%¡9�)+%2'PSv9~ u¹¾65,K%2$

lv� µ na��gFp $B%(6I%("K-:"KNO%Z�;)@$�Jâ]f�n pq,���à-:6<·F�¥� pq6�¦�q 6�æ s X]¦�q XWæ s ,;¦�q ,�æ s -a6<·"¦�q -:6<·Fæxw2w

s pq,���Ó-:6<·F�±� p�6�¦�q 6o� s X5¦�qnX"� s ,a¦�q ,�� s -:6<·"¦�qn-a6}·��Lw2w p¸�.i �5w

¹¡)+4.0*32"��ZØc$B'* �9�$?%2'*"�$B"yVq6I,K%($&3B"�/*Y@65,�)+N*4�%('*"u$B"�,� 5N*7 lv� µ ne��gFp $h%_6I%2"�-�"�NO%Zi°n'*"�N»6k$B%_6<%("�-�"�NO%P)@$P)+N*$2)+7*":6CX*3(6IN*,_'Ô,� .N17*)+%2)@ .N���9~"� .N*Y>QedEN* �9 %('*6I%{$h%_6I%2"�-�"�NO%Z|½$

Vq65,x%y9�'1"�Nm%2'*":,K .N*7*)>%()+ .N�'* .Y+7*$�i�&s f9~"a3B"�/*Y@65,�"�%2'*":$h%_6I%2"�-�"�NO%y9�)+%('e6f¹W6I,K%u%(';6<%R)+$y65N)@-�/*Y+)@,Z6<%()@ 5N�×�%('*"�X*3265N*,_'²,� .N*71)+%()+ .NÔ)@${%2'*"�Y@"xV�%BµH'*65N*7»$2)+7*"� 5V=%2'*"�)@-�/*Y@)+,Z6I%2)@ .N¥��65N*7»%('1""KÐA"�,x%c 5V�%('*"l$h%_6I%2"�-�"�NO%�)+$P%('*"l3B)@4.'O%hµH';65N17`$2)+7*"5iº¹; .3P%2'*"�65$2$B)@4.N1-:"KNE%b¢B-a6}·ëÀ~q³X*¤G9~"';6Zj."u%('1"uVq6I,K%

�Jâ]f�n X¨§��ë-:6<·]§>� pq-:6<·Fç�q XWè s 6�ç�qr6�è s XWç�qýX]è s ,�ç¥qý,�èxw�å p¸�.i Ø.w

Page 20: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

��� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

¡E¡ pU�Ow�Jâ]f�n -a6}·]§�qr6�¤ s 6F§�qý6�¤ s X¨§�qýXW¤ s ,�§#qý,�¤¡E¡ p¸�}wlU� p]XA�o-a6<·*w ne�wgFp

X¨§¥�à-a6<·]§©ªªª« ªªª¬¡�¡ p��5w�JâWf�n Xã§��à-:6<·5§#�

p]-a6<·Fç�q XWè s 6�ç¥qr6oè s XWç¥qnX]è s ,�ç�q ,�èxw¡�¡ p�Ø.wgFpMh�lv�¡E¡ p]�Ew�Jâ]f�n ,���ë-:6<·��±�

p�6�ä�qr6e� s X"ä¥qnXW� s ,�ä�q ,�� s -:6<·�ä¥qn-a6}·��Lw,����à-a6<·��

©ªªª« ªªª¬¡�¡ p�Ú5w�JâWf�n ,����o-a6<·F�¥�

p]-a6<·Fæ�q ,�ä s 6�æ¥q 6�ä s XWæ�q XWä s ,�æ�q ,�äxw¡�¡ p¢ .w�Jâ]f�n pq,����ë-:6<·��¥�

p�6�¦�qr6oæ s XW¦�qnX]æ s ,;¦�q ,�æ s -:6<·"¦�qn-a6}·"æ_w2ws p],����Ó-:6<·F�¥�p�6�¦�qr6e� s XW¦�qnXW� s ,;¦�q ,�� s -:6<·"¦�qn-a6}·��Lw2w

¡E¡ p��.wd { �UlU| pq-:6<·"¦�q 6�¦Mrf-:6<·"¦�qýX]¦�rk-a6}·�¦¥qý,�¦Lws -:6<·"¦Qtn6�¦ s -a6<·"¦�tÓX]¦ s -:6<·"¦QtÓ,�¦

¹¡)+4.0*32"k�Z�*ÀcFHN*7*"L·s"�7%*k"K%2'* s7¥À���"�/*Y@65,�)+N*4�&#%(6I%("K-:"KNO%(${FHN*$B)@7*"�z~3(65N*,_'é$U 5N*7*)+%2)@ .N1$R9�)+%2'¹¾65,K%2$

¹; .3v%('1"R6I$2$2)+4.N*-�"�NO%:¢B-:6<·lÀ~q ,K¤c%2'*"^Vq65,K%?)+$&$2)@-�)@Y@653�À�Jâ]f�n ,���ë-:6<·���� pq-:6<·Fæ�q ,�ä s 6�æ�qr6�ä s X"æ¥q X"ä s ,�æ�q ,�äxw�å p¸�.i��Ow

°e"�32"K/*Yg65,K":%2'*"�$B"�$B%(6I%("K-:"KNE%2${)@Nm/*32"K,�)@$B"�Y>Qº%2'*"�$265-:"�Vq65$2'1)@ .Nº9�'*"K%2'*"�3� .3yN* 5%R9U"l'*6�j5"65Y+32"Z6I71Q�3B"�/*Y@65,�"K7f%2'*"u,� .NO%_6I)@N*)+N*4 lU� µ ne�wgFp $B%(6I%("K-:"KNE%Pp]/*Y@"�65$2"u$2"K"y¹¡)@4.0132"��Z�EwLi

S&'*)@$R"x·165-�/*Y@":$2'* �9�$P%2';6I%���)@Nº%('*"�)+N*7*"L·1"K7`-�"K%('1 s7��t%('*":/*32 .453(65-�-:)+N*4�$B%(6I%("K-:"KNE%2$,Z6INCXW"R3B"�/*Y@65,�"K7CXOQ�Vq65,K%2$=)+Nk7*)>Ð¥"K32"KNE%= .3B7*"�3B$= 5V�$20*,K,�"�$B$2)+ .N�iv°e"P,_'* .$B"RV] .3&%2'*)@$�"x·165-�/*Y+"65N² .3271"�3c%(';6I%!�B0*-�/*$�653B .0*N*7²)@N»%('*"f$2"K\E0*"�N*,K"G 5V[$B%_6<%("�-�"�NO%2$�io°e"f32"�/1Yg65,K"�7o%2'*"l¼;32$h%65$B$2)@45N*-:"KNO%k$h%_6I%2"�-�"�NO%Z�^%2'*"e$B"�,K .N*7 lv� µ ne��gFp $B%(6I%("K-:"KNO%Z�!%('1"e$B"�,� 5N*7É65$B$2)@45N*-:"KNO%Z�!%('1"%('1)@327f65$B$2)+4.N*-�"�NO%Z�;6IN*7��*¼;N;6IY@Y+Q5�*65$�$B'* �9�NC)@Nf¹¡)+4.0*3B"{�}Ús�*%2'*"^¼;32$h% lv� µ ne�wg�p $B%_6<%("�-�"�NO%�i

Page 21: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â �s�

¡E¡ pU�Ow�Jâ]f�n -a6}·]§�qr6�¤ s 6F§�qý6�¤ s X¨§�qýXW¤ s ,�§#qý,�¤¡E¡ p¸�}w�Jâ]f�n X¨§��ë-a6}·]§��

p�6�è�qr6�§ s X"è¥qnX㧠s ,�è�q ,o§ s -:6<·�è¥qn-a6}·}§hwX¨§¥�à-a6<·]§

©ªªª« ªªª¬¡�¡ p��5w�JâWf�n Xã§��à-:6<·5§#�

p]-a6<·Fç�q XWè s 6�ç¥qr6oè s XWç¥qnX]è s ,�ç�q ,�èxw¡�¡ p�Ø.w�Jâ]f�n pqX¨§��ë-:6<·]§#�

p�6��¥qr6oç s X��±qnX]ç s ,��¥q ,�ç s -:6<·F�±qn-a6}·"ç_w2ws p]X㧥�Ó-:6<·]§#�p�6��¥qr6�§ s X��±qnX㧠s ,��¥q ,o§ s -:6<·F�±qn-a6}·}§hw2w

¡E¡ p]�Ew�Jâ]f�n ,���ë-:6<·��±�p�6�ä�qr6e� s X"ä¥qnXW� s ,�ä�q ,�� s -:6<·�ä¥qn-a6}·��Lw

,����à-a6<·��©ªªª« ªªª¬¡�¡ p�Ú5w�JâWf�n ,����o-a6<·F�¥�

p]-a6<·Fæ�q ,�ä s 6�æ¥q 6�ä s XWæ�q XWä s ,�æ�q ,�äxw¡�¡ p¢ .w�Jâ]f�n pq,����ë-:6<·��¥�

p�6�¦�qr6oæ s XW¦�qnX]æ s ,;¦�q ,�æ s -:6<·"¦�qn-a6}·"æ_w2ws p],����Ó-:6<·F�¥�p�6�¦�qr6e� s XW¦�qnXW� s ,;¦�q ,�� s -:6<·"¦�qn-a6}·��Lw2w

¡E¡ p��.wd { �UlU| pq-:6<·"¦�q 6�¦Mrf-:6<·"¦�qýX]¦�rk-a6}·�¦¥qý,�¦Lws -:6<·"¦Qtn6�¦ s -a6<·"¦�tÓX]¦ s -:6<·"¦QtÓ,�¦

¹¡)@4.0132"��}ÚsÀ�FHN17*"x·s"�7�*k"K%2'* #7�À>�?"K/*Yg65,K)@N*4{%2'*"y¹¡)@3B$B% lv� µ ne��gFp &E%_6I%2"�-�"�NO%�9�)+%('�Sv9~ �¹¾65,x%($

Page 22: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�.� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

�¿â]f�n -:6<·]§#qr6�¤ s 6�§>q 6�¤ s X¨§�qýXW¤ s ,�§#qý,;¤�¿â]f�n X}§¥�o-a6<·5§#�pq6�è�q 6F§ s X]è�qýX¨§ s ,�è¥q ,e§ s -a6}·"è�qý-:6<·5§Bw

�¿â]f�n X}§¥�o-a6<·5§#�p]-a6}·"ç�qýX"è s 6oç¥q 6�è s XWç�q XWè s ,�ç¥qý,�èxw

�¿â]f�n p]X¨§��à-:6<·5§��pq6��¥q 6�ç s XW�¥qýXWç s ,��±q ,�ç s -a6}·��¥qý-:6<·�çLwBws pqX¨§��n-a6}·]§��pq6��¥q 6F§ s XW�¥qýX¨§ s ,��±q ,e§ s -a6}·��¥qý-:6<·5§BwBw

�¿â]f�n ,����à-a6<·��¥�pq6�ä�q 6�� s X]ä�qýX"� s ,�ä¥q ,�� s -a6}·"ä�qý-:6<·F�xw

�¿â]f�n ,����à-a6<·��¥�p]-a6}·"æ�qý,�ä s 6�æ±qý6�ä s XWæ�q XWä s ,;æ�qý,�äLw

�¿â]f�n p],���ë-:6<·��±�pq6�¦�q 6�æ s X5¦�qýXWæ s ,�¦�q ,�æ s -a6}·W¦�qý-:6<·�æLwBws pq,��+�Ó-:6<·��±�pq6�¦�q 6�� s X5¦�qýX"� s ,�¦�q ,�� s -a6}·W¦�qý-:6<·F�xwBw

d { �¢lv| pq-:6<·"¦�qý6�¦Ìr�-a6}·W¦�qýX5¦�rk-:6<·�¦�q ,;¦Lws -a6}·W¦�tn6�¦ s -:6<·�¦tÓXW¦ s -a6<·"¦�tÓ,;¦

¹¡)+4.0*32"P�a 1À�FHN*7*"L·s"�7�*k"x%('* #7�À�&s"K\#01"�N*,K"P 5V¡¹¾65,K%2$�65N*7C´^X1Y@)@4.6I%()+ .N*$

Page 23: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â �5Ø

pq-:6<·]§�q 6�¤ s 6�§#qr6�¤ s X¨§#q XW¤ s ,e§>qn,�¤ spqX¨§��à-:6<·5§��

p�6�è�qr6F§ s X"è¥q X}§ s ,�è±qn,o§ s -:6<·Fè¥qý-a6<·]§2wBw spqX¨§��à-:6<·5§��

pq-:6<·Fç¥qýXWè s 6�ç�q 6�è s X]ç�qýXWè s ,�ç¥q ,�èLw2w spqX¨§��à-:6<·5§��

p�6o�¥qr6�ç s X��±q X"ç s ,���qn,�ç s -:6<·��±qý-a6<·FçxwBws pqX}§¥�Ó-:6<·5§��p�6o�¥qr6F§ s X��±q X}§ s ,���qn,o§ s -:6<·��±qý-a6<·]§2wBw s

pq,���à-:6<·F�¥�p�6�ä�qr6�� s X"ä¥q X�� s ,�ä±qn,�� s -:6<·Fä¥qý-a6<·��KwBw s

pq,���à-:6<·F�¥�pq-:6<·Fæ¥qý,�ä s 6�æ�qr6�ä s XWæ�qýX]ä s ,�æ¥qý,�äxw2w s

pq,���à-:6<·F�¥�p�6�¦�qr6�æ s XW¦�q X"æ s ,;¦¥qn,�æ s -:6<·�¦�qý-a6<·FæxwBws pq,����Ó-:6<·F�¥�p�6�¦�qr6�� s XW¦�q X�� s ,;¦¥qn,�� s -:6<·�¦�qý-a6<·��KwBw2w#�

p2pq-:6<·�¦�qr6�¦Mrf-:6<·"¦�q X]¦�rk-:6<·"¦�qn,a¦_ws -:6<·�¦Qtý6�¦ s -a6<·"¦�tÓX]¦ s -a6}·�¦QtÓ,a¦(w

¹¡)@450*32"��}�#À�FHN*7*"x·s"K7�*k"x%('* #7�À�¹¡)@N*65Y � $2$2"K3B%2)@ .N

¹¡)@450*32"��; �$2'* �9�$u%('*"�3B"�$201Y+%()+N*4l$2"K\E0*"�N*,K": IV�Vq6I,K%($u6IN*7b .X*Y@)+4O6I%2)@ .N*$Ppq$B"Kj5"�NeVq6I,K%($u6IN*7 .N*"f .X*Y+)@4O6<%()@ 5N¾wy9�)+%2'* .01%c%2'*"CX*3265N*,_'ë,K .N*7*)>%()+ .N*$�65N*7²%('*"f/A 5$2)+%2)@ .N»NE0*-{XW"�3B$�i � %�%('*)+$/W .)@NO%�9~"C65Y+-: 5$B%�';6Zj5"C65No65$B$2"�3h%()+ .No)+N»,�Yg6I$2$2)+,Z65YU-a6I%2'*"�-:6I%2)@,�$KiÔS&'*"f)@N*7*"L·s"�7à-�"K%2'* #7$2/W"�,K)+¼;"K$G6»$BQ#NO%_65,x%()+,e%(3265N1V] .3B-a6<%()@ 5NëV]32 .- 6²$2"K\#01"�N*,K"` 5VPVq6I,K%($k65N*7 .X*Y+)@4O6I%2)@ .N1$a%( o6$2)+N*4.Y+"[-:6I%('*"K-a6<%()@,�65YW65$2$B"�3h%()@ 5N�iTS&'*"^)@7*"�6{XA"K'*)@N17�%('*)+$U%(3265N*$BV] 532-:6I%()+ .Na)+$U%(';6<%v%('*"!%23201%2' 5V?65Nm .X*Y@)+4O6I%2)@ .Nb)@Nº%('*"a$2"�\E0*"KN*,�"�7*"K/A"KN*7*$=�B0*$h%� .Nm%2'*":Vq6I,K%(${65/*/W"Z653B)@N*4k"Z653BY@)@"K3R)+Nm%('1"$2"K\E0*"�N*,K"5��)�i�"Ii+�¾"Z6I,_'� .X*Y@)+4O6I%2)@ .Nl)+$�%2 �XW"R/*3B �j."�7�01$2)@N14a .N*Y>Ql%('*"yVq65,K%2$?%2';6I%[';6Zj."{6IY@32"�6571Q65/*/W"Z6I32"�7¥i?S&'1"{)@N*71"x·s"�7G-�"K%2'* #7�|�$?3201Y@"�$?%(3265N*$BV] 532-J%('1"P$2"K\E0*"�N*,K"� 5VT¹¡)+4.0*3B"��; :)@NO%2 :%('1"65$B$2"�3h%()+ .Na 5V�¹¡)@4.0132"y�}�si�F¶V�9~"['*6�j5"!-:657*"?N* P-�)@$h%_65dI"�$U)+Na6I/*/*Y+Q#)+N*4y%2'*"[)+N*7*"L·1"K7�-�"K%('1 s7��65N*7e)+V�%('*"�)@N17*"x·s"�7e-:"x%('* #7º)@$u$2 .01N*7��t%2'*"�N¥�¡)+V�9~"a,Z6INm/*3B }j5":%2'*": 5X*Y@)+4O6I%()+ .NG4.)>j."KNe%('1"/*3B"�,�"K7*)@N14RVq65,x%($^pq65N*7�9U"?,Z65Nã@ wL�s9~"=';6Zj5"!/*32 �j5"�7a%2'*"=,K .323B"�,x%(N*"K$2$v,K .N<�B"�,x%(0*3B"[%(3B0*"�V] .3�%('*)+$)@-�/*Y+"�-�"�NO%_6I%2)@ .N: 5Vt/*32 #,�"K7*0*32"?&s"x% *C6<·s)@-P0*-ki��Y@"Z6I$2"aN1 5%("�%(';6I%R%('*":Y@)+$B%y 5V�$2"xj."KN`Vq65,K%2${65N*7m .N*"a 5X*Y@)+4O6I%()+ .Nb)@Nm¹¡)@4.0132"��a k'*65$P%('1"$(6I-:"^$h%(3201,K%(0132"R65$&%('*"u .3B)@4.)+N;65YW$2"�\E0*"KN*,�"R 5Vt$B%_6<%("�-�"�NO%2$�iTS&'*)@$�)+$&$2 �XA"K,Z650*$B"y9~"u7*"�3B)+j5"�7%('1"&Y@)@$h%�XOQ�3B"�/*Y@65,�)+N*4!"Z6I,_':/*3B .4.3265- $h%_6I%2"�-�"�NO%�9�)+%2'c .N*"& .3�-� .3B"UVq65,K%2$¸ÕÓ .N*"&$2)+-:/1Y@"~Vq6I,K%Z�

Page 24: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�I� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

7*"K32)+j5"�7cV]32 .- %('*"&¼;3B$B%�65$B$2)+4.N*-�"�NO%�$B%_6<%("�-�"�NO%��.V] .Y@Y+ }9~"�7cXOQ{%H9~ R$B"�,x%()@ 5N*$T 5V¾Vq65,K%2$��E7*"�3B)+j5"�7V]32 5- %2'*"!%H9U lv� µ na��gFp $h%_6I%2"�-�"�NO%($Ki è S&'*"�3B"KV] .3B"5�*%2'*"!¼;N;65Y�65$2$B"�3B%2)@ .Nºpq¹¡)@450*32"R�}�.wU65Y+$2 �';6I$%('1"y$265-�"^$B%(3B0*,K%20*32"R65$&%('1"y 532)@45)@N;65YW$2"K\E0*"�N*,K"{ 5Vt/*32 54.3(65-$B%(6I%("K-:"KNE%2$�i

F¶%($�$B%2320*,x%(0*3B"R,K .NO%(3265$B%2$�9�)>%('l%('1"y$h%(3B0*,K%20*32"y 5V�%('*"^¼;N*65Y�65$2$B"�3h%()@ 5N�9~"u .X1%(65)@N*"K7�0*$2)+N*4%('1"[X;65,_dc$B0*X*$B%2)+%201%()+ .Na-�"K%2'* s7Gp�¹¡)+4.0*3B"!�.w�Õý6u$B%2320*,x%(0*3B"!';6Zj#)@N*4y%('*"?V] .32-� 5V¥V] .0*3�$2)@-�)@Y@653,� 5N*,�Y+0*$2)+ .N*$u"Z65,_'º4.0;6I327*"K7eXOQº6l7*)+ÐA"�3B"�NO%R65NO%("K,�"�71"�NO%Zi:¹¡)@450*32"��s|½$u$B%2320*,x%(0*3B":)+$u6�Y+)@$h%^ 5V%('1"�/132 #,�"�710*32"I|�$yV] .0*3^/W .$2$B)@X*Y+"�"x·s"�,K01%()+ .Nm/;6<%('*$Ki'��Y+"Z65$B"�)+-a6I4.)@N*"R%('*"c .3B)@4.)+N;65YM/*32 .453(65-%( :';6Zj."{,K .NO%_65)+N*"�7G6:$2"K\E0*"�N*,K"� 5VU�x�Î<��A326I%('1"�3�%(';65Nk%H9U *� lU� µ ne�wgFp $B%_6<%("�-�"�NO%2$�i[S&'1"�NG%('1"¼;N;6IY&65$2$B"�3h%()@ 5N»9~"l9U 50*Y@7»';6Zj."� .Xs%_65)+N*"�7»65,K,� .3B7*)@N14G%( �%('*"lX*65,_d`$201X*$B%2)+%(0s%()@ 5N²-�"K%2'* #79~ .0*Y@7:';6Zj."=';657:%2'*"=V] 532- 5Vt�x�Î<.��­<£S�Z�<§s�u$B)@-�)@Yg6I3¡,� 5N*,�Y+0*$2)+ .N*$�"Z65,_'�450;653271"�7aXOQ:6R71)+ÐA"�32"KNO%65NO%("K,�"K7*"�NO%Zi�S&'*)+$vNE0*-{XW"�3�¢h$2)>·#%HQOµ¶V] 50*32¤{)+$v6P,_'*653(65,x%("K32)@$h%()+,! 5V�%2'*"!/*3B s,K"�7*0*3B"5|½$&"x·s"�,K01%()+ .N/;6I%2'*$���X101%{)+$P 5%2'*"�3h9�)@$2"aN* 5%{"xj#)@7*"KNE%{)@Ne%2'*"�$h%(3201,K%(0132"� 5V&%2'*"�/*3B s,K"�7*0132"5|½${$B"�\E0*"�N1,�"� 5V$B%(6I%("K-:"KNO%($�i�´!N�%('*"= 5%('*"K3~'*65N*7��E%('*"?¼;N;65YW65$B$2"K3B%()+ .N:9~"=9~ .0*Y+7�';6Zj."= .X1%(65)@N*"K7�65,K,� .3B7*)@N14%( �%('1"a)@N17*"x·s"�7e-:"x%('* #7b9U .01Y@7m'*6�j5"a$h%_653h%("�7e9�)+%('b%('1":$B)@N*4.Y+"�Vq65,K%R65$B$2 #,�)g6<%("�7º9�)+%2'e%('1"¼;3B$B%:65$2$B)@4.N1-:"KNE%c$h%_6I%2"�-�"�NO%Zi²¹; .Y+Y@ �9�)@N*4k%('*)+${9U .01Y@7»';6Zj."fXA"K"�N²$2) ·»4.32 50*/*$kp]V] .3�$B)>· lU� µne�wgFp $B%(6I%("K-:"KNO%($_wU IV�%('*3B"�"!Vq65,x%($v"�65,_'��¾65N*7�%2'*"! .X1Y@)@4.6I%()+ .N��.V] .3&6y%( 5%(65Y¥ 5V�N1)@N*"x%("�"KNlVq65,K%2$/*3B"�,�"K7*)@N14�%2'*"u .X*Y@)+4O6I%2)@ .N�iMS&'*"K$2"R6532"I�*%('*"K32"KV] 532"5�*%H9~ a71)@$B%2)@N*,x%�$B%2320*,x%(0*3B"�$�i

ì�í3ZvíJI êY�!öT÷+��h÷+� øW�!ò ñkï~úEøWë�ï~÷+[\¶ø]¸ïU÷� N1 5%('*"K3�7*)+ÐA"�3B"�N*,K"RXW"K%H9~"�"KNC%('*"^%H9~ :3B"Z65$B .N*)+N*4:-�"K%2'* #7*$&,� .-�"�$&%2 : .013=6<%2%("KNO%()@ 5N�9�'1"�N9~"=3B"Z65Y+)ì:�"~%(';6I%T9~"=-:6ZQP9U65NO%~%2 u,_';65N*4."�%('1"?/W .$h%(,� 5N*7*)+%2)@ .N� IVw&s"x% *C6<·s)+-{0*-fi�¹¡)+4.0*32"[��Ù$2'1 }9�$?65N�6IY+%("K32N;6<%()+j5"[)+-:/*Y+"�-�"�NO%_6<%()@ 5N�V] .3±&s"K% *C6<·s)@-{01-ki�S&'1"!%('*3B"�"u65$B$2)@45N*-:"KNO%&$B%(6I%("Lµ-�"�NO%($c$2'1 }9�NoY@"�6�j5"�-a6<·A|½$�j56IY@0*"l0*N1,_';65N*4."K7��U/W .$B$2)@X1Y+Q`,_'*65N*4.)+N*4b"Z65,_'o 5V!6s�~X��~65N*7²,5i¿= �9~"Kj5"�3���%2'*)@$yN*"x9�/*32 #,�"K7*0*3B"aXW s71Qb)+$R,K .323B"�,x%R9�)>%('m3B"�$B/A"K,K%P%2 C .013y 532)@45)@N;65Y¡$2/W"�,�)>¼;,Z6}µ%()+ .N�iM°m"&N* �9Ó3B"Z65Y+)ì:K"U%(';6<%�%('*)+$�$2/W"�,�)>¼;,Z6<%()@ 5N�71)@7cN* 5%T$26�QP9�';6I%T9U"�-�"Z65NO%�i¡°m"?65Y+$2 !9U65NO%%( :$(6ZQ�%(';6<%7&s"x% *C6<·s)+-{0*-�-{0*$h%[N1 5%[,_'*65N*4."P%2'*"uj56IY@0*"K$= 5V�61�AX¥�¥65N17C,5iQ(?"K9�N* 5%(6I%()+ .N��¢uí{¤kp]%2'*"k¢B .Y@7�$B)@4.N*¤Owx�19�)+Y@Y¥'1"�Y@/�0*$�$26�Ql%2'*)@$Ki°n'*"�Nr¢uí{X*¤mpq/*3B .N* .01N*,�"K7ã¢B 5Y@7�XW"�"�¤Ow!65/*/W"Z653B$y)+Nb6l/A .$h%(,K .N*7*)>%()@ 5N���)+%u3B"KV]"K32$^%( l%('1"

jI65Y@01"G 5VuV] .32-:65Y?/;653265-:"x%("K3�Xm�B0*$B%�XW"KV] .3B"�"x·s"�,K01%()+ .Nn 5Vu%('*"�/132 #,�"�710*32"bXW s71Q5i °n'1"�N¢BX*¤b6I/*/A"�6532$�)+N»6G/A 5$B%(,K .N*7*)>%()+ .Nm9�)+%2'* .01%P%('*"l .Y+7`$2)+4.N��T)+%P-:"�65N*${%2'*"ajI65Y@01"� 5V�V] .32-:65Y/;653265-�"K%("K3TXu�B0*$h%&6IV�%2"�3T"x·s"�,K01%()+ .N� 5VA%('*"=/*32 #,�"K7*0*3B"[XW s71Q5i � N: .Y@7�$2)+4.N�-{0*$B%~N* 5%U65/*/W"Z6I3)@N:6R/132"�,K .N*7*)>%()+ .N��#65N*7a6G¢BX*¤y)@N:6R/132"�,K .N*7*)>%()+ .N:3B"KV]"K32$~%2 R%2'*"?jI65Y+0*"� 5V�V] .3B-a6IY*/;653265-:"x%("K3X{�B0*$B%?XW"KV] .3B"^"x·s"�,K01%()+ .NC 5VM%('1"y/132 #,�"�710*32"uXW s71Q5i

îXï ÅeÇ¿ºa»�¯Ä¸a¶eÇ¿¯>»£²�¼/¼�¨º�¶e¼~¸�´�¯>Ç¿¯£Åe¼S²�»£¯X¸+´;Ò�º�µe¯�º�´e¼~½/¾�²,¹¢½~º�µ7²�µo¸+º�µe¯�ÍÕ²�»3¹ÄÈ�Êk°e¯�á�¯£Ò�¨º�Ç¿¸o·�º�Í5²±ð±ñ"òÕóÕô¼~º�º�Å�Âãº�¶e¼S¸±´�¯�Ç¿¯£Åe¼S²�»£¯X¸¥´;Ò�¹v¨º�º�´e¼~½/¾�²,¹¿½/º�µo·5²�µ�¸±¹vÂãº#ÍÕ²�»�¹¿·XÈ5õ�¹¿°e¯£Çk·U¹¢¯£Å�·}Âãº�¶e¼S¸¥Ç¿¯£Åe¼S²�»£¯w¹¢°o¯�´�º;¸eÒ±º�Í�¹¢°o¯¼~º�º�ÅÂ�½/¹¢°�ÍÕ²�»3¹¿·�²�µo¸º�´e¼~½~¾�²,¹¿½/º�µo·XÈ

Page 25: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß ÊzyEÊ�ÅtÇ�Ã!Í!È�ÅMÈxÌ&Ë?Ã!âL0�Ì&Ç[çfÃ!â`Ç?Æ�Ã^ä�Ì&Ë=ȸËPæ Èhä�Ë{ÌRÅ»Ë?Ã[Å[ÎtÇ�Ã!â �.Ú

bMced�f�gFh�i�ceg &s"x% *C6}·1)+-{0*-èpq61�*X��;,I�;-a6}·�À�FHNO%("K4."�3(wgFp�m;i�cegFm p]-a6}·�q 6Qrk-:6<·-q X9rk-a6}·�qý,�ws -a6}·Htn6 s -:6<·HtÓX s -:6<·HtÓ,{ gF|}lUp6cÀSqn-a6}·XfÀSqý-a6<·,uÀ~q -a6}·

g�p�h &s"x% *C6<·s)+-{0*-

¹¡)+4.0*32"��ZÙ1À � N* I%('*"K3�$U 53232"K,K%?FH-�/*Y@"K-:"KNE%(6I%()+ .N�V] .3���32 #,�"K7*0*3B"?&#"K% *C6}·1)+-{0*-

bMced�f�gFh�i�ceg N?$2"KV]01Y &s"x% *C6<·epq61�*X��;,I�;-a6}·�À�FHNO%("K4."�3(wgFp�m;i�cegFm p]-a6}·�q 6Qrk-:6<·-q X9rk-a6}·�qý,�ws -a6}·Htn6 s -:6<·HtÓX s -:6<·HtÓ,s 6xqöí�6 s X�qOí�X s ,qöí{,

¹t)@4.0*3B"{��Ü1À � NkFH-�/*3B }j5"�7�&s/A"K,�)>¼;,Z6I%2)@ .N¥À#��32 #,�"�710*32"9N=$B"KV]0*Y &s"K% *k6<·

z~Qy,� .N}�B .)@N*)+N*4�%( 7&#"K% *C6}·1)+-{0*-f|�$M/W .$B%2,� .N*71)+%()+ .Nu%('*"~/*'*3(6I$2"�¢B69q÷íc6 s X�qöí{X s ,qí{,.�½¤�9U"�,�650*$2"{%2'*"{XW s7sQC 5V�¹t)@4.0*3B"a��Ù�%( �XW"�,K .-:"{65N�)@N*,K .323B"�,x%^)@-�/*Y@"K-:"KNO%_6I%2)@ .N� 5VT%('1"N*"x9�$2/W"�,K)+¼;,�6I%()+ .N�iozU"�,�650*$2"f%('*)+$cN*"K9�$B/A"K,�)>¼;,Z6I%2)@ .N¥�~$B'* �9�Në)@N²¹¡)+4.0*32"��ZÜ1�U"K$B%_6IX*Y@)+$2'*"K$7*)>Ð¥"K32"�NO%�XW"�';6Zj#)@ 53�V] .3�%('*"�/132 #,�"�710*32"I�[9U"b4.)>j."�)>%l%('*"�N*"x9êN;6I-:"ý¢ÄN?$2"xV]0*Y &s"x% *C6}·¥i½¤°e"k'* 5/A"�%(';6<%:%2'*"kXW #71Q» 5V^¹t)@4.0*3B"fغ3B"�-:65)@N*$�6º,� .3B32"�,x%a)+-:/1Y@"�-�"�NO%(6I%()+ .N` 5V!%2'*"fN*"K9$2/W"�,K)+¼;,�6I%()+ .N�i

¿= �9 7* l%('*"P%H9~ �32"�65$2 .N1)@N*4l-�"K%2'* s71$!,� ./W"{9�)+%2'G%('*)+$!,_';65N14."{%( �%2'*"�/A 5$B%(,K .N*7*)>%()+ .N¾DS&'*"=)@N*7*"L·s"�7�-�"K%2'* s7�';65N17*Y@"K$�%2'*)@$�,_';65N*45"["Z6I$2)@Y>Q�XOQ�,_';65N*4.)+N*4y .N*Y+Q�%2'*"�¼;N;65Y¾ .X*Y+)@4O6<%()@ 5N�i°e"C,_';65N14."C%('1"C .X*Y+)@4O6<%()@ 5NÔXEQo$2)+-:/1Y+QÔ,K .N<�B .)+N*)@N*4b%( e)+%�%('*"k/*'*3265$2"ë¢26�¦�qÖ6�¤ s X]¦�qXW¤ s ,a¦�qý,�¤Zi�¤ºS&'*)+$?N1"K9É .X1Y@)@4.6I%()+ .Na,�65Nk$h%()+Y@Y¥XW"u"�$h%_65X*Y+)@$B'*"�7lV]32 5-8%('*"u"L·1)+$B%2)@N*4�Vq65,x%($�i

F¶%�)@$t$2)+4.N*)+¼*,Z65NO%(Y>Qu-: 532"U71)8!�,�0*Y>%t%2 u657<�B0*$h%¡%2'*"v32"�65$2 5N*)@N*4=9U"�65Y+32"�6571Qy7*)@7P65,�,K .3271)@N*4[%2 %('1"^X;65,_d�$B0*X*$B%2)+%201%()+ .Nl-:"x%('* #7�%( {¼1%v%('*"^N1"K9ã/W .$h%(,� 5N*7*)+%2)@ .N¥i¡°m"^'*6�j5"!%( �%_6Id5"!%('1"^N*"K9/*'*3265$2"u)+N�%2'*"^/W .$B%2,� .N*71)+%()+ .N�65N*7fX;65,_da)+%v%2'*32 .014.'f%2'*"!%H9~ lv� µ na��gFp $h%_6I%2"�-�"�NO%($?65N*7�%('1"¼;3B$B%¡65$2$B)@4.N*-�"�NO%t$B%(6I%("K-:"KNE%�i¡S&'*)+$t/132 #,�"�$B$�)@NO%232 #7*0*,�"K$MV] 50*3tN1"K9»/*'*3265$2"K$¡)+NE%2 ?%2'*"�,�Yg6I$2$2)+,Z65Y-:6I%('*"K-a6<%()@,�65YA65$2$B"�3B%2)@ .NEÕn .N*"^V] .3&"�65,_'f"x·s"�,K01%()+ .NC/;6<%('�i�°e"u-:)+4.'O%&4."K%?,K .N1V]0*$B"�7k%23BQ#)@N14

Page 26: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

%( l-:65dI"{%('*)+$^657<�B0*$h%(-�"�NO%Z�M65N17�7*"�,K)@7*"c$2)+-:/1Y+Q�%( �65/1/*Y+Qk%('*"�X;6I,_dC$201X*$B%2)+%(0s%()@ 5Nº-�"K%2'* #7654O6I)@N�%( �%2'*"u"�NO%()+32"uN*"K9ã/A .$h%(,K .N*7*)>%()@ 5N�i

FHNP"K)+%('1"�3�,Z65$B"5�IXA"xV] .32"�%(3hQ#)@N*4&%( ?/*3B }j5"~%2'*"T32"�$B0*Y+%2)@N*4�,KYg65$B$2)@,�65YO-:6I%('*"K-a6<%()@,�65Y.6I$2$2"K3B%2)@ .N��9~"{9U .01Y@7G3B"�-� }j5"�65Y+YM%2'*"{ .Y+7C$2)+4.N*$[V]3B .-Þ)+%�i=°e"{7* �%('1)@$[XW"�,�650*$B"5��6IV�%2"�3['*6�j#)+N*4�X;65,_dI"�7%('132 .0*45'C%('*"P/*32 .453(65-f�W%2'*"�65$B$2"K3B%()+ .NG%('*6I%!3B"�-:65)@N*$=)@$[6a$B%(6I%("K-:"KNE%^65XA 501%[%2'*"PjI65Y@01"�$!6<%%('1"P$B%(653B%= 5V�%2'*"P/132 .4.3265-fi&FHNC 5%2'*"�3?9U .3B7*$��AXA"K,Z6501$2"�65Y+Y�/*32 54.3(65-�-�)@N*4�$h%_6I%2"�-�"�NO%($!'*6�j5"XW"�"�Nf32"K-: �j5"�7��;%('1"u¼*N;65Y�jI65Y@01"�$& 5VM%('*"^jI653B)g65X*Y+"�$&"K\#0*65Y�%('*"K)@3&)+N*)+%2)g65Y¾jI65Y@0*"K$�i

ì�í3ZvíUT ê`ï~÷+ë�ôhþ!úW¸ïU÷!úø d5âWcegDù>d5|}l¢fS&'*"=X;65,_d�$201X*$B%2)+%(0s%()@ 5Na-�"K%('1 s7�)@$�65Na65Y@4. 532)+%2'*-�)@,~9U6ZQc 5V�/*3B s710*,�)+N*4RXW"K%H9~"�"KNsµH$h%_6I%2"�-�"�NO%65$B$2"�3h%()+ .N*$c%(';6I%:,Z6INàXW"k0*$B"�7à%2 eX10*)@Y+7à6b/*32 # 5V=9�)+%('1)@No¿= O653B"�Y@ .4.)+,5ioz~Q²)+%2$2"�Y>V¸�U¿? O653B"Y@ 54.)@,^)+$=N* I%!6�-:"x%('* #7�×¾)+%?)@$=6:Y+ .4.)+,!%(';6I%=7*"x¼;N*"�$?9�';6I%[/*32 # 5V]$=6532"Ii�¿= O653B"RY+ .4.)+,^/A"K32-�)+%($65NOQÔ-�"K%2'* s7Ô%2';6I%�,� .01Y@7»/*32 #7*0*,K"�XA"x%H9U"K"�Nsµ¶$B%_6<%("�-�"�NO%�65$2$B"�3B%2)@ .N1$c%2';6I%c,�65NoXW"�0*$2"K7²%2 X*0*)+Y@7²6�/*32 # 5V¸i � 4. s #7Ô .3265,�Y+"f 53�4. s #7»4.0*"K$2$2"K$a,K .0*Y@7²/*3B }j#)+7*"f65/*/*3B ./*32)@6I%("lXW"K%H9~"�"KNsµ$B%(6I%("K-:"KNO%!65$B$2"K3B%()+ .N*$�V] .3=¿= O653B"uY@ .4.)+,5i~¿="KN*,�"I�A9~"P,Z6INC)@-:654.)+N*"[%2'*"R"L·s)@$B%2"�N*,K"P 5V�6�4. # #765Y+4. .32)>%('*-�)@,�-�"K%2'* #7#ÕÓV] .3y/*3B s7*01,�)@N14GXA"x%H9U"K"�Nsµ¶$B%(6I%("K-:"KNE%:65$B$2"K3B%()+ .N*$PV] 53{¿= .6532":Y@ .4.)+,LÕ9�'* .$B"R,_'*653(65,x%("K32)@$h%()+,�$�7*)+ÐA"�3vV]3B .-%2'*"uX;65,_dl$B0*X*$B%2)+%201%()+ .N�-:"x%('* #7�i$U .N*$B"�\E0*"�NO%2Y+Q.��9~"É653B"rN* 5%o,�Y@65)@-�)@N14�%2';6I%à65Y@Y�/W .$2$B)@X*Y+" -�"K%2'* #7*$²V] 53à/*3B s7*01,�)@N14

XW"K%H9~"�"�N#µH$B%(6I%("K-:"KNO%C6I$2$2"K3B%2)@ .N*$:V] .3�¿? O6532"kY@ .45)@,k6532"kN*"�,K"�$2$26532)+Y+QàY@"�$B$aN;6<%(0*3265Y=%2';65Në%('1")@N17*"x·s"�7à-:"x%('* #7�inS&'*"CV] .Y+Y@ �9�)@N14�,� .-�/;653B)@$2 5N*$:$B'* �9Þ%(';6I%�%('1"k%(32657*)>%()@ 5N;65Yv-�"K%2'* s7o 5V/*3B s7*01,�)@N14`XA"x%H9U"K"�Nsµ¶$B%(6I%("K-:"KNE%k65$B$2"K3B%()+ .N*$a%2';6I%l,�65NÓXW"G0*$2"K7Ó%( `X*01)@Y@7ë6m/*32 # 5V^9�)>%('*)+N¿= .6532"?Y@ .45)@,LÕÓN;65-�"�Y>Q.�I%2'*"?X;65,_dc$20*X1$B%()>%(01%2)@ .N�-�"K%('1 s7#ÕÓ)@$�N* I%v65$�N;6I%20*3(6IY¾65$�%2'*"?)@N*7*"L·s"�7-�"K%('1 s7�i

ú d}û�bMâ"c�lUm�d}p%d5�Qü�p�h�g�ý�gFhEâ]p�h�þ�â]feÿ��ki { m�nalvnei�nelvd}p�� g�ne��dkhMm$U .3B32"�$B/A 5N*7*)@N14C%( C%2'*"a%H9~ �/A 5)@NO%($R 5V&s"�,x%()+ .Në�.i>�.�¡%2'*"�"x·165-�/*Y+"a"x·s/*Y+ .32"K7Ô'*"�3B"�)@NY&s"�,Lµ%()+ .Nb�.i Ú�$B'* �9�$?%2'*"^V] .Y@Y+ �9�)@N*4*À�.i�S&'*"�)@N17*"x·s"�7e-:"x%('* #7º/A"K32-�)+%($^%2'*":,K .-�/*01%("K3u/*32 5V]"K$2$B)@ .N;6IY�%( f$2"�Y+"�,x%R%2'*": 5327*"K3R)+N9�'*)+,_'`'*"ZÑI$2'*"a32"Z6I$2 .N*$R)@N*71"�/W"�N*7*"KNO%(Y+Qm65XW .01%R4.32 50*/*$P IV&$B%(6I%("K-:"KNE%2$PXW"KV] .3B"a"�65$2)+Y+Q65$B$2"K-{X*Y@)+N*4�%('*"K$2"&653B4.0*-�"�NO%($t)@NO%( [65N�653B4.0*-�"�NO%¡65XA 501%t%2'*"~9�'1 .Y@"~/*32 .453(65-fi�FHN{,� .N#µ%23(65$h%Z�A%2'*"{X;6I,_dk$B0*X*$B%2)+%201%()+ .NG-�"K%('1 s7G3B"�\E0*)+32"�$=%('*"R-a6I%2'*"�-:6I%2)@,Z6IY�65$2$B"�3B%2)@ .NG%2 �XW"X*01)@Y+%�XEQc)>%("K3(6I%2)+j."�$B0*X*$B%2)+%201%()+ .Nc)@N�32"Kj5"�3B$2"[ 5327*"K3� IV¥%('1"?$h%_6I%2"�-�"�NO%($Ki�S&'*"?X;65,_dc$20*X#µ$h%()+%201%()+ .N�-:"x%('* #7f"�N1V] .3B,�"K$!6c$BQ#$B%2"�-:6I%()+,R$h%(3(6<%("�4IQlV] .3�32"Z6I$2 .N*)+N*4:65XA 501%?/*32 .453(65-�$�iS&'*"�)@N17*"x·s"�7e-:"x%('* #7º65Y@$B �$20*/*/W .3h%($R6�$hQ#$B%("K-a6<%()@,c$h%(3(6<%("�4IQ.�MX*01%Z�t657*71)+%()+ .N;65Y+Y+Q5�¥)+%Vq65,K)@Y+)+%_6<%("�$?65NG65$hµ¶N*"�"K7*"�7�$h%(3(6<%("�4IQkV] .3?32"�65$2 5N*)@N*4�65XA 501%[/132 .4.3265-�$�i+��)>%2%(-:65Nf"K%!65Y�i

Page 27: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß Ê��OÊoÈhçkÄ=Ì&Ç?Å1Ã!ËPÁ�Æ�̱0²ÄTÇ^Ìué¡È¸ËPæÉä�ÌcÎtË[Í^Ë=Æ�ä*ä�Ã[Ë[Í8Á&Ì?çkÄ�â�Æ[ÅtÆTË[Æ�ä*ä �.�

�½�5ÙI��65N*71�^ s"KN;65-:65N*N�65N*71�� .XW"�3B%2$2 .Ne�½�I�5��'*6�j5"u$2'* �9�N�%(';6I%�XW 5%2'f$hQ#$B%("K-a6<%()@,u6IN*765$¸µHN*"K"�7*"K7C$h%(3(6<%("�45)@"�$�6I32"u0*$2"K7G65-� .N*4�/132 .4.3265-�-:"K32$�i

�si�S&'*"Ó$h%(3B0*,K%20*32"n 5Vf%('*"Ó-:6I%2'*"�-:6I%()+,Z65Y�65$B$2"K3B%()+ .N X*0*)+Y+%`)+N %('*"Ó)+N*7*"L·1"K7-�"K%2'* #7-:6I%(,_'1"�$l%('*"m�x���5�q����$B%2320*,x%(0*3B"b 5VR%2'*"�/*3B .4.3(6I-k�&9�'*)+Y@"G%('1"b65$2$B"�3B%2)@ .N¥|�$�$B%2320*,x%(0*3B")+Nº%2'*"cX;65,_db$20*X1$B%()>%(01%2)@ .Nº-�"K%('1 s7º-a6<%(,_'*"K$P6�Y@)+$B%u 5V~%('*"�/*32 54.3(65-f|½$�®5­I W�5©����c"L·Eµ"K,�01%2)@ .Nn/;6I%2'*$�i � Y+)@$h%l 5VR"x·s"�,K01%()+ .Nn/;6I%('1$f,K .NO%_65)+N*$�6ÔX*)g6I$�%( �9v6I327ý$BQ#$B%2"�-:6I%()+,3B"Z65$B .N*)@N14RXW"�,�650*$2"?)+%T)+$TN* 5%�,�Y+"Z653�%('*6I%� .N*"�,Z65N:Y@"�6532N�9�';6I%~'*"�N*"K"�7*$�%( yd#N1 }9àV]32 .-"L·*6I-:)+N;6I%()+ .N� 5VW�B01$B%! 5N*"R 53[6cV]"K9� 5Vt%('*"R"x·s"�,K01%()+ .NC/;6<%('*$Ki=�!01"y%2 :%('1"R-:6I%(,_'¥�A)+N%2'*"�)@N*71"x·s"�7b-�"K%('1 s7��AXA"x%H9U"K"�Nm65$2$B"�3B%2)@ .Nb6IN*7�/*32 54.3(65-ª$B%2320*,x%(0*3B"5�M6�/*3B .4.3(6I-:-�"�3';6I${%('*"� 5/1%()+ .NÔ 5V�32"�65$2 5N*)@N*4b6IXA .0s%{%('*"l-:6I%2'*"�-:6I%()+,Z65Y�65$B$2"K3B%()+ .N`9�)+%2'`%('*"l$265-�"dE)@N17C 5V�65$hµ¶N*"�"K7*"�7G$h%(326I%("K45Q�$2'*"R-:)+4.'O%�';6Zj."R/*32"xV]"�323B"�7C9�'1"�NG3B"Z65$B .N*)@N14a65XW .01%?%('1"/*3B .4.3265- ���<�I��ik¹;0*3h%('*"K32-� .32"I�t71)@$2,K �j."�3B)@"K$�65XW .01%y%('*":65$2$B"�3h%()@ 5Nm9�)@Y+Y�';6Zj."�6f7*)@3B"�,x%,K .323B"�$2/W .N*71"�N*,K"R9�)+%2'l%('*"u/*3B .4.3(6I-%("L·#%Zi

S&'*"�$B"U%H9~ !XA"KN*"K¼1%($¡V] .3�%2'*"U)+N*7*"x·s"K7{-:"x%('* #7y,� .-�"U6<%t%2'*"U,K .$B%t 5V;0*$B)@N*4=-: 532"TN;65-�"�$HÕ%('1"CN;65-�"�$c9�)+%2'à$B0*X*$2,K32)+/1%($Kir¿? }9~"Kj5"�3K�[65$c9~"G7*)@$B,�0*$B$2"K7Ó)@N»%('*"k$2"�,K .N*7Ó/;6I3(654.3265/*'² 5V&s"K,K%()+ .Nr�5i Úsi �s�v01$2)@N14e%('1"�$2"k"x·#%(326mN;65-�"�$�7*"K,�32"�65$2"K$a%('1"CX*0*3B7*"�Nà .Nà%('1"k/*3B .4.3265-:-�"�3K|�$9~ .32dE)@N14�-�"�-� .3hQA×s%('*"^"L·s%23(6cN;65-�"�$�653B"u65)@71$&)@Nl$B%(6I%()+N*4c32"KYg6I%2)@ .N*$B'*)@/1$v65-� .N*4{%2'*"^j56IY@0*"K$ 5V;/132 .4.3265-ÉjI6532)@65X*Y@"K$�V] .Y@Y+ }9�)+N*4�7*)+ÐA"�3B"�NO%�$h%_6I%2"�-�"�NO%($Ki�¹;0*3B%2'*"�3B-: 532"5�I .0*3M"x·s/W"�32)+"�N*,K"U9�)+%2'%('1"���6532,_'D��32 # 5V � $B$2)+$B%_6INE%�p¢�w��wR�¬�Z�*�WØI�M)+N*7*)@,�6I%("K$?%2';6I%=$20*,_'k%( # .Y@$�,Z6ING';65N*71Y@"u%('*"yY@ O6I7 5V�%('*"K$2"c"x·#%23(6lj56I32)g6IX*Y@"K$[9�)+%2'º"�65$2"Ii�Bu)>j."KN���$(6ZQ.��%('1"cVq6I,K%($!%2';6I%!·"äxq ·WæZ�¥·"æxq ·]¦K�t6IN*7·"¦+q�·����ã���n\E0*)@,_dEY>QG7*"K7*0*,�"K$!%(';6<%[·�ä7q�·��y65N*7G3B"�7*01,�"�$y65NOQfVq65,K%2$^65XW .01%[·�æ��¾·]¦��¥ .3?·��%( �Vq65,x%($R65XA 501%^·"ä�iGp¢N?N*7*"�3y7*)>Ð¥"K32"�NO%R)@N*$h%(3B0*,K%2)@ .N*$K�����ã,K .0*Y+7e)+N*$B%2"Z657e32"�710*,�":65NOQbVq65,K%2$65XW .01%P·�ä��¡·"æZ�T .3R·"¦{%( GVq65,x%($�6IXA .0s%P·���i wÉS&'*"l,� 5$B%c 5V?0*$B)@N*4G%2'*"�657*7*)>%()+ .N;65YTN;65-�"�$P)@$��%('1"�32"xV] .32"I�*-:65N;654."�65X*Y+"5i¡°e"!,� 5N*,�Y+0*7*"!%('*6I%Z�#9�'*"�Nf,� .-�/;653B"�7�9�)>%('�%('1"!)@N*71"x·s"�7�-�"K%('1 s7��%('1"yX*65,_dl$20*X1$B%()>%(01%2)@ .N�-�"K%2'* s7�)+$&N* 5%�$2 �N;6I%20*3(6IY�i

ì�í ^��óRï~ÿ1ø1öT÷+ë�ò ï>6�ñeÿ;ï��B÷+���?ïUþ^÷+[u÷!ò�úsúoöT÷+[ êmï�� ó^ô¸ò�ø1òM÷!ò�ú1ú=�j."K3BQ`71"�$2)+4.N*"K3P 5V�6f$BQ#$B%2"�-Ö 5V&/*3B s 5Vv320*Y+"�$y)@N*,KY@0*7*"K$P$B .0*N*7*N1"�$2$c6I-: .N14f%2'*"�,_';653265,K%2"�3¸µ)@$h%()+,�$=%2 �XW"�65,_'*)+"Kj."K7�i � NOQG01N*$2 .01N*7*N*"K$2$u)@$=0*N*)@NO%2"�NO%()+ .N;65Y�i!S&'*"{)+N*7*"x·s"K7º-�"K%2'* #7G)@$=N* "x·s,K"�/1%2)@ .N�ikF¶%(${3B0*Y@"K${653B"aN* I%{,Z6I/*32)+,�)@ 50*$�×�%2'*"KQm6532":7*"�$B)@4.N1"�7m%2 G/*32"K$2"K3Bj."�jI65Y+)@7*)>%HQ.i1=¡·Eµ/W"�32)+"�N*,K":9�)>%('e%2'*)@$R-:"x%('* #7��t$20*,_'»65$y%('*":"x·165-�/*Y@"�"x·s/*Y+ .32"K7`)@Nº%('*)+$R,_'*65/1%("K3���$B"�"�-�$R%2 )@N17*)@,�6I%("!%2';6I%�)+%�)+$�$2 .0*N17�i~F¶%�Y+ s 5d#$�3B"Z65$B .N;65X*Y+"5i�&s';6IY@Y¥9~"R$h%( ./�%('1"�32"ZDGFH$?)>%�N*"�,K"�$B$(653hQf%2 4. �%('*3B .0*4.'f%('*"y%(32 50*X*Y@"y 5V¡�W�(�<���� #¨�%('*"y$BQ#$h%("�-f|½$!$2 .01N*7*N*"K$2$_D`°n';6I%[)@$�%( :XA"y4O65)+N*"�7kXEQ7* .)+N*4c$2 ED

S&'*"�'*)@$h%( .3hQm IV&%('*"l)+N*7*"x·s"K7²-�"K%2'* #7�|�$�71"�$2)+4.NÔ/*3B }j#)+7*"�$�"xjs)+7*"�N1,�"lV] .3R%2'*"lN*"K,�"�$B$2)>%HQ 5V&/132 �j#)@N*4k)+%($y$2 50*N*7*N*"K$2$KiCS&'*)+$P'*)+$B%( 53BQb)@N1,�Y@017*"�$R$2"�3B)@ .01$R,K .N*$2)+7*"�326I%()+ .Nm IV�6k3B0*Y@"c%(';6<%

Page 28: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

�5Ù Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

� nacoiwg �&#%(6�Q %H9~ �p]Q1w��Q�q��

¹¡)+4.0*3B"y���1À�=�j#)@7*"KN*,�"u 5V�N=N*$B .0*N*7*N1"�$2$KÀv¹¡)+32$h%Q&#%("K/

';65$=6:$B0*X1%2Y@"\G¾6Z9ui&FHN*,�Y+0*$2)+ .NC 5Vt%('*)+$=3B0*Y@"^9~ .0*Y+7C';6Zj."R-a6I7*"y%2'*"y$BQ#$B%2"�-ª0*N*$2 50*N*7�i�S&'*)+$G¾6Z9ë9U65$T32"K,� .4.N1)ì:�"K7�65N17:,K .323B"�,K%2"�7�iT�!)+7{%('*)+$T,� .3B32"�,x%()+ .Nc-a65dI"&%('*"?$BQ#$B%2"�- $2 50*N*7��E .3�653B"%('1"�32"P$B%()+Y@Y µH0*N*3B"�,K .4.N*)8:�"�7HG¾6Z9�$!Y+0*32dE)+N*4a)+Nk%('1"P$BQ#$h%("�-aDP�T3B s IV� 5V�$B .0*N*7*N1"�$2$u,�65NG4.3B"Z6I%2Y+Q)@N1,�32"�65$2"U .0*3�,K .N1¼;7*"KN*,�"&%2';6I%¡%2'*"�3B"�6532"~N* ^32"K-a6I)@N*)+N*4=01N*7*)@$B,� �j."K32"K7:)+N*,� .N1$2)@$h%("KN*,�)+"�$�i¡S&'*"0*N*71"�32$h%_65N17*)@N*4� IVt/132 # 5V�9U"^'*6�j5"^Y@"�6532N*"K7aV]32 5-_��65d<6I%2 .$u�½�� <�¥,Z650*$B"�$&0*$v%2 P9�32)>%("! IV=¢B,� .N#µ¼;7*"KN*,�"K¤a326I%('*"K3&%(';65No¢B,K"�3h%_65)+NE%HQ5i�¤

°n'*)@Y+"�%('*"xQº9~"�3B"a7*"K$2)+4.N*)@N14C6f7*)@3B"�,K%R65N1,�"�$h%( .3R 5VU%2'*"a)+N*7*"L·1"K7m-�"K%2'* s7e)@Nb%('*"�-�)@7sµ��Ü.Ù��5$��U�! .0*4º¿[653B-:$�65N17ëzU3B0*,�"�°m"K)@7*"e���OÙI��,K .N*$2)+7*"�3B"�7ë/W"�3B-:)>%2%2)@N*4G01$�%2 e/*3B �j."C"�65,_' .X*Y+)@4O6<%()@ 5N�9�)>%('G%2'*"{'*"KY@/G 5V�6IY@Y�%('*"PVq6I,K%($Ki^S&'*"KQC7*)@$B,� �j."K32"K7b%2';6I%=%('*)+$!-:"x%('* #7G 5VT/132 # 5V9U65$�0*N*$2 50*N*7��W65N*7f,� 53232"K,K%2"�7f)+%�XW"KV] .3B"!°m"K)@7*"u)@N1,�Y@017*"�7l%('1"y-�"K%2'* #7f)+N�'*)@$&,K .0*32$B"uN* 5%("K$���E�<��i�S&'*"b,� .3B32"�,x%()+ .NÓ9v65$�%('*6I%l%('*"�Vq65,x%($l%('*6I%�,Z65NýXW"�0*$2"K7 %( »/*3B �j."e65Nn .X*Y@)+4O6I%2)@ .N-{0*$h%^7*"K32)+j5"PV]32 5-ª/W .)+NE%2$[)+NC%('*"P/*32 .453(65-�%("L·#%!%(';6<%!/*3B"�,�"K7*"�%('*"P/A .)+NO%=V]3B .-�9�'*)@,_'�%('1" .X*Y+)@4O6<%()@ 5N:9U65$=71"�32)>j."K7�×*%('*"u3B"�Yg6<%()+j5"^ .3271"�3� 5VMVq65,K%2$=6IN*7� .X*Y@)+4O6I%2)@ .N*$~)@$&)+-:/W .3B%(65NO%Zi=�j."�NC"Z653BY@)@"K3��¾�! .014.Yg65$Q*k650*32"K3='*657C)+NEj5"�NO%("K7�6c-:"x%('* #7k IV�/*3B s 5V¸�;,�65Y@Y+"�7l%('1"R-� s71)+¼1µ

,Z6<%()@ 5N{)@N*71"x·�-�"K%2'* #7��5%('*6I%�)@$Mj."K3BQ�$B)@-�)@Yg6I3�%2 !%('*"&)+N*7*"L·1"K7c-:"x%('* #7�i � Nc)@N*71)@,Z6<%()@ 5NP 5V¾%('1"$201X1%(Y+"K%HQ: 5V�%('*"G¾6Z9 N1 5%()+,�"�7aXEQa¿[6I32-�$v65N*7�°e"�)+7*"[)+$~%2';6I%�*k650*32"K3�|½$&/;65/W"�3~)@N*,KY@0*7*"K$U%('1"32"K,� .-�-�"�N*7;6<%()@ 5Na%( �0*$B"u65Y@Y¾%('1"!Vq65,K%2$U9�'*"�N�/*3B �js)+N*4c65N� .X*Y+)@4O6<%()@ 5NC�ÝØ.Ø1�1/�i1�OØ��I��i&p�¿[6I32-�$65N*7�°e"�)+7*"�9U"K32"cN* 5%y6Z9U6532"c 5V¥*C650*3B"�3K|�$^9~ .32dC9�'1"�Ne%2'*"KQC9U"K32"c7*"�$B)@4.N1)@N*4�%2'*"c)@N*7*"L·s"�7-�"K%('1 s7�i>*k650*32"K3�|½$=/*65/A"K3&,Z65-�"^%( �%('1)@$�6501%2'* .3K|�$?6I%B%("�NO%2)@ .N�)@Nb��Ü5Ü5�*i w

� ,� .01NE%2"�3B"x·165-�/*Y@"{9�)+Y@Y¡$B'* �9 /*Y@65)@N1Y+Ql%('*6I%u)+%^)+$!0*N*$B .0*N*7b%( l01$2"�65Y@YM%('*"{Vq6I,K%($!9�'1"�N/*3B }j#)+N*4²65Nn .X*Y@)+4O6I%2)@ .N�i &s01/*/A 5$2"b%('*"�/*3B .4.3265- jI653B)g65X*Y+"CQë)+$l 5Vy%HQs/W"bFHNO%("�45"�3�)@NÓ%('1"/*3B .4.3(6I- $B"�4.-�"�NO%�$B'* �9�Nf)+Nl¹¡)+4.0*32"[���1i�S&'1)@$v$B"�4.-�"�NO%&,K .N*$2)+$B%2$v 5Vt6P/*3B"�,� 5N*7*)+%2)@ .N¥�16{,�65Y@Y%( {%2'*"!/*3B s,K"�7*0132"9&#%_6ZQ %H9~ *�¾65N*7�6{/W .$B%2,� .N17*)+%2)@ .N�i�¹¡)@4.0132"^�#�!$2'* �9�$&%('1"^$2/W"�,�)>¼;,Z6<%()@ 5N� 5V/*3B s,K"�7*0*3B"�&#%(6�Q %H9~ *i#=¡·165-�)@N;6I%2)@ .Nu 5V;%2'*)@$M$2/W"�,K)+¼;,�6I%()+ .NP3B"Kj5"Z65Y+$t%('*6I%�65NR)@-�/*Y@"K-:"KNO%_6I%2)@ .N 5V�&#%(6�Q %H9~ �%2';6I%^71 s"K$^N* 5%('1)@N*4l)+$!,� .3B32"K,K%Zi�Bu)>j."KNG%('*)+$^)@-�/*Y@"K-:"KNE%(6I%()+ .Nf 5V�&#%_6ZQ %H9U *��)>V)@N1)+%()@65Y@Y>Q{Q'q Ø�)+Nk¹t)@4.0*3B"y���1�1%2'*"�Nf .XOj#)@ .01$2Y+Q:Q� qr��6IV�%2"�3&#%_6ZQ %H9U �)@$&,�65Y@Y+"�7�i

°n'*"�Nk9U"R-a653Bda%('1"RXW"K%H9~"�"KNsµH$h%_6I%2"�-�"�NO%^$2/*65,�"K$[)@Nk¹¡)+4.0*32"y���1�¾,_';65N*4."u%('1"R/*3B"�,K .N*7*) µ%()+ .NR%2 ^6?Vq6I,K%Z�.65N*7{,_';6IN*4."U%2'*"U/W .$B%2,� .N17*)+%2)@ .Ny%( !6IN{ .X*Y+)@4O6I%2)@ .N¥�Z9U"v 5X1%_65)+N{¹¡)+4.0*3B"v�.�#it°e"';6Zj."!65N� .X*Y+)@4O6<%()@ 5Nc%2 P$B'* �9ý%2';6I%~9�'*"�N1&#%(6ZQ %H9~ {)@$~,Z65Y+Y@"K7��OQ:'*65$U%('1"=jI65Y@01"!�si � V�%("K3~%('1",Z6IY@Ys9~"�dEN* �9ë%H9U ^%2'*)@N*45$�Àt%2';6I%�%2'*"vjI65Y@0*"& IVWQ{)@$T�s�E6IN*7�%(';6I%�%2'*"�,Z65Y+Y1';6I$�N* 5%T,_';65N14."�7�)+%2$

Page 29: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

ß Ê��OÊoÈhçkÄ=Ì&Ç?Å1Ã!ËPÁ�Æ�̱0²ÄTÇ^Ìué¡È¸ËPæÉä�ÌcÎtË[Í^Ë=Æ�ä*ä�Ã[Ë[Í8Á&Ì?çkÄ�â�Æ[ÅtÆTË[Æ�ä*ä �5Ü

bMced�f�gFh�i�ceg &#%(6ZQ %H9~ Gpg·bÀ�FHNO%("K4."�3(wcegFjki�lUcegFm ·'qã�gFp�m;i�cegFm ·�qr� s ·'qöíR·

¹¡)@4.0132"y�s�.À � &s/W"�,K)+¼;,�6I%()+ .Nl 5VÌ��32 #,�"�710*32"?&#%_6ZQ %H9U

�Jâ]f�nxnacoiwg¡E¡ p¢�.w&#%(6�Q %H9~ Gp�Q*w¡E¡ ph��wd { �Ulv| Q § qr�

¹t)@4.0*3B"u�.�sÀ�=�j#)@71"�N*,K"R 5VÌN=N1$2 .0*N17*N*"�$B$�À¥&s"�,K .N*7�&E%("�/

jI65Y@01"5i�¹t)@4.0*3B"?�5Ø^$2'* �9�$�%('*"�32"K$20*Y>%� 5V¥3B"�/*Y@65,�)+N*4^%('*"�,�65Y@Y1%2 9&#%_6ZQ %H9U y9�)+%('�%2'*"� .X*Y@)+4O6I%2)@ .N65N*7e%('*"�Vq65,K%�ifS&'1"a .X*Y+)@4O6<%()@ 5NGQ ¤ q���,Z65N1N* 5%{XW"a/132 �j."KN`V]32 .-ê%2'*"aX;6I32":Vq6I,K%R 5V nacoiwg iS&'*)+$^)@$!9�'OQ�%('*"�/132 .4.3265-Ò$B"�4.-�"�NO%y 5V~¹¡)+4.0*32"�����)@$^)@N1,� .3B32"�,x%Zic´!N�%('1"� I%('*"K3^';65N*7���9~",� 50*Y@7à¢B/*3B }j5"�¤a%2'*"P/132 .4.3265-J$B"�4.-�"�NO%!,K .323B"�,x%[)>V¡9~"R9~"�32"R/A"K32-�)+%B%("�7�%( :0*$2"R65Y+Y�%('*"yVq65,K%2$)@Nm/*32 �j#)@N*4k%('*)+$P .X*Y+)@4O6<%()@ 5N�i1Bu)>j."KNmQ § qª�C65N17mQ § qJQ ¤ ��$201X*$B%2)+%(0s%()@ 5N` 5V&Q ¤ V] .3RQ § )+NQ § qÏ�:4.)+j5"�$!01$[Q ¤ q �#i[S&'*"K32"KV] 532"5��/W"�3B-:)+$2$B)@ .Nf%( �0*$B"�65Y+Y�%2'*"PVq65,x%($[9�'1"�N�"�$h%_65X1Y@)@$B'*)@N1465N» .X*Y+)@4O6<%()@ 5NmY@"�657*${%2 �0*N*$2 50*N*7*N*"K$2$K×?9�)>%('Ô%('*)+${/W"�32-�)@$B$2)+ .N���9~"k6I32"f65X*Y+"a%( b/*3B }j5"f65N)@N1,� .3B32"�,x%&/*3B .4.3(6I- ,K .323B"�,x%ZiTF¶%v%(0132N*$v 501%v%( PXA"^6{$B .0*N*7�/*3265,K%2)@,K"=%( �01$2"u65NOQb�2�5�x�¬���x�uVq65,x%

�Jâ]f�nxnacoiwg¡E¡ p¢�.wd { �Ulv| Q ¤ qr��Jâ]f�n Q § q � s Q § qýQ ¤¡E¡ ph��wd { �Ulv| Q § qr�

¹¡)+4.0*32"^�5Ø1À�=�j#)@7*"KN*,�"y 5VÌN=N*$B .0*N*7*N1"�$2$KÀUS&'*)+327D&#%("K/

Page 30: Ê Ø ì íBì - Computer Science and Engineeringweb.cse.ohio-state.edu/rsrg/documents/TR55/1-chapter-1.pdf · /*3b .4.3(6i-

Ø�� Á�Â=Ã!Ä[ÅtÆTÇÉÈLÊkȸË�ÅtÇ^Ì&Í�ÎUÁ?ÅMÈxÌ&Ë

9�'*"KNC"�$h%_65X1Y@)@$B'*)@N14c65N� .X*Y@)+4O6I%2)@ .N�i¡zv65$B"�7f .Nf%2'*"^V] .32-:65Y+)ì:Z6<%()@ 5N*$~ IV#$U';6I/1%("K32$?F2F~65N*7fF2F2F_�9~"R/*3B �j."5�¾)+N1$U';65/1%2"�3?F�{�*%('*6I%&%('*"u)+N*7*"x·s"K7k-�"K%2'* s7�)+$&$2 .0*N17�i

´!0*3l"KÐA .3B%a%( Ô/*3B }j5"b)@Në7*"x%_65)+Y=%2'*"�32"KYg6I%2)+j."k,� .-�/*Y+"K%("KN*"�$B$� 5Vu%('*"G)+N*7*"L·1"K7 -�"K%2'* #7/*3B }j#)+7*"�7b-� .32"{"xj#)@7*"KN*,�"�V] .3[%2'*"�XW"�N*"x¼*%u 5V�$2 �7* .)+N*4*iuFHN�%('*"�Y@6I%("P$B%_6I4."�$^ 5VT%2'*)@$!"xÐ¥ 53B%Z�9�'*)+Y@"~6I%2%2"�-�/1%()+N*4?%2 [/*3B �j."v3B"�Yg6<%()+j5"~,K .-�/*Y@"x%("�N1"�$2$MV] .3�%('*"~/*32 #,�"K7*0*32"U,Z65Y+YO320*Y+"5�I%2'*"v6I01%('* 537*)+$2,� �j5"�32"K7��y,� .NO%(32653BQÓ%2 à'*)+$l9�)@$2'sV]0*Yu"x·s/A"K,K%(6I%()+ .N*$��^%2';6I%f%('*"º)@N*71"x·s"�7 -:"x%('* #7r)+$º ¥�<�32"KYg6I%2)+j5"�Y+Q�,� .-�/*Y@"x%("u9�)+%2'k3B"�$2/W"�,x%!%( a6�V]0*N1,K%()+ .N;65Y�$B"�-:65NO%()+,�$[)>V�"L·s%2"�3BN;65YM/*32 #,�"K7*0*32"K$^653B"/W"�32-�)+%B%("K7e%( k';6Zj."�3B"�Y@6I%()+ .N;65Y�$B/A"K,�)+¼*,Z6I%2)@ .N*$�pq$B"�"H&#"�,K%2)@ .N1$P�*i �C65N*7ÔÚsi Øsi+�}wLi�S&'*"�Y@"K$2$B .N'*"K32"!)+$�%2';6I%v71"K%_6I)@Y@"K7:/132 # 5V�)@$~ .N*"="KÐA"�,K%2)+j5"!-:"x%('* #7a IV�7*)@3B"�,K%2)@N*4y .0*3U6I%2%2"�NO%()+ .N:%2 {$201X1%(Y+"Q."x%[)+-:/W .3h%_65NO%v-:6I%B%("�3B$v%(';6<%=-�)@45'E%v 5%('*"K3B9�)+$2"uXA"u �j."K32Y+ s .dI"�7�i

FHNG$201/*/A 53B%! IV� .0*3�%('*"K$2)+$��A9~"P'*65$B%2"�NG%( a657*7f%(';6I%=%('*"R)@N*71"x·s"�7G-�"K%2'* #7m�@�P32"�Y@6I%()>j."KY+Q,� 5-:/*Y+"K%2"!9�)+%('f32"K$2/W"�,x%=%2 a6{V]0*N*,x%()+ .N;65Y�$B"�-:65NO%()+,�$?)+Vt65Y@Y¥"x·#%("K32N;65Y�/*3B s,K"�7*0132"�$=-{0*$h%='*6�j5"V]0*N*,x%()+ .N;65Y.$B/A"K,�)>¼;,Z6I%2)@ .N1$�it¹¾013B%('1"�32-� .3B"5�}%('*"TX;65,_d[$20*X*$h%()>%(01%2)@ .Ny-:"x%('* #7��}Y@)+d5"�%2'*"T)@N*7*"L·s"�7-�"K%('1 s7��¾)+$=N* I%=3B"�Y@6I%()>j."�Y>Ql,� 5-:/*Y+"K%2"y9�)>%('f32"�$B/A"K,K%!%2 a6cV]0*N*,x%()@ 5N;65Y�$2"K-a65NO%2)@,�$?)+V¡"x·#%("K32N;6IY/*3B s,K"�7*0*3B"�$�653B"�/A"K32-�)+%B%("�7`%2 �';6Zj."�32"KYg6I%2)@ .N*65YT$2/W"�,�)>¼;,Z6<%()@ 5N*$�ie¹;01%(0*3B"�9U 532dm,K .0*Y+7Ô,� .3¸µ32"K,K%{%2'*"�$B"l/*32 5X*Y@"K-:$RXEQm7*"Kj5"�Y+ ./*)@N14b6C$(6I%2)@$hVq65,K%2 .3BQe32"KYg6I%2)@ .N;6IY�$B"�-:65NO%()+,�$�65N17np]9�)>%('* .0s%32"K$B%232)@,x%()+N*4^%('*"?$2/W"�,K)+¼;,�6I%()+ .N: IV�"x·#%2"�32N*65Y¾/*32 #,�"K7*0*32"K$_wT/*32 �j#)@N*4u%('1"�$2"=-:"x%('* #7*$T$2 50*N*7�6IN*732"KYg6I%2)+j5"�Y+Q:,� 5-:/*Y+"K%2"!9�)+%('�3B"�$2/W"�,x%=%2 :)>%Zi

ì�í�� �àþ=ø;ô£B÷!ò ï>6��÷húsú1ò�ÿ1ø1ö¡ø]¸ïU÷S&'*":32"�-:65)+N*7*"�3y 5Vv%2'*"a71)@$2$B"�3h%_6I%2)@ .Nº)@$y,� .N1,�"�3BN*"�7`9�)>%('e"�$B%(65X*Y+)@$2'1)@N*4k6fV] .3B-a6IY�X;65$2)+$yV] 53%('1"f)+N*7*"L·1"K7»-:"x%('* #7�iP$U';6I/1%("K3�FBFR"K$B%(65X*Y@)+$2'*"K${%('*"�$hQsNO%(6<·o65N*7»$2"K-a6INE%2)@,K$� 5V!6G$B)@-�/*Y@")@-�/W"�3(6<%()+j5"!/*3B .4.3(6I-:-�)@N*4PYg65N*450;654."I�;65N*7f"x·#%("KN*7*$�%('*)+$�Yg65N*450;654."[9�)>%('f,� .N1$B%(3B0*,K%2$=01$2"KV]01Y .N*Y>Q`)+N»%2'*"lV] .32-:65Y~X;65$2)+${V] .3{%('1"f)+N*7*"L·1"K7à-�"K%2'* s7¥iP$U';65/1%2"�3�F2FBFR7*"x¼;N*"K$�%2'*"�)@N*7*"L·s"�7-�"K%('1 s7�|½$cV] .32-:65Y&X;65$B)@$�XOQo$B/A"K,�)>V�Qs)+N*4º)+%($�/*3B s 5V[320*Y+"�$Ki $U';65/1%2"�3aF�³/*3B"�$2"KNO%($�7*"x%_65)+Y@"K7/*3B s 5V]$c 5V?%('1"f$B .0*N*71N*"�$B$l65N*7²32"KYg6I%2)+j."l,K .-�/*Y@"x%("�N1"�$2$� 5V?%('*"f)@N17*"x·s"�7²-�"K%('1 s7�|½$�V] .32-:65YX;65$B)@$K×A6c%HQ#/*)@,�65Y�32"Z6I7*"�3�9�)@Y+Y�XA"y0*N*Y+)@dI"�Y+Qa%( �"�N<�B �Q�%('*)+$�,_';65/1%2"�3�iQB^ # s7fY@)>%("�326I%(0132"u6IÐA .3271$%('1"&32"Z6I7*"�3K|�$T)@-:654.)+N;6I%2)@ .Ny32 # .- %2 ^/*Yg6ZQEV]0*Y+Y+Qy¼;Y@Ys)@N�)+%2$� �9�N:7*"x%_65)+Y@$KiÌ=T65,_'�X*Y@ #,_dP IV¥6^4. # #7V] .0*N17;6I%()+ .NC)+$[/*3B"�$B"�NO%R65N*7GY@65)@7f¼;32-�Y+Q�)+NC%('*"P32)@45'E%[/*Yg6I,�"5i � Yg6I$��¥)+NC,_';6I/1%("K3^F�{�A9~"c653B"X*0*)+Y@7*)+N*4fN* 5%{45 s #7mY+)+%("K3(6I%20*32"I�tX101%�6C45 s #7eV] .01N*7;6I%2)@ .N�iD$U';65/s%("�3���7*)+$2,�01$2$2"K$�/A 5$2$2)+X*Y@"V]01%20*32"^9~ .32dl6IN*7k,K .N*,KY@0*$B)@ .N*$�7*326Z9�NfV]3B .-%2'*"^9U .3Bdl$2 �Vq653Ki