the taub faculty of computer science, technionron/papers/kimkirbru_jmiv1996.pdf · 2011. 8. 10. ·...

17

Upload: others

Post on 17-Mar-2021

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

� � � � ��� � ��� �3� � � � � � � �� ��

� � � � � � � � �3� � � � � � � �� � � ��� �

� � �� � ! ! � ���� ������������������������ !���"���$#% !&��'�(�()$ !�*�

+ � I � ! � � ��, � % ���� ������������������������ !���"���$#% !&��'�(�()$ !�*�

� � � � � �- �/. � ����� ' %(� � �021 )�&434�5 ��%67�8�� !���� %#9 !&��'�(�()$ !�:�;< ��5=4�>� 1 �@?�AB����CD�FE:GIHJHJH4?4K�L��M�J 8�

� .;G � � � � �7 5�=>� zf2{-"Bx=>��3'2��zf3'2�Me3^Bx/�A�J 0�5��xJs�=*½LA�MÀOi0I61=<-<5�6.0IK JU-<5�M�= -"5�6D��=�0��^s@J=<6�6.0IK J{-"5�Me=wzf23^BJs�=�?�3^A�5�6�-"2��3"z�-w�"0�HR=>5 6.0��"0�J 0�É>=<6³K s�-</�=40IK�/�2N=<K =�51JN=<6}CL9�s�=w6R0tK�JU-<5�M�=�0IK�M>->OtMeA1OI-"J=P6´��0�JsK A�?1QR/10i¾�=�O�-^M>MeA�2U-'M��RC*9�s�=�-PO��'3^2 0�JNs�B 0IK£?�-'K =<6y3^5 -"5 =<°.AY-PO�6.0IK�JU-"5YM�=GMe3^5@J3^A�2£=�HR3"O�A�J 0�3'5/�2N3@M�=<KKeCx9�s�=*B�3<HR0�5��³M�3^5@J3'A�2�0tK8=>B*?�=<6�61=P6y-^K8-�Od=�HR=�O\K�=>J�0�5±-GJ 0�Bx=�H'-<2�R0d5��´zfA�5�MeJ 0�3^53"zÐs10��^s�=>246.0�B�=>5YK�0�3^5uC 9�s10IK�2=�/�2=<K�=>5@JU-"J�0�3^5D3<z\Js�=w=>HR3<OdHR0�5���M�3'51JN3^A�2�B�-"�R=<K�/�3RKK²0�?1O�=�JNs�=A�K�=£3<z\-<5y-'M>M�A�2{-"J=�-<5�6�K JU-<?1O�=w5@A�Bx=>2 0IM>->O�KMUs�=>Bx=Rh@61A�=8J3�� K s�=>2�-<5�6Â+�=>Js10I-<5:#%$'$"(�C\9�s�=2=eOt-<J 0�3^5�?�=>J���=�=>5�JNs�=8MÀOI-'KK�0IM>->O�K s�-</�=�zf23'B K�s�-^6.0�5��x/�2N3^?1O�=>B -"5�6xJs�=���=�0��^s@J=<6�6.0IK JU-<5�M�=J2{-"5�K²zf3^2NBÌ0IK�/�2N=<K =>5@J=P6}h�-^K���=eO¿OÐ-^K -"5�-PO��'3^2 0�JNs�B Js�-<J8M>->OtMeA1OI-"J=PK4JNs�=*¸@�N["Ã1�Nceaf·�6.0IK JU-<5�M�=J2{-"5�K²zf3^2NB 3^5�K A�2�z�-^M�=<KeC

N �U� �\[^µUÃ"c�³6.0IK J{-"5�Me=DJ2{-"5�K²zf3^2NBGKehF��=�0��^s@J=<6Ë6.0IK J{-"5�M�=�h�MeA�2HR=�=>HR3<OdA�J 0�3^5uh�6.0 �g=>2N=>51J�0I-PO�^=�3^Bx=>J2N�Rh�M�3'51J�0�51A�3'A�K�KM>->Od=�B�3'2/�s�3"O�3^�'�RC

Page 2: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� $

� � �&% �(� � ��� % ���"�

¦F0IK J{-"5�Me=�B�-"/�K�3'5±-G/10i¾�=�O�-"2N2U->�y/10IM�JNA�2=�-"2N=�A�K�A�-POiO�� 61= � 5�=P6y-^Kw6R0tKNM�2=�J=wzfA�5�MeJ 0�3^5�K82=>¤¥�=<MeJ 0�5��GJNs�=*BÎ0�510�B�-PO�½LA�MÀOi0I61=<-<5:6.0IK J{-"5�M�=x3"z�=<-'MÀsy/@0¿¾�=�OLzf2N3^B Js�=*?�3^A�5�6�-"2N�»/@0¿¾�=�OIK�hK�=>=# � h "! h p'p (²Cx7FO��^3'2 0�Js�B�KwJsY-"J�M>-POIM�A@Ot-<J=³K AYMÀs�BG-</�K�A�K AY-POiO��±3^/�=>2{-"J=�3^5 K =>�'B�=>5@J=P6Â3'?�¤�=<M�J{K�ha²Wt�>W¼ÏL3'? �=<M�J{KFJNs�-"J8s�->HR=w?�=>=�5yJ2U-<5�K�zf3'2Bx=<6´0�51JN3³-�?10�5�-"2N�y/10IM�JA�2=RC�Á�5yJs�=*/�23@M�=PKK3"z�B�-"/�/10�5��xJs�=wK�s�-"/�=80d5@J3 � «Ês@0dJN= � 0d5@J=�2 0�3^2 -"5�6 � ­ÆOI-^MU� � =�¾�JN=>2 0�3'2�/10i¾�=�OIKehY0�51zf3'2B�-"J 0�3'5JsY-"JwB�->�»?�=³M�2NA�MÀ0I-PO�hL0¿z ��= 61=<K�0�2N=´JN3y=<K J{-"?1Oi0IK s -"5Ë-^M�M�A�2U-<J=�6R0tK�JU-<5�M�=�BG-</uhL0tKwAYK A�->O¿O��O�3RK�J>C

7 6.0IK J{-"5�M�=�B�-"/�BG->�,?�=yzf3^A�5Y6���0�Js Js�=ys�=eOd/�3"zÎ-±/�23'/�-"��-"J 0�5���=<°RA�-PO£6.0IK JU-<5�M�=M�3'51JN3^A�2�h.3'2���-PHR=�zf23'51J�hR��s10IMÀs�K�JU-<2JUKLzf23'B¡JNs�=�?�3'A�5�6�-<2��-<5�6�/�2N3^/�-<�R-"JN=<K�0d5@��-<2U6�K j 0�5@J3Js�=wK�s�-"/�= k ��0dJNs�-ÎA�510�J�HR=�O�3@MÀ0�J��RC�9�s�=8Bx3"HR0�5��G��-PHR=�zf2N3^5@J�-'KK�0��'5�K�Js�=�6.0IK J{-"5�Me=*J3x=<-^MUs/10i¾�=�O¨-^KÆ0�J�/�-'KK�=<K�Js�2N3^A��'sG0dJ�C�+R=>=�zf3'2�=�¾Y-"Bx/1O�=x# $1h@m^(²hR��s�=>2N=�Js�=�=<°RA�->O6.0IK J{-"5�Me=8M�3^5@J3'A�20IKF2N=�zf=>2N2=<6�JN3x-^K�Js�=�zf2N3^5@J�3<zLJNs�=�¥g-"Bx=�0d5³Js�=�_gµ{�^atµ�a²��� �е��LBx3@61=�O�C

Á�5y# $^$^(u+R=>JNs10I-"5³-"5�6D� K s�=>2�s�->HR= K s�3<��5�JsY-"J�?@�xM�3^5�K²0I61=>2 0�5��xJs�=�=>HR3"O�HR0�5��xM�A�2NHR=�-^K�-O�=>HR=�OgK�=>J\3"z�-�s10��^s�=>2�6.0�Bx=>5�K²0d3'5�-POuzfA�5�M�J 0�3'5GJs�-<J�/�2N3^/�-<�R-<J=<K�-'M>M�3^2{6.0�5��wJN3*-8��=�OiOiQ@61= � 5�=<62A@Od=�h�J3^/�3<Od3'�"0�M>-PO�MUs�-"5��'=<K�-"5�6D5@A�Bx=>2 0IM>->O/�23'?1O�=>BGK�-"2N=£0�5�s�=�2=>5@J O��³K 3<OdHR=P6}C�«»=8/�2N3^/�3RK�=J3xMe3^5�K�J2AYM�J�-<5³-^M>M�A�2U-"JN=�-"5�6�=�E�MU0d=�51J�6.0IK JU-<5�M�=�BG-</y-PO��'3^2 0�JNs�B ?�-'K =<6�3^5�Js@0tK�0t6@=<-1C

9�s�=�/�23'?1O�=>B¡3<z � 5�6.0�5��*JNs�=86.0IK�JU-"5YM�=�?�=<M�3'B�=<KLBx3^2N=�0�51JN=>2=<K�J 0�5�����s�=>5�M�3'5�K�0I61=�2 0�5��x-6.0 �g=>2=�51J�M�3RK�JL3^2��=e0d�'s1J�J3�=<-'MÀs�/�3"0�51J0d5*JNs�=�6@3^B�-P0�5uC\9�s10IK;O�=<-^6�KJ3�JNs�=Æ0I61=<-�3"zg��=�0��'s1JN=<66.0IK J{-"5�Me=�J2U-<5�K�zf3'2B�K�C«»=�K s�->O¿O K s�3<�:Js�-<JLJs�=���=e0d�'s1JN=<6w6R0tK�JU-<5�M�=�J2{-"5�K²zf3^2NB�B�-P�8?�=�AYK =<6J3xK�3"O�HR=wJNs�=�MÀOI-^KNK�0IM>-POÆK s�-</ =8zf23'BÈK s�-'6.0�5��G/�2N3^?1O�=>BÈ��s�=�2=83^5�= 61=<K²0d2N=<K�J3x2=PM�3^5�K�J2NA�M�J�-Js�2=>=x6.0�Bx=>5�K²0d3'5�-PO�3^? �=<MeJ�zf23'BÌ0�JUK8�^2U->�DO�=>HR=�O0�BG-<�^=RC�v\3^5�K²0I61=>2 0�5��y3'Js�=�2£Bx=>JN2 0IM>K�JNs�-"5Js�=w½LA�MUO¿0I61=P-"5DBx=>JN2 0IM^h10�51JN23@61AYM�=<K�Js�=�M�3'51J�0d5@A�3'A�K�KNM>-PO�=�B�3'2/�s�3<O�3^�^��h\# p (²CLÁ�5 #%$ ! (}0�J���-^KK s�3"��5³Js�-<J�B�3'2/�s�3"O�3^�<0tM�-PO�3^/�=>2{-"J 0�3'5�K�-"J�-<51���<0dHR=�5DKNM>-PO�=�BG->�x? =�/�=>2 zf3'2Bx=<6GH.0I-xM�A�2HR==>HR3<OdA�J 0�3^5uh�JNs�= � K JN2A�MeJA�2�0d5��*=�O�=>B�=�51J �.3<zJs�= B�3'2/�s�3<O�3^�"0IM>->OL3'/�=>2U-<J 0�3^5³? =e0d5��x61=>J=�2B*0d5�=<6?@��JNs�=8B�=>JN2 0IM^C

9;-<�.0�5���3 �Ëzf23'B /1OI-"5�=PKÎJN3�K A�2�z�-^M�=<KehL��=�K�=<-"2{MÀs±zf3'2x6.0IK JU-<5�M�=�J2{-"5�K²zf3^2NB 3"z4-D�"0�HR=>5-"2N=<-w3^5³-*�"0�HR=>5³K A�2 z�-^Me=Rh# $"(²C�v�->OIM�A1OI-"J�0d5��GJs10IK�¸1�N[<Ã1�ceaf·�6R0tK�JU-<5�M�=8BG-</´0IK�/�=>2 zf3'2Bx=<6G?1�-"5�=<°RA�->O�6.0IK JU-<5�M�= M�A�2HR= /�23'/�-"��-"J 0�5���3'5DJs�=£�<0�HR=>5�Js�2N=>=�6.0�B�=>5YK�0�3^5�->O\K�A�2 z�-'M�=RC

9�s�= K 3"O�A�J�0�3^5�KyJ3Ë-POiO Js�= -"?�3<HR=»/�23^?@Od=�BGK�BG->�Ê?�=±-'MÀs@0d=�HR=<6�?@�Ê2=ezf=>22�0d5��¢JN3,JNs�=� K s�=�2 Q�+�=>Js10I-<5,->O��^3^2�0�Js�B zf3^2�/�23'/�-"��-"J�0d5��»JNs�=G=<°RA�-POF6.0IK J{-"5�M�= M�3^5@J3'A�2>hL3'2w?@�±K�3"O�H.0�5��-D® -"B*0¿O�JN3^5,q@-'M�3^?@0�J �@/�=G3"z =<°RA�-"J�0�3^5:Js�-<J*BÎ0�510�B*0�É>=<KwJs�=D6R0 �g=>2N=>5�M�=�? =�J ��=>=>5:-��"0�HR=>5zfA�5�MeJ 0�3^5G�'2U-'6.0�=>51J�-"5�6xJs�=��^2{-^6.0�=>5@J�3<zJs�= 61=<K²0d2N=<6GK�3"O�A�J 0�3'5uC�9���38�'3R3@6´=�¾Y-"Bx/1O�=<KL3"zJNs�=OI-^K�J�-</�/�23�-^MUsy-<2=8Js�=8HR0IKM�3�K�0�J��DK�3"O�A�J�0d3'5�K�J3*JNs�=�K s�-</ =8zf23'BÈK s�-'6.0�5��G/�2N3^?1O�=>B # $ � h &"(�h-"5Y6 # p1 ( ��s�=>2=�K�A�MUs�-Âzf3^2NB*A1OI-"J 0�3'5 0IK´A�K�=<6,J3 � 5�6,JNs�=�6.0IK J{-"5�Me=»B�-"/ -^KG/�-<2J�3"z -5@A�B�=�2 0IM>-POb-PO��^3'2 0�Js�B Js�-<J�K²0dB*A@Ot-<J=<K�0�5�M�3'B�/�2N=<KK²0�?1O�=*J ��3"Q�/�s�-^K�=£¥�3<�8hgK =>=�->OtK�3�# n^(�CÆ«�=K sY-POiO\K�JA�6@�GJs�=82N=�OI-"J 0�3'5y? =�J ��=>=>5GJNs�=8J���3x-"/�/�23�-^MUs�=<K�C

9�s10IK;/�-</ =�2Æ/�2=<K�=>51J{K;-�5�=>�±zf2U-<B�=>��3^2N�4zf3'2\M>->OtMeA1OI-"J 0�5���->O¿OgJNs�=�-<? 3<HR=�61= � 5�=<6�6.0IK JU-<5�M�=B�-"/�KeC´Á�5:+R=<M�J�0d3'5Ë$1h;JNs�=G/�2N3^/�-<�R-<J 0�3^5Ë2A1O�=�3"z -�/1OI-"5�-<2xM�A�2HR=x=>HR3<OdHR0�5��D��0�JNs,Me3^5�K�JU-"5@JHR=�O�3@MÀ0�J��y->Od3'5��´0�J{K£5�3'2B�-POL0IK40�5@J2N3@61A�M�=<6gh;-'K���=�OiO�-^K�Js�=wOd=�HR=�O�K =�J�zf3^2NB*A1OI-"J 0�3'5»zf3^28JsY-"JK�0�Bx/1O�=�/�2N3^/�-<�R-"J�0�3^5y2A@Od=�C�+R=<M�J�0d3'5 p 0�5@J2N3@61A�M�=<K�-�M�3RK�JÆzfA�5YM�J 0�3^5�3<HR=>2\Js�=�/1OI-<5�-"2�613'BG->0�5

Page 3: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� p

-"5Y6GK JNA�6.0�=<KÆJNs�=�2=�OI-"J�0�3^5�3"zJNs�=���=e0d�'s1JN=<6x6.0IK JU-<5�M�=�JN2U-<5�K�zf3'2B -"5�6�JNs�=8K�s�-"/�=�zf2N3^BÍK sY-^61¤0�5��G/�2N3^?1O�=>B³C�Á�5»+R=PM�J 0�3^5yn�h}Js�=xM�3^5@J 0�5@A�3^A�K KM>->Od=*Bx3^2N/�s�3<Od3'�^��H.0I-ÎO�=>HR=eO�K =>J{KF0IK�A�K =P6DJ3-^MUs10�=>HR=*JNs�=x6.0IK J{-"5�M�=�BG-</�K�zf3^2�-"5@�y�"0�HR=>5�B�=�J2 0IM^C�Á 5:+R=<MeJ 0�3^5 m1hu/�2N3^/�-<�R-"J�0�3^5,3<z�=<°RA�->O6.0IK J{-"5�Me=�M�3^5@J3'A�2UK;3'5xK A�2�z�-^M�=PK¨0IKLA�K =P6£J34M>-POIM�A1OI-<J=�Js�=�¸1�N[<Ã1�ceaf·L6.0IK J{-"5�M�=�B�-"/¨CL9���3 / 3�K ¤K�0�?1O�= -"/�/1Oi0IM>-<J 0�3^5�K�-"2N=£�<0�HR=>5´0�5»+�=<M�J 0�3'5 � h1zf3<OiOd3<��=<6D?1��K 3'B�=�=�¾Y-"Bx/1O�=<K�h�-<5�6DM�3'5�MÀO�A�6.0�5��2=�BG-<2��KÐ0�5»+R=PM�J 0�3^5 ! C

Á�5¢JNs�=D5�=�¾�JxK�=<M�J�0d3'5,��=yK J{-"2NJ�?@�:M�3'5�K�0I61=>2�0�5��:Js�=�=>HR3<OdA�J 0�3^5Ê=<°RA�-<J 0�3^5Ê3<z�-Â/@Ot-<5�-"2M�A�2NHR=�/�23'/�-"��-"J 0�5��Ê��0�JNs�M�3^5�K�JU-<51J�HR=�O�3@MÀ0�J��Ë-PO�3^5��:0�JUK�5�3'2B�-PO�6R0d2N=<M�J�0d3'5uC¯9�s10IK´K²0�B�/1O�=/1OI-"5Y-"2�M�-^K =�0IK\2=�zf3'2B*A1OI-"JN=<6wJ38JNs�=�=�HR3"O�A�J 0�3'5G3"z¨-"5x0dBx/1Oi0IMÀ0�J�2N=>/�2=PK =>5@JU-<J 0�3^5x3"z¨Js�=�M�A�2HR=RC9�s�=*5�=�� 0�Bx/1Oi0IMÀ0�J4zf3'2B*A1OI-<J 0�3^5 j Js�=*s�=<-"2NJ�3"z�Js�=x��K�s�=>2�Q�+R=>JNs10I-"5:->O��^3^2�0�Js�B³hLM>->OiOd=P6ÂJNs�=Å�| ���Uµ�af�^T»zf3'2B*A1OI-<J 0�3^5 k =>5�-"?@Od=PK�A�K�JN3Â0�Bx/1O�=>B�=�51J�-"5Ê=�E MÀ0�=>5@J*51A�B�=>2�0IM>-PO KNMÀs�=�B�=�JsY-"J-"/�/�23>¾@0dB�-"JN=<KwJs�=G=>HR3"O�A�J�0�3^5:=<°RA�-"J�0d3'5,3'5,-�/10i¾�=eO��^2�0I6}C±­���J2{-^MU�.0�5��yJNs�=G/�2N3^/�-<�R-"J�0�5��M�A�2NHR=�3^5�JNs�=8�^2 0I6}h�Js�=w½LA�MUO¿0I61=P-"5�6.0IK J{-"5�Me=wJ2{-"5�K²zf3^2NB 0IK�-^MUs10�=>HR=<6}C

� ��� � � � � � �3� �� � � � � � � ��� � � � � � � ��� $� � � � �

v\3^5YK�0I61=>2�Js�=�/�23^/Y-"�R-<J 0�5��x/1OI-"5�-<2�M�A�2NHR=!& j 0�� � k\l # � � � ( # � ���4k � Á ª � h@=>HR3"O�HR0d5��*-^M�M�3^2{61¤0�5��xJ3*Js�=£/�23^/Y-"�R-<J 0�3^5�2A@Od=

& � j 0 � � k � �* j 0�k ���s�=>2N= 0 /Y-"2U-<B�=�J=>2�0dÉ�=<KFJNs�=*MeA�2HR=Rh � 0IK�Js�=wJ 0�Bx= j ��s10IMÀsy2N=>/�2=PK =>5@JUK�JNs�=x6.0IK J{-"5�M�=w0�5yJNs�=K�0�Bx/1O�=*M�3'5�K J{-"5@J�HR=�O�3@MÀ0�J��DM�-^K =�h k -<5�6 �* j 0�k 0IK�Js�=8/1OI-"5Y-"2�A�5@0dJ�5�3'2B�-POJ3 & j 0 � � k -"J 0 C

9�s�=\=>HR3"O�A�J�0�3^5w/�23@M�=<KNKb�'=>5�=>2{-"JN=<KbJNs�=\/�23'/�-"��-"J�0d5��4z�-<BÎ0iO��83"zYK�0�Bx/1O�=�-"5Y6wMÀO�3RK�=<6£/@Ot-<5�-"2M�A�2NHR=<K�� j � k ��s10IMUsD2=�/�2=<K�=>5@J�Js�=£JN2U-'M�=<K�3"z�& j 0�� � k h

� j � k �"!Rj�� �� k�> & j 0�� � k�# j�����k3> Á ª � % @½LB*?�=<6�6.0�5��*JNs�=<K = /1OI-"5�-<2�M�A�2HR=<K\-^K�É�=>238Od=�HR=�OK�=>JUK\3"zÐ-wJ 0�B�= H^-<2�R0�5��*Js�2N=>=86.0�Bx=>5�K²0d3'5�-POzfA�5�MeJ 0�3^5 � j������ � k�l Á ª � # � ���4k � Á ª h�B�=P-"5�K�JNs�-"J���=82=P°.A10�2N=�Js�=�zf3<O¿O�3<��0�5�� #%$'$^( l

� � � j������U�.k � � 0tK�-"5�0�B�/1Oi0IMÀ0�J�2N=>/�2=PK =>5@JU-<J 0�3^5�3"z�� j��Rk C� � � j������U�.k 0IKÆK�B�3R3'JsuhR/�3RK²0�J 0�HR=�0�5�JNs�=�0�51JN=>2 0�3'2�-<5�6w5�=>��-"J�0dHR=�0�5�JNs�=�=�¾�J=>2�0�3^2L3<z� j��Rk C� � � j������ � k ��� /�23<H.0I61=PK� j � k C7�/�/@Od�R0�5��xJs�=�MUs�-P0�5D2NA1O�=83^5DJNs�=�OI-^K J�2=P°.A10�2N=>B�=�51J��.0�=�OI6�K

� � / � � � � � ��� @9�s�=�/1OI-"5�-<2�5�3^2NBG->OLJN3�=P-^MUs´O�=>HR=�O�K�=>J�0IK��"0�HR=>5³?1� �* � � �� � � �

C�§�K²0d5��GJs�=�M�3'5�K J{-"5@J j A�510�J k/�2N3^/�-<�R-"J�0�3^5�HR=�O�3@MÀ0�J � M�3^5�K�J2{-P0�51J & � j 0�� � k�� �* � h���=�M>-"5³��2 0�J=

� � � � �� � � �

� @

Page 4: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� n

9�s�=>2N=�zf3^2N=Rh�-<5D=>HR3<O�A�J 0�3^5³2A1O�=��"0�HR=>5�?1�

� � � � � � � � �Bx=>=>JUK\Js�=�61=PK�0�2=<6�2=<°RA10�2=�B�=>5@JUKeC«,0�Js�3'A�J³-"5@�¢/�2 0�3^2³K =��^Bx=>51J{-"J�0d3'5Ê3^2G=P61�^=�61=>J=PM�J 0�3^5Ê/�23@M�=<6@A�2=<Keh�Od=�J � j�� �� �U�Rk %�Îj���� k � � h<��s�=>2N= �*j�����k 0IK\Js�=��^2{-P�wO�=>HR=eO�/10IM�JA�2=Rh�-"5�6 � 0IKÆJs�=�JNs�2=<K�s�3"OI6�K =�/�-"2{-"J 0�5��

Js�=�3^? �=<MeJ�zf23^B Js�=�?Y-^MU�1�'23^A�5�6}hgK =>=x# m^( j�� B�->�G->OtK�3G?�=�-^6�-</�J 0�HR=Rh�K�=>=��>W ¸1W�# p n^( k CL«�==<K�JU-"?@O¿0IK�syJs�=�zf3"OiO�3<��0�5��³6.0IK JU-<5�M�=�J2U-<5�K�zf3'2BÈ->O��^3^2�0�Js�B

Á�510�J 0I->O¿0�É>= � j�� �� �U�Rk � �*j�����k���� h�K =�=w->OIK 3�# m"(�C$,�L23'/�-"��-"JN= � -^M>Me3^2U6R0d5��GJ3 � � � � � � � � h�A�K²0�5��³-GK J{-"?1O�=x-"5Y6y-^M>M�A�2U-"JN=w5@A�Bx=>2 0IM>->O->Od�'3^2�0dJNs�B j -^K�/�23<HR0I61=<6G?1�³��K�s�=>2�-<5�6Â+R=�Js10I-"5�0�5:#%$'$"( k Cp §�K²0�5��:-y2=<M�J{-"5��'A1OI-"2��^2�0I6Ê-"/�/�2N3>¾10�B�-"J 0�3'5 j Js�=³/10i¾�=�OiQ��^2 0I6 k h�-<JG=<-^MUs,�'2 0I6,/�3"0�5@J lv\s�=PMÀ�*��s�=�Js�=>2�Js�= É>=>238O�=>HR=�OK�=>J�sY-^K�/�-'KK =P6 JNs�23'A��^s³Js�= �^2 0I6G/�3"0�5@J>C�7�KK²0d�'5DJNs�=/�2N3^/�=>2�6.0IK�JU-"5YM�=wJN3�JNs�=8/ 3<0�51J�0izL0�J�613R=PK�h�A�K²0d5���-�K²0�B�/1O�=8O¿0�5�=P-"2�0d5@J=�2/�3"OI-"J�0�3^5uC

9�s10IKb0IKL-�M�3^5�Me=>/�JAY-POiO��*K�0�Bx/1O�=�-PO��^3'2 0�Js�BrJs�-<JLM>->OIM�A1OI-"JN=<K;Js�=�6.0IK J{-"5�Me=�BG-</w��0�JsxK�A�?1Q/10i¾�=�O�-^M�M�A�2U-'M��RC8Á�J8M>-"5 -POIK�3yK 3<O�HR=�JNs�=xK 3'¤²M>->OiOd=P6¢cU���À_g�*[ ��c<�UVfVfatTR¸�/�2N3^?1O�=>B 0�5:v�7�¦whuK�=>=# m"(�C;9�s�=�-'M>M�A�2{-^M���0tKu�^3<HR=>2N5�=<6�?@��JNs�=\/10i¾�=�O@�'2 0I6w2=PK 3"O�A�J�0�3^5x-"5Y6£Js�=�6R0tK�JU-<5�M�= j J 0�Bx= k K JN=>/3"z�JNs�=*0dJN=>2U-<J 0�HR=G5@A�Bx=>2 0IM>->O�KNMÀs�=>B�=�C�«Ês�=>5 5�3^J M�3^5�K²0I61=>2 0�5�� -"5@�y/�3RKNK�0�?1O�=D2N=<61A�5�6�-"5�M���hJs�=*M>->OtMeA1OI-"J 0�3'5±=��g3^2NJ�0IK43<z�3^2U6@=>2 �8j��� ��� � * k h}��s�=>2N= � 0IK�Js�=�BG->¾10�B�-PO�6R0tK�JU-<5�M�=*zf23^BJs�=w?�3^A�5Y6�-"2N�y-"5Y6 � � * 0�5yJs�=�51A�B*?�=>2�3<z��^2 0I6D/�3"0�5@JUK�A�K�=<6´0�5yJs�=�51A�Bx=>2�0tM�-PO�KMUs�=>Bx=RC7 /�-<2U->O¿O�=�O�0dBx/1O�=>Bx=>5@JU-"J�0�3^5D2N=<61A�Me=<K�Js�=�M>->OIM�A1OI-"J�0d3'5�M�3^Bx/1O�=�¾@0�J ��J3 �£j �� � k C

� � � � � � � � � � �3� � � � �.� � � � � � �

Á�5*Js10IK�K�=<M�J 0�3'5���=�-<2�^A�=�Js�-<J�K�3"O�A�J 0�3'5�K�3"zJNs�=�MUOt-'KK²0tM�-PO �����À_}�u�eµ{[^] �����RÃ^atTR¸�/�23'?1O�=>B 0�5��s10IMUsGJs�= H.0�=>��=>2�-<5�6GJs�=�Oi0��^s@J K 3^A�2UM�=�sY-PHR= Js�=8KN-"Bx=�O�3@M>-"J�0�3^5�-"5Y6 JNs�=8K�A�2 z�-'M�=�2=e¥�=<M�J{KJs�=´Oi0��^s@J´��0�JNs�- � ©u-<B*? =�2J 0I-<5 � K�s�-^6.0�5��Ë2A1O�=Rh�K�=>=,�>W ¸@WÍ# n'(²h�->OtK�3ËK 3"O�HR=�-»/�23^?@Od=�B 3"z6.0IK J{-"5�Me=£JN2U-<5�K�zf3'2B�K���0dJNs³-w�"0�HR=>5GJN2U->HR=>2UKN-"?10iOi0�J��´B�-"/¨CL«»= � 2UK J�0�5@J2N3@61A�M�=�JNs�=8��=�0��'s1JN=<66.0IK J{-"5�Me=wJ2{-"5�K²zf3^2NB /�23'?1O�=>B³h}-<5�6GJs�=>5³/�2=PK =>5@J�JNs�=�-"/�/�2N3R-'MÀs�=PKFJN3Î0�JUK�K 3<O�A�J 0�3^5¨C

��� � I�� � � %JI �.� ! � � � ! � � � � ' %

v\3^5YK�0I61=>2�-£/�2N3^?1O�=>Br��s�=�2=���= K =<-<2UMUsÎzf3'2�-�/1OI-"5�-<2�/�-"JNs�zf23'BÍ-8K 3^A�2UM�=�JN3�-w61=<K�J 0�5�-<J 0�3^5uhK 3�JsY-"JGJNs�=³-^M>M�A�B*A1OI-"J 0�3'5 3<z�-Â/�=>5Y-PO�J��¢zfA�5�MeJ 0�3^5�->Od3'5��:Js�-<J�/Y-"Js,0IK*BÎ0�510�B�-PO�C 9�s@0tKB*0d5@0dB*0�É<-"J�0�3^5�/�23'?1O�=>B BG->��?�=x61= � 5�=<6D-'K zf3<OiOd3<��KeC*©}=>J � ��9 > Á ª � ?�=*JNs�=*�"0�HR=>5�K�3^A�2{M�=-"5Y6D61=<K�J 0�5�-<J 0�3^5�/�3"0�51J{K�hu-<5�6 �bj���� k�l Á ª � � Á ª ? = -Î�<0�HR=>5�M�3RK�JFzfA�5�M�J 0�3'5uC�9�s�=>5uh � 5�6Js�=£/@Ot-<5�-"2 M�A�2NHR= � � M�3^5�5�=<M�J 0�5�� � JN3 9 K 3xJs�-<J

# � � #;% ���bj���� k 9 � � � B*0�5� � � !�

��bj � j 0 kNk>9 0 �������

9 �9 0 �����

� % � j{ "k

Page 5: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� m

��s�=>2N= L�0IK�JNs�=yK�=>J�3<z -POiO8/1OI-"5Y-"2³M�A�2NHR=<K�� > Á ª � M�3^5�5�=<M�J 0�5�� � J3 9 h���0�Js�-<2UMÀO�=>5��'Js/�-<2U-"Bx=>JN=>2 0�É<-<J 0�3^5 0 C

9�s�=�2=eOt-<J 0�3^5x?�=>J���=>=�5wJs�=���=�0��^s@J=P6*6.0IK JU-<5�M�=�J2{-"5�K²zf3^2BÍ-<5�6wJs�=�K s�-'6.0�5��£zf2N3^BrK�s�-"/�=3^2�M�3'51JN3^A�2{KÎzf23'B K sY-^6.0�5��:��-'KG61=<->O�JG��0�JsÊ0d5¯# p $@h�$'m^(²C 9�s�=D/�2N3^?1O�=>B 3"z � 5�6.0�5��:JNs�=��=e0d�'s1JN=<6Ê6.0IK J{-"5�Me=»B�->�,?�=±K�s�3<��5 JN3:? =�=<°RA10�H'-PO�=>5@J´JN3:Js�=���=�OiO8�@5�3<��5 �����À_g�£�eµ{[^]�����RÃ^atTR¸w/�23^?@Od=�BÌ0�5±v\3^Bx/�A�JN=>2�¬�0tK²0�3^5uh 0�5yJNs�=xK�0�Bx/1O�=xM>-^K�=w��s�=>2N=wJNs�=£Oi0��^s@J�K 3^A�2UM�= -"5�6HR0d=���=>2�s�->HR=�Js�=4K-"Bx=�6.0�2=<MeJ 0�3^5uC\Á�5GJs�=£2N=<M�=>5@J\�R=<-"2{K�H'-"2 0�3'A�K�K�3"O�A�J�0d3'5�K�JN3�JNs10IK�/�23'?1O�=>B��=�2=8/�23'/�3RK =P6,# h ! hg&�h o h �� h}$ p h}$<n�h}$ � (²C�Á�5:# n�h ' h �p (L-�K 3"O�A�J�0�3^5�J3GJNs�=*K�s�-"/�=*zf23^BK sY-^6.0�5��³/�23'?1O�=>B H.0I-GOd=�HR=�O\K�=>JUK�0IK861=<KNM�2 0�?�=<6}Cx�D3^J�0�H^-<J=<6�?1�³Js10IK���3'2�ghb��=*/�23'/�3RK =�J3K�0�B*0iOt-<2 O��yK�3"O�HR=wJNs�=8��=�0��'s1JN=<6D6.0IK�JU-"5YM�=wJN2U-"5YK�zf3^2NBÈ/�23'?1O�=>B -"5�6³-POIK 3GJN3 � 5�6´JNs�=8/�-"JNsD3"zB*0d5@0dB�-PO�Me3RK J�zf23'B � JN3 9 C

7�K�- � 2UK�J�K�J=>/y/�23^/Y-"�R-<J=x-<5y=<°.AY-POÐM�3RK�J�M�3'51JN3^A�2 j =<°RA�-PO�s�=�0��'s1J8Me3^5@J3^A�2UK�-^M>M�3'2U6.0�5��J3³# n^( k Js�-<J�3'? =���K�JNs�=8/1OI-"5�-<28M�A�2NHR=�=>HR3"O�A�J�0�3^5D2NA1O�=

� &� � � �uj�����k �* @

®�=>2N= �* 0tK�Js�=£A�510�J�5�3^2NBG->OJ3xJs�= M�A�2NHR=Rh�-<5�6´JNs�=�0d5@0dJ�0I-PO�M�A�2HR=�0IKF�<0dHR=�5y-^K�-*HR=>2��K B�-POiOM�3'51JN3^A�2x-<23^A�5�6±Js�=³K 3'A�2UMe=´/�3<0d5@J)& j��.k � &��<C ��3^2NB*A1OI-"J 0�5�� Js10IKw=>HR3<OdA�J 0�3^5:0d5:JNs�=³K 3M>->O¿O�=<6³½LA1O�=>2 0I-"5y2N=>/�2N=<K =>5@JU-<J 0�3^5¨h�K =>=�# p'� (�h1�R0d=eOt6�KFJNs�=�Od=�HR=�OK�=>J�=�HR3"O�A�J 0�3'5DHR=>2{K�0�3^5

��� �� � � � �� � 6 8 7���� � � �� j��Rk � � � �

K =�=*# >p (�zf3'2�Js�=�5@A�Bx=>2 0IM>->O 0�Bx/1O�=>Bx=>51J{-"J�0d3'5uC\Á 5xJs�=�M>-'K =�3<zK�s�-"/�=�zf23'BÍK s�-'6.0�5���h �*j�����kQ�Js�=��^2U->�GO�=>HR=�O j K s�-'6.0�5�� k 0�BG-<�^=8Q�=<°RA�-POIK j A�5�61=>2�2=P-^K 3'5�-"?@Od=x-'KK�A�B�/�J 0�3^5�K k J3�M�3RK j � k h��s�=>2N= � 0IKLJs�=�-<5��"O�=�?�=>J���=>=>5wJNs�=�K A�2 z�-^Me=�5�3^2NBG->Ou-<5�6*Js�=�Oi0��^s@J�K 3^A�2UM�=�6.0�2N=<M�J 0�3'5uCÆ«Ês�=>5Js�=wHR0d=���0d5��y-"5Y6ÂJNs�=wOi0d�'s1J�K�3^A�2{M�=x6.0�2=<MeJ 0�3^5 -"2N=*Js�=xKN-"Bx=RhK =>= �b0��^A�2N= hbJNs�=w=�HR3"O�A�J 0�3'53"zÐ-"5³=<°RA�-POs�=e0d�'s1J�Me3^5@J3^A�2F0IK��"0�HR=>5�?1�

� &� � � Me3^J j � k �* �3^2

� &� � � �. �� � � �* �

K =�=�# n�h �p (uzf3^2�zfA�2Js�=>2�6@=>JU->0¿OIKeCÎ��?�K�=>2HR=8JsY-"J861= � 510�5���Js�= M�3RK�J�zfA�5�MeJ 0�3^5�-'KFzfA�5�M�J�0�3^5y3"z�Îj���� k J3x?�=

�uj�����k � J{-"5 j � k � 4 � � � j�����k�Îj�� �� k �

Page 6: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

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

ndt

a

a

dt cot(a)

�b0��^A�2= 'l ¦�=PKM�=>5Y6.0�5�� 9 � 0�5ws�=e0d�'s1J�h^Js�=�=<°RA�-PO�s�=�0��'s1J�M�3^5@J3'A�2\K�s�3^A1OI6w=>HR3<O�HR=�?@� 9 � � M�3^J j � k-PO�3'5���0�JUK�5�3^2NBG->O�6.0�2=<MeJ 0�3^5

Js�=\K s�-</�=Æzf23'B K sY-^6.0�5���/�23^?@Od=�B M�3"0�5�MU0t6@=<Kb��0�JNswJs�=LJs�=\/�2N3^?1O�=>B 3"z � 5Y6.0�5���JNs�=\��=�0��'s1JN=<66.0IK J{-"5�Me=wJ2{-"5�K²zf3^2NBDC

7�Kb0�J\/�23'/�-"��-"JN=<K�h@Js�=�=<°RA�->OgM�3RK�J\M�3'51JN3^A�2�-^KNK�0��^5YKÆJs�=�/�23'/ =�2ÆJ�0�B�=�J3�=P-^MUs*�^2 0I6*/�3"0�51J0�J;JN3^A�MUs�=<KeCL9�s�=�J 0�Bx=�-^KNK�0��^5�=<6wJ3�=�HR=>2���^2�0t6w/�3<0d5@JLJNs�=>2=ezf3^2=�M�3^2N2=<K�/�3^5�6�KJ3�Js�=�BÎ0�510�B�-POM�3�K J£0�J*J{-"�R=<K8J3D2N=<-^MUs±JNs�-"J*/�3"0�5@J j B*0�510�BG->O�s�=�0��^s@Jw0�5¢JNs�=�K�s�-"/�=Gzf23'B K�s�-^6.0�5�� M>-'K = k C¦�= � 5�= � � j�����k -"5�6 ��� j���� k JN3D?�=�JNs�=G��=�0��^s@J=<6�6.0IK J{-"5�M�=�B�-"/�K�zf2N3^B Js�=�K 3'A�2UM�= -"5�661=<K�J 0�5�-<J 0�3^5�/�3"0�51J{K�h}2N=<K /�=<MeJ 0�HR=�O��RC�«�=*M>-<5D/�2N3@M�=>=<6³-"5�6yK�=<-"2{MÀs�zf3^2�Js�=�BÎ0�510�B�-POO�=>HR=�O3"zJs�=FzfA�5YM�J 0�3^5 � � j�����k8/ � � j���� k hR��s�=>2= � � j�� �� k 0IK�Js�=4-^M>M�A�B*A1OI-"J=P6GM�3RK�J�-<J�/�3"0�5@J j�����k��s�=>5³K�JU-"2NJ 0�5���zf2N3^B � C\9�s10IK�BG->�G?�=8zf3^2B�-POiO���2=>/�2=<K�=>51JN=<6�?@�

� � �"!Rj�� �� k$# � � j�����k / � � j�����k � 0�51z� 6 8 7�� ! � � j�����k�/ � � j�����k,% % @

9�s10IK���->�x3"z3^?�JU-P0�510�5���Js�=�/Y-"JsYK�3"z�BÎ0�510�B�-POMe3RK J�B�->�xK =>2NHR=�-'K�-*K�0�Bx/1O�=w-<5�6�6.0�2=<MeJ-"/�/�23�-^MUs´zf3^2�K�3"O�HR0d5��GBG-<51��=>5�=>2N�^�G3'2�M�3RK�J�B*0�510�BÎ0�É<-<J 0�3^5y/�2N3^?1O�=>B�K�C

v\3^5�K²0I61=>2 0�5��³Js�=*/�23^?@Od=�B 0d5���s10IMUs»JNs�=xM�3RK�J�zfA�5�MeJ 0�3^5»0IK8-�JN2U->HR=>2UKN-"?10iOi0�J��yBG-</uh-"5�6Js�=�0�510�J 0I-POÐK 3'A�2UM�=�0tK�-<5³-"2=P-w2U-"JNs�=>2�Js�-<5D-8/�3"0�51J�h ��=8-"2N=�O�=<6�JN3*Js�= � ��=�0��'s1JN=<6�6.0IK JU-<5�M�=J2{-"5�K²zf3^2NB � /�23^?@Od=�BDCÁ 5�Js10IKL/�2N3^?1O�=>B -�M�3�K J;0IKL-'KK²0d�'5�=<6*J3�=P-^MUsw/�3"0�5@J;0�5�JNs�=�M�3'51J�0�51A�3'A�K613'BG->0d5 j Js�=�/�=>5�->O�J �wzfA�5�M�J 0�3'5 k h�-"5�6�JN2U->HR=�Oi0�5��£zf2N3^BrJNs�=�K�3^A�2{M�= -"2=P-4JN3*-<51�*/�3"0�5@JÆ0�5GJNs�=613'BG->0d5�K s�3'A1OI6y-^M>MeA�B*A1OI-"JN=£JNs�=�O�=<-^K�J�/�3RKNK�0�?1O�=xM�3�K J>C

«»=8s�->HR=�K s�3"��5D0�5Ë# >p (-�K 3"O�A�J�0�3^5�J3xJs�= K s�-</ =8zf23'B K�s�-^6R0d5��´/�23^?@Od=�BDh���s10IMÀs�-POIK 3-"/�/1Oi0d=PKb0�5wJs@0tKM>-'K =RC7�5�3'Js�=�2L-</�/�23�-^MUswJN3�JNs10IKb/�2N3^?1O�=>B ��-^Ku2=<M�=�51J�Od��/�2N=<K =>5@J=P64?@� ª 3'A��-"5Y6G9b3'A�2 0�5�0�5�# $ � (�CL9�s�=>�*/�23^/�3�K =8J3 M�3^5�K²0I61=>2�JNs�= � ®�-<BÎ0iO�J3'510I-"5 � 3"zJNs10IKÆB*0d5@0dB*0�É<-"J�0�3^5/�2N3^?1O�=>B

�yj� � j�����kk�� # � � j�����k�# ���bj�� �� k �

Page 7: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� !

-"5Y6 /�2=<K�=>51Jx-DHR0IKM�3�K�0�J��ËK 3"O�A�J�0�3^5ÊJ3D0�Jx��s10IMÀs±0IKw0dBx/1O�=>Bx=>5@J=<6»=e0dJNs�=>2*HR0I-»-D5@A�Bx=>2 0IM>->OKMUs�=>Bx=w?Y-^K =P6»3^5,� K�s�=>2�-"5�6 ª A�6R0d5�#%$ � (²h3^28H.0I-³-DK�0�Bx/1O�=Rh;?�A�J£O�3^5��^=>2�/�23@M�=P61A�2=xJsY-"J=>HR3<OdHR=PKÆJs�=w6R0tKNM�2=�J 0�É<-"J�0�3^5y3"zÐJs�=�zf3"OiO�3<��0�5��³�Ʀ ½ l

� � ���Âj�� � j�����kk�@Á�5*Js�=�K�s�-"/�=�zf23'BÍK s�-'6.0�5��w/�2N3^?1O�=>B �yj� � j�� �� kNk � # � � j�����k�# � JU-<5 j � k hR��s�=>2= � 0tKLJNs�=2=PM�3^5�K�J2NA�M�J=P6�K�A�2 z�-'M�=8-"5Y6 J{-"5 j � k 0IK�JNs�=8M�3�K J�zfA�5�MeJ 0�3^5³61=>/�=>5Y61=>5@J�3^5�Js�=��'2U->��O�=>HR=�OIK�-^K?�=�zf3^2N=RC\9�s10IKFzf3'2B*A1OI-"J�0�3^5y=�¾�/1OI-P0�5�K�Js�=82N=�OI-"J 0�3'5y? =�J ��=>=>5�Js�=£J���3x-"/�/�2N3R-'MÀs�=PK�C\Á 5�=<°RA�->Os�=�0��'s1J\Me3^5@J3^A�2;=>HR3<O�A�J 0�3^5¨h.JNs�=�O�3@M>-POY/�23'/�-"��-"J 0�3'5´HR=eOd3@MU0dJ��83"zgJNs�=�M�A�2NHR=Ð0IK;/�23^/�3'2J 0�3'5�-PO¨J3M�3'J j � k h�a²Wt�>W¼Ï���s�=>5GJs�=��'2U-^6R0d=�51J�3"zJs�=�2N=<M�3^5YK J2NA�M�JN=<6�K�s�-"/�=�0IK\s10��^suh � �A�B�/@0d5�� �^zf23'Br3^5�==<°RA�-POs�=�0��^s@J8M�3^5@J3'A�2�J3GJNs�=w5�=e¾�J�0�5@HR3"O�HR=<K�K�BG->O¿OÐK JN=>/�KeCFÁ�5³Js�=�BÎ0�510�B*0dÉP-"J 0�3'5±/�23'?1O�=>B³h��=�J2�:JN3yB�[email protected]� � h�K�3»JNs�-"JxJs�=´B�-"�'510�JA�6@=D3"z 0dJ{KÎ�'2U-'6.0�=>51Jx��0iOiO�-"�'2=>=���0�JsËJU-"5 j � k h-^K�3^?�J{-P0�5�=<6Dzf23'BÌJNs�=*K�s�-^6R0d5��´0�BG-<�^=RCw��?�K�=>2HR=8JNs�-"J�JNs�= � zfA�5�M�J�0d3'5D0�51JN23@61A�Me=<6�0�5yJNs�=½LA1O�=>2 0I-<5:-"/�/�23R-'MÀs±0IKw-<5:-"2N?10�J2{-"2�y0�510�J 0I-POi0�É>=<6Ë-"A1¾@0iOi0t-<2�±zfA�5�MeJ 0�3^5±AYK =<6Dzf3^2 -"5»0�Bx/1Oi0tMU0dJ2=�/�2=<K�=>5@JU-"J�0�3^5�3"z�Js�=8/�2N3^/�-<�R-<J 0�5��³M�A�2NHR=-&*h@��s10iOd= � 0IK�Js�=82=PM�3^5�K�J2NA�M�J=P6´K�A�2 z�-'M�=�0�JUK =eO¿z-"5Y6´B�-P� -POIK 3G?�=�2=�zf=>2N2=<6xJ3�-^K�Js�= � ��=�0��^s@J=<6³6.0IK J{-"5�M�=wzfA�5�M�J 0�3'5 � h � ��=�0��^s@J=<6³6.0IK JU-<5�M�=B�-"/ � 3'2 � ��=�0��^s@J=P6D6.0IK J{-"5�Me=wJ2{-"5�K²zf3^2NB � C��3^JN=\Js�-<J;JNs10IK;/�23@Me=<61A�2N=ÆB*0��^s@JL->OIK 38?�=ÆAYK =<68J3 K 3"O�HR=�Js�=�K�0�B�/@Od=�6.0IK J{-"5�M�=�J2{-"5�K²zf3^2B³h

��s�=>2N= �Âj�� � j�����kk�� # � � j���� k$# �, CLÁ�J�0tK�=P-^K ��J3xK =�=�Js�-<J�JNs�=8-<? 3<HR=��\¦�½L¤²K ��K JN=<-^61�RQK J{-"JN=Î0IK4zf3'2 # � � j�����k�# � ´j � � � �.k h��s10IMÀs -"�'2=>=PK£��0�Js±JNs�=x6.0IK J{-"5�Me=�zfA�5�M�J�0�3^5±��s�3�K =�^2{-^6.0�=>5@J;0IK -PO�B�3�K J\=>HR=>2N�1��s�=>2=RCgÁ 5³# p1 (�Js�=�6R0tK�JU-<5�M�=�0IK\M�3^Bx/�A�JN=<6£0�51��-"2U6x-"5Y6w3^A�J���-<2U6K�0�B*A1O�J{-"5�=>3'A�K�O��³?1�xB�3@6R0¿zf�R0�5��GJNs�=�-"?�3<HR=*�\¦�½¢JN3

� � ���\j � � kNjU ��"# � � #%k ���s�=>2N= �\j �ik 0tK�-xK Bx3R3^Js�=<6´HR=>2{K�0�3^5³3"zÐ-�K²0��^5´zfA�5�M�J 0�3'5uhÆ��W ¸1W

�\j � � k � � �4 � �� / � � @

9�s10IKL��->�8Js�=�É�=>23�O�=>HR=�OYK =>J�h^Js�-<J\K /�=<MU0 � =<KLJs�=�K s�-</ =�?�3^A�5Y6�-"2N�w0d5x3^A�2\M>-^K�=Rh"0IKL�R=>/�J � ¾�=<6��s10iO�=8Js�=�2N=<K J�Me3^5@HR=>2�'=<KÆJN3wJs�=£/�23^/�=>2�6R0tK�JU-<5�M�=�zf23'B Js�= ? 3'A�5�6�-<2�Rh�5�=>�R-<J 0�HR=�6.0IK JU-<5�M�=0�5�Js�=�0�51JN=>2 0�3'28-"5�6G/�3RK²0�J 0�HR=w0�5DJs�=£=e¾�JN=>2 0�3^2�3<zLJNs�=�K s�-</�=RC

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

©}=>J�A�K�M�3'5�K�0I61=�2�3^JNs�=>2�B�=>JN2 0IM>K�Js�-<5yJs�= K�0�Bx/1O�=x½ÐAYMÀOi0t6@=<-"5yBx=>J2�0IM^C�©}=>J � j�Rk ?�=*Js�=*K =�J3"z/�3<0d5@JUK�3<zA�510�J�6.0IK J{-"5�Me=�zf23'B¡JNs�=�3^2�0��"0�5 j�� �{�.k h�JNs�-"J\0IK�61=>J=�2B*0d5�=<6Î?@�x-w�"0�HR=>5�B�=>JN2 0IM^CÁ�5��b0��^A�2=*$ @ $@h�-"5 L��FBx=>J2�0IM£6@=>J=>2NBÎ0�5�=PKÆJs�=wK�=>J�3"z�/�3"0�5@JUK�3<z\- � A�510�J ��6.0IK�JU-"5YM�=£zf2N3^B JNs�=3^2�0��"0�5y-'K�-*6.0I-"Bx3^5�6�K sY-"/�=RC�9�s�=�6.0IK JU-<5�M�=�zfA�5�MeJ 0�3^5G0�B�/�3�K =<6G?@�G-w�<0dHR=�5´Bx=>JN2 0IM�B�-P�*?�=61=>JN=>2B*0�5�=<6�?@�G=>HR3<O�H.0�5��xJs�=8�<0dHR=�5DK�s�-"/�=�? 3'A�5�6�-<2����0�Js�- ceVfµ�|�·�Vf|1µeatTR¸D�����U]G�UT�VJs�-<JF0IK61=>JN=>2B*0�5�=<6�?@�GJNs�=�K =>J� j�Rk JNs�-"J�MUs�-<2U-^MeJ=>2�0dÉ�=<K�Js�=8�<0dHR=�5DBx=>J2�0tM'C

Page 8: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� &

r(O)

�b0��^A�2=�$ l 7rK JN2A�MeJA�2�0d5��D=�O�=>Bx=>5@JF0IK861= � 5�=<6Â?@�DJNs�= � A�510�JwK�/�s�=>2N= �}3<z�Js�=*�"0�HR=>5�B�=>JN2 0IM^CÁ�5�Js10IK�=�¾�-<B�/@Od=8JNs�=�6.0I-"Bx3^5�6G0tK�Js�=£A�510�J�K�/�s�=>2N=£3<z\Js�=£JNs�= L�����·�atVf� ��� ["·����8Bx=>J2�0tM'C

Á�J}B�-P��?�=�K s�3<��5uhRK�=>=�# $ ! (�h"JNs�-"JuJNs�=\-<? 3<HR=\3^/�=>2{-"J�0d3'5w0IKbJNs�=L2=PK A1O�J3"zbÃ^a �i�^V¹atT�¸ÆJs�=L�"0�HR=>5K sY-"/�=�?1��� j��.k C;Á�5w3'2U61=>2J3 � 5�6£JNs�=�K�=>J3"z�/�3"0�5@JUKL3"z 6.0IK JU-<5�M�= � zf2N3^B Js�=�?�3^A�5Y6�-"2N�w3"zgJNs�=3^2�0��"0�5�-POÆK s�-</ =�h}��=�M>-<5y6.0iOI-"JN=*Js�= K s�-</ =���0�Js�-xK J2NA�M�JNA�2 0�5��G=eOd=�B�=>5@J� j�Rk�� C�9�s�=*KN-"Bx=Bx3^2/�s�3"O�3^�<0IM>-PO 3^/�=>2{-"J 0�3'5ÊBG->��? =³-'MÀs10�=>HR=P6±-^K*-y�´0�5��R3<H�K �@�±-'6�6.0�J 0�3^5Ê?@� K A�M>Me=<KK²0dHR=eOd�-"/�/1O��.0�5��x-<5�0�5 � 510�J=PK�0�BG->O�K JN2A�M�JNA�2 0�5��*=eOd=�B�=>5@J��� j�Rk h@Js�=�51A�B*? =�2Æ3<z�K A�M�M�=<KK²0�HR=�6.0iOI-"J�0�3^53^/�=>2{-"J�0d3'5�K�?�=�0�5��G�"0�HR=>5³?1� � � �eC�Á 5³Js�= M�3^5@J 0�5@A�3^AYK�M>-^K�=8Js�= K J2NA�M�JNA�2 0�5��G=eOd=�B�=>5@J�B*A�K�J?�=DJ{-"�R=>5ËJ3±s�->HR=³-"5,0�5 � 510�J=<K²0dB�-PO�H'-PO�A�=�C���?YK =>2NHR=D-��"0�HR=>5,/�3<0d5@J�3^5ÊJNs�=D?�3^A�5�6�-"2N�Rh-"/�/1O��.0�5��yJNs�=�0�5 � 510�JN=<K�0�B�-PO 6.0iOI-"J�0d3'5,3'/ =�2U-"J�0�3^5¢0IK8Js�=�KN-"Bx=G-'K*K /1Oi0�JJ�0�5��»JNs�=x/ 3<0�51Jw0�5@J3B�-"5@�y/ 3<0�51J{K*-"5�6»Bx3<H.0�5��³3^2 � /�2N3^/�-<�R-"J�0�5�� � =P-^MUs»/�3"0�5@J*J3³Js�=x?�3^A�5�6�-"2� 61=>J=�2B*0d5�=<6?@�´JNs�=xK JN2A�MeJA�2�0d5��G=�O�=>Bx=>51J�C�9�s�=xKN-"Bx=*/�23@Me=<61A�2N=w0tK8M>-<22�0d=P6D3^A�J�zf3'2�=<-'MÀsy/�3"0�5@J�-PO�3^5��Js�=xM�A�2HR=�C���A�2�K =<-<2UMUsD0tK�-PzfJN=>2�Js�=�=>5@HR=�O�3^/�= j s1A1OiO k 3<z�->O¿O�JNs�=�=�HR3"O�HR=<6D/�3"0�5@JUK�C�9�s10IK40IK-*HR=>2UK²0d3'5D3<z\Js�=� �|@�>¸@�UT1c�_gµeatT�·�a%_&����zf3^2BÈ3'/�J 0IM>K*# $ o (²C�7 �15�3<��5³2=<K�A1O�JFzf2N3^BÈJs�=�Js�=�3^2�3"z�MeA�2HR=�=�HR3"O�A�J 0�3'5DK�JU-<J=<K�JNs�-"J�JNs�=�0dB�-"�'= j -POIK�3��@5�3<��5³-^K�J2{-^M�=�h13^2��^=>3'B�=�J2 0IM8K sY-"/�= k 3"zJs�=£=�HR3"O�H.0�5���M�A�2NHR=�B�-P��? =�61=�J=>2NBÎ0�5�=<6G?@��3'51O��yM�3'5�K�0I61=�2 0�5��GJNs�=85�3^2NBG->O�M�3^Bx/�3^5�=>5@J�3"zJs�=wHR=�O�3@MÀ0�J��³-"J�=<-'MÀs³/�3"0�51J�# $^&"(�C�§�K²0�5��GJs@0tK�z�-'M�J���=wB�->�D6@=>J=>2NBÎ0�5�=�3^51O��³Js�=*B�-P¾@0�BG->O/�2N3 �=<M�J�0d3'5±3"z�JNs�=�K�/1Oi0dJNJ 0�5���/�3"0�51J*3'5:Js�=G5�3^2B�-PO�h\-<5�6±Js�=>2N=>?@�D�^=�JwJs�=G=>HR3"O�A�J�0�3^5:2A1O�=JsY-"J�-"�'2=>=PKF��0�Js³Js�=�M�3'51J�0�51A�3'A�K�KM>->Od=�B�3'2/�s�3"O�3^�'�RC

��3^2B�-POiO��Rh@�"0�HR=>5GJNs�=�?�3'A�5�6�-<2�G3<z-wK�s�-"/�= &�� j��^k hRJs�= 2=<K�A1O�J�3"zb6.0iOI-"J 0�5���Js�= K s�-</�=�?1�� j�Rk�� 0IK��"0�HR=>5�?1��/�23'/�-"��-"J 0�5���JNs�=8? 3'A�5�6�-<2�³-^M�M�3^2{6.0�5��GJ3 l

& � � K�A�/����� �C8 �����

! � j��.k�� �* % �* �K J{-"2NJ 0�5��x��0dJNs1& j��Rk � &���-"5�6�K�J3^/�/10�5��GJs�=�/�23'/�-"��-"J�0d3'5�-"J � � � hR�^=�JJ 0�5�� & j �4k -^K�JNs�=61=<K²0�2=<6*2=<K�A1O�J>C\«»=�s�->HR= K s�3<��5�0�5�# $ ! ( j K�=>=�->OIK 3³# p ( k h.JNs�-"J�Js�= -"?�3<HR= M�A�2HR=�/�2N3^/�-<�R-"J�0�3^52A@Od=�0�5DJNs�=�O�=>HR=�OK�=>J�zf3^2NB*A1OI-"J�0d3'5D0IKF�<0dHR=�5D?@�

� � � K A�/����� �C8 �����

! � j�.k�� � � % @

Page 9: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� o

Á�5DJs@0tK�zf2{-"Bx=>��3'2�D��=x-"2N=x-PzfJ=�2�Js�= 6.0IK J{-"5�M�=*0�B�/�3�K =<6y?1�³Js�=*�<0�HR=>5yB�=�J2 0IM^C8§ K�0�5��Js�=x-"?�3<HR=GM�A�2HR=w=�HR3"O�A�J 0�3'5±��=xBG->��-^KK²0��^5:=<-^MUsy/�3"0�5@J*-�6.0IK J{-"5�M�=�=<°.AY-PO\JN3 � hu��s10IMUsÂ0IKJs�=wJ 0�Bx=wJNs�=wÉ>=�23*Od=�HR=�O\K�=>J�/�-^KNK =<6DJNs�23'A��^syJNs�-"J�/�3<0d5@J>C�Á�J���-'K�K s�3<��5yJNs�-"J�JNs�=wBx=>JN2 0IM61= � 5�=<KwJs�=yK JN2A�MeJA�2�0d5��±=�O�=>Bx=>51J*JNs�-"Jx0tKxA�K =<6:J3 6.0iOI-"J=yJNs�=D?�3'A�5�6�-<2�RC 9�s�=y6.0iOI-"J�0�3^53^/�=>2{-"J�0d3'5:BG->��? =�/ =�2 zf3^2NB�=P6�0�5Ë-DM�3'51J�0�51A�3'A�K*KM�-PO�=GA�K²0d5��yJs�=�-<?�3"HR= M�A�2HR=*=�HR3"O�A�J 0�3'52A@Od=�CL9�s�= M�A�2NHR=�=>HR3<OdA�J 0�3^5�0IKL2=ezf3^2B*A@Ot-<J=<6w0�5�JNs�=�O�=>HR=�OYK =>J j ½ÐA@Od=�2 0I-"5 k zf3^2NB*A1OI-"J 0�3'5uC�7�5�6Js�=w6R0tK�JU-<5�M�=w0IK�3^?�JU-P0�5�=P6D?1�³-^KNK�0��^5@0d5��DJs�=wJ 0�Bx=w3<z�-"2N2 0�H'-PO\3<z\Js�=�É>=>2N3ÎO�=>HR=�O�K�=>J�J3x=<-^MUs/�3"0�5@J>C

� � � ��� � � � ������� � � �� � � � �3� � � � � �

§�/:J3 Js10IK�/�3"0�5@JG/1OI-"5Y-"2³M�A�2NHR=<Kw��=>2N=D/�2N3^/�-<�R-<J=<6,JN3:M>-POIM�A@Ot-<J=�6.0IK�JU-"5YM�=<KÎzf2N3^B �"0�HR=>5/1OI-"5Y-"2�K�s�-"/�=<KeC 9�s�=y-"?�3<HR=DJN=<MUs�510I°.A�=<K*K J�0¿OiO�-</�/1O��:��s�=>5 M�3^5�K²0I61=>2 0�5��:Bx3^2N=´JNs�-"5ÊJ���36.0�Bx=>5�K�0�3'5�K�hJs�-<J40IKeh;?@�D/�2N3^/�-<�R-"J�0�5��»É�=>23�K�=>J8Á ª�� B�-"5@0¿zf3<OI6�Kw3"z�zfA�5�M�J�0d3'5�K�0�5±Á ª�� � Cx76.0 �g=>2=�51J�.0�5�6*3"zg/�2N3^?1O�=>B 0IKLM>-POIM�A@Ot-<J 0�5�� 6.0IK JU-<5�M�=�BG-</�K;3'5xK A�2�z�-^M�=<Ku0d5*Á ª�� h j 3'2LB�-"510izf3"OI6�K0�5�Á ª � hR0�5DJs�=£�'=>5�=>2{-PO�M>-'K = k C

v\3^5�K²0I61=>2\Js�=�K²0�B�/1O�= M>-^K�=�3<z¨-4�<0�HR=>5�?�3'A�5�6�-<2�*3"zb-�K sY-"/�=861= � 5�=<6w3^5x-��<0dHR=�5GK�A�2 z�-'M�=� > Á ª � C�9�s�=�?�3^A�5�6�-"2�³3"z�Js�=wK�s�-"/�=*B�->�G?�=w/�2N=<K =>5@J=P6´-'K�-*Js�2N=>=*6.0�Bx=>5�K²0d3'5�-POÆM�A�2HR=� l #�� ��� ( > Á ª�� Á ª � h���s�=>2N= � >�� CÆÁ�J���-^K�K s�3"��5D0�5 # $<(uJs�-<J�JNs�=8=>HR3"O�A�J�0�3^5y2A@Od=83<z�-"5=<°RA�-POb6.0IK J{-"5�M�= M�3^5@J3'A�2�Js�-<J�/�23'/�-"��-"J=PK�3^5�-�K�A�2 z�-'M�=�0tK��"0�HR=>5�?@�

��� ���� �� ���s�=>2N= �� 0tKwJNs�=xJU-"5��^=>5@JwHR=<MeJ3^283<z�Js�=�M�A�2NHR= �� � ��� ��# ��� # h�-"5�6 �� 0IKwJNs�=�5�3^2B�-PO�3"z�JNs�=K A�2 z�-^Me= � CÊ�L23'/�-"��-"J 0�5��Ë- p�� M�A�2HR=x0tKxs�-"2{6¢J3y0�B�/@Od=�B�=>5@J>C:«�=RhÆJNs�=>2N=�zf3^2N=RhÆ/�23 �=<MeJJs�=�=>HR3<O�A�J 0�3^5�JN3*Js�=�/@Ot-<5�=Rh�-"5�6�M�3'5�K�0I61=>2�3'51O���JNs�=�J{-"5��'=>51J�0I-PO�M�3'B�/�3^5�=>51J�J3�Js�=�/@Ot-<5�-"2M�A�2NHR=RC�¦�= � 5�=�Js�=*/�2N3 �=<M�J�0�3^5y3^/�=>2{-"J�0d3'5:-^K! \ha²Wt�� #" j�� �� ��$1k�%rj���� k C89�s�=w=�HR3"O�A�J 0�3'52A@Od=�3"z¨Js�=�/@Ot-<5�-"2�M�A�2NHR=Rh'&*h'Js�-<JÐ0IK\Js�=�/�2N3 �=<M�J�0�3^5x3"zuJNs�=�=>HR3"O�A�J�0d3'5G3"z¨Js�=�K�A�2 z�-'M�= M�A�2HR=� h10tK��"0�HR=>5�?@�

& � � :( )" j �� �� k � �*,+ �* ���s�=>2N=-& � )" � h�-<5�6 �* 0IK�Js�=85�3'2B�-PO�3"z�Js�=8/1OI-"5Y-"28M�A�2HR=-& C

7 Od=�HR=�OK�=>J�zf3^2NB*A1OI-"J 0�3'5y3"z�Js�=�-"?�3<HR=8/1OI-"5�-<2�=>HR3<OdA�J 0�3^5³2A1O�=£0IK��"0�HR=>5�?@�

� � � . �/10 � /32 �'4 jU /52 � k � �6 /,j{ /10 � k � �7 � $ 082 � 6 � 7 �

��s�=>2N= 0 �:9;$ �9 � h�-"5Y6 2 �<9;$ �=9 -"2=yJNs�=y6@=>2 0�H'-"J�0dHR=PK 3<z�Js�=�K A�2�z�-^M�= � h�-<5�6 � 0IK-^KNK A�Bx=<6GJ3x?�=8�"0�HR=>5y-'K�- zfA�5�M�J 0�3'5 j>$1j���� k � ����k C

9�s�=y6R0tK�JU-<5�M�=DB�-"/Ë3^5ËJs�=�K A�2�z�-^M�=�B�-P�:JNs�=>5:?�=yM>->OtMeA1OI-"J=P6Ê-^K*? =ezf3^2=�h�?1� /�23'/�-"¤�R-<J 0�5���Js�=x/1OI-"5Y-"2�M�A�2HR= j 0�5±0�JUK£O�=>HR=�O�K�=>J£zf3'2B*A1OI-"J�0�3^5 k -"5�6 -^KK²0��^510�5��±JNs�=�6.0IK�JU-"5YM�=�J3

Page 10: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� >�

=<-'MÀs�/�3"0�5@J8-^K�JNs�=*MeA�2HR=�/Y-^KK�=<K�JNs�23'A��^syJNs�-"J�/�3<0d5@J>C�7FOiO�Js�=�=>HR3"O�A�J�0�3^5y2A@Od=PKF/�2N=<K =�51JN=<6s�=>2N=�-"2=80�B�/1O�=>Bx=>5@J=<6�?1��5@A�Bx=>2 0IM>->O�KMUs�=>Bx=<K�Js�-<J8-"2N=*M�3'5�K�0IK�J=>5@J���0�JsyJNs�=*M�3'51J�0�51A�3'A�K/�2N3^/�-<�R-"J�0�3^5±2NA1O�=Rh-"5�6�-"2N=*B�3'J 0�H'-"J=P6Â?@�D5@A�Bx=>2 0IM>->O\KNMÀs�=�B�=<K�JsY-"J8��s�=>2N=x61=>HR=�O�3^/�=<6´0�5K 3<O�H.0�5��³®�-<BÎ0iO�J3'5»q@-'M�3^?10ÐJ �@/�=w3<z�=P°.A�-<J 0�3^5YK�h�#%$'$1hu$ h �� (²Cw��?�K�=>2HR=8JNs�-"J8->OiO�JNs�=w/@Ot-<5�-"2=>HR3<OdA�J 0�3^5�K\61=PKM�2�0d?�=<6*s�=>2N=�-<2=�3"zgJs�-<J\J �@/�=RCL9�s�=�M�3^5�K²0IK J=�5�M��*Me3^5�6.0�J�0d3'5uh�JsY-"J;0IK\K-<J 0IK � =P6��s�=>5 M�3'5�K JN2A�M�J�0�5���Js�=x51A�B�=>2�0IM>-PO�KNMÀs�=>B�=�h}�^A�-<2U-<51JN=>=<K�Js�-<JwJNs�=xK 3<OdA�J 0�3^5ËM�3'51HR=>2N�^=<K�J3Js�=£JN2A�=83'5�=*-'KFJNs�=8�^2 0I6´0IK�2= � 5�=<6�-"5�6�Js�=�J 0�B�=�K�J=>/�0d5³Js�=85@A�Bx=>2 0IM>->O�KMUs�=>Bx=�0IKF�R=>/�J��0�JsGJNs�=�2 0��'s1J�/�23'/ 3'2J�0d3'5DJN3£JNs�=��^2 0I6GK²0�É>=RC\9�s10IKÐ0IK\�15�3<��5G5�3^J\J3�? =�Js�=�M>-'K =�0�5G�^=>5�=>2U->O�^2{-"/�s K =P-"2UMUsy->O��^3^2�0�Js�B�K j �>W ¸1W�¦F0 ���K�J2{- k Js�-<J8K A �}=�24zf2N3^B Ã^ai¸^atV¹a � �^Vfaf[^T���af�"c861A�=wJ3�JNs�=]G�UVfµ�af·U�^Vfaf[^T»�{µ�µ{[^µÆ��s�=�5 0�Bx/1O�=>Bx=>51JN=<6G3^5�-w�^2 0I6}hgK =�=G# >o (²C

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

Á�5DJNs10IK�K =<MeJ 0�3^5³J ��3G=�¾Y-"Bx/1O�=<K�3"z\/�3RKNK�0�?1O�=�-</�/1Oi0IM>-"J�0d3'5�K£3<z�A�K�0�5��GJNs�=*K�A�?1Q�/10i¾�=�OÆ6.0IK JU-<5�M�=B�-"/�K�?�-'K =<6y3^5±JNs�=wO�=>HR=�O�K�=>J�-"/�/�23R-'MÀs -"2N=�/�2=<K�=>51JN=<6}Cx9�s�= � 2UK�J�0tK�JNs�=GK�=<-"2{MÀsyzf3^28JNs�=¬\3^2N3^5�3<0�6.0I-"�'2U-"B ?�=>J���=>=�5Ê�"0�HR=>5�/ 3<0�51J{K 3'5 K A�2 z�-^Me=<K j 3'2���=�0��^s@J=P6�/1OI-<5�-"2�613^B�-P0�5�K k C9�s�=³K =PM�3^5�6:61=P-POIK���0�JsËJs�2N=>=G/�3"0�5@JD+RJ=e0d5�=>2*/�23'?1O�=>B�KÎ��0�Js M�3RK�JÎzfA�5�M�J 0�3'5Ê61= � 5�=<6±3^5Js�=£/@Ot-<5�-"24613^B�-P0�5 j JNs�=�K-<B�=�/�23@M�=P61A�2= K J�0¿OiOÐ-"/�/@Od�³��s�=>5�M�3^5�K²0I61=>2 0�5���Js�2N=>=8/ 3<0�51J{K�3^5-yK A�2 z�-^Me= k C:+R3^Bx=�=�¾�-<B�/@Od=PKw3"z Js�=³6.0IK J{-"5�Me=y-"5Y6 ��=�0��^s@J=<6:6.0IK�JU-"5YM�=DJN2U-"5YK�zf3^2NBGK*Js�=>561=>Bx3^5YK J2{-"JN=£JNs�=�M>-"/Y-"?10iOi0�J �³3"z�Js�=�->Od�'3^2�0dJNs�B�K£6@=>H.0IK�=<6}C

���� � � �(� �������� � � � � ! � � ' ����� � ����'Á�J£0IKw/�3RKNK�0�?1O�=yJ3Dzf3'2B*A1OI-"JN=³-D/�23@M�=P61A�2=�Js�-<J � 5�6�KwJNs�=G¬\3^2N3^5�3<0 6.0I-"�^2{-"B 3^5ËK�A�2 z�-'M�=<KA�K²0d5���JNs�=�Od=�HR=�O�K =>J�JN=<MUs�510I°.A�=RC���?�K =>2NHR=�JsY-"J�Js�=�Oi0�5�=wJNs�-"J K =>/Y-"2U-<J=<K�J���3*/�3"0�5@JUK�3'5DJNs�=K A�2 z�-^Me=Î0IK£�<0�HR=>5:-^K8Js�=�É>=>23GO�=>HR=�OÆK =>J�3"z�Js�=G6.0IK�JU-"5YM�=GB�-"/»zf2N3^B Js�= � 2UK�J8/ 3<0�51J�h����>hK A�?�J2{-^M�JN=<6 zf2N3^BrJNs�=�6.0IK J{-"5�M�= BG-</Îzf3'2BrJs�=�K =<M�3'5�6�/�3"0�5@J>h�����C\9�s�=�/�23 �=<M�J 0�3'5�3<zuJsY-"JM�A�2NHR=F0IK��"0�HR=>5�?@� � �"!Rj���� k$# ��� j�����k�� ��� j�� �� k ���&% CL«Ês�=>5�Bx3^2N=£JNs�-"5�J���3*/�3<0d5@JUK-"2N=£0�5@HR3"O�HR=<6DJs@0d5��RK�?�=<M�3^Bx=wBx3^2N=xM�3^Bx/1Oi0IM>-"JN=<6}hu-<5�6�K�0�BÎ0iOI-"2�-</�/�23�-^MUs�=<K8-^K�Js�3�K =*JsY-"J-"2N=*A�K =P6´0d5�Js�=*/1OI-"5�-<2wM�-^K =xK�s�3^A@Ot6�? =wzf3<OiOd3<��=<6}C*7�/�3RKNK�0�?1O�=G/�2N3@M�=<61A�2=xJs�-<J � 5�6�K�JNs�=/�2N3 �=<M�J�0d3'5�3"z\JNs�=�6.0I-"�^2{-"B 0IK�Js�=4zf3<OiOd3<��0�5��

¬\3^2N3^5�3<0��L23 �=<MeJ 0�3^5 �"!Rj�����k�# ')(*'�+ �,(.-��+Gl �0/ � �01 ���32 # 24657 /98 1

�0/3:;� 4 ( % �

��s�=>2N= ( �<+ ��=?>!@ � $ �$@A@A@ �CBD% -<2=80d5Y61=�¾�=<K�3"z�Js�=8�<0dHR=�5D/�3"0�5@JUK�3^5DJNs�=�K A�2�z�-^M�=�C

��FE G � �FH � ��� %JI�� %JI � � � � � � �&% G %(� � ��� � � �(�.K ��� !9�s�=���V �{atT}�UµL/�2N3^?1O�=>B 0IK\61= � 5�=P6w-^Kuzf3"OiO�3"��K l �"0�HR=>5�Js�2N=>=�/�3"0�5@JUK j 3'2\-"2N=<-^K k h � 5�6wJs�=��^2{-"/�s3"z�B*0d5@0dB�-PO�Me3RK J M�3'5�5�=<M�J�0�5��*Js�=8JNs�2=>= / 3<0�51J{K�C�Á�5�Js10IK�/�23'?1O�=>B ��=wK�J 0iOiOJ2N�GJ3�K 3<OdHR=8JNs�=/�2N3^?1O�=>B -^K 61= � 5�=P6´0d5�½\°RA�-"J�0�3^5 jU "k h ?�A�J�5�3<�ML¢0IK�61= � 5�=<6DJ3x?�=*Js�= K =>J�3"z�-POiO\/@Ot-<5�-"2

Page 11: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� ^

M�A�2NHR=<K�M�3'5�5�=<M�J�0�5���Js�=�Js�2N=>=*/�3"0�51J{K�Js�-<J�BG->��s�->HR= �A�5�M�J 0�3'5�K j ?�2NA�5�MUs�=<K k C89�s�=xM�3�K J�0IK-^M�M�A�B*A1OI-"JN=<6y?1��0d5@J=��^2U-<J 0�5���->Od3'5���-POiO�?�2NA�5�MUs�=<K�C*«,0�Js A�510izf3^2NB /�=>5�->O�J ��h;Js�=xK 3"O�A�J�0�3^50IK�°.A@0dJN=�K�0�B�/@Od=�-<5�6 O�3R3^��K�O¿0��R=�- ����� hgM�3^5�5�=<M�J 0�5��*JNs�=8Js�2N=>=�/�3"0�5@JUKeh�Js�=&�A�5�MeJ 0�3^5G0�5DJNs�=� B*0I6�6.O�= � A�K�A�-POiO��Dzf3^2NBÎ0�5���Js�2=>= $ ��� -"5��<Od=PK�C�)�0�HR=>5yJs�2=>=�/ 3<0�51J{K£-<5�6y-�M�3RK�J�zfA�5�MeJ 0�3^53^5yJNs�=*6@3^B�-P0�5uh 0�J�0IK�=<-^K���J3�K�s�3<��JNs�-"J Js�= K�0�JA�-<J 0�3^5�0tK8K²0dB*0iOI-"2>hu?�A�J�5�3<� Js�=>2=�BÎ0��^s@J?�=8B�3'2=8Js�-<5D3'5�=�K 3"O�A�J�0�3^5uC

Á�5y3^2U6@=>2�J3³K�3"O�HR=*Js�=*/�23^?@Od=�B ��= � 2UK J�M>->OIM�A1OI-"JN=�JNs�=*��=�0��'s1JN=<6y6.0IK J{-"5�M�=xB�-"/yzf23^B=<-'MÀsG3<z\Js�=£�<0�HR=>5D/�3"0�5@JUKeh JNs�=>5 � 5�6�Js�=�0�5 � B*A�B 3"z�Js�=�K A�BÌ3<zLJNs�=8Js�2N=>=8BG-</�K�C�9�s�=>2N=B*0d�'s1J�?�=±Bx3^2N=»JNs�-"5 3'5�=�/ 3<0�51J�-'MÀs10�=>HR0�5��,JNs10IK 0�5 � B*A�B 0iz*JNs�=>2N=Â0IK´Bx3^2N=»JNs�-"5 3^5�=K 3<O�A�J 0�3^5¨C�9�s�=<K�=�/�3"0�51J{K���0iO¿O?�= �A�5�M�J 0�3'5´/�3<0d5@JUK�3<zJs�=4K 3"O�A�J�0�3^5uC�9�s�=�OI-^K J�K�JU-<�^=�0�51HR3<OdHR=PKM�3'B�/�A�J 0�5���Js�=*��=�0��^s@J=<6y6R0tK�JU-<5�M�=xBG-</Dzf23^B Js�= �A�5�M�J 0�3'5uh-"5�6�61=>JN=>2B*0�510�5���Js�=*/�-<Js3"z�B*0d5@0dB�-POÐM�3�K J�zf23'B Js�= �A�5�M�J 0�3'5DJ3*=P-^MUs´3<z\Js�=�3^2�0d�<0�5�-PO\2N=>�"0�3'5�K�A�K²0d5���JNs�=8J=<MUs�510I°RA�=61=<KNM�2 0�?�=<6Î0�5GJNs�=�/�2=>HR0�3^A�K�K =<MeJ 0�3^5�K j Js�-<JÆ0IK�h � 5�6.0�5��*JNs�=�BÎ0�510�B�-PO}O�=>HR=eOgK =>J�3"z¨Js�=8K�A�Br3"zJs�=£��=�0��^s@J=<6�6.0IK�JU-"5YM�=*BG-</Gzf23^BÈJNs�=&�A�5�M�J�0d3'5�-"5�6�Js�=�6.0IK�JU-"5YM�=wB�-"/�zf23^BÈJNs�=8/ 3<0�51J k Cv\3^B*?@0d5@0d5��´JNs�=*/�-<Js�K�J3�Js�= �A�5YM�J 0�3^5YK42N=<K A@OdJ{K�0d5�Js�=x61=<K�0�2N=<6yK 3<OdA�J 0�3^5uCx9�s�= � M�3RK�J � 3"zJs�=£�'2U-</�sD0IK�Js�=80�5 � B*A�BÈ3"zÐJs�= K A�BÈ3"z�JNs�=wJNs�2=>=8��=�0��^s@J=<6³6.0IK JU-<5�M�=*B�-"/�K�M>->OtMeA1OI-"J=P63^5�JNs�= � 2UK�J�K�J=>/uC

9�s10IKÐ0IKÆ3'51O��G-8K²0dBx/1O�=�=�¾Y-"Bx/1O�=�3"z�-���0I61=�H'-"2�0d=�J �*3<zu/�3RKNK�0�?10iOi0tJ�0t=<K�zf3^2\A�K²0d5��*M>->OtMeA1OI-"J=P6��=e0d�'s1JN=<6�6.0IK J{-"5�M�=�BG-</�K�C

��� �� �� !�� ����'

9�s�= � 2{K JL=e¾�-<B�/1O�=�K�s�3<��KÐJNs�=�K A�?1QR/10i¾�=�O¨6.0IK J{-"5�M�=�B�-"/x3"z¨-��"0�HR=>5*�'2U->�£O�=>HR=eO�/10IM�JNA�2=�C\9�s�=O�3<�,2=PK 3"O�A�J�0�3^5 j�� n � n k �^2{->�wOd=�HR=�O�/10IM�JNA�2= �b0��^A�2N= p 0IKÐAYK =<6�JN3�0d5@0dJ�0I-POi0�É>=wJNs�= � zfA�5�M�J�0d3'5uha²Wt�>W � j���� �{�.k � �Îj���� k���� h���s�=>2N=8Js�=�Js�2N=<K s�3<OI6 � � $'&1hu-<5�6´=<-'MÀs��'2U->�GOd=�HR=�O/10i¾�=eO0IKF2N=>/�2N=<K =>5@J=P6�?1� -"5³&"¤f?10�J�5@A�B*?�=>2�J{-"�R0d5��GJs�=8H'-PO�A�=PK �Gj ��s10�JN= k JN3x$^m'm j ?1OI-'MÀ� k C �b0��'A�2=p C � K s�3"��K � j���� �{�.k � j��*j�����k ���4k�� $'m � CË9�s�=�3^A�J ��-"2{6¢6R0tK�JU-<5�M�=DB�-"/±0IKxK s�3<��5¢0�5�b0��^A�2=<K p C �w-'KÐ=P°.A�->Og6.0IK J{-"5�Me=8M�3^5@J3'A�2UKL3'5G-��^2{->�wOd=�HR=�O�0�5�6.0IM>-<J 0�5��*Js�=�6.0IK�JU-"5YM�=Rh@-"5�6 p C �-^K�6R0tK�JU-<5�M�=�-"2N2U->�RC\9�s�=8KN-"Bx=8/�23@M�=P61A�2=4-"/�/1Oi0�=<6�J3*Js�=�5�=>��-"J 0�HR=8/10IM�JNA�2=�JN3x-^MUs10�=>HR=�JNs�=0�51��-"2{6�K�6R0tK�JU-<5�M�=wB�-"/¨h10tK�K s�3"��5�0�5 �u0d�'A�2=�n�C

Á�5�JNs�=FOI-'K J�=�¾Y-"Bx/1O�=wh �b0��'A�2=�m1hRJNs�=���=e0d�'s1JN=<6x6.0IK JU-<5�M�=�JN2U-<5�K�zf3'2Br0tK�AYK =<6*J3 � 5�6�JNs�=/�-<Js�3"z\B*0�510�BG->O�M�3RK�J�?�=>J���=>=>5GJ���3*/�3<0d5@JUK�3^5�-Î/@Ot-<5�=w��0�JNsDJ���3x6.0 �g=>2N=>51J�JN2U->HR=>2{K-"?@0¿Oi0�J��z�-^MeJ3^2{K j J���3G2N=>�"0�3'5�K£��0�Js 6.0 �}=�2=>5@J�M�3RK�J k Cx9�s�=xKN-"Bx=�2N=<K A@OdJ�0IK£3'?�JU->0�5�=<6»?@�DA�K²0�5��D��=�OiO�@5�3<��5¢+R5�=�OiO�� K4OI->��0�5±3^/�J�0IM>K�h\-<5�6Â3<z M�3^A�2UK =xJs@0tK�0IK£5�3'J*K A�2/�2�0tK²0�5��Â0�5±HR0�=>��3<z�Js�=*z�-^MeJJsY-"J���s�-<J���=w-<2=�613<0d5���0IK�K�3"O�H.0�5���=�E�MU0d=�51J�Od� -"5D=e0d�R3'5�-PO=P°.A�-<J 0�3^5¨C

� � �"����������� ����� � ! � �(� '

«�=*s�->HR=*/�2=<K�=>5@J=<6y-�5�=>�r-</�/�2N3R-^MUs�J3 � 5�6»K�A�?1Q�/10i¾�=�O�-'M>M�A�2{-^M���6.0IK�JU-"5YM�=�JN2U-<5�K�zf3'2B�K�h?@��=�E MÀ0�=>5@J O��G/�2N3^/�-<�R-<J 0�5���=<°RA�-POb6.0IK JU-<5�M�= M�3^5@J3'A�2UKeC�9�s�=8/�2N3^/�3RK�=<6D5@A�B�=�2 0IM>-POb-"/�/�23>¾10�¤B�-"J 0�3'5GA�K =PKÆ-<5Î0�Bx/1Oi0IMÀ0�J�2=>/�2N=<K =�51J{-"J 0�3'5�3<zuJs�=�=>HR3<O�H.0�5�� M�3^5@J3'A�2>C�9�s�=�Me3^5@J3^A�2Æ0IKL/�23'/�-"¤

Page 12: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� $

a. b.

c. d.

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

���

���

���

���

���

� �

���

������ �

��

���

���

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

���

������ �

��

���

���

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

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

���

���

���

���

���

� �

���

���� � �

��

���

���

���������

���

���� � �

��

���

���

���������

�b0��^A�2= p1l +RA�?1Q�/10i¾�=eO�6.0IK JU-<5�M�=�BG-</´3<z\-£O�3<� 2N=<K 3<OdA�J 0�3^5 j�� n� � n k �'2U->��O�=>HR=�O¨/10IM�JA�2=RC� �9�s�=x/10IM�JA�2=*0tK��<0dHR=�5:-^K8&"¤f?10�J*�^2{->�DOd=�HR=�O\5@A�B*?�=>2UK�J{-"�R0�5��DJNs�=�H'->OdA�=<K �yj ��s10�J= k JN3³$^m^m

j ?@Ot-'MÀ� k C�� ��� j������U�Rk � j��Îj�����k��Ê $'& k�� $^m � C�� � 9�s�=w3'A�J���-"2{6D6.0IK�JU-"5YM�=*BG-</y-'KF=<°RA�->O6.0IK J{-"5�Me=*M�3'51JN3^A�2{KF3'5y�^2U->��O�=>HR=eOtK�0�5�6.0IM>-<J 0�5���Js�= 6.0IK J{-"5�M�=�C�� � 9�s�=*6R0tK�JU-<5�M�=*B�-"/��"0�HR=>5-^K�=eOd=�H^-<J 0�3^5�-<22{-P��C

Page 13: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� >p

a. b.

c. d.

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

���

���

���

���

���

� �

���

������ �

��

���

���

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

���

������ �

��

���

���

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

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

���

���

���

���

���

� �

����

���� � �

��

���

� �

�����������

����

���� � �

��

���

� �

���������

�b0��^A�2=�n l +RA�?1Q�/10i¾�=�Ob6.0IK J{-"5�M�= BG-</G3"zÐ-4O�3<�Ê2=<K�3"O�A�J�0d3'5 j�� n � n k �'2U->�ÎO�=>HR=eO}/@0tMeJA�2N=Rh1JNs�=0�51HR=�2UK = 3"z\JNs�=8/�2=>HR0�3^A�K�3^5�= j

�k C

Page 14: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� n

a. b.

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

���

���

���

���

���

� �

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

���

���

���

���

���

���

�b0��^A�2=*m l 9�s�=���=�0��^s@J=P6D6.0IK J{-"5�Me=*J2U-<5�K�zf3'2B 0IK�A�K�=<6´JN3 � 5�6�Js�=�/�-"JNsD3"zÐBÎ0�510�B�-PO�M�3�K J�h?�=>J���=>=�5´J���3*/ 3<0�51J{K43'5DJ���3x3^/�/ 3�K�0�J=�K�0I61=PK�3"z�-wO�3<��2N=<K 3<O�A�J 0�3^5�/10IM�JNA�2= j�� n� � n k C 9�s�=/10IM�JNA�2=�6.0IK /@Ot->��K�Js�=£J���3x6.0 �}=�2=>5@J�J2{-PHR=�2UK-<?10iOi0dJ��Gz�-^MeJ3^2{K�-'KFJ���3*�^2U->��O�=>HR=eOtKeC

�R-<J=<6�-^K�-4O�=>HR=eOuK�=>J�3<zL?@0dH'-<2 0I-"JN=£zfA�5�MeJ 0�3^5uC\9�s@0tK���->�*5@A�Bx=>2 0IM>->Ou/�2N3^?1O�=>B�K�-"5�6xJ3^/�3<Od3'�"0�¤M>->O�MUs�-"5��^=<Keh.=�5�M�3^A�51JN=>2=<6�0�5�JN2U-^6R0dJ�0�3^5�->O6.0�2=PM�JL��->HR=�/�2N3^/�-<�R-<J 0�3^5�KNMÀs�=>B�=PKL-"2N=�5�-"JNA�2U->O¿O��3<HR=>2UMe3^Bx=RCu7¢5Y-"JA�2U-PO�0�510�J 0I->O¿0�É<-<J 0�3R5�J3�JNs�=�->O��^3^2�0�Js�BÍ��-'KLK A��'�^=<K�J=<6gh1-'M>M�3'2U6.0�5��8J3 ��s10IMÀsJs�=w�^2{->� O�=>HR=eOu0dB�-"�'=*3"z�Js�=*K sY-"/�=*/�23<HR0I61=<K�JNs�=£0�510�J 0I->O�K�A�2 z�-'M�=RC 9�s10IK�K A�2�z�-^M�= K =>2NHR=<K�-^KJs�=40�Bx/1Oi0IMÀ0�J�2N=>/�2=PK =>5@JU-<J 0�3^5³3"z\JNs�=�0d5@0dJ�0I-PO�M�3'51JN3^A�2�C

7 ��->�GJN3GM�-POIM�A1OI-"JN=wJNs�=�K A�?1Q�/10i¾�=eOL��=�0��^s@J=<6�6.0IK J{-"5�Me=wJ2{-"5�K²zf3^2NB ��-'K�61=PKM�2�0d?�=<6gCÆ«�=s�->HR=*/�2N=<K =>5@J=P6DJs�=x2=�OI-<J 0�3^5:3"z�Js�=x��=e0d�'s1JN=<6�6.0IK JU-<5�M�=GJN2U-<5�K�zf3'2B -"5�6»JNs�=�K s�-</ =xzf23^BK sY-^6.0�5��:/�2N3^?1O�=>B³h�-"5�6,A�K�=<6ÊK sY-"/�=Dzf23'B K�s�-^6R0d5��ÊK 3<O�A�J 0�3^5YK´J3 M>-POIM�A1OI-<J=yJs�=D/�-<JsÊ3"zB*0d5@0dB�-PO�Me3RK J�?�=>J���=>=�5GJ���3x-"5Y6´Js�=>5�Js�2N=>=8/ 3<0�51J{K�C

v\3^5@J 0�5@A�3^A�K�KM>->O�=�Bx3^2N/�s�3"O�3'�^��H.0I-�M�A�2NHR=w=>HR3<OdA�J 0�3^5±��-^K�A�K�=<6ÂJN3�M>->OtMeA1OI-"J= 6.0IK JU-<5�M�=B�-"/�KLzf3^2�-"5@�x�"0�HR=>5�B�=�J2 0IM^C\v�-POIM�A1OI-<J 0�5���Js�= �^=>3@61=PK�0IMw6.0IK�JU-"5YM�=83^5³K A�2�z�-^M�=PKÆ��-'K�M>-"2N2 0�=<63^A�J*?1�±/�23^/Y-"�R-<J 0�5��Ë-y/1OI-"5�-<2GM�A�2HR=�Js�-<Jw0IKÎJNs�=�/�23 �=PM�J 0�3^5Ë3"z8JNs�=�Js�2N=>=�6.0�Bx=>5�K²0d3'5�-PO=<°RA�-POb6.0IK J{-"5�M�= M�3^5@J3'A�2�/�23'/�-"��-"J 0�5���3'5´JNs�=�K A�2�z�-^M�=�C

9���38=�¾Y-"Bx/1O�=<KL3"z¨A�K�0�5���Js�=�6.0IK�JU-"5YM�=�J2{-"5�K²zf3^2NBGKL��=�2=�/�2N=<K =>5@J=P6}h^Js�=�K�3"O�A�J 0�3'5´3<zuJNs�=Js�2=>=8/�3"0�5@JUK�+RJ=�0�5�=�2�/�2N3^?1O�=>B j 3^5yK�A�2 z�-'M�=<K�3^2�3^5³��=�0��^s@J=P6´6@3^B�-P0�5�K k hu-"5Y6´Js�=£¬\3'23^5�3"06.0I-"�'2U-<BÌ3'5yK�A�2 z�-'M�=<K�C

� ����������������� �"!#�$�&%('

«�=»JNs�-"5���¦�2>C )�A10iOiOd=�2Bx3 +@-"/10�2N3�h*�D2�C ¦�3'23^5¯+Rs�-"�R=P6 -"5�6��D2>CÈ7�25�3'5 7�B*0�2Gzf3^2B�-"5@�´s�=�O�/1zfA1O�6.0IKNM�A�KK²0�3^5�K83^5�M�A�2NHR=<K�hgK A�2 z�-^Me=<K�-"5Y6y6.0IK JU-<5�M�=xBG-</�K�C�«�=*->OIK 3DJNs�-"5��y¦�2�C

Page 15: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� m

+RJN=�z�-"5 ��-"2N=<K J{-"B³h zf3^2 5�3^J�0d5��DJs�=*/ 3�KK²0d?@0¿Oi0�J��±3"z � 5Y6.0�5���Js�=*¬\3^2N3^5�3<0�6.0I-"�'2U-<B 3<z�/�3<0d5@JUK3^5Ë-y�"0�HR=>5ËK A�2 z�-^Me=Rh�-<5�6,�L2N3"zNC:q@-"Bx=<K�+R=>JNs10I-"5Ê-<5�6,�L2N3"zNC,+RJ{-"51O�=>�Ê� K s�=�2wzf3^2�K =>HR=>2{-PO0�51JN=>2=PK J 0�5�� 6.0IKM�A�KNK�0�3^5YKw3^5yOd=�HR=�O�K =>J{K8-"5�6y6.0IK�JU-"5YM�=�B�-"/YK�h61A�2�0d5��´JNs�=xK A�B�Bx=>2�3"z >o'o^p C9�s10IK£2N=<K =P-"2UMUsy��-'KwK�A�/�/�3^2NJ=<6Â0�5±/Y-"2J�?1�³Js�=���OiOd=�5�613^2�zwv\=�51JN=>2�3"z�JNs�=�¦�=>/�-<2JBx=>5@J�3"z½;O�=<M�J2�0IM>-PO�½L5��<0d5�=>=>2 0�5���C

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

# (�� ­Æ0IMUs�K =eO�-"5�6 7¡� �;=>5@J OI-<5�6}C�7ÍK�0�B�/@Od= -PO��^3'2 0�Js�B zf3^2*K�s�-"/�=�zf2N3^B K�s�-^6.0�5���CDÁ�5��µU[<·��U�NÃ^atTR¸"c�SÅ\Å\ůZ8`}�ƶ h�/�-<�^=<K�nRm o QRn � m@hÐv\sY-"Bx/�-P0��^5¨h Á²OiOi0d5�3"0IK�h�y->� �o^o $1C

# $"(�®,­ÆO�A�B³C�­Æ0�3<Od3'�"0IM>->OK sY-"/�=�-"5�6wHR0IK A�->O¨KMÀ0�=>5�Me= j /Y-"2JyÁ k C}X�W�Vt���N[^µ<W���af[���Wih p & l $ � mPQ.$^& ! h >oR!<p C

# p ( ª « ­�2N3@MÀ�R=�JJ8-<5�6±� �y-"2{-"�^3�K�C�½LHR3"O�A�J�0�3^5:=<°RA�-"J�0d3'5�K£zf3^2�M�3'51J�0�51A�3'A�K�Q.KM>->O�=´Bx3^2N¤/�s�3<O�3^�^��C,Á�5���µ{["·��U�NÃ^atT�¸"c�SNÅ\ÅÆÅÍatT�V �UµeT��^Vfaf[^T����8Z\[^T��<�Uµe�UT�·��³[^T��·U[^|RceV¹af·ÀcUÏ��^_g�U�N·À�RÏ�^T�à �Yai¸^T����u��µ{[<·��cUceatTR¸^h�/�-<�^=<K Q�n�hu+@-"5 ��2U-"5YMÀ0IKM�3�h}v�-POi0izf3^25@0t-@h�y-"2UMUs >o'o $1C

# n^(�7 � ­�2NA�MU��K�J=�0�5uC¡��5�K�s�-"/�=»zf2N3^B K sY-^6.0�5���C Z\[^]�_g|@V W `badceaf[^Tr��µ{�À_��@af·Àc�SU]x�>¸1���µU[<·��cUc<WihRn^n ld �p^o Q m<n�h >o &^&1C

# m"(�©±v�-POI-"?10�-<5�6G« ½,®�-<2JN5�=>JJ�CL+Rs�-"/�=82=PM�3^�'510�J 0�3^5uh�/�2{-P0�2 0�= � 2=<Keh�M�3'51HR=�¾�6@= � MÀ0�=>5�MU0d=PK-"5Y6DK �R=eOd=�J3^5YK�C��]GW}~Â�^V���W}~Â[^T}Wih ! m l¼p'p mPQ p n�$1h >o'� &1C

# � (��:¦�-"5@0d=eOtK�3^5uC�½ÐAYMÀOi0t6@=<-"5³6.0IK J{-"5�Me=£B�-"/�/10�5���h�C8Z\[^]�_g|1V��Uµx��µU�À_��@af·Àc �^T�Ã*SU]x�>¸1����µ{["Ä·��cUceatTR¸'h n l $'$ ! Q@$"n�&1h �o & � C

# ! (��,¦�A�/�A10IK�-"5�6�q´��Oi0�=>5�K�0IKeC�¦F0�2N=<M�J�Bx=>Js�3@6Gzf3^2�2N=<M�3^5YK J2NA�M�J�0d5��xK s�-</ =8zf23'BÈK s�-'6.0�5���CÁ�5y��µ{[<·��U�NÃ^atTR¸"c�SÅ\Å\ůZ8`¨�\¶ h�/�-"�'=<KFn�m p QRnRm'&1h;v\sY-"Bx/�-P0��^5¨h}Á²O¿Oi0�5�3<0tKehu�y->� >o'o $@C

# &"(�­ � �r®�3'25uC:®�=e0d�'s1J�-"5Y6¢�^2{-^6.0�=>5@J*zf23^B K s�-'6.0�5���C S{T�V�W�X�W�[ ��Z\[^]�_g|@V�Wx`badceaf[^T�hm l p.! Q ! m@h >o'o^� C

# o (�­ � �y®�3^25�-<5�68� q ­�23R3'��Keh"=<6R0dJN3^2{K�C �����À_g�1�eµ{[^] �����RÃ^atTR¸^C��DÁ9��L2=<KNK�hRv�-"B*?�2�0I61�^=�y7wh >o & o C

# �� ( � Á �R=�A�MÀs@0�-"5�6*­ � �»®�3'25uC���A�B�=�2 0IM>-PO K s�-</ =�zf23'BrK�s�-^6.0�5�� -"5�6w3@M�MÀO�A�6.0�5��w?�3'A�5�61¤-"2�0�=<K�C �µeV¹a �Æ·�af���ÆS{T�V � ���¼ai¸1�{T�·��Uh <!^jU ¤ pRkUl� n Q &^n�h �o & CD7�OtK�3D0�5:®�3^2N5±-<5�6±­�2N3R3^��K�h >o & o C

# ' ( ª�� 0dBxBx=�O�C +Rs�-</�=�zf23^B¯K�s�-^6.0�5��8HR0I-FO�=>HR=�O�K =�JUK�C��±C¿+@M'C>Js�=<K²0IK j 0�5x®�=>?�2=>� k h^9u=<MUs�510�3^5¤LÁNK 2{-"=�OÁ�5�K�J 0�JA�J=83"z�9u=<MUs�5�3<Od3'�^�Rh�qRA�5�= �o^o $@C

# $"( ª � 0�BxB�=�O�h�7 7�B*0�2>h�-"5�6Ê7 � ­�2NA�MÀ��K JN=�0�5uC �u0d5Y6.0�5��ÊK�s�3^2NJ=<K�JG/�-"JNs�KG3^5��^2{-"/�sK A�2 z�-^Me=<K�CÈv\=>51JN=>2Gzf3^2³Á 5@J=eO¿Oi0��^=�51Jy+R��K JN=>BGK ª =>/�3^2NJ»v\ÁU+ � o^p'�1 hw9u=<MUs�510�3^51Q�ÁNK 2U-<=�OÁ�5�K J�0�JA�JN=£3<z�9u=<MÀs�5�3"O�3^�'�Rh�ÁNK 2{-"=�O�h�q@-"5@A�-"2N� >o'o^p C

Page 16: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� >�

# �p ( ª�� 0�BxB�=�OÐ-"5Y6»7¯� ­�2NA�MU��K�J=�0�5uCw+RsY-"/�=Îzf2N3^B K s�-'6.0�5��DHR0I-ÎO�=>HR=�OÐK =>J{K�C*v\=>51JN=>2�zf3^2Á�51JN=�OiOi0d�'=>5@J�+R��K�J=>B�K ª =>/�3^2J�v\ÁU+�� o $ �'o hg9b=PMÀs�5@0d3'51QRÁNK�2U-"=eOÁ 5YK J 0�JNA�J=83"zÐ9u=<MÀs�5�3"O�3^�'�RhÁNK 2{-"=�O�h�qRA�5�= �o^o $@C

# n^( ª�� 0�BxB�=eO�-<5�6:7 � ­�2AYMÀ��K JN=�0�5uCD¦�0tK�JU-<5�M�=�BG-</�K*-"5Y6 ��=�0��^s@J=<6 6.0IK JU-<5�M�=�J2{-"5�K�¤zf3^2NBGKeC Á�5G��µU[<·��U�NÃ^atTR¸<c����\SÅ:Ä ���N[^]G�UVfµ�af·�~±�UVt��[<Ã"c�atTyZ\[^]�_g|@V �Uµ�`uadceaf[^T�SS{h^HR3"O�A�Bx=$ �'p1 h /�-<�^=<K�$^m o Q.$ � &@hL+@-"5�¦F0�=>�^3�hbv�->O¿0izf3'2510I-1hgqRA1O�� �o^o'p C

# m"( ª�� 0dBxBx=�O�-"5�6*7Ë� ­�2AYMÀ��K JN=�0�5uC�+Rs�-"/�=�3�uK�=>JUKH.0I-FO�=>HR=�O�K�=>JUKeCLZ���8h'$^m j m k{ld m<n"Q >� $@h�y-"2{MÀs �o^o^p C

# �� ( ª qy©}=�¬Æ=P°.A�=�C � |@]G�Uµ�af·U���L~ �UV���[<Ã"c���[^µ�Z\[^T1c<�{µ��<�^Vfaf[^T±º���;ceC�©}=<M�JNA�2=<K�0�5 �y-"Js�=>¤B�-"J 0IM>KeC�­Æ0�2�@s�-"A�K�=>2�¬Æ=�2 OI-"��h�­�-^K =eO²h �o^o $1C

# <! (���©}=>�1B�-"2�0�=�-<5�6G� ¦�©}=>HR0�5�=RC���-^K�J�2{-^K JN=>2�KM>-<5�6.0IK J{-"5�Me=�JN2U-"5YK�zf3^2NB¡3'5GJs�=�6.0IKNM�2=>JN=2=PM�JU-<5��^A1OI-<2FOI-"JNJ 0IM�=RC�Z8`L��S���}S{]x�>¸1���;TYÃ1�UµÀceV��^T�Ã^atTR¸'h}m'm jU <kUl &"n"Q o n�h >o'o $1C

# &"(��Ê©:© 0�3^5�Keh;½ ª 3^A��Rh}-<5�6y7�9u3^A�2 0�5uC£+�s�-"/�=>¤tzf23'B�¤�K s�-'6.0�5���hH.0IKNM�3RK²0dJ���K 3"O�A�J�0�3^5�K�-"5�6=<61�'=<K�C�� |@]G�Uµ�adc�·U����~��^Vt���U]x�^V¹a��Ph � n l¼p $ p Q p m p h �o^o'p C

# �o (8q8+8­��´0dJ{MÀs�=�OiO²h�¦¢��-P�@J3'5uhR-<5�6w¦ � =�0�2UK�=>�RC@�;Ot-<5�510�5���-"5Y6£2=P-^K 3'510�5���zf3'2L-<A�J3'5�3^Bx3^A�KHR=>s10IMÀO�=�M�3'51JN23"O�C�SUT�V��UµeT��^Vfaf[^T����X1[^|@µeT����[ ��SUT�V �����¼ai¸1�UT�V����"ceV��U]wceh�$ ld $ o Q >o &@h >o & ! C

#%$ � (*+±� K s�=>2x-"5�6:© ª AY6.0�5uC ª -"/10I6ËM�3^5@HR=>2�'=>5�M�=*3<z8-</�/�2N3P¾@0�BG-<J=³K 3<O�A�J 0�3^5YK JN3yK�s�-"/�=>¤zf23'B�¤�K sY-^6.0�5��G/�23^?@Od=�BDC�9b=PMÀs�5@0tM�-POu2N=>/�3^2NJ>huv\3^�^5@0dJN=<MUsDÁ�5�M^C�h �o^o'p C�§�5�/�A�?1Oi0IK s�=P6}C

#%$ (*+r� K s�=�2:-"5�6 v « +Rs@AuC ®F0��'s1QR3'2U61=>2Ë=<KK�=>5@J 0I-POiO��r5�3^5�3RKMU0¿OiOI-"JN3^2N�ÈKMUs�=>Bx=<KDzf3^2®�-<BÎ0iO�J3'51QRq@-'M�3^?10�=<°RA�-<J 0�3^5�KeC���S��~ X�W ��|@]G�Uµ<W �T����¼�1Wih $^& j n k{l¼o'�.! Q o $'$1h�7�A��^AYK J >o'o1 C

#%$'$"(*+�q�� K s�=�2�-<5�6*q*7 +R=>Js@0t-<5uC���23'51J{KL/�23'/�-"��-"J 0�5��x��0�Js�MeA�2H'-"JNA�2=�6@=>/�=>5�61=>5@J�K /�=>=<6 l7FO��^3'2 0�Js�BGK;?Y-^K =P6£3^5 ®�-"B*0iO�J3^5�¤¹q@-'M�3^?10�zf3^2B*A@Ot-<J 0�3^5YK�CX�W@[ � Z\[^]�_W.�\�@�<c<Wih !Po1ld $PQ�n o h >o &^&@C

#%$ p (�7 � �;=>5@J OI-<5�6}C�©}3@M>-PO4K sY-^6.0�5�� -"5�->O���K²0tKeC,SÅ\Å\Å"!@µU�^T1c<W�[^T±�#�~DS{h �.j $ k{ld "!P� Q & ! h >o &"n�C�7FOIK 3*0�5D®�3^25�-"5�6³­�23R3'��Keh >o & o C

#%$<n^(�7��Ê�=>51J�OI-"5�6}C © 0�5�=<-"2�K�s�-"/�=wzf23'B K�s�-^6.0�5���CwSUT�V�W\X�W�[ ��Z\[^]�_g|1V�W8`uadceaf[^T�h j n k{ld m p Q >� $1h >o'o^� C

#%$'m"(8Ç �Ð5@A�=�Oi0¨-"5Y6G7Ê� ­�2NA�MÀ��K JN=�0�5uCu¦F0��<0t¦�A�2=>2�¤-�6.0��"0�JU->O=>5��'2U->H.0�5�� K ��K JN=>BDCV�[��À_R_g�N�^µatT$!}����`uadce|����\Z\[^]�_g|1V��Uµeh >o^o'p C

#%$ � (�½ ª 3'A�� -"5�6±7 9b3'A�2 0�5uCy7ÍH.0IKMe3RK�0�J�� K 3"O�A�J�0�3^5�KG-</�/�2N3R-^MUs:J3�K s�-</ =�¤�zf2N3^Bx¤²K�s�-^6.0�5���C��S%�~ WXYW&��|@]G�Uµ<W'�TY���¼�1Wih�$ o.j�pRkUl & �.! Q@&'&"n�huqRA�5�= �o^o $1C

#%$ ! (*) +@-"/10�2N3�h ª � 0�B�Bx=�O�h�¦ +Rs�-<�R=<6}hG­ � 0�BÎ0I-@h�-"5�6Í7 � ­�2AYMÀ��K JN=�0�5uC Á�B�/1O�=>¤Bx=>51J�0�5��xM�3^5@J 0�5@A�3^AYK�Q@KNM>-PO�=*Bx3^2N/�s�3"O�3'�^�DHR0I-�MeA�2HR=�=�HR3"O�A�J 0�3'5uCF���^VfV �{µ�Ty¶��N·U[U¸^T�atVfaf[^T�h$ �Rj�oRkUld �p^�'p Q �p.! $@h �o^o'p C

Page 17: The Taub Faculty of Computer Science, Technionron/PAPERS/KimKirBru_JMIV1996.pdf · 2011. 8. 10. · 03^5Ë2 A1O=3"z -/1OI-"5 -HR3

��������������� ��������������� ���������� "!

#%$'&"(*),+.-"/10�234-"5�687:9;-<5�5�=>5@?�-<A�BDC�7FEG5�=;0�51H'-"2�0I-"5@JLKNM>-PO�=�Q.K /�-'M�=RC�SUT�V�W�XYWYZ\[^]�_W`badceaf[^TgWih ^ <jU <kUl $'mPQ�n^n�h >o^o'p C

#%$ o (8q�7r+R=>Js@0t-<5uCwv\A�2NH^-<JA�2N=x-"5�6DJNs�=w=�HR3"O�A�J 0�3'5y3"z\zf23'51J{K�CGZ\[^]*]*|@T}W�atTD~��^Vt��W;�\�@�"c<WihjU ��1 <kUl n�& ! QRn o'o h >o &^m@C

# p'� (8q�7�+R=>JNs10I-"5uC�7�2=�H.0�=>��3"z\2N=<M�=>5@J�5@A�B�=�2 0IM>-PO�->O��^3^2�0�Js�B�K�zf3^2�s1�@/�=>2UK�A�2 z�-'M�=<K�Bx3"HR0�5����0�Js�M�A�2H'-<JA�2N=w6@=>/�=>5�61=>5@J�K /�=>=P6}C�XYWb[ ���8a �8W\���N[^]GWih j�p^pRkUld �p1 Q >�@ h >o & o C

# p@ (�� +RA�KK�BG-<5uh��r+RB�=�2=>�'-1h�-"5Y6�+�q,� K s�=�2>C:7¡O�=>HR=�O�K�=>Jx-"/�/�23�-^MUs¢zf3^2�M�3'B�/�A�J 0�5��K 3<O�A�J 0�3^5YK£J3G0�5�M�3'B�/�2=<KNK�0�?1O�=�J���3^¤f/�s�-^K�=w¥�3<�8Cw¦�=>/�-"2NJBx=>5@J�3<z��y-<Jsuh¨§£v�©u7¡v�7��ª =>/�3^2J o'p ¤ &@hu§£v�©u7wh�©}3�K�7�5��^=�O�=<Keh}v�7 o'�^� $"n^¤ m'm^m�huqRA�5�= �o^o^p C

# p $"(��D« ¬\=>2?�=>=>�4-"5�6*­yq�®¢¬\=>2��=>2>C@+Rs�-^6R0d5��4zf2N3^B¯K sY-"/�=RhRJs�=�=�0��R3^5�->O�=P°.A�-<J 0�3^5xK�3"O�HR=<6?@�D�^2{->�1¤f��=�0��'s1JN=<6±6.0IK J{-"5�Me=GJ2{-"5�K²zf3^2B³C´���^VfV �{µ�T±¶��N·U[U¸^T�atV¹af[^T»º��UVfV �UµUceh ^ 'l¼� & Q �^o^� h >o'o^� C

# p'p (�©y¬�0�5�M�=>5@J>C�½�¾Y-^MeJ�=>A�MUO¿0I61=P-"5y6R0tK�JU-<5�M�=�zfA�5�M�J�0�3^5D?@��MÀs�->0�5´/�23^/Y-"�R-<J 0�3^5¨C�Á�5Â��µ{["·��U�NÃ"ÄatTR¸"c8SNÅÆÅ\ůZ8`}�\¶�h�/�-<�^=<K�m^$ � Q.m^$^m@hu�y->� >o'o1 C

# p n^(*+:¦ÈÇ�-"5�3<��0�JÉ�-"5�6Ê7È� ­�2NA�MÀ��K JN=�0�5uCË7Ì5�=>�ÍBx=>Js�3@6¢zf3'2Î0�B�-"�'=yK =��^Bx=>51J{-"J�0d3'5uCZ\[^]�_g|@V �Uµ³`uadceaf[^T1Ï ��µU�À_��@af·ÀcUÏÐ�^T�Ã�SU]x�>¸1����µU[<·��cUceatTR¸^h�n �1l &^$PQ o m@h >o & o C