a k & g k 0 $ vsoftlib.rice.edu/pub/crpc-trs/reports/crpc-tr92422.pdf · a k & g k 0 $ v _...

27

Upload: others

Post on 10-May-2020

29 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

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

,.-0/�-2143+5657398

:�; � :=< � ;?>�@BAC@D@E >D>�@

FHG)IKJLG)MONQPRM"SOG)TLGVUMXWZY[P\I�]^UM_U`a`aG)`bFHPRcedgfgJ_UJLhaP\ISihjW_G�kiIlhnm\G)MLTZhaJpoqgrVsRs�t PRfgJZY[u[UhaI t JLMLGvG)JFiS"]�Fxwyu tez{r| P\fgTLJZPRIb}l~i���R� s\sR�

Page 2: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�a���K���&���g�K���0�$���V� �_���K�b���2�y���b�+�_�g����� �(�v�j��+���b�K ���¡n¡j�V¡¢�¤£¥�0¡¤�£¥��+���K�_�j�g�¦�K§�)¨+���+�g�b�_©0£[£[��v _�Q��ªD�«��¡¤¬l�g _�j�)¨+£$��­Z�¯®+�¢���b�_���\§L�_�g��°H�R�l�j�)�g R°B±³²v´bµR¶)·\¸+¹)µº"»l¼ ·R¸0¶V¶)µ ¼9½"º"»l¾ ´^¸ ½ µ\¶)¿2À ¼bÁ2 ´l´ÄÃaÅQ·À ½ Å »g¼ ¿Æ�lÇ�È�ɦ°9ÊRËg�gË+�

�a��ËK���.�lÌb� )���g�K�$�0�[���V� �_����Í ¾ ´ÄÃaµ ¾ µ ¼9½ Å ¼0ÎϽÑÐ µ�Ò.Ó Â Ã Îg» ¶VÅ ½ÑÐ{¾«»g¼ À ¼$ ¶V¶XÀl² »ÕÔÖ ¶ » ·Vµ¿)¿ » ¶v¿Æ�H×i¨b���)¨+�R�X�Ø�Ù°ÄÚ��0�j�{� ��X�¤�v©[�K§"ÉÛ�Ü )©g¡Q�K�b�^°ÝÈ"�K¡a¡j�¬g��×¢�K )Þ^°{Ç��+¬g�b�_�ÊRËl�0�{�iÈ¢�g£[�+�+�)� &ß{�v�j��b�V�[����b�K )�v£[��+���.��9�g )�&à��.á)ÊR�lË0�{�

�â�gãK��ä2�0å"�R�Õ�V¡n�Ræ�K�^Çèçl�b�g�0 ��K�_�Q��\¡a¡j©��V�g�+�{� v¬g��{�"®l�g�V�gÌ0�jáÑ¡a�QÞ{�&£¥��)¨+�é�¥§p�g . )�R�\¡�£Ï�Üá�) Õ�Ø�V�R�ëê.�j�)¨¯�V�l£[�0¡j�Vìí�V�g�K�X�+¬0�K�)���V�¤¬l��+�Ü��¡¤�+�R�Ù��î&¸ ¾¥ï.ð À ½ÑÐ+ï °.ñgñ+òôó{õlö\÷{ógñgö+°ÊRËé��Ë+�

�â�+Ê���2�lø¯�K�vÞg�j�b��Hßg¨0�a§p�_�j�+¬(�_�v ��K�)�¬K�j�R� §ù�g .�)¨+���b�K ���¡n¡j�V¡"ªD�ú�\¡j¬g�g _�j�)¨+£$�H����+�R�0�K§�+�+ )���K�b�[�K�+�0¡a�j�R�[£��K�)¨��K )��9�g )�R°lø¯�g�Õ¨0�¤�+¬l�)�g�[ßg�V�K�)�DÚ��0�j�Ä�j°0×i�0¡a¡j£Ï�K��°0ø�Ç2°ÊRËlËgõ+�

�â�gõK���2�Kø��K�)Þl�j�b�i�K�b�ÏûO�{�H¡Q�_�+� \�HÈ"�g�+�0� )¬K��b�V���ܧ���¡¤¬l�g _�j�)¨+£Ï�O�K§y�0�R�V�g£[�b�0�Z�j�_�j�g��)©0�b��§p�g .�)¨+���V�j¬g��+�g�\¡j�+�&�+ )�gÌ0¡j�£$�Bü Å ¼^ïÄ à Î0ïé ´g´ÄÃ ï °�Êó{ñ+òØÊRË\÷{ó0�{°9ÊRËgË+Êg�

�â�gñK�2ýb¨+�l�+¬g¬{�K�+¬�ý9��+¬b�&± »g¾2»g½p» ´Ä²\þ Á µ ½ µ\¶ ¾ Å ¼ À ¼9½ Àgà Îl» ¶�Å ½ÑÐ{¾�Ô» ¶e¿ » Ãnÿ\Å ¼0Î�¾ À ½ ¶�Å��µ\Å Î µ ¼ ÿ\ÀgÃa¸{µ�´Ä¶ » ¹ÆÃaµ ¾ ¿"À ¼9Á Å ½ ¿�´bÀg¶)ÀlÃQÃaµRà Å��À ½ Å »g¼ ¿�K×i¨b���v¨+�R�Z�Q�°gÉ �Ø�V¨0�j¬{�Ü�[ßg���K�v�Ú��0�j�{� ��X�¤�v©g°bÊRËgË Êg�

õ��

Page 3: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�����K�&Ç2�^ß{�K£[�¨��K�b� �&���" v��+�R��ßg�Ü¡¤�l�j�+¬��) ��K�+¬l�0¡Ø�Ü ³�_©+�_�)�£��.�g�Û�¥�b�K ���¡n¡j�V¡��V�g£¥á�+�+�)� \�bÍ ÂCð��9ï  ¾¥ïÝÂe¼ ÀgÃ ï °bÊóbòØÊgÊRã+ÊV÷^Ê�ÊlÊRñ0°bÊRË0�l�{�

���0�R���&�Bß{�V¨+ )�V�jÌb� R��ßg�K¡j�l�j�+¬��V�¤¬l��+�Ü��¡¤�+���K�b���X�¤�+¬l�0¡Ø�Ü ��Ü��¡¤�+���+ v�gÌ0¡j�£Ï���g�í�Ü��+�b�0� ��X�� �R�¥�_©é�Õ�)�K¡a�Q���K ) ��Ü©g��bÍ Â&ð��9ï Ä·\Å ï ½ À ½Zïyº¢»g¾ ´Ä¸ ½Zï °0�{òôólóbÊV÷{ó{ö Êg°gÊRËg���+��  ��Õ��Ì0¡j�+�VÞ(®l�g�V�gÌ0�y )�V§p� )��b�V���

���g�K���&�lß{�V¨+ )�V�jÌb� \���O¡j�é�VÞ��\¡j¬g�l _�j�)¨+£Ï�ݧù�g ��b�K ��\¡a¡j�V¡b£Ï�g�V¨0�j�+�R��l­L�[ɦ�Kß{�V¨+�0¡j�� g°�R�l�já�)�l R°0 ¾ µR¶VÅQ·Àlà  à Îg» ¶�Å ½ÑÐ{¾ ¿ ÔÆ» ¶ ðÛ»KÁ µR¶ ¼ Ö Àg¶)ÀlÃQÃaµRà º¢»g¾ ´Ä¸ ½ µ\¶  ¶_· Ð Å ½ µV· ½ ¸0¶XµÙ¿� Í ð�Â��^» Ãa¸ ¾ µ¿[Å ¼¦ð À ½ÑÐ0¾ À ½ ÅQ·Ù¿ÏÀ ¼bÁ Å ½ ¿  ´g´ÄÃaÅÑ·À ½ Å »g¼ ¿���ÿ ï���� �ißg�+ Õ�¤�+¬l� )áå¢� _¡Q�K¬b°^ÊRËg�g� �

���gËK�2�2�^ßg¨+ )�� "�¢Ç6�b�K V�\¡a¡¤�V¡���¡¤¬l�g _�j�)¨+£ §ù�g ��)¨+���V�j¬g��+�g�\¡j�+�R���K�b� �V�j¬g��+�{�R�V�v�g ��¢�K§�e¬g��+� ���¡ �V�g£[�0¡j�Vì$£Ï�K�v _�aìÝ�.î&¸ ¾[ï�ð À ½ÑÐ+ï °bög�+ò¤�g��Ë\÷é�lãgö0°bÊRËgË Êg�

�a��ãK�2�2�ißg¨+ )�� 4�K�b�¦�&�¢ß{�V¨+ )�V�jÌb� R�"!��¦�)¨+�$�V�g�+�g� v¬g��b�V�[�K§D�v¨+�(�V©+�v¡a�Ø� ®g�g�V�gÌ0�£[��v¨+�é�C§p�g y�b�Ü ��\¡a¡j�V¡bÌ0¡¤�+�VÞ��l ��0� _�j�+¬{��#bÍ Â&ð��9ï+ð À ½Zï{Âe¼ Àgà ïg ´g´^Ã ï °+ÊRã+ò ñgõ��\÷ñKó$�+°^ÊRËg�gË+�

�a�{Ê�&­V�"ßK¡Q�K�+�0��%��Ü R�  ·V·R¸0¶_À ½ µ[¿² ¾2¾ µ ½ ¶�ÅÑ·$µ\Å Î µ ¼ ¶)µ Á ¸{· ½ Å »g¼ ¹Æ²�À � Àl· » ¹ÆÅ ¾ µ ½ÑÐ{»KÁ �×O¨b���)¨+�R�Z�Q�°'&9� )�+�+�0�j�0� ��Z�j�)(�K�¢á"�D�K¬l���°b�D�ܬg���°9�D� )£Ï�Ü�+©{°bÊ\ËgËgõ+�

�a��õK���2�.ßg�l )��b�_����4Ç��b�\¡j©+�Z�Q���K§&�b�\�j )ê.�Q�_���0�j�0�g�_�j�+¬��j���³�K�b�v�Z�Q�K�=�V¡n�j£2�j�b�K�Õ�¤�l���Í�*+*,*.-Ķ_À ¼ ¿ ïyº"»g¾ ´Ä¸ ½Zï °^ñKóbò õ0�RóK÷éõl��� °bÊRËg�Üób�

�a��ñK���2� ßg�g )��b�_�� �K�b� ×i�[ài�K�+¬b� !�� �)¨+�4�g )�v¨+�g¬g�g�b�\¡a�j�)©7�K§��V�j¬g��+�0�R�V�)�g ���V�g£¥�+�+�)�R� Ì+©��l�¤�l�Q�0�áL�K�b�+áL�V�l�bçg�+� ��)�R�V¨+�0�Qçl�+�R���9Í ÂCð/�9ï  ¾¥ïDÂ�¼ ÀgÃ ï °õg�102�$3�òjÊ\��ölõ\÷bÊK�g��ö0°bÊ\ËgË+Êg�

�a�Róg�2�2�^ø �Oßg�)�êD�K v�Æ�2Ç«®g�l�V�gÌ0�jáÑ¡n�ÑÞ{���\¡j¬g�g _�j�)¨+£ §ù�l ��V�g£[�+�+�Õ�¤�+¬ �)¨+� ß{�V¨+�+ ³�0�á�V�g£¥�b�{�Z�j�_�j�g���K§��[�+�l�+áL��� )£ë�¤�Õ�Ø�Ü��£Ï�K�) Õ�nì��49Í Â&ð5�9ï Ä·RÅ ï ½ À ½Zï�º¢»g¾ ´Ä¸ ½Zï °�+ò �gögñ\÷é���Ró9°bÊRËg�lö+�

�a��öK�2�2�øè�Kßg�)�êD�K v�R�Ç��b�K ���¡n¡j�V¡+�j£[�0¡j�£[��+���Ü�_�j�g���K§+�)¨+��ªD���\¡j¬g�g _�j�)¨+£$� Ö Àg¶)ÀgÃÑÃaµRú"»l¾ ´^¸ ½ Å ¼{Î °éö òjÊR�0�÷^ÊRË��+°9ÊRËg�0�{�

�a���K��×i�0ßgê��K � �) ��Ü�+Ìb� R�9Ç=�b�K ��\¡a¡j�V¡ �\¡j¬g�g Õ�¤�v¨+£è§p�g ��V�g£¥�+�+�_�j�+¬[�)¨+���V�j¬g��+�g�\¡j�+�R�¢�K§�2�_©0£[£[��) Õ�Ø�C�) _�Q�l�Q�K¬g�g�b��¡y£Ï�K�) Õ�nì�� ð À ½ÑÐ ï�º"»g¾ ´ ï °�ÊRËlËgõ+���v�Ï�K�+�b�R�Ü R�

�a�g�R��ûi�0àH )�V§p��)¨+��(�Ü�b�Ï�&� ß{�V¨+ )�V�jÌb� R��ÇD�0� ��K¬l�D��g�_�D�Ü�b�\¡j©é�Z�Q�.�ܧ �&�K�b�)�Z�Q�K���V¡a�j£[á�j�b�K�_�j�g���6bÍ ÂCð7�9ï�ð À ½ZïÄÂe¼ Àlà ïb ´g´ÄÃ ï °^ÊgÊ80Xñ$3�òâñlñgö\÷{ñ��gã+°+Ê\ËgËgã+�

õgö

Page 4: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�âögöK�&øè�ä&�K¨b�K���0���gê¦È" V�K©:9 �b�K _�j�)¨+£¥��_�Q�i¨+�+ )���^�)�v�j��+�_� � �.�V�g£[�+�+�Õ�¤�+¬9�g×i )�R�_��+�v�R��)��È" V�K©[ÚD�_� e�D v�g�+�(É ���_�j�+¬b°^àH�g )�l�{�_�b°lÇD�+ _�a¡�ÊRã+°^ÊRËgË Êg�

�âö��K�2ÈD�0û��KêD�Õ�g��°{�&�+���K�b�_�g��°+�2�0ä��¤�b����Ø�^°^�K�b�;&.�0ä� )�g¬g¨��<���l�Z�Q��¡n�j�+�R�K ��\¡j¬g�Ì+ ���_�+Ì+�+ v�g¬g ��K£���§p�g e§ù�g v�) ��K�¦�b�)�K¬g�g� Â¥ºið -Ķ_À ¼ ¿ ïið À ½ÑÐ+ï »_Ô½Zï °"ö òâñgãg�\÷+ñgõgñ+°ÊRËé��Ë+�

�âö0�R��à&� á>=��"ûÄ�C�K�b� ýy�.ýb��+¬9�4���g£¥�g�)�g�+©0áL�0��)� )£2�j�b�K�+�2�\¡j¬g�g _�j�)¨+£ §p�g (�Õ�K¡j�g�j�+¬�+�g�b�Õ©{£[£¥��) _�Q���V�j¬g��+�g�\¡j�+�&�+ )�gÌ0¡j�£Ï��¢�)�[�K�+�b�R�Ü ��j�ÛÉ��K�v¨��bÈ¢�g£[���

�âög�K��à&� á>=��RûÄ� ° ýy�lýb��+¬b°K�K�b�2ûi�gÈ¢�g�+¬b�+ßg�Ü¡¤�l�j�+¬��V�j¬g��+�g�\¡j�+�"�+ v�gÌ0¡j�£Ï�H�K§b�+�g�b�_©0£[á£[��v _�Q�"£��K�) _�Q�V�R�Hê.�j�)¨[ v�R�\¡é¨+�l£[�g�)�g�0�j�R��?bÍ ÂCð��9ï î&¸ ¾[ï+Â�¼ ÀgÃ ï °RõlË$0�Ê�3�ò õgõgË\÷õKó0�+°^ÊRËgËgõ+�

�âögËK�2È"á_È�� ûÄ�¤�=�K�b�����¢ýb£ë� �_�êD�_Þl�L��Ç �b�K ��\¡a¡j�V¡³�\¡j¬g�g Õ�¤�v¨+£�§ù�l ë�V�l£[�+�+�_�j�+¬��)¨+��V�j¬g��+�g�\¡j�+�R�¢�K§y�K���+�b�_©{£¥£[��) _�Q��£Ï�K�v _�aìÏ�g���K�$ßg­_É��4£[�R�Õ¨Ï�K§H�+ )�é�V�R�v�_�g �������b�K v�)£[��+�^�K§�È"�g£¥�+�+�)� "ß{�v�j��b�V�&à���È�ßDË Êá)ÊRö+°KÚ��0�j�0� ��Z�j�)©��K§�È��\¡a�a§p�g )�0�Q�+°ß{�K�+�V�@�.�K )Ìb�K V�+°9È"Ç�°9®K�0¡j©�ÊRËgË+Êg�

���gãK�&Ç2�BA��HÉ��\¡j©é�_¨+��^��×"�K V�\¡a¡¤�V¡��g�_�9�R�V���&�K§D�_�l£[�Ï�_�9�R�V�) ��\¡"�+ )�lÌ0¡¤�£��&�j� ¡a�¤�+�R�Ü �\¡j¬g�Ì+ V�+�Ï����+�R���K§6A��+£[� _�Q��\¡DÉ��K�)¨+�£��K�_�Q����.��9�g )�4ADÉ áL��Ë+ÊlÊRñ+°iÈ¢��+�) )�§p�g �É��K�)¨+�£Ï�K�Õ�Ø����K�b� È"�g£[�+�+�v� &ß{�v�j��b�V�g°^ÇD£Ï�Õ�)� ��+�K£$°+®K�0¡j©�ÊRËlË+Êg�

���+Ê��ɦ�â�e�aÈD�b×¢�K ��0�Þ0�{�l�b� R�&Ç?çg�b�l�0 ��K�_�Q��\¡a¡j©��V�g�+�g� v¬g��{���b�K ��\¡a¡j�V¡B®g�l�V�gÌ0���+ )�lá�V�R�)�ħù�g H�l�Ø�ܬg�g�b�\¡a¡j©��0�g£2�j�b�K�+�^£Ï�K�v _�Q�V�R�^ê.�j�)¨��l�Q�_�Õ�¤�b�V�H�V�j¬g��+�g�\¡j�+�R�� �9ïbº"»g¾ þ´Ä¸ ½ZïÝ ´g´Äà ï�ð À ½ÑÐ+ï °bõ0�{òâñ�÷ÄÊ)�+°+ÊRËl�gË+�

���gõK�@���"×¢�K _¡j��)�R���B�R�0�b�V�_�j�g�4�)���v _�Q�l�Ø�ܬg�g�b�\¡�§p�g )£��K�b��£2�j�0�j£Ï�\¡� v�R�\¡a�� R�Ü�_�j�g�b��9Í Â&ð��9ïyð À ½ZïÄÂe¼ Àgà ïé ´g´ÄÃ ï °�ÊRñ$0Xõ13�òâö��l�÷éöKËgñ °bÊRËgËlõ+����gñK�@���^×"�K _¡j��)���K�b� å��B&9� )�b�K�b�0�9�DÇ&��V�+ ��K�v�ë�X�¤�+¬l�0¡Ø�Ü &�Ü��¡¤�+�R�&�Ü�b�Û�l�C �� )��+�_�Q�\¡

ªD�è�\¡j¬g�l _�j�)¨+£Ï��.É��K�)¨$����b�K )�v£[��+��×^Ç³É áLögöÜób°+Ú��0�j�0� ��Z�j�)©[�K§.È��\¡a�a§p�g )�0�Q�+°�¢� )Þ0�V¡j�©{°9È"Ç2°é®Ü�0¡¤©¦ÊRËgËgõ ����Kóg���2�+×i Õ�¤�R�Õ�R�iÇ�¡¤¬l�g _�j�)¨+£Ï�¢§p�g D�Ü )Ì0�j�) ��K )©¥�+ )�R�v�Q�Z�j�g�EDb�{�K�_�j�+¬[�9�K�j�+�B�Ü _�j�)¨+£[��_�Q�K�

­Z�(×i�gä��l )�+� )�+���K�b�Ï�2�0É��K�)�0¡Q�+°g�R�l�j�)�l ��° Ö ¶ » ·�µvµ Á Å ¼{Î ¿ »_Ô&½ÑÐ µ ��Fg½ÑÐ ^² ¾ ´ » þ¿ÅQ¸ ¾«»g¼¦º"»l¾ ´^¸ ½ µ\¶  ¶�Å ½ÑÐ{¾ µ ½ ÅÑ·R°0�b�K¬g�R�eÊRñgõ�÷ÄÊó{ö+° �D )��+�lÌ0¡¤�g°#&b V�K�b�V�g°+®K�+�+�õ��ÜáLõg��ÊRËgË+Êg�l­X�¢�"�úÈ"�g£[�+�+�v� &ßg�é�v�j��)©�×i )�R�)�Ù�

���göK�&Ç2�Kß{�K£[�¨��$!��2®g�g�V�gÌ0�+�K�b��®g�l�V�gÌ0�jáÑ¡n�jÞ0���\¡j¬g�g _�j�)¨+£Ï�ħù�g H�.�b�K ��\¡a¡j�V¡b�V�g£[�+�+�)� R�ð À ½ÑÐ+ï"º"»g¾ ´ ï °bõgö òâö0��Ë\÷+ögËKã+°bÊRËé�{Êg�

õKó

Page 5: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

º"»l¼Ô µR¶)µ ¼ ·�µ »g¼ Ö Àg¶)ÀlÃQÃaµRÃ Ö ¶ » ·VµV¿�¿Å ¼gÎ.Ô» ¶G^·RÅѵ ¼b½ Å H�· º"»g¾ ´Ä¸ ½ Å ¼0Î °+�b�ܬg�R��õgË\÷ñgö °é×O¨0�a¡Ø�l�0�V¡¤�+¨ �Q�+°�×^Ç2°ÄÊ\ËgËgã+� ßg­LÇ&É��

�ôógóg�2�2�{Ç2�^���V�Ø�Õ�R�i�.�R�0�b�V�_�j�g���K§"��¬l��+� ��\¡y£Ï�Ü�) _�aì(�v���v _�Q�l�Ø�ܬg�g�b�\¡�§p�g )£ �,9Í ÂCð�9ï�ð À ½ZïÄÂe¼ Àlà ï+ ´g´^Ã ï °�ÊRõ10Xõ$3�òâñ���õ�÷éñ0�Rñ+°bÊ\ËgË+Êg��ôó{öK�2�2�"Ç2�����V�Q�_�$�K�b�ú���.®+���&�K�l�Q��I&��j�b�l�j�+¬��V�j¬g��+�g�\¡j�+�R���K�b� �V�j¬g��+�0�R�V�)�g ��

�K§��+�b�_©0£[£[��v _�Q��£Ï�K�) _�Q�V�R�2�b�X�¤�+¬¦�Û�l�Q�_�v _�jÌ+�+�)�R��£[�£¥�g )©�£[�0¡j�_�j�+ )�+�V�R�)�_�g R�Ö Àg¶)ÀgÃÑÃaµRà º¢»g¾ ´Ä¸ ½ Å ¼{Î °�ÊRñ$0_õ$3�òjÊRËlË÷+õgãKË+°bÊRËlËgã+�

�ôó��K�2�2�iÇ����D�V�Q�_�\°�Ç2��û^��°��K�b�����"ø��g�V¨b�_�+ v�R�)��úßg���KÌ0�a¡a�� �R�  )�R�0�b�V�_�j�g�4�K§��Ü��K vÌ0�¤�v ��K )©¦£Ï�K�) Õ�nì��)���v _�Q�l�Ø�ܬg�g�b�\¡�§ù�l )£$��àH�R�V¨+�0�Q��\¡³�B��b�g )�E!JA���û<K�à�É áÊgÊ\ãg�gË+°L!D�KÞ(���Ø�0¬l�MA��K�_�j�g�b��¡�û��KÌb�g V�K�)�g )©0°bÊRËl�gË+�

�ôó+�R�2�2�.�D�K¡j�+Ì4�K�b� ÈD�"å.�K��û^�{�Ü��� ð À ½ ¶�Å�� º"»g¾ ´Ä¸ ½ À ½ Å »g¼ ¿�6®Ü�g¨+�b�����l�+Þg�j�b�Ú��0�j�{� ��X�¤�v©ë×O )�R�)�°#����¡¤�Õ�¤£¥�g )�g°bÉ��2°+õK�b���R�l�j�_�j�g��°HÊRËg�lË+�

�ôó{�K��É �j�+¬������K�b�=ßb�.�H�Q�_��b�Õ���K�R�=Ç �_�V�KÌ0¡j�Û�K�b� �V�(�v�j��+�Ï�\¡j¬g�g _�j�)¨+£ §p�g [�)¨+� ��Ü�+Þ{á)Ê�£[�é�l� � ��K�Õ�¤�l���K§y�)¨+�&�_©0£[£[��) _�Q���V�j¬g��+�+ )�gÌ0¡j�£$�.È¢�g£[�+�+�)� �ß{�v�j��b�V�����+�R�+�.��9�g )��="Ç&û��"ÚNK��eÈ�ß�KK���.áLË+Ê)� °�=.�\¡j��Ú��0�j�0� ��Z�j�)©0°gÇ��+¬g�b�_��ÊRËlËgõ+�

�ôó{ËK�@Ae�{®+�9�.�j¬g¨b�K£ �y�Hì+�0¡j�K�j�_�j�+¬[§L�g�_�¢£Ï�K�) Õ�nì�£[�0¡j�_�j�0¡n�Q��K�Õ�¤�l�$ê.�j�)¨0�j���)¨+�&û^��0�V¡�ñ�.û^Çeßb� Â¥ºið -Ķ_À ¼ ¿ ïbð À ½ÑÐ+ï »_ÔƽZï °�Ê)� òâñgögõ\÷+ñ��K�+°bÊRËlËgã+��âögãK�&­O��ɦ�P* ¼{Î Å ¼ µµ¶�Å ¼{Î À ¼9Á ^·RÅѵ ¼b½ Å H�·�^¸+¹¶ » ¸ ½ Å ¼ µ�ü Å ¹Æ¶vÀg¶�²Q�,R�¸0Å Á µ2À ¼bÁ Ó�µ Ô µ\¶)þ

µ ¼ ·µS��ÓBµ\Ãaµ�ÀK¿µ � � Ö ¶ »Î ¶LÀ ¾�T�U�U�V þ V�U�� °^ó[�R�l�j�_�j�g��°HÊRËg�l�+��âö+Ê�&­V��­L�b�Õ��¯�K�b�¦���H®K�R�)�_�+���xßg�K¡j�g�j�+¬��)¨+���_©{£¥£[��) _�Q�2�) Õ�Ø�l�Q�K¬l�g�b�\¡��V�j¬g��+�g�\¡j�+�

�+ )�lÌ0¡¤�£è�l�[�)¨+�.¨+©{�9� ��V�+Ìb�g�?bÍ ÂCð��9ï Ä·\Å ï ½ À ½Zïyº¢»g¾ ´Ä¸ ½Zï °bÊlÊ�0Xõ$3�ò õgãKñ\÷éõKñgã+°ÊRËlËgã+�

�âögõK�����R®K�R�)�_�+���0Ç���g�Õ���K¬{���¤�b�Õ� ���l�j�g�Q�0�D�K�b�e�V�g�bçl�+�  �K�+�+ v�{�g�V¨&�)���v¨+�"�+�g�b�_©0£[á£[��v _�Q���V�j¬g��+�+ v�gÌ0¡j�£$��àH�R�V¨+�0�Q��\¡"�.��b�g v�4!JAD��ûWK�à�É á)ÊgÊRËgãlñ+°B!D�ÜÞ$�¢�Q�0¬g�A��K�_�j�g�b�\¡yû��ÜÌb�g ��Ü�)�g )©0°bÊRËgË Êg�

�âögñK����� ®Ü�R�)�_�+�í�Ü�b�¦­��i­Z�b�_�����­L£¥�+ )�g�l�¤�+¬ �)¨+�$�g��V�+ ��g�V©¦�K§��j�+�0� ��_�¥�j�)� ��K�_�j�g���9Í Â&ð��9ï ^·RÅ ï ½ À ½Zï"º"»g¾ ´Ä¸ ½Zï °yÊRñ10Xõ$3�òâölö�ã�÷éöl��õ+°bÊ\ËgËgõ+��âöKóg������®K�R�)�_�+���K�b��� ßg�l )��b�_����[Ç«�l�j�l�Ø�0�$�Ü�b���V�g�bçl�+� ��\¡j¬g�g Õ�¤�v¨+£ §p�g ��V�g£¥á

�+�+�_�j�+¬[�v¨+���Z�j�+¬g�0¡Q�K D�g�\¡j�+���0�R�V�g£¥�b�{�Z�j�_�j�g���K§i�2£Ï�K�) Õ�nì��H­L� Ö ¶ » ·�µ)µ Á Å ¼{Î ¿ »ÕÔ½ÑÐ µX- Ð ÅѶ Á 9Í Â&𠺢»g¼Ô µR¶)µ ¼ ·)µ »l¼ Ö Àl¶)ÀgÃÑÃnµ\Ã Ö ¶ » ·)µ¿V¿�Å ¼{ÎOÔÆ» ¶�^·RÅѵ ¼9½ Å H.· º"»g¾ þ´Ä¸ ½ Å ¼{Î °0�b�K¬l�R�Y�+ÊV÷1���+°+×i¨0�a¡Q�g�0�V¡j�+¨+�Q�+°�×^Ç2°^ÊRËg�gË+� ßg­LÇ&ɦ�

õgñ

Page 6: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

àH�R�V¨+�0�Q��\¡"�.��b�l )�Z!JA���û<K�à�É$á)ÊlÊ)���gË+°P!D�KÞÛ���Ø�0¬l�[A��K�_�j�g�b�\¡�û��KÌ9�g ��K�)�l )©{°ÊRËlËgã+���v�Ï�K�+�b�R�Ü .�j�$ÇeÈ�É à�!DÉ ßb�

�âñgñK��®+�+���g�+¬0�K ) ��+° ßb�+�D�K£¥£Ï�K _¡a�j�+¬b°b�K�b���2� ßg�g )��b�_����+�i¡j�+�VÞ[ )�R�0�b�V�_�j�g� �K§y£Ï�Üá�) Õ�Ø�V�R�¢�)���V�l�b�0��b�_�R�¥§ù�l )£Ï�H§p�g ¢�V�¤¬l��+�Ü��¡¤�+���V�g£[�+�+���K�Õ�¤�l�b�� �ĺHÂ&ð °{õ0�{ò õ+ÊRö\÷õgõé�{°^ÊRËg�gË+�P0Xû^Ç&×^ÇeÈ�ä4ø¦�g )Þl�j�+¬ZA��g�v�4\�õ$3��

�âñKóg��®+�g���l�+¬{�K ) ����K�b�[ɦ�0ßK�Q�+�K�0�L��Ç �b�K ��\¡a¡j�V¡Ý��¡¤¬l�g _�j�)¨+£è§p�g i�)¨+���+�g�+áL�_©0£[£[��) _�Q��V�j¬g��+�g�\¡j�+�&�+ )�gÌ0¡j�£$�BÈ"�g£[�+�+�)� Cß{�v�¤��b�V�[����+�R�9àH�R�V¨+�0�Ø���¡��B��b�g )�eÈ�ßgáLË+ÊÙáÊRñé�{°+Ú��0�j�0� ��Z�j�)©2�K§"àH��+�+�R�)�_��g°bä��+�Kì+�l�n¡a¡j�g°^àYA�°�ÊRËgË+Êg�

�âñgöK��®+�����l�+¬{�K ) ��¥�K�b���2��ßg�g )��b�_����eÇè§p�0¡a¡¤© �b�K ��\¡a¡j�V¡B�\¡j¬g�l _�j�)¨+£ §ù�l D�)¨+���_©{£¥á£[��v _�Q�"�V�j¬g��+�+ v�gÌ0¡j�£$��bÍ Â&ð��9ï Ä·\Å ï ½ À ½Zï�º"»g¾ ´Ä¸ ½Zï °{�$0Xõ13�òjÊRñgËÙ÷ÄÊ\öRó9°RÉ��K ��V¨ÊRËl�0�{�

�âñ��K��®+�i���g�+¬0�K ) ����K�b���C�y�g�K�¦�0���D�V�j¬g�����.�R�0�b�V�_�j�g� �)�Û�V�l�b�0��b�_�R�¦§p�g )£ §ù�g �)¨+�2�V�j¬g��+�g�\¡j�+�2�+ )�gÌ0¡j�£��g���l�Q�_�) _�jÌ+�+�)�R� £[�£[�g v©Û�V�g£[�+�+�v� ���¥È"�g£[�+�+�)� ß{�v�j��b�V������+�R�.à.�R�V¨+�0�Q��\¡��.��9�g )��È�ßgáLË Êá)ÊRñgã+°�Ú��0�j�{� V�Z�j�)©��ܧëàH��+�+�R�)�_��g°ä��+�Kì+�l�n¡a¡j�g°HÊRËgË+Êg�60Xû^Ç&×^Ç�È.ä4ø¦�g )Þl�j�+¬]A��l�)�Z\�ñlã$3�°0�)�Ï�K�+�9�R�K ��¤��×¢�K ��Ù¡a¡¤�V¡È"�l£[�+�+�_�j�+¬b�

�âñ0�R�&Ç2�i���+Ì+ )�0¡a¡¤�g� à.¨+�$£[�0¡j�_�Q�_¨0�a§p��ªD�«�\¡j¬g�l _�j�)¨+£$ò¥�Q�2�j�[ê��l )�)¨��)¨+���v )�g�+Ì0¡j���×¢�\¡j��Ç�¡¤�v�Ïß{�v�j��+�_� � �ëÈ"��+�)� ��B��b�g )�C�³ñgõgãÜáLñgögög�\ì�°K­2�.É È"�g )���j°^ÊRölñgã�×¢�K¬g�É �a¡a¡ �.�{�g�^°9×"�\¡j�2Ç�¡j�)�9°^È"ÇèËKó{ñgãKó9°ÄÊ\ËgË+Êg�

�âñg�K��×i�0�iÌ9� _¡j�V�¤���¢Çè®g�g�V�gÌ0��£[��)¨+�+�¥§p�g .�)¨+���K�+�)�g£��K�_�Q�D�V�l£[�+�+���K�_�j�g���ܧy�V�j¬g��+á�g�\¡j�+�R���K�b���V�j¬g��+�0�R�V�)�g ��e�K§��Ü�í�K )Ì0�j�) V�K )©�£Ï�K�v _�aìÝ� �9ï 9Í Â&ð °.ÊRã+òa�RóÜ÷é�g�+°ÊRË��gõ+�

�âñgËK��×i�+�OÌb� _¡j�V�j����!��$�)¨+�¥ß{�V¨+�+ ��0�R�V�g£¥�b�{�Z�j�_�j�g���K§"�2£Ï�Ü�) _�aìϧp�g ��b�Ü ��\¡a¡j�V¡O�V�g£¥á�+�+���Ü�_�j�g���.Í�*+*,*^-^¶_À ¼ ¿ ïHº"»g¾ ´Ä¸ ½Zï °^ñ��+òjÊQ�0�÷ÄÊ\�Rób°9ÊRËg�0�0�

�ôó{ãK�&Ç2�Ä�¢�0�V¡j£Ï�K����� �¤¬l��+�Ü��¡¤�+�R�&�Ü�b�Û�V�l�b�l�¤�Õ�¤�l���+�+£[Ìb� V�.�K§" ��K�b�0�l£ £Ï�K�) _�Q�V�R��9Í Â&ð��9ï »l¼$ð À ½ZïÄÂe¼ Àgà ïé ´g´ÄÃ ï °bË$0Ló�3VòâöKó{ñÙ÷éö��Kã+°L!D�V�)�gÌ9� �ÊRËl�g�+��ôóbÊ�&Ç2�b�"�0�V¡j£Ï�Ü����!��$�)¨+�2�l�Ø�Õ�) _�jÌ+�+�_�j�g���K§��[�)���¡¤�R���V�g�b�l�j�_�j�g���+�+£2Ìb� \� ð À ½ÑÐ ï

º"»l¾ ´ ï °+ög�$0VÊRË0��3�òØÊR�göÙ÷ÄÊRËKã+°9ÊRËgËgõ+��ôó{õK��ä2�lÇ��9�³��¡n¡a�j�g�K��°+�&�+®+�+×H¡j�£[£[�l�b�°+�K�b�[Ç2�{�e�9ß{�K£[�¨��H×"�K ���¡n¡j�V¡��\¡j¬g�g _�j�)¨+£Ï�

§p�g ��0��b�_��¡a�j�+�R�K ³��¡¤¬l�Ì+ ��[�V�g£[�+�+�V�K�_�j�g�b��+bÍ Â&ð Ó�µRÿ\ÅQµQ_i°{ñgõ òâöKóK÷ÄÊ\ñgö+°+ÊRËgËlã+��ôó{ñK�2�2�bÇ2�H�D�V�Q�_�R�2×"�Ü ��\¡a¡j�V¡ �) Õ�Ø�l�Q�K¬l�g�b�\¡a�� R�K�_�j�g�¦�K§B��¬g��+� V�\¡"£Ï�K�) Õ�nì��b�Z�j�+¬Û�l�Q�_á

�) Õ�¤Ì+�+�v�R�$£¥�£[�g )©�£[�0¡j�_�j�+ )�+�V�R�)�_�l ����­L� Ö ¶ » ·Vµ)µ Á Å ¼{Î ¿ »_Ô[½ÑÐ µa` » ¸0¶ ½ÑÐ 9Í ÂCðõgõ

Page 7: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�âõgãK��ä��b�VÞ��2�Ä�Ü�b��Ç2�^ß{�K£[�¨���Çè�b�K ��\¡a¡j�V¡�ªD�è�\¡j¬g�g _�j�)¨+£ §p�g D�_©0£[£[��) Õ�Ø�C�) _�Q�l�já�K¬l�g�b�\¡�£Ï�K�) Õ�Ø�V�R�Ù�"Íb*,*,*c-^¶XÀ ¼ ¿ ïyº¢»g¾ ´Ä¸ ½ µ\¶)¿°^È"áLõ��$0Xõ$3�°9ÊRË0�g�0�

�âõ+Ê�2�2�g�&�K�g�Q�°g�C�1&9�+�b�0� _¡a�Q�K°+�K�b���2�+�D�V�Q�_�\�^Çí¨+©0�b� V�V�+ÌÄ�0���¤£¥�0¡¤�£¥��+���K�_�j�g���K§�)¨+�e�j£[�0¡a�Q�v�Q�[�0�g�+Ì0¡j�Ï�_¨0�a§p�[ªD� ��¡¤¬l�g _�j�)¨+£$�2­Z��±³²v´bµR¶_·\¸+¹)µ ð ¸0à ½ Å ´Ä¶ » ·)µÙ¿�¿ » ¶v¿��d�V1e °+�b�K¬l�R�Y�+ÊRË\÷��gõ��+°0×i¨0�a¡Q�g�0�V¡j�b¨0�ù�+°^×^Ç2°^ÊRËg�0�{�9ßg­Zdzɦ�

�âõgõK��à&�9���Þ{Þ0� R�¢ÇfDb�{�K�_�j�+¬��b�K�j�+���)�R�V¨+�0�Qçl�+�e§ù�g ��Vìé�)��b�l�j�+¬��)¨+�2�K�g�\�a¡Q�KÌ0¡j���+ )�á�v�Q�Z�j�g���� ¾¥ï�ð À ½ÑÐ ï °�Ê\�+òâõgõKóÜ÷éõKó{õ0°bÊ\Ë0�{Êg�

�âõgñK��®+�.���£[£[�V¡L�.!��4�V�g�b�l�j�_�j�g�4�+�+£[Ì9� ��[�K�b� �)¨+���l�Q�_���K�b�V���)�¦�)¨+���+�R�K )�R�_��a¡a¡jáp�b�{�_�R� �+ )�lÌ0¡¤�£ ��î&¸ ¾¥ï�ð À ½ÑÐ+ï °bö+Ê�0Xñ13�òâõgö+ÊÆ÷éõK�gË+°{®Ü�0¡¤©�Ê\Ëg�0�{�

�âõKóg��®+�9���£[£[�V¡L�"à.¨+�&�+ )�lÌb�KÌ0�a¡n�j�)©��)¨b�K���2�+�+£¥� _�Q��\¡ �K�b�\¡j©+�Z�Q�.�+ )�gÌ0¡j�£ �Q�D�l�a�Ïá�V�0¡j�R� ð À ½ÑÐ+ï.º"»g¾ ´Ä¸ ½Zï °bölã$0�ÊR�gõ13�òôóKó{Ë\÷{óg�gã °KÇD�+ _�a¡�ÊRËg�g� �

�âõgöK��®+�+���£[£¥�V¡ �¢à.¨+���j�+¨+� )��+�.�j�b�g��V�+ ��g�V©��ܧy�j£[�0¡a�Q�v�Q���) _�Q�l�Q�K¬g�g�b�\¡¢ªD�&�"àH�R�V¨+á�0�Q��\¡y v��b�g )�\°+­XÉ Ç2°bÚ��0�j�0� ��Z�j�)©2�K§"É �¤�+�+�R�Õ�g���+°�Ê\ËgËgõ+�

�âõ��K��®+�9���£[£[�V¡L°Äɦ�+���R�K�)¨�°b�K�b� ��� �Ü�Ü�$�0� �å"�g V�_�R�i×"�K V�\¡a¡¤�V¡H�+�+£[� _�Q��\¡^¡a�¤�+�R�Ü �\¡j¬g�Ì+ V�+��­L� Ç��O­X�_� _¡j�R�°��R�l�j�)�g R°  · ½ À  ¾ µR¶VÅQ·À��2ÿ » Ãa¸ ¾ µhgl�.È��K£[Ì+ Õ�Ø�0¬l�Ú��0�j�{� ��X�¤�v©ë×O )�R�)�°�ÊRËgËgña0L�)�[�K�+�9�R�K S3��

�âõ0�R��®+�����£¥£[�V¡O�Ü�b�hAe��®+���B�j¬g¨b�K£$�¥ßg���KÌ0�a¡a�j�)©$�K§.Ì0¡j�é�VÞ��\¡j¬g�g _�j�)¨+£Ï��êB�¤�v¨$§L�g�_�û^��0�V¡yñZ�.û^Çeßb�"�)�[�K�+�9�R�K .�j� Â¥ºið -Ķ_À ¼ ¿ ïbð À ½ÑÐ ï »ÕÔƽZï

�âõg�K��®+�����£¥£[�V¡L°iAe�y®+���B�j¬g¨b�K£$°H�K�b���&�Hß{�V¨+ )�V�jÌ9� R�]�O¡j�é�VÞ�û�Ú § �l�V�)�g _�� R�K�_�j�g����j�$�+ v��b�K ��K�_�j�g���

�âõgËK��®+�+���£[£¥�V¡ �K�b��øè�+ä&�K¨b�K���Hdz��V�+ V�K�)���Z�j�+¬g�0¡Q�K ��g�\¡j�+�R�.�K§yÌ0�Q�l�Q�K¬g�g�b��¡ £Ï�Üá�) Õ�Ø�V�R�Ù�bÍ ÂCð7�9ï Ä·\Å ï ½ À ½Zï�º"»g¾ ´Ä¸ ½Zï °�ÊgÊ�0Xö13�òâ�0��ñÙ÷éË ÊÆõ °+ßg��+�)�£[Ì9� �ÊRËgËlã+�

�âñgãK��®+�+���£[£¥�V¡Ý�K�b��ä2�0å"�R�_�V¡a�Ræ�K�^®g�g�V�gÌ0�j9â�¢£[��)¨+�+�ë�Ø�B£[�g )�&�g��V�+ ��K�v���)¨b�K� ªD�&�È"�l£[�+�+�)� �ß{�v�j��b�V������+�R�0àH�R�V¨+�0�Q��\¡Ä�.��b�l )�.ó��g�+°0È"�l�+ ��K�+�H­L�b�_�_�j�)�+�v�g°1A��ê=¢�g )Þ^°)AY=2°�!D�V�)�lÌb� �ÊRËg�lË+��0_�\¡Q�_�³ûÝdz×^ÇeÈ�ä ø��l )Þg�j�+¬JA��g�)�k\ÏÊRö$3V°�)�D�K�+�9�R�K �j��ßg­ZdzÉ�®+�9ÉÛ�Ü�R�0ÇD�b�\¡L�9ÇD�+�0¡L�

�âñ+Ê��®+�+���g�+¬0�K ) ��+°0®+�b����È" v�� g°0­��b���$ "°+�K�b� ßb�+�D�Ü£[£Ï�K _¡a�j�+¬b�iÇè�_��.�K§"û^��0�V¡�ñ�.�g�Z�Q�&û9�j�+�R�K �Ç�¡j¬g�Ì+ ��(ßg�+Ì+�+ )�g¬g ��Ü£Ï�� Â[ºOð -^¶XÀ ¼ ¿ ïbð À ½ÑÐ+ï »_ÔƽZï °^Ê)�$0�Ê83�òjÊV÷ÊK�0°éÉ��K V�V¨$ÊRËgËgã �

�âñgõK��®+�9���g�+¬{�K ) V�+°^��� Ç��^���V�Q�_�R°^�K�b��ÈD�9�.�g£2�j�+�g�eÈ"�g£[�+�+�Õ�¤�+¬��)¨+�e�V�¤¬l��+�Ü��¡¤�+�R��K�b� �V�j¬g��+�{�R�V�v�g ��¢�K§"�[¬g��+� V�\¡ £��K�) _�aì�Ì+©Ï )�R�0�b�V�Õ�¤�l�Û�v�Ï�) Õ�Ø�l�Q�K¬l�g�b�\¡H§ù�g v£$�

õ+Ê

Page 8: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�a�R�2ýy�$�.�\�y�K�b�Ï® �b���£[£[�V¡L�y���R�X�¤¬l���K§ �e�b�K ��\¡a¡j�V¡��+�g�b�_©0£[£[��) Õ�Ø���V�j¬g��+ v�g�+�_�j�+��)�0�K¡jÌb�ÜìÝ�=È¢�g£[�+�+�)�  ß{�v�j��b�V�x����+�\�"�+ )��+ Õ�¤�+�\°�Ú��0�j�{� ��X�¤�v©��K§2È��\¡a�a§p�g )�0�Q�+°�¢� )Þ0�V¡j�©{°9È"Ç2°ÄÊ\ËgËgõ+�

�â�K���2�H���<�����n¡j�©0�$�Hì+�) �� ¨0�¤¬l¨��_�b��R� £Ï�K�) Õ�n즣[�0¡j�_�j�0¡n�Q��K�Õ�¤�l���g���)¨+� È" ��K©0áLõ+�9Í Â&ð��9ï ^·RÅ ï ½ À ½Zï"º"»g¾ ´Ä¸ ½Zï °ÄË+òl�gãgñ\÷1�lãg�0°bÊRËg�l�+��âËK���2�b�e�������n¡j�©0°Ää2�^û^��g°��K�b� ���^�2��ßK�j£[�l���DÚ��Z�j�+¬�ßg�) ��g�)�Õ��B9â���\¡j¬g�g Õ�¤�v¨+£��)�

�g��V�V¡j� ��Ü�)�&�)¨+���_�K¡j�+�_�j�g� �K§H¡n�j�+�R�K &�_©+�_�)�£Ï�Ù� �bï ^¸´bµ\¶X· »g¾ ´Ä¸ ½ Å ¼0Î °lóbòâË0�÷+ñ0�{Êg°ÊRËlË+Êg�

�jÊRãK��®+���.�K _¡j�gê��.�i v )�g D�K�b��¡¤©+�Z�Q���K§i�+�Ä�+�K�v��£¥��)¨+�é�+�B§p�g D�v¨+���_©0£[£[��) Õ�Ø�C�V�j¬g��+á�g�\¡j�+�[�+ )�lÌ0¡¤�£ �[�)�$�K�+�9�R�K &�j��ßg­ZÇ³É ® �yÉ��K�R�^Ç��b�\¡L��Ç��+�0¡L�ÏàH�R�V¨Û�B��+ )�g�È�ßgáLË ÊáLõ+Êg°HÈ"�l£[�+�+�)� 2ß{�v�j��b�V�(����b�Ü )�)£[��+�R°^×i��+�¦ßg���Ü�)�[Ú��0�j�0� ��Z�j�)©g°9ÇD�+á¬g�b�Õ�³Ê\ËgË+Êg�

�jÊgÊ���2���O�¤�0���Ü�b�Û�2�^û^�g�v�_�L�2ßg���KÌ0�a¡a�j�)©$�K§¢§ �l�_�³��¡¤¬l�g _�j�)¨+£Ï�B§ù�l &£Ï�K�) _�aì$£[�0¡j�_�j�0¡a�já��K�Õ�¤�l���. ¾¥ï�ð À ½ÑÐ ï °bñ��+ò��gñ\÷9��õ+°bÊ\Ëg�gã+�

�jÊRõK��×i�S���_�g ��_���l�^�0 ¾ µR¶VÅQ·ÀgÃÜ¿ » Ãa¸ ½ Å »l¼[»_Ô�½ÑÐ µ�¹Å Ð Àl¶ ¾2»g¼ ÅQ·�µSmR¸0À ½ Å »g¼ �g×O¨b�¦�)¨+�R�Z�Q�°ßg���Ü�0§ù�g V�ÏÚ��0�j�{� ��X�¤�v©{°bÊ\Ëg�gã+�

�jÊRñK���&�^×i���¢ )��+�R��Ç�¡j¬g�g _�j�)¨+£���§ù�g �£Ï�K�v _�aì$£[�0¡j�_�j�0¡n�Q��K�Õ�¤�l���[È"�l£[�+�+�)� 2ß{�v�j��b�V�����+�R�+�.��9�g )�eÈ�ß$ÊRö0�0°bßg�V�K�0§ù�l ���Ú��0�j�0� ��Z�j�)©0°+ÊRË0��ã+�

�jÊóg���&��×O�n�¢ )��+�R�è�O ) )�g ��K�b�\¡j©+�Z�Q���K§[�\¡j¬g�g _�j�)¨+£Ï�¥§p�g �£Ï�K�) Õ�nì=£[�0¡j�_�j�0¡a�Ø��Ü�_�j�g��K�b� �) Õ�Ø�Ü�+¬g�0¡Q�K ��0�R�V�g£[�9�{�Z�j�_�j�g�¦�b�Z�j�+¬$ø �j�+�g¬g ��g��9 �.�Q�0��+�_�j�)©0��î&¸ ¾[ï¢ð À ½ÑÐ °Ê)� òjÊó{ö\÷^ÊÆö��+°bÊRËé��ã+�

�jÊRöK���&�ÝÈ��K )�)� \��È" V�K©4=DáLÉ�×oDb�{�K�_�j�+¬[�9�K�j�+�³�Ü�b� È"¨+�K¡j�Þé�Õ©Û�0�R�V�g£[�9�{�Z�j�_�j�g���.�)��K�+�9�R�K .�j�$­Z�+�R�+®+�b�B�j¬g¨�ßg�9��R��È"�g£¥�+�+�_�j�+¬b°�ÊRËgËlõ+�

�jÊ)�K��ɦ�KÈ"¨+���lÇ��+�g�v�"�g�2�)¨+�¢¨+�g£[�g�)�l�+©D£[��v¨+�é�³§ù�g �¡a�j�+�R�K ��\¡j¬g�Ì+ V�\�Q�.�V�j¬g��+�g�\¡j�+��+ )�lÌ0¡¤�£���.üiÅ ¼Ýï  à Î0ïb ´g´^Ãn°^ÊRãlö+òâõgõgö�÷éõgñ��+°bÊ\Ëg�g�+�

�jÊK�R��ɦ�KÈ"¨+��°\à&�ôá>=2�Rû9�L°g�K�b��àC�Kß{�K�+� R�0���g£¥�g�)�g�+©�£¥��)¨+�é�³§ù�l �¬g��+� ��\¡#péáp£��K�) _�aì�+ )�lÌ0¡¤�£���bÍ Â&ðq�bï�ð À ½ZïÄÂ�¼ Àgà ïé ´g´ÄÃ ï °9Ë$0Ló�3�ò ögõg�\÷{ögñ�� °+ÊRËg�g�+�

�jÊR�K��ûi�ÜÈ��)�K�+Þ0©{��&^�g�_�^�b�K V�\¡a¡¤�V¡+£Ï�K�v _�aì&�¤�+�0� ��Z�j�g����¡¤¬l�g _�j�)¨+£Ï��$9Í ÂCðr�9ïĺ¢»g¾ ´Ä¸ ½Zï °ö+òl�+ÊR�\÷1�lõ�ñ °bÊRË0�l�{�

�jÊRËK��®+� ®+�âɦ�+È"�+�+�9����iÇè�l�¤�l�Q�0���K�b���V�l�bçg�+� �£¥��)¨+�é�ë§p�g .�)¨+���_©0£[£[��) _�Q���) _�Q�l�já�K¬l�g�b�\¡��V�j¬g��+�+ )�gÌ0¡j�£$�� ¾ µR¶ ïyð À ½ÑÐ+ï °bñ��+òjÊÜ�g�÷ÄÊËgö+°9ÊRËg�+Êl�

õgã

Page 9: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�Z¡j�gê«�)��Ì9�$�b�_�V§p�0¡L�6à.¨+��û^Ç&×^Ç�È.ä�õ �+ )�g�_�R�V�[ê.�a¡a¡&�+ )�é�0�b�V���V�+�0�R�Ï�l�)�_�+£2�j�+¬ )�R�g�_�g�b�ÜÌ0¡¤©��V�(�v�j��+�.�Vì �V��+�Õ�¤�l�$¨b�K�b�l¡a�j�+¬b°^�Z�j�b�V�&�)¨0�Q�¢�Q�.�)¨+�&£[�{�Õ���V�g£[£¥�g�ÏÞl�j�b��K§y�j£[�0¡j�£[��+�V�K�_�j�g���ôóg�Z�

srtvuMwyxzc{�|}Z~J|k�7|kwJ�B�à.¨+���K�+�)¨+�l $�g�VÞ{�+�lê"¡j�R�0¬g�R���v¨+���_�+�+�b�l )���K§]A&ß�&7¬g V�K�+�ÏÇeß+È"áLËgãlãgögËgñgñ °JACß�&×v=�­[¬g ��K�+� È�È��.áLË+Ê\Ë��gãgõgõ °���Ç&��×^Ç«¬l ��K�+�Ï��Ç�dzû�ãgñKáLË+Êá_È¢áLãgãKó0�$�l�Ø�¦�_�+Ì^�V�g�+á�) ��g�V�;!D�BÇDápógó$���+�âãgõ §p )�g£ �v¨+�ÛÚ��0�¤�0� ��Z�j�)© �K§CàH��+�+�R�v�_��g°��K�b����Ç&��×^Ç ¬g ��K�+��&ÉÛõl�g�"ãKó9ÊRõgã �g�Q���Õ�+ÌÄ�V�g�+�) V�g�V��ø=áLñ+Êá)ÊRãgËÜáL�,AC�DáLñg�x§ù v�g£ ÇD v¬g�g�+�+��A��K�_�j�g�b�\¡û��KÌb�l ��K�)�g v©{�����D�\¡Q�_���v¨b�K�+Þé�Høè�gä&�K¨b�Ü�2§ù�l i�+�+£[� )�g�b�H�V�g£[£[��+�V���g���K�[�R�K _¡a�j� �0 ��\§p���K§y�)¨0�Q���b�K�b� \�

��|�Q|n��|Yw4t,|��jÊ�&Ç2�VÇD¨+�b°K®+�R���g�^�V )�K§p�R°��Ü�b�&®DÚB¡a¡¤£��K���v- Ð µ Á µ¿Å Îl¼ À ¼bÁ À ¼ ÀgÃa²\¿Åj¿ »_Ô · »g¾ ´Ä¸ ½ µR¶

Àgà Îl» ¶�Å ½ÑÐ{¾ ¿�idz�+�l�Q�_�l�+ápø��R�Z¡j�©0°�ÊRË0�Ró9��âõK�����"Ç��b�0� ��_�g���?�.�gÌ+�b�Õ�$�) _�Q�K�+¬l�0¡Ø�Ü $�_�K¡j�{�R�¥§p�g ��b�_���j�6�V�g�b�l�j�_�j�g�ú�R�_�_�j£Ï�Ká

�_�j�g���BÈ"�g£[�+�+�)� Cß{�v�¤��b�V�[����+�R�9àH�R�V¨+�0�Ø���¡��B��b�g )�eÈ�ßgáLË+ÊÙá)Êó{õ+°+Ú��0�¤�0� ��Z�j�)©�K§iàH��+�+�R�)�_��g°bä��+�Kì+�l�n¡a¡j�g°HÊRËgË+Êg�+0XûÝdz×^ÇeÈ�ä=ø¦�g )Þl�j�+¬]A��g�)��\�ñ��$3��

�âñK�����+ÇD�b�0� V�_�g��°^ýy�#����� °ÝÈD�'�O�Q�)�V¨+�K§)°b®+�b���£[£¥�V¡ °^®+�b���l�+¬{�K ) �� °é® �b����È" )�� g°Ç2�&�� )���+Ìb�K�+£$°eßb�&�D�Ü£[£Ï�K _¡a�j�+¬b°eÇ���É��ä���+�+�©{°¥ßb�G!D�_�) v�g�b�V¨+�g�^°D�K�b��2�¢ßg�g )��b�Õ����=ü Â Ö Â2º<��� ¿Æµ\¶)¿��+R�¸{Å Á µS�eÓ�µRÃaµ�ÀܿƵ �gï�F �=ßg­Zdzɦ°"×O¨0�a¡Ø�l�0�V¡¤á�+¨0�Q�+°�Ê\ËgËgõ+�

�ôóg�����KÇD�b�0� ��Õ�g��°9ÈD���O�Ø�v�V¨+�K§Õ°0®+�g���£[£[�V¡L°+®+�0���g�+¬{�K ) V�+°�® �{����È" v�� g°+ßb�0�D�K£¥á£Ï�Ü _¡a�¤�+¬9°y�K�b��øè��ä&�K¨b�Ü���Ï×i v�{�_�b�R�V�v�b��§p�g ��K���Vì+�)��b�Z�j�g�¦�)�$û^Ç&×^ÇeÈ�ä2òÄ��9�g )���KÌ0¡j�C¡n�j�+�R�K 2�\¡j¬g�Ì+ ��ë¡a�¤Ì+ V�K )©�§p�g �¨0�j¬g¨+áp�b� _§p�g )£��K�b�V�[�V�g£[�+�+�)� ��Ù�&È"�g£¥á�+�+�)�  ß{�v�j��b�V������+�R�.àH�R�V¨+�0�Q��\¡³�.��9�g )� È�ßgáLËgãKá)ÊgÊ\�+°�Ú��0�j�{� V�Z�j�)©��ܧ�àH��+á�+�R�)�Õ��g°bä��+�Kì+�g�a¡a¡j�g°yÊRËlËgã+�+0Xû^Ç&×^ÇeÈ�ä=ø¦�g )Þl�¤�+¬ZA��g�)�4\�õ��$3��

�âöK�&ÇGA&ßg­bKR­X�¢�"��° A��ê=¢�g )Þ^��Í�*,*+*� ½ À ¼9Á Àg¶ Á.Ô» ¶���Å ¼ Àg¶V²Z`"à » À ½ Å ¼{Î Ö » Å ¼9½y ¶�Å ½ÑÐ{¾ µ ½ ÅÑ·°.ßg��� ��öKóláÊRËl�göe�R�l�¤�Õ�¤�l��°yÊRËl�gö+�

���K�2ýy�$�.�\�y�K�b��®+�+���£[£[�V¡L�+!��$�eÌ0¡¤�+�VÞ2�j£[�0¡j�£[��+���Ü�_�j�g���K§ ���R�)�_��+Ì9� )¬2£[�0¡já�_�Q�_¨0�a§p�[ªD� �j�)� ��K�Õ�¤�l����Í ¼9½ µR¶ ¼ À ½ Å »g¼ Àlà �+» ¸0¶ ¼ Àgà »_Ô ±³Å ÎKÐ g´bµ�µ Á�º"»g¾ ´Ä¸ ½ Å ¼{Î °Ê�0VÊ�3�òâË0�V÷ÄÊlÊRõ0°bÊRËg�lË+�+0X�\¡Q�_�Ïû^Ç&×^ÇeÈ�ä=ø¦�g )Þl�j�+¬]A��l�)�4\��$3��

ÊRË

Page 10: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�+ )�R�v�Q�Z�j�g��°"�K�b���V���v�¤��+�&�Vìb�V��+�_�j�g�¦¨b�K�b�l¡a�j�+¬b��à.¨+�[­X�¢�"��Db�{�K�_�j�+¬ �b�K�j�+���_���Ü�+á�+�K ��=�âö\�L°�µ���·RÅѵ ¼9½ Ãn² Å ¾ ´ÄÃaµ ¾ µ ¼b½ µ Á °��Q�[��¬l�{�+��£¥�é�0�V¡L�¦ø����£[�+¨b�g�X�� � �)¨+���V§ùá� �v�¤��b�V©=�K§��j£[�0¡j�£[��+���K�Õ�¤�l��Ìb�R��Ü�b�_� �n§e�j�[�Q�¥�{� )©¦�Vì+�b��b�Z�j�0�$�)���Vì+� ��v�Q�_���)¨+�§ù�R�K�v�+ )�R�¢ê��D�+��R�^°é�¤���0�V§p�R�K���.�v¨+�D�+�+ )�9�{�_�&�K§H�b�Z�j�+¬Ï�)¨+�£?�)�[�g��V�V¡j� ��Ü�)���V�g£[�+�+á���K�_�j�g���

Ç&��V�+ ��K�)�� )�g�+�b�l�j�+¬=�K�)�)��+�b�K�v�R�2�g ��V¡a�j£2�j�b�K�)�R�  )�g�+�b�0�� �g��V�+£[�0¡Q�K�Õ�¤�l���j�¡¤�l�+¬$�_�+£Ï�&�g�&�0�R�)�V Õ�¤Ì9�R� �j���_�R�V�_�j�g� Êg�jÊe­L���\¡Q�_���b� )£ë�¤�V�&�b���)���Z�j£[�0¡Q�K�)�2¨0�j¬g¨+� �+ )�R�v�Q�Z�j�g�í�V¨+�R�K�0¡j©0°yê�¨0�Ø�V¨¦�K§p�)��¦£Ï�KÞ0�R���j�2�R�g�Z�j� [�)���0�R�Z�j¬g���_�V�KÌ0¡j�$�\¡j¬g�g _�j�)¨+£Ï�çg�0�Q�VÞl¡¤©�0Z��{����)¨+�g�+¬g¨��[�_���ÜÌ0¡¤����¡¤¬l�g _�j�)¨+£ ê�¨0�Q�V¨$�0�{�R���+�g�� )�V¡j©��g��¨0�j¬g¨+� ��+ )�á�v�Ø�X�¤�l��£Ï�K© �Vì{�Q�_�\°i�j�2£Ï�K©����KÞ0�[� ê�¨0�a¡¤� �)�Û�l�Q�)�V�l�{� S3V�$à.¨0�Q�2êD�g�C�)¨+����g�_�¥§ù�g È"�+�+�b��B9â�B£[��)¨+�+�;0X�Õ�R�V�_�j�g�(õ �ôó�3�°g�K�b���\¡Q�_�e§p�g .£Ï�K�+©��ܧÝ�v¨+�D )�l�+�_�j�+�R�¢§ù�l �õKápÌ+©0áLõ�K�b�2ógápÌ+©0ápó&£Ï�K�) Õ�nì2�+ )�gÌ0¡j�£Ï�O�j�[�)¨+�.�j�+�+� ¢¡j�{�l�b�i�K§��g�K _�j�g�b�iû^Ç&×^ÇeÈ�ä� v�g�+�_�j�+�R�°�_�b�V¨��g���Z¡Q�g�_�+õ+°Kê�¨0�Q�V¨��V�g£¥�+�+�)�R���v¨+��ßgå&���K§Ä��õKápÌ+©0áLõ.�) _�Q�K�+¬g�0¡Q�K H£Ï�K�v _�aìÏ�âñ0°�õgË\�L��.�j¬g¨+� &�+ )�R�v�Q�Z�j�g�¦�\¡Q�_�Ï£��KÞ{�R���¤���b�0�)�Z�jÌ0¡j�[�)���Vìé�)��b� �)¨+�C¡a�n§p�2�K§��V�+�0�R�&�0�R�Z�j¬g�+�R��)�2ê��g )Þe�g�Ï�_£Ï��¡n¡j� ��+ v�gÌ0¡j�£Ï�°b�g�O�)¨+�©Ï�K v�³�)���¡¤�R���v��ê��g vÞ��g�¥¡Q�K )¬g� .�g�+�R�¢ê.�j�)¨¡Ø�Ü )¬g� Ï�V�g�b�l�j�_�j�g� �+�+£[Ìb� V�40X�_�R�V�Õ�¤�l�4Êg�âõ$3�°H�g 2ê.�j�)¨�£¥�g )�� ��K�b�0�g£��j�b�_�V�KÌ0�a¡n�j�_�j�K�0X�_�R�V�_�j�g��Êg�âñ$3��=­Z�[�Q�ë�j£[�b�g v���K�+�[�)¨b�Ü�[�)¨+���Vìé�v ����+ )�R�v�Q�Z�j�g�4Ì9�Û�g���g��V�+ ��Ü�)�Û�g��)¨+�$Ìb�g�X�Ø� �+ )�R�v�Q�Z�j�g��°�Ì9�R��K�b�_���g�)¨+� )êB�Ø�Õ�$�+ )�g£¥�g�_�j�+¬¯�¦�V�+�0�Û�v��¨0�j¬g¨+� ��+ )�R�v�já�Z�j�g����K���j�+�) )�+�0�b�V��Ì+�+¬0��ê�¨+� v���+�g�+�2ê�� )��Ìb�V§p�g )�g��Ç �Z�j£[�0¡j�[�Vìb�K£[�0¡j�e�Ø���)¨b�K��K ���V�{��0O����02�#�+�����Q32�b���S3D��Ü��§ ���n¡.Ìb�R��K�b�Õ�[�)¨+�Ï�K v¬g�+£[��+���K§B�K V��V�{����K���Vìb�V��R�Ê&�a§" )�g�+�b�l�j�+¬��Q�B�¤�b�l��V�+ ��K�)�e�j���l�¤�l�Q�Z�j�g���g ��)çg�b�Ü )�� )�0�g���ØÊRö\�L���Hì+�) ��2 V�K�+¬g���K�b��+ )�R�v�Q�Z�j�g�$�K )���{� v©��b�_�V§p�0¡L°b�Z�j�b�V�&�)¨+�©2�b� )£ë�¤���b�"�b�O�)�&§p�g )�¬l���_�g£¥�D�)�R�Õ�_�j�+¬��K�b��)��\¡a�j�+¬Ï�)���K�g�K�Q�¥�g�g� SKR�+�b�0� �Db��ê �j�Û�V�g£[£¥�g�$�V�g£[�+�+���Ü�_�j�g�b���_�b�V¨$�g�N� ���8�#�� �

�H���v�¤��+�2�Vìb�V��+�_�j�g��¨b�K�b�l¡a�j�+¬��9� )£2�j���2�b�ë�)�$ )�+�¦§L�g�_�X � _�Q�_Þ0©1¡ �\¡j¬g�g _�j�)¨+£Ï�ê�¨0�Q�V¨Û�b�Õ�b�\¡a¡¤© ê��g )Þ^°+ê.�j�)¨+�l�+��§ù�R�K ��K§"¨b�K�l�j�+¬Ï�+ v�g¬g ��K£ �Vìé�R�V�+�_�j�g� �)� )£2�j�b�K�)�R�^�­L�b�0��R�^°��j�x�Õ�g£[�[��g�_�R���_�b�V¨��g���V�g�b�l�j�_�j�g���R�_�_�j£Ï�Ü�_�j�g��°^�g�g� ODb�Kê4�9� )£2�j�����b���)�� �0�Ø�Õ¨$�R�K _¡j©E0p�j���)¨0�Q����g�_�&�l�g� ODb�Kê��j£[�0¡a�j�R���v¨b�K��ãe�Q���K���Vìb�V�V¡n¡j��+�D�Ü�+�+ )�Kì0�¤£��K�)� )�R�v�j�+ )�é���¡O�V�g�b�l�j�_�j�g� �+�+£[Ìb� ¢3���­Z���b�K )�_�Q�V�0¡Q�K R° �j�.¡j����.�b�.�b�_�e�g�+�_�j£2�� �R�£�.û^Çeßb°�)¨+� )�Ì+©����KÞl�j�+¬(�l�0�Ü�Ü�+���K¬K�&�K§"�)¨+�e£Ï�K�+�0§L�g�V�)�+ )� )9 �.�� ��g )�.�j��ê� _�j�_�j�+¬��)¨+�£50X�Õ���_�R�V�_�j�g�Ûõ �âö$3���­L�Û�Ü�b�\¡j�g¬g©��)�2�)¨+���K )¬g�+£¥��+�"§p�g .�b�Z�j�+¬��.­)ß+Èf0S � )�R�0�b�V�R�(�j�b�_�) )�b�Vá�_�j�g�Û�_��&�V�g£[�+�+�v� ���¡$3�° ê��&êD�K�0���\¡j¬g�g _�j�)¨+£Ï��ê�¨+� )�e�)¨+��£¥�{�_�D�V�g£¥£[�g�Û��l�_�G¤�+�[�Vì �V��+�Õ�¤�l�b�¤  )�+�b���g��çl�0�Q�VÞg¡j©$�g�B�b�{�)�X�¤Ì0¡j�g�

à.¨0�Q���Q� �+�g���b�_�V§p�0¡��a§[�)¨+���+ _�Q�V���K§2�Vì �V��+�Õ�¤�l�6¨b�K�b�l¡a�j�+¬ �Q���)�0��¨0�j¬g¨B¥2ê���+��R���v��Ìb���KÌ0¡j�Û�v�� )�+��êB�¤�v¨§¦ �K�b��A���A¨02A��g�Ï�"A��+£[Ì9� S3��K Õ�¤�v¨+£[��_�Q�$�K��+�R�K _¡j©�§p�0¡a¡GDb�{�K�_�j�+¬¦�b�K�j�+���_�b��R�^�èà.¨+�� )�R�g�Õ�g���Q���)¨b�K���g�b�V���V )�R�K�)�R�^°��K�§¦�g yA���A7�+ )�g�b�K¬0�K�)�R���)¨+ )�l�+¬g¨��)¨+�Ï�V�l£[�+�+���K�_�j�g��°i�V )�R�Ü�_�j�+¬$£Ï�K�+© £[�g )�X¦�9â�&�g AD��A�9â���à.¨0�Q�e£[�R�K�b�°Ý§ù�g e�Vì �Ü£[�0¡j�g°y�v¨b�K���)¨+���&�.Ȫ© �j£[�0¡j�£[��+���Ü�_�j�g���K§��)¨0�Q��K _�j�)¨+£[��_�Q�K°Hê�¨0�Q�V¨��b�_�R�e�) V�K�b���)�$�v¨+�[�g�b� V�K�_�j�+¬��_©é�Õ�)�£$°^�Q�e�)�0���+�b�g��V��+���KÌ0¡j©

ÊR�

Page 11: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

à.¨0�Q�¥£[��)¨+�+����K� § �\�a¡��a§��)¨+���j�)� ��Ü�_�j�g��§L�\�a¡Q���)���V�g�+�0� )¬g���)���K�=�g��V�+ ��K�v���+�g�+¬g¨Û�Ü�+�+ )�Kì0�¤£��K�_�j�g���K§,«�02¬N3��"àB¨0�Ø��êB�n¡a¡i¨b�K�+�b�� �a§��_�g£[�e�V�¤¬l��+�Ü��¡¤�+�&�ܧP¬ú�Q��)�{���v¡j�{�_���)���)¨+�¥�j£Ï�K¬K�j�b�K )©¦�\ì{�Q�­0_�\¡j�g�+¬$ê�¨0�Q�V¨¦�)¨+�¥�¤�v� ��K�_�j�g��Ì9�¨b�K�{�R�&�V¨b�Ü�g�)á�Ø���¡n¡j©#3�� Ç �_©0£[�+�)�l£ �ܧ³�)¨0�Q�2£��K©�Ìb�Û�Ü�¦�¤�+�v� )£[�R�l�Q�K�)�;¬ � ê�¨0�Ø�V¨ �Q�[�0� )© �a¡a¡¤á�V�g�b�l�j�_�j�g�+�R�^°��Õ�$�)¨b�K�@¬N® �� �Q�C�{� )© �j�b�g��V�+ ��K�)�g� ­L�2£Ï�K©� )�Rçl�0�j )���b�_� e�¤�+�+�+�2�)�¨+�V¡¤���_�V¡j�R�V�i�)¨+���V�g v )�R�V� �Õ�b�R�V�) ���¡ �l�j�l�Ø�l�Ñ�+¬&¡a�j�+�g�i­L�"��K�e£[�g�0�j�)�g ��j���H�gê��&�g��V�+ ��l�V©Ì+©[Þ{���0�j�+¬2�) ��l�VÞ��ܧy�)¨+���+�g )£?�K§y�)¨+�40_õ+°jÊ�3HÌ0¡¤�+�VÞ[�K§v¯@¬�¯G°,¥+�Z�j�b�V���v¨+�D£[��v¨+�é��g�0¡j©x�Ü�+�0¡n�j�R�C�g )�)¨+�g¬l�g�b�\¡y�) V�K�b�Z§p�g )£Ï�K�Õ�¤�l�b���)�;¬e°9�¤�eê.�a¡a¡"Ìb�Ï�_�V�KÌ0¡j���a§��)¨0�Q��0Xõ+°ØÊ�3Ì0¡¤�+�VÞ¥�Ø���_£Ï��¡n¡L�

ø¦�Ï�v¡j�{�_��ê.�j�)¨��_�l£[�(�V�l£[£[��+���C�g� � �b�l�j�+¬¦�V�j¬g��+�{�R�V�v�g ��°�¬K�j�{����g��V�+ ��K�v��K�+�+ )�Kì0�j£Ï�K�)���V�j¬g��+�g�\¡j�+�R�S¥0�)¨0�Q�.�Q���0�g�+�C�a§ �g�0¡j©$�C§p�ê4�V�j¬g��+�{�R�V�v�g ��"�Ü )���0�R�Z�j )�R�^�à.¨+�$�_���K�b�+�Ü ��¦£[��)¨+�+� �Q��Å ¼ ÿRµ\¶)¿µ�Å ½ µ\¶)À ½ Å »g¼ °O�g [�_�K¡j�g�j�+¬±02¬f²�p�32� ��³ �E´ © � � ��+�+�_�a¡W� � �V�g�+�g� )¬g�R�¢�)���K� �V�¤¬l��+�{�R�V�)�l )¥�© � �Q�&�V¨+�{�_����v�ÏÞ0���"µ¶� ��³ � µ ´ Êg��à.¨0�Q��¤�+�0�K¡j�0�R�&�) _�Q�K�+¬l�0¡Ø�Ü Ï�_©+�_�)�£ �_�K¡j�l�¤�+¬¦ê.�j�)¨=�$�0� )©��a¡a¡jáL�V�g�b�0�j�_�j�g�+�K� £Ï�K�) _�aì�°i�)¨+�£[�g )�&�_���v���)¨+���Vìé�v��+�"�)¨b�K�kp2�Q���Ü�(�g��V�+ V�K�)���V�¤¬l��+�Ü��¡¤�+�g�ià.¨0�Q�¢�a¡a¡jáL�V�g�b�l�Q�_�j�g�0�Ñ�+¬£Ï�KÞ0�R�^�g�g� ODb�Kê��� )�R�g�Õ�g�b�KÌ0¡j�.�b�{�)�X�¤Ì0�a¡j�j�)©0°K��{��e�)¨+�g�+¬g¨eê��"�l�0¡¤©eêD�K�0���)¨+���)��\¡j�R��+�0�¤�i�0�R�V�)�g ��K�H�)¨+�¢��b�^� àB¨0�Ø�H£¥�R�K�b���v¨+���V�+�0�"�Q���)�&�V�g£[�+�+�)�¢�)¨+���K�b�Õê�� ��0�R�_�0�j�)��b�{�)�X�¤Ì0¡j�[�l�g� ODb�Kê�°{�X�¤�b�V�¥�)¨0�Q���g�l� ODb�Kê �0�0�R���+�g�D£¥�R�K�$�)¨b�Ü���)¨+���V�j¬g��+�0�R�V�)�g ¢�Q��n¡a¡jáp�^�{�_�R� �g 2��{����a¡a¡jáL�V�g�b�l�Q�_�j�g�+�K�^��àH���0�Û�v¨0�Ø�ë�b�g )�V�KÌ0¡j©��V�+ ) )��+�_¡j©� v�Rçg�0�j )�R�[� ��b�K ��K�+�Ü�Ø��¡��V�+�l�j�+¬x�Õ�)©g¡j�g°Hê.�j�)¨¦�)�R�_�_�j�+¬��K�b���v��\¡a�¤�+¬x�¤�¦�)¨+�¥�j�+�+� 2¡j�{�g�¦�K§��)¨+��) _�Q�K�+¬g�0¡Q�K ��_�Ü¡¤�0�[�âõK�Z°b£Ï�ÜÞg�j�+¬��j���j£[�9�{�)�Z�jÌ0¡j���)�Ï�b�Õ��£��g�V¨0�j�+���g�+�_�j£2�� �R�·�.û^Çeßb�­p§"�g�+�2�V�g�0¡Q�Û�0�V§p� ��)¨+��¨b�K�b�l¡a�j�+¬$�ܧ �g�0� ODb�\êí�Vìb�V��+�_�j�g�b�°9�j��ê��g�0¡Q��Ìb�2�9�{�)�Z�jÌ0¡j��)�� )�+���)¨+�e§ �l�_�¸�.û^Çeßb°y�Ü�b�$�l�0¡¤©� )�R�0���v¨+�ë�V�l£[�+�+���K�_�j�g��ê.�j�)¨� )�V¡Q�K�Õ�¤�0�V¡j©��Z¡j�gê�)��\¡a�j�+¬�ê�¨+��¦�+�R�V�R�)�)�K )©0�$à.¨0�Q�C�Q���Ü���Vìb�K£[�0¡j���K§��)¨+�Ï�b�Ü ��g�l�j¬g£��K§��)¨+�¥�¤�+�v )�gá�0�b�V�_�j�g����­X�"�¢�6�Õ���K�b�+�K ��XDb�{�Ü�_�j�+¬$�b�Ü�¤�+�2�K _�j�)¨+£[��Õ�Ø� �âö\�"�+ )�g�l�Q�0�R���)¨0�Q��§L�g�v�a¡a�¤�v©�¤���+ _�j�b�v�j�0¡Q�g�.���gê.��g� \°�a§y�Vìb�V��+�_�j�g��¨b�K�b�l¡a�¤�+¬ë�Ø�¢�)�0�&�Vì+�b��b�Z�j�0�@0L�l���v¨+�³�&�BÈ�©�V¨0�¤��°#¦ �K _�j�)¨+£[��Õ�Ø�� v�Rçg�0�j )�R�.�e�) ��K�ë�¤�+�v���)¨+���g�b� V�K�_�j�+¬[�_©é�Õ�)�£$°gê�¨0�Ø�V¨ë�Ø��çg�0�j�)��Z¡j�gêG3�°l�g�{� �Db�Rêí��Ü�Û��K�b�_���¥�Z¡j�gêD�0�gê.���K§O�Õ��{� ���¡Ä�g ��0� V�.�K§i£Ï�K¬g�0�j�)�b�0�g�&9�g i�)¨+�&¬g��+� V�\¡a�� �R� �+�g�b�_©0£[£[��) Õ�Ø���V�j¬g��+�+ v�gÌ0¡j�£¹¬"²�pLº ê��D�0�2�+�g�.��0��Þ{�+�gê�¨+�lê��)�&�9� _§p�g )£ ¬l��+� ��\¡a�� �R�����R�)�Õ��+Ìb� )¬& )�R�0�b�V�Õ�¤�l�Ï�b�Z�j�+¬2£[�g v���)¨b�K�2�)¨+�û^��{�V¡�Ê4��ûÝÇ�ßb��à.¨+�[�Z�j¬g�+áѧp�+�b�V�_�j�g���Ü�b�$ v�V¡Ø�Ü�)�R� �)�R�V¨+�0�Qçg�+�R�2���lã{°��R�H�+ )�g£2�Q�_�2�)�Ìb��¨+�V¡j�0§p�0¡ ¨+� v�g�

» �^|nt+xG�¼�7|wy}a½�<¾¿xGwy�E�)x��ÁÀ�{¿xJ½�<¾Swy~�ÂÃxN¾SwJ�£sc�<¾��<ÄZ�Å|+�B¾�tø��&�_�+£[£Ï�Ü _�� ���)¨+�& )�R�V�l£[£[��b�+�K�_�j�g�b�Bê��D¨b�Ü�{��£��g�0���j�$�+ )��l�j�g�b�D�Õ�R�V�_�j�g�b�. )�á¬{�K ��l�j�+¬­Db�{�K�Õ�¤�+¬��9�K�j�+���K _�j�)¨+£[��Õ�Ø�¥�_�+�+�b�g v�&�)��£2�j�_�j¬{�K�)�2�)¨+�2�) V�g�0��� �Ì9��)ê�����b�K ��\¡a¡j�V¡a�Ø�Õ£Æ0Z�g ³�Õ�b��R�#3D�K�b���_���ÜÌ0�n¡a�j�)©^òD�g��V�+ V�K�)�2 )�g�+�b�l�j�+¬b°H�_�+�+�b�g v��§p�g &¨0�j¬g¨+� 

ÊK�

Page 12: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

®g�g�V�lÌ0��9 ��£¥��)¨+�é����Ü��Ì9���¤£¥�0¡¤�£¥��+�)�R�¦ê.�j�)¨¦�g )�)¨+�g¬l�g�b�\¡��v ��K�b�Z§p�g )£Ï�Ü�_�j�g�b��g�0¡j©{°H£Ï�\�j�+���\�j�0�j�+¬��+�+£[� _�Q��\¡��_���KÌ0�a¡a�j�)©��K�e�)¨+�(�V�0�_�2�K§.¡n�j�+�R�K ��V�g�+�{� v¬g��b�V�g°��g �b�_���+�g�+�l )�)¨+�g¬g�l�b�\¡y�) ��Ü�b�Z§ù�l )£Ï�K�_�j�g�b�¢ê�¨0�Q�V¨  )����\�j�Û�l�_©{£¥�+�)�g�_�Q��çl�b�g�0 ��Ü�_�Q���V�g�+á�{� )¬l��b�V��Ì+�+����K�ÏÌ9���K )Ì0�j�) ��Ü _�a¡¤©¥�a¡a¡¤áL�V�l�b�l�Q�_�j�g�+�R�^°^�K�b�Ï�Õ���9�{�)�Z�jÌ0¡j©��)�g�V _� � �V���_���ÜáÌ0�n¡a�j�)©0�,!� v�)¨+�g¬g�g�b��¡Ý®g�g�V�lÌ0���V�l�0¡Ø�¥�0¡Q�K©2�)¨+�� )�K¡j�D�ܧ ���Z¡j�gê Ì+�+���_���KÌ0¡j�&�\¡j¬g�g _�j�)¨+£$°Ì+�+��¡a�j�+�R�K Ï�V�l�+�g� )¬g��b�V�[£��KÞ{�R���j�[çl�0�¤�v�(�Z¡j�gêe�(àB¨+�(�V�g�b�l�j�_�j�g���+�+£¥Ìb� &�K§��)¨+��) ��K�b�Z§p�g )£��K�_�j�g���j���+�l�+�g )�)¨+�g¬l�g�b�\¡B®l�g�V�gÌ0�D�V�g�0¡Q��Ì9��£[�g�0�j�)�g )�R�^°¢�K�b���K�+�g�)¨+� �)�V¨+�£[�&�b�_�R�¥�a§i�j���Q�.�v�{�2¡Q�K v¬g�g�

���j�g�Q�0�$�K�b�¦�V�g�bçl�+� 2�b�Z�j�+¬�A��ê��)�g�¦�g �¨+�g£¥�g�)�g�+© £[��)¨+�+�+�&�Q�2�K�+�0¡a�j�R���)��Ï���R�)�_��+Ì9� )¬Ï£��K�) _�aì�°b�_��)�_�j�+¬��)¨+�e£2�Q�+�l¡j�Ï�_�+ÌÄ�l�Q�K¬l�g�b�\¡i��+�) )©��)�] � v�b°Ä�Õ�K¡j�g�j�+¬�)¨+�Ï�vê��¥�j�b�0��b��^�0��+�ë�Õ�+Ì+�+ )�gÌ0¡j�£Ï�e�j���b�K ���¡n¡j�V¡L°"�K�b� £[� )¬Ü�¤�+¬��)¨+���K�b�_ê�� ����K§�)¨+�D�_�+Ì+�+ )�lÌ0¡¤�£��i�b�Z�j�+¬2�V�j�)¨+� nA��ê��)�g�2�g "��¨+�l£[�g�)�g�+©g��àB¨+� )�.�Q�i�b�K V�\¡a¡¤�V¡a�Q�_£?�j��_�K¡j�g�j�+¬[�v¨+���¤�b�0��9��b�0��b���_�+Ì+�+ )�lÌ0¡¤�£��°Ä�Ü�b�2�j�$�_�K¡j�l�j�+¬2§ù�l ��v¨+���_��b�K ��K�v���V�j¬g��+á�Ü��¡¤�+�R�¢¥.�)¨+�R�_���K )���)¨+���)�K£[�$�Õ�g�+ ��V�R�e�K§D�b�K V�\¡a¡¤�V¡a�Q�_£ �g�C�j�=È"�+�+�9��B9â�[£¥��)¨+�é�^�à.¨+�R�_�$£¥��)¨+�é�+����K�¦§L�\�a¡³�v��Ìb���_���KÌ0¡j��§p�g [�v¨+��§ù�K¡a¡j�gê.�j�+¬¦ )�R�g�_�l�b���A��ê��)�g�B9â�£[��)¨+�+����K�x§ �\�a¡.�)�$�V�g�+�0� )¬g�g�Z�¢�g�)¨�A��ê��)�l���K�b��¨+�g£¥�g�)�g�+©�£Ï�Ü©Û�K�+�9�R�K ��)��V�g�+�{� v¬g�D�v�(�_��0� ��\¡i�V�g�0�j�R�&�K§"�)¨+�[�)�Ü£[�� )�0�g��ê.�j�)¨+�g�+���K�+©��R�g�_© êD�\©[�)���)�V¡a¡i�a§�$ v�{�g�e¨b�g�2Ì9����£2�Q�)�_�R�^°¢�g &�a§&�)¨+�Ï v�{�g�2 )�R��¡n¡j© �Q�2£[�0¡j�_�j�0¡j�g��àH�$�) )© �)���K�g�K�Q��)¨0�Q��ê.�j�)¨ ¨+�g£[�g�v�g�+©2£[��)¨+�+�+�. )�Rçl�0�¤ v�R�D�V�g£¥£[�+�0�Q��K�_�j�g���)�2�Q�0��+�_�a§p©�¨+�g£[�g�v�g�+©�V�+ )�{�R���v¨b�K���K )�Ï�v¡j�{�Õ�[�)�g¬g��v¨+� R°y�K�b� �_£Ï�\¡a¡j� ��_�v����Z�� �R�e�)��§ù�Ü¡n¡j�gêè�v¨+�£ £[�g v��g��V�+ ��K�)�V¡j©0��à.¨+���_�+Ì+�+ )�gÌ0¡j�£Ï�C�+ )�é�0�b�V�R� Ì+©$�l�j�g�Q�0���K�b���V�g�bçl�+� &£Ï�K©��9�g�)��+á�_�Q�\¡a¡¤©�Ìb�&£¥�g )�.�a¡a¡jáL�V�g�b�0�j�_�Q�l�+�R���)¨b�K�¥�)¨+�D�l _�j¬K�j�b�\¡��+ )�gÌ0¡j�£$�.ßg��[�âölõR� §ù�l "§p�+ )�)¨+� �l�Ø�v�V�b�)�Z�j�g���

���j�g�Q�0�$�K�b���V�l�bçg�+� 2�b�Z�j�+¬��)¨+��£Ï�K�v _�aì¯�Z�j¬g� §ù�+�b�V�_�j�g��0Z�g [�$�Z�j£2�a¡Q�K ¥§ù�+�b�Vá�_�j�g��3B�V�l£[�+�+�)�R�&�K� �g )�)¨+�g¬l�g�b�\¡y£Ï�Ü�) _�aìh¯ ´ ��¯ �QÇ ¯ � �Hê�¨+� )�4¯ � �_�b�K�b�&�¥ _�j¬g¨+��¤�+�g�K Õ�Ø�Ü�+�y�_�+Ìb�_�b�g�V�.�K§B¬�°g�Ü�b�2�)¨+��[�l�j�g�Q�0�R�¢�)¨+���_�b�R�V�v )�+£èÌ+©�§ù�l )£2�j�+¬@¯@¬�¯G° ´È ¬ ��� ¬ �b�ã ¬ �b�aÉ �"àH�[�K�)���\�j�� )�R�l�_�g�b�KÌ0¡j���V���v�¤��b�V©0°:¯ � �_¨+�g�0¡Q��¨b�Ü�g�³�v¡j�{�Õ���)�]Ê���õ�V�K¡j�+£[�b�°+ê�¨+� v�@Ê��Q�.�v¨+���l�¤£¥��b�Z�j�g��°b�l "�a§i�)¨+�&�b�_� ��l�0¡¤©�êD�K�0���i�_�l£[�&�V�j¬g��+�g�\¡já�+�R�°l�¤���_¨+�g�0¡Q���_�b�K���)¨+�&�V�g ) )�R�_�9�g�b�l�j�+¬b°+�g ��Z¡a�j¬g¨+�_¡j©2¡Q�K v¬g� R°l�j�+�Ü�Ü _�Q�K�{�"�Õ�+Ìb�_�b�g�V�g�!��+�&êD�\©��)�C§ù�g v£Ë¯ �Q�.�l�Ø�e�)¨+�eªD�4�0�R�V�g£¥�b�{�Z�j�_�j�g���ܧy�)¨+���Ø�0��+�Õ�¤�v©�£��K�) _�aì[�0¡j�b��)¨+� ¾ À ½ ¶VÅ��Û¿Å Îg¼¥Ô ¸ ¼ · ½ Å »g¼ «802¬N3D�K§¸¬e°i� §ù�+�b�V�_�j�g��ê�¨0�Ø�V¨x¡¤�R�Ü�{�R���)¨+���V�j¬g��+�0�R�Vá�)�g ��&�\¡j�g�+�¥Ì+�+��£Ï�K�b�³¡j�V§ù�e¨b�\¡a§B�0¡Q�K�+���V�j¬g��+�g�\¡j�+�R�&�)�·²&Ê��K�b�� _�j¬g¨+��¨b�\¡a§��0¡Q�K�+��V�¤¬l��+�Ü��¡¤�+�R���)�E��Êg��Ç7¬K¡j�gÌb�\¡a¡j©Û�K�b���g�Õ©{£[�+�v�g�_�Q��\¡a¡j©Ûçl�b�g�0 ��K�_�Q��\¡a¡j©Û�V�l�+�{� )¬l��{��¤�v� ��K�_�j�g�2�)�&�V�g£[�+�+�)�Y«802¬G3^�Q�v¬ ��³ �¸´IÌ ö$02¬ � �4¬G® �� 3V�yà.¨0�Q�"�l�j�l�Q�0�R�i�)¨+���_�9�R�V�) )�+£�¤�+�v���)¨+�2¡j�V§ù�2�K�b�� _�j¬g¨+��¨b�\¡a§��0¡Q�K�+�R�S¥iÌ+©$�K�+�0¡j©l�j�+¬Û�v¨0�Ø�C§p�+�b�V�_�j�g���)�£¬Í²ÁÎ�Ï$�g 02¬�²·Î?Ï'32���g JÐ ��Ñ ¬�²·Î�Ï^°0�)¨+���_�9�R�V�) )�+£ ��K��Ìb�2�_��b�K ��K�v�R���\¡j�g�+¬[�g�)¨+� B¡n�j�+�R��

Ê)�

Page 13: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

ÒiÓ>Ô Õ]Ö+×�Ø+ÙBØ,ÚQÛ,ܧÜÍ×$Ý8Þ�ß>àh×#ßjáB×#Ø,â+Þ�ÙBã,äå×'Ü&��¤�0�iÞl�¤�b�+�O�K§+�b�K ��\¡a¡j�V¡b£[��)¨+�+�+�^§p�g H�)¨+�"�+�l�b�_©{£¥£[��) _�Q�¢�V�j¬g��+�+ )�gÌ0¡j�£ ¨b�Ü�g�yÌ9����¤�+�0�R�_�_�j¬{�Ü�)�R�^ò

Êg�����R�)�_��+Ì9� )¬�ªD� �j�)� ��Ü�_�j�g�����0°^�KË+°9���+°bõ+ÊK°+ó0ö{°9ñ0�g°b�gõ+°+�+Êg°Ý��ö\�L°õ+���.�R�0�b�V�Õ�¤�l�Û�v���+�l�b�_©{£¥£[��) _�Q�&�v _�Q�l�Ø�ܬg�g�b�\¡�§p�g )£ �ôó$�{°9ñgõ0°+ó{ñ+°0ógóg�Z°ñ+��®g�l�V�gÌ0�j9â�.£[��)¨+�+��� ñg�0°bñgË0°^�Ró+°'�+Êl°1�lË+°'�gö0°b�gã\�L°ób�����j�l�Ø�0�2�K�b���V�g�bçg�+� �Ìb�g�_�R���g�£A��ê��)�g�B9 �"£¥��)¨+�é�¥�g .¨+�g£[�l�)�g�+©[�V�g�+�_�j�+�+á�K�Õ�¤�l���jÊ)�0°�ÊK�g°b�gñ0°böé�{°+ög�+°bñKóK�

ö+�����j�l�Ø�0�2�K�b�$�V�l�bçg�+� �Ìb�l�_�R���g���v¨+�&£Ï�K�) _�aì$�Z�j¬g�+áѧp�+�b�V�_�j�g���âögË0°^�g°'�gãK�­L���V�g�+�) V�g�_�H�)�&�)¨+�&�_©{£¥£[��) _�Q�.�+ )�lÌ0¡¤�£ �g .ßgå³�2°l�+�2¬g�b�K ��K�+�v��R���Õ���KÌ0¡j�D�K�b�

¨0�¤¬l¨0¡¤© �b�K ��\¡a¡j�V¡B�\¡j¬g�l _�j�)¨+£ §p�g ��)¨+�[�+�g�b�_©0£[£[��v _�Q�2�+ )�gÌ0¡j�£ �Vì0�Q�_����[�B�R�0�b�V�_�j�g��)�����R�)�_��+Ìb� v¬�§p�g )£�0Z�)¨+�$�+ )� v�Rçg�0�Q�Z�j�)���)�¦£[��)¨+�+�+�;0VÊ�3��K�b��0Ló�3��KÌ9�g�0��3³��K�Ìb���0�g�+�[�V�(�v�j��+�_¡j©��âñlñ{°�ñ��K�L°�Ì+�+�2���R�v�_��+Ìb� )¬ ªD���Q�e¨b�K ����v���b�K ��\¡a¡j�V¡a�æ �g°"�K�b��)¨+�D�l�)¨+� ��K�+�+ )�{�g�V¨+�R�¢�K )���+�g�.¬g�b�K ��Ü�+�)��R�2�)�2�V�g�+�{� v¬g���K�b�#KR�g .�+ )�+�0�b�V���_���KÌ0¡j� )�R�_�0¡j����iø¦�&�_�+£[£Ï�K Õ�� �e�)¨+�&�) ��l�0��� y���Ü£[�g�+¬2�)¨+�R�_�&£[��v¨+�é�+��¨+� )��¥0§p�g ��2£[�g v��0����\�a¡j�R�Û�Õ�+ )�{�©0°{�_��[� õ��\�L�

���R�)�_��+Ìb� v¬ÏªD� �Q���v¨+���_� _�Q�\¡y£[��v¨+�é���K§i�V¨+�K�Q�V��§ù�g ��0��b�_�&£Ï�K�) Õ�Ø�V�R�Ù�"à.¨+� )�¨b�K�{��Ì9���6�¦�+�+£[Ì9� Ï�K§[�K�)�)�£¥�+���[�v���b�K V�\¡a¡¤�V¡a�æ � �j�R°&�\¡a¡��K§�ê�¨0�Ø�V¨=£Ï���¤�+�V�\�j��+�+£[� _�Q��\¡B�Õ���KÌ0�a¡a�¤�v©��Z�j�b�V�$�)¨+�©¦�V�g�+�_�j�+�+�2�)���K�+�0¡j©��g�0¡j©��l )�)¨+�g¬g�l�b�\¡��) V�K�b�Z§p�g )á£Ï�K�_�j�g�b���)���v¨+�[�g _�j¬K�j�b�\¡"£Ï�Ü�) _�aìÝ�2à.¨+�© �j�b�_�)�R�g� �)�g�V _� � �V���V�g�+�g� )¬g��b�V�e ��K�)�2�g �b� _§p�g )£ £[�g )�NDb�g�b�B�¤���g V�0� D�)�¥�j�+�) )�+�0�b�V��¨0�j¬g¨+� �¡j��0�V¡P�.û^Çeß��g D�b�Ü ��\¡a¡j�V¡n�Q�_£ �ßg�$§L�K &�)¨+���b�K ���¡n¡j�V¡a�Q�_£ ¨b�g�eÌ9�����)�0�$£¥�é�0�R�_�e�g ��v�{� � �+�áp¬g ��\�j�+�R�¦�)� Ìb���{� )©�g�0�g�K�+���K¬K��g�b���­L���)¨+�&�b�Ü ��g�l�j¬g£«�0�R�)�V _�jÌb�R� �j���)¨+���j�+�) )�+�0�b�V�_�j�g��°+ê�¨+� )��ê���§ ��¡n¡Ìb�g�VÞ[�g�$�2�Z¡j�gê�� iÌ+�+��£[�g )���_�V�KÌ0¡j���\¡j¬g�g _�j�)¨+£?�a§i�)¨+��§L�g�_�.�g�+��§L�\�a¡Ø�Ù°b���R�v�_��+Ìb� )¬ªD�6��K���0¡Q�K©��)¨+�& )�Ü¡¤�e�K§y�)¨+�2�_���KÌ0¡j���\¡j¬g�l _�j�)¨+£$�

�.�R�0�b�V�_�j�g�¥�)���+�g�b�_©0£[£[��v _�Q�"�v _�Q�l�Ø�ܬg�g�b�\¡0§ù�l )£^0 §ù�K¡a¡j�gê.�R��Ì+©��)¨+�.�) _�Q�l�Q�K¬g�g�b�\¡û��è�\¡j¬g�g _�j�)¨+£X3� )�Rçl�0�j )�R���+�g�+�g )�)¨+�l¬g�g�b�\¡y�v ��K�b�Z§p�g )£Ï�Ü�_�j�g�b��"à.¨+�2�\¡j¬g�g _�j�)¨+£ ��K�Ì+ )�R�KÞ��0�gê���°0 )�Rçl�0�¤ Õ�¤�+¬� v�R�_���K )�Õ�¤�+¬2ê.�j�)¨��l�C Ý� v��+�.�j�0�¤�Õ�Ø��¡O�V�g�b�l�j�_�j�g�b�2�l�gõ\�L�i�i�0���n§¢�j���0�{�R���+�g��Ì+ )�R�KÞ$�0�lê���°+�)¨+�2�+�g�+�g v�)¨+�g¬g�g�b��¡y�) ��K�b�X§ù�g v£Ï�K�_�j�g�b�. v�Rçg�0�j )�R����K�Ìb���K )Ì0�j�) ��K Õ�n¡j© �a¡a¡¤áL�V�l�b�l�Q�_�j�g�+�R��°2�_���)�l�V _� � �v�¤�+¬4�_�V�KÌ0�a¡n�j�)©0���¢©�£[�g�0�j�)�l _�j�+¬��)¨+��V�g�b�l�j�_�j�g�=�+�+£[Ìb� [�K�b�  )�R�_���K v�_�j�+¬��a§��j�Ï�Vìb�V��R�+�����)¨+ v�R�_¨+�K¡Q�^°��_�g£[���_���KÌ0�a¡a�j�)©��K�$Ì9��£Ï�\�j�+�����¤�+�R� �K���)¨+�2�V�{�_���ܧ  ��Ü�b�0�g£� v�+�+�0�¤�+¬��Õ�¤£¥�g��à.¨+�e£[�g )�2�_���KÌ0�a¡a�j�)©�Ø�¥�0�£Ï�K�b�0�R�^°i�)¨+�¥¡j�g�+¬g� [�v¨+�Ï )�+�+�0�j�+¬��Õ�¤£¥�Ï£Ï�Ü©$Ìb�g°.�K�b� �)¨+� )�¥�Q�2�+�$�+�+�9� Ìb�g�+�b�^�

ÊRö

Page 14: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

��g�_�R�����gñ\�L�+!����)¨+�D�l�)¨+� "¨b�K�b�^°0Ì0�Q�_�R�V�_�j�g�$��Ü�Ï�R�g�X�n¡j©�Ìb���b�K ��\¡a¡j�V¡a�� R�R��Ì+©e¨b�K�l�¤�+¬�l�ç �� )��+���+ )�+�V�R�)�_�g V�� )� � �+�2�l�Q�Ñ�X�Ü�¤�+���j�+�)� )�g�\¡Q�°+��g�\¡j�b�K�Õ�¤�+¬��v¨+�[ßg�)�+ )£ �_�Rçl�+��b�V��¤� �)¨+�[�_���K�b�+�K V�$�_� _�Q�\¡iêD�\©{��àB¨0�Ø���j�+�0�K¡j�{�R�B£[�b�)¨�¡j�R�)�e�V�g£[£[�+�0�Q��K�Õ�¤�l��°Ä�K�b� �Q��+ )�V§ù� V�KÌ0¡j���¤��£¥�{�_���v�j ��V�+£��_���K�b�V�R�°0�+�0¡j�R�)�.�v¨+� )���Q�.�_�9�R�v�Ø��¡ �_�+�+�b�l )�¢§ù�g ¢�b�K ��\¡a¡j�V¡�+ )� � ìÝ�

���K�g�j�+¬��b�_�R� Ì0�Q�_�R�V�_�j�g���)���V�g£[�+�+�)���V�j¬g��+�g�\¡j�+�R�°�ê��[£[�b�_���b�_�¥�¤�+�0� ��_�e�j�)á� ��K�_�j�g� �)���V�g£[�+�+�v�$�V�j¬g��+�0�R�V�)�g ��� ßK�¤£¥�0¡¤� �j�+�0� ��_�¥�¤�v� ��K�_�j�g� �Ø����¡Ø�Õ���R�g�Õ©��)��b�K ��\¡a¡j�V¡a�� \�g°"êB�¤�v¨��R�g�V¨ �+ )�é�V�R�v�_�g e�j�b�0��b��b�0��b�Õ¡¤©¦�V�g£[�+�+�_�j�+¬��)¨+���V�j¬g��+�0�R�V�)�g ���K§��)¨+�Ï�V�j¬g��+�g�\¡j�+�R�³�¤�2�gê��b������gê.��g� \°^�)¨+� )�¥�Ø�e�+� ¬g�b�K ��K�+�v����ܧB�l )�)¨+�g¬g�l�b�\¡já�¤�v©$�K§.�)¨+�[�V�g£[�+�+�)�R���V�j¬g��+�0�R�V�)�g V�°+�j���V�l�+�) ��g�_���)��ªD���j�)� ��Ü�_�j�g���g 2È"�+�+�9��B9â�£[��)¨+�+���âögñK�Z��­L���b�K )�Õ�Ø�V�0¡Q�K \°{�v���g�V¨0�j��{�. )�R�g�Õ�g�b�KÌ0¡j���g )�v¨+�g¬g�g�b�\¡a�j�)©e�g�+��£[�b�_�H )�á�g )�)¨+�g¬l�g�b�\¡a�� ���V�j¬g��+�0�R�V�)�g V�Ä�ܬ{�\�j�b�_�H�)¨+�{�_�¢�K§é�+�R�Ü )Ì+©D�V�j¬g��+�g�\¡j�+�R��ià.¨0�Q�H )�Rçl�0�j )�R��V�g£[£[�+�0�Q��K�_�j�g���)�e�Q�0��+�_�a§ù©¥�+�R�K )Ì+©2�V�j¬g��+�g�\¡j�+�R�°+�K�b�[�v���v ��K�b�Z§p� "�)¨+���V�j¬g��+�0�R�Vá�)�g ��¥�âö+ÊV�L��­L�¦�)¨+���_� _�Q�\¡"�j£[�0¡j�£[��+�V�K�_�j�g� �¤�=�âögñ\�L°H�R�g�V¨ �j�)� ��Ü�)�(�0�+ Õ�¤�+¬ �j�+�0� ��_��¤�v� ��K�_�j�g�¦�Q�2�g v�)¨+�g¬g�g�b��¡n�� �R� �K¬{�\�j�b�_�2�+ )��l�j�g�b�Z¡j©��V�g£[�+�+�)�R�¦�V�j¬g��+�0�R�V�)�g V�S¥i�)¨0�Q��Ø�e�+�g�e�b�K ��\¡a¡j�V¡a�� R�KÌ0¡Q�g��à.¨+�[�b�K ���¡n¡j�V¡��0� ��Z�j�g���j�=�âö+ÊV���V�g£¥�0¡¤��v�R����¡n¡.�)¨+�2�j�+�0� ��_��¤�v� ��K�_�j�g�b�C�j���b�K ��\¡a¡j�V¡L°��Ü�b���)¨+��¦�b�_�R�e£[�+�l� � �R� �D ��K£¥á_ß{�V¨+£2�Q�0�&�j�����0�j�b�V¡a�Q�+��)�Ï�9� _§p�g )£ �)¨+�2�g )�v¨+�g¬g�g�b�\¡a�� R�K�_�j�g���eàH�[¡j�{�g� Ìb�\¡Q�K�b�V�g°��{�R�V�v�g ,è�êD�l���_�)�g v�R�$�l��+ )�é�V�R�v�_�g vè�£¥�é�GéE0æé¥�Q�¢�)¨+�&�+�+£[Ì9� i�K§y�+ )�+�V�R�)�_�g V��3�°+�K�b���g�.�� v�R�_�0¡j�� v��g )�)¨+�g¬lá�g�b�\¡a�� R�K�_�j�g���)�0�gÞ$���0� )©��_£Ï�\¡a¡i§p ��g�V�_�j�g� �K§��)¨+�e�)�g����¡ �_�j£[��¥^¨+�lê���l� R°+�)¨0�Q��£Ï�K©�g�0¡j©�¨b�K�g��Ìb���$�� ��R�V�_�j�0�&Ìb�R��K�b�Õ���K§i�)¨+�� v�V¡Ø�Ü�_�j�{�V¡j©��Z¡j�gê±Db�{�K�_�j�+¬[�9�K�j�+���g���)¨+�£Ï�g�V¨0�j�+�D�b�Õ�R�E0p�Q×.ß+È"á)Ê�3V�y­Z�$�K�+©���0��+�R°K�)¨+���+ _�Q�V�&�K§y¬l�b�K ��K�+�)��R�e�g v�)¨+�g¬g�g�b��¡n�j�)©�K£[�g�+¬[�v¨+�&�V�¤¬l��+�{�R�V�)�l ��H�Q�� )�R�0�b�V�R���b�K V�\¡a¡¤�V¡a�Q�_£$�

È"�+�+�9��B9â�.£[��)¨+�+�¥¨b�g�¢Ìb���$�K�b�\¡j©$ �R��Ì+©2£Ï�K�+©e�b��g�0¡j���jÊRË0°+ñgö0°b�Kñ{°+ö+Êl°{öKób°ÊRã+°Kó{�K�Z��Ç��i�)¨+�D�V��+�)� i�K§^�)¨+�D�\¡j¬g�l _�j�)¨+£è�Q�¢�)¨+�D�_�Ü¡¤�+�Õ�¤�l�[�K§��)¨+�&¿µ·R¸0ÃaÀg¶.µSmR¸0À ½ Å »l¼ê 0bp:3 ´ ã+°�ê�¨+� )� ê �Ø�e�� ��Ü�_�j�g�b�\¡H§ù�+�b�V�_�j�g� �j�Áp�ê�¨+�{�Õ�y � v�{���K v���V�j¬g��+�g�\¡j�+�R��à.¨0�Q���\¡j¬g�g _�j�)¨+£ °+ê�¨0�a¡j���Z�j£[�0¡j���Ü�b���K�)�) ��l�V�_�j�{�g°l�+ )�g�g�R�2¨b�Ü ����)�e�j£[�0¡j�£[��+�D�_���ÜáÌ0¡¤©0�6à.¨+� �) )�g�+Ì0¡j��êD�g�e�)¨b�Ü�Ï�)� ¬g�b�K ��K�+�v����)¨+�Û�V�g£¥�+�+�)�R� �V�¤¬l��+�{�R�V�)�l ��eê�� )��g )�)¨+�g¬l�g�b�\¡L°+�j�2�K�+�b�R�K v�R�$�v¨b�K�&�)¨+�2 )�0�g�����K§ ê 0�p�3 ´ ã�¨b�g� �)��Ì9�[�V�g£[�+�+�)�R� �j��0�g�+Ì0¡j�$�)¨+�¥�j�+�+�+�Ï�+ )�R�v�Q�Z�j�g���jÊRã0°¢��ñ\�L��ø=¨+��¦�)¨+���j�+�+�+�2�Q�[�\¡j )�R�g�0© �j���0�g�+Ì0¡j��+ )�R�v�Q�Z�j�g��0L�g &ê�¨b�Ü�)��{� ��Q�e�)¨+�2¡Q�K )¬g�R�Õ�&�+ )�R�v�Q�Z�j�g���_�+�+�b�l )�)�R��Ì+© �)¨+�[£Ï�g�V¨0�j�+��3�°�)¨+��Ïçl�b�g�0 )�+�0¡j�&ê��g�0¡Q�eÌb���+��R�0�R�^°0ê�¨0�Q�V¨[£Ï�K©&Ì9�³�Z�j£[�0¡Q�K�v�R�2�b�Z�j�+¬��0�g�+Ì0¡j�&�+ )�lá�g�Q�0�R���0�l�+Ì0¡¤���Q�[�l��V�+ ��K�)����+�g�+¬g¨4�âõlõ{°v�KóK�L�¦ßg���)¨+���K�g�\�a¡Q�KÌ0�a¡a�¤�v©��K§�È"�+�+�9��B9â��\¡j¬g�g _�j�)¨+£ ¨0�j�+¬g�R�¦�l��¨b�K�g�j�+¬��_�0�(�v�j��+�_¡j©¯�l��V�+ ��K�)�aDb�{�K�_�j�+¬��9�K�j�+�[�K _�j�)¨+£[��_�Q��a��ñ0°^ÊRãK�L�i�.�R�V��+�_¡j©0°g¨+�gê���l� R°0�D���K�b���H�Q�_��b�_���Ü���ôó{�\�^¨b�K�g�.§p�g�+�b���e�+�ê4êD�\©��)��¤£¥�0¡¤�£¥��+���)¨0�Q����¡¤¬l�g _�j�)¨+£ ê�¨0�Q�V¨�£Ï�ÜÞ{�R�.�Vì+�) ����+ v�R�v�Ø�X�¤�l���+�+�+�R�V�R�)�v�K )©{�[àB¨+�b�°��{��[�v¨+�g�+¬g¨Ï��K v�V§ù�0¡a¡j©Ï v�g�+�b�0�R�4Db�0�K�_�j�+¬��9�K�j�+�"�)�+ )�+�R�¥�g�+�¢�+�g�"�)�eÌb���+�R�V�R�)�)�K v©�)���b�_�eÈ"�+�+�9��B9â���\¡j¬g�g Õ�¤�v¨+£$°K�j�.�)�0�gÞ[�_��{� V�\¡b©{�R�Ü ��H�K§� )�R�_�R�K V�V¨[�)���l�Q�)�V�l�{� H�)¨0�Q�°�_�&�)¨+�.�+ _�Q�V���b�\�Q�e§p�g H�b�0�g _¡j©2 )�g�+�b�0�R�NDb�{�K�_�j�+¬&�9�K�j�+�iêD�g���_��0� ��\¡0©{�R�K V���K§Ä�0�V¡Q�K©0�

Êó

Page 15: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

ÒiÓæë Õ]Ö+×^ÚQÛ,ܧÜ�×�Ý�Þ�ß>àf×'ßåáB×'Ø<ìBí�ä>î,×ïâ+Þ�ÙBã+äj×'Ü í�Ø,ð5Ú�ßjØ+áBî,äåí�Þ§ìií�äåî,×ð,×#à�ÙBܧâYÙBÚ�ß�Ý�ßjÙ�Øà.¨+�2Ìb�g�Z�Q�&�b�K V�\¡a¡¤�V¡"£¥��)¨+�é�+�&�Ü���\�a¡Q�KÌ0¡j�&§p�g &�0��b�_�2£Ï�K�) _�Q�V�R���K )�2�_�+£[£Ï�K Õ�� �R���g�§ù�K¡a¡j�gêD�Ù��ø¦�D�g�)�_�+£¥���)¨+�� )�R�l�0� i�Q�"�g�çl�b�\�j�+�)�R�2êB�¤�v¨[£[��)¨+�+�+�.�l�Ø�v�V�b�)�_�R�ë�¤���ôó+��L�

Êg��®g�l�V�gÌ0�L°+ê�¨0�Q�V¨$�g�9� ��K�)�R�¢�g� �)¨+�&�g _�j¬K�j�b�\¡+0X�0��b�_��3"£Ï�Ü�) _�aìÝ�õ+���.�R�0�b�V�Õ�¤�l��§p )�g£ �0��b�Õ�&�)�2�) _�Q�l�Q�K¬g�g�b�\¡v0L�l "Ì0�Q�l�Q�K¬g�g�b�\¡>3¢§ù�l )£$°K§p�K¡a¡j�gê��R�2Ì+©0X�$3]�O�Q�_�R�V�_�j�g��0L�b�{�v�Z�jÌ0¡¤©$�l��V�V¡¤� V�K�)�R�#3�°0§p�K¡a¡j�gê��R�¥Ì+©2�j�+�{� V�_�.�j�)� ��K�Õ�¤�l��§ù�g 

�V�j¬g��+�0�R�V�)�g ��60p�a§O�0�R�X�¤ v�R�#3��0LÌ�3$È"�+�+�9��B9â���l�¤�l�Q�0�[�K�b���V�g�bçl�+� D£[��v¨+�é�^�0X�Q3�ªD� �j�)� ��K�_�j�g��0_�K�b���g�K _�Q�K�_�j�g�b��3V�®g�g�V�lÌ0�D¨b�g�2Ì9���í�_¨+�gê����)��Ì9�$£[�g v�(�_�V�KÌ0¡j�$�)¨b�K���v¨+���g�)¨+� 2£[��)¨+�+�+�[�l�

�)¨+�[¡a�Q�_�R°H�+ )�l�g�Q�0�R� �j�e�Q���+ v�g�b� _¡j©��j£[�0¡j�£[��+�v�R�^° �Ü�b���g�0¡j©��l���_�g£[���v¡Ø�l�)�_�R�e�K§£Ï�K�) _�Q�V�R�+0L�R�v�_��+�_�Q�\¡a¡j©{°K�)¨+�{�Õ��ê�¨+�{�_�D�_©0£[£[��v _�Q�"�9�{�Z�j�_�j�0�B�0� � �0�j�)���b�Ü¡Ø�Ü i§L�g�V�)�g vñ��K��Ìb���l�Q�K¬g�l�b�\¡a¡¤©��)��\¡j�R���g�òfó¿ñcó�ò?�)�eÌb�&ê��V¡a¡jáL�V�g�b�l�j�_�j�g�+�R�¦�âñgã0°9�{ÊV�j¥l§ù�l "�)¨+�ßgå³� ê��y�b�Õ�"�)¨+�"�)çl�b�K )�i�ܧé�)¨+�¢�b�K¡Q�K �§L�g�V�)�g S3V�^­L���b�Ü )�_�Q�V�0¡Q�K R°K®g�g�V�gÌ0�0�Q�y��K�b�ÜÌ0¡¤�¢�K§�V�g£[�+�+�_�j�+¬��_�j�+©[�V�j¬g��+�g�\¡j�+�R���g ��Z�j�+¬g�0¡Q�K &�g�\¡j�+�R�.êB�¤�v¨$¨0�j¬g¨+� � )�V¡Q�K�_�j�{�&�g��V�+ ��l�V©�)¨b�K��£¥��)¨+�é�+�� )�V¡j©l�¤�+¬&�l���) _�Q�l�Q�K¬g�l�b�\¡a�� R�Ü�_�j�g���.ßg��§ �K ��)¨+�"� ) v�g y�K�b�\¡j©+�_�R�H�K§+�)¨+�R�_��+ )�g�b� ��j£[�0¡j�£[��+�V�K�_�j�g�b��¨b�K�{�&�0��b��b�0�R� �g� �)¨+�V�j &�b�_�2�K§OõÜápÌ+©{áLõ2 v�g���K�_�j�g�b�Ù°Ä�g��b�_�R� �j���V�g�+�0��{�Z�j�g�b�\¡i®g�g�V�gÌ0�L�[à.¨+� )�V§p�g )�g°^�v¨+���j�+�+� e¡j�{�l�Û�ܧ��)¨+�R�_���\¡j¬g�g _�j�)¨+£Ï��b� _§p�g )£ �l�b� ��K�Õ�¤�l�b�2�g���b�\�j ��¥�K§D )�lêD�e�g [�V�K¡j�+£[�b�°¢�L�ô�g��û^��0�V¡�Ê£�.û^Çeßí�âö��\�L�!��Û£��K�+©[£Ï�g�V¨0�j�+�R�° �j���Q��£[�l )�&�V�(�v�j��+�D�v�(�0��£Ï�K�) Õ�nì+áp£Ï�K�v _�aì(�g�9� ��K�_�j�g�b�B¡a�jÞ{�¡¤��0�V¡Bñ��.û^Çeß��âñ+ÊV�L°i�_���g�+�¥�Q��£¥�g�_�j�g�K�)�R� �)�$�b�_� ¹Æà » ·Sô � Àg· » ¹ÆÅ��j�b�_�)�R�l�^°iê�¨+� )�¬g )�g�+�b���K§D®g�l�V�gÌ0�" )�g���Ü�_�j�g�b�&�K )�[�g��V�+£[�0¡Q�K�v�R���j�+�)�$���X�¤�+¬Ü¡¤�¥¡Q�K )¬g� &�l )�)¨+�g¬g�l�b�\¡£Ï�K�) _�aì�°g�K�b�2�K�+�0¡a�j�R�2�)���)¨+�.£Ï�K�) _�aì�ê.�j�)¨[���Z�j�+¬K¡j��£Ï�K�v _�aìéáp£Ï�Ü�) _�aì�£[�0¡j�_�j�0¡a�Ø��Ü�_�j�g����0�g°:�l�{°Ý��ãK�L�¢­L���Q���+�+Þ0�+�gê���ê�¨+��v¨+� D�)¨0�Q��Ì0¡j�é�VÞl�j�+¬(�0�R�_�v )�g©+�"�v¨+���_�+Ì+�_¡j� �� ) )�g �K�b�\¡j©é�Õ�R�2�j�6� ñgã0°"�0Ê�j¥¢�j�2�Q�[�R�l�_©��v�x�Õ¨+�gê?�)¨b�K�2�)¨+�Û�V�l�+�g��+�Z�¤�l�b�\¡��+�g v£[ápÌb�g�_�R�Ìb�g�VÞ{ê��R V�Ï�_�V�KÌ0�a¡n�j�)©��K�b�\¡j©+�Z�Q���ܧ ®g�g�V�gÌ0���Ø���+�g�D�V¨b�Ü�+¬g�R�[Ì+©¥Ì0¡¤�+�VÞl�¤�+¬9�

�.�R�0�b�V�_�j�g�¥§p )�g£è�0��b�_���)�&�) Õ�Ø�l�Q�K¬l�g�b�\¡+§p�g )£��Q�H�£2�j�+��+�_¡j©2�b�K ��\¡a¡j�V¡a�� R�ÜÌ0¡Q�D�v�{�b��D�K�l�j�+¬[ )�R�0�b�V�R� �)�[�v _�Q�l�Ø�ܬg�g�b�\¡�§p�g )£ °+ê��&¨b�K�g�&�_��0� ��\¡��b�K ���¡n¡j�V¡i£[��)¨+�+�+�.§p )�g£ê�¨0�Q�V¨��)�$�V¨+�0�{�_�g�4�i�Q�_�R�V�Õ�¤�l�¯�K�b�¯ªD���j�)� ��K�Õ�¤�l����K��Ì9�g�)¨�Ì9�[ )�V§p�g )£[�0¡Q�K�)�R���g��)¨+ )��áp�)� )£ ¡a�j�+�R�K [ )�R�V�+ v )��b�V�R�°"�K�b�¦�_� �¤£¥�0¡¤�£¥��+�)�R�¦�b�Z�j�+¬��b�K ��\¡a¡j�V¡��+ )� � ì��j�õ 0p¡j�g¬ � ÊB3i�_�j£[�&�g�.�0�R�)�V _�jÌ9�R���j�$�_�R�V�_�j�g�$õ+� õ�à.¨+���_�V�KÌ0�a¡n�j�)©ë�Ø�¢�+�+�+ )�l�{����H�Hì+�b� )á�¤£¥��+���.ê.�j�)¨ Ì0�Ø�Õ�R�V�_�j�g���a���\�y�Ü )����b�V�g�+ V�K¬K�j�+¬b°9Ì+�+�D�)¨+�e�g�0¡j©��+�+Ì0¡a�Ø�Õ¨+�����K�b��¡¤©+�Z�Q��âõgã\�^�Q�.�0� )©[�b�R�v�Z�j£2�Q�_�_�Q�K�"­Z�0�j�_�Q�\¡  v�R�_�0¡j���.�g���)¨+���+ç0�+���\¡j¬g�l _�j�)¨+£?§p�g .�)¨+�&Ì0�Q�l�Ø�ܬgá�g�b�\¡�ßgå&�2°b�g� �)¨+�2�g�)¨+� &¨b�K�b�^°9�j�b�l�Q��K�)���_���KÌ0�a¡a�j�)©$£��K©ÏÌ9�[�+ )�R�_� v�{�R� �j���_�g£¥�

ÊRñ

Page 16: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

× �j�{�g�Õ�¤�+¬ ×H�j�0�g� ø��g V�_� Ç��0� ��K¬g�É ��)¨+�+� ßg�R�K V�V¨ ×H�j�0�g� × �¤�0�g�

È"�{�Õ�G0X�_� _�Q�\¡>3 �� )�gê��)¨ �� )�gê��_¨È¢�g£[�0¡j��)� Ê�� õ 02Ê�� ³#ö 3 Ê������×¢�K )�_�Q�\¡ Ê õ�÷ ® � Ê����Oø×¢�\�j )ê.�Q�_� Ê ó�÷ ® � õ 02Ê�3×¢�K ��\¡a¡j�V¡ Ê õ�÷ ® � ÐS÷��Où�ú�ûbü�÷

ài�KÌ0¡j��õ+ò¢ßg���ÜÌ0�n¡a�j�)©��K§i�Ü�Ü _�j�g�b�.�0�j�{�l�_�j�+¬Ï�)�V¨+�£[�R�O�j�Ûû�Úè�0�R�V�l£[�b�{�X�¤�Õ�¤�l�

�b�K ��\¡a¡j�V¡D�0�j�{�l�_�j�+¬Û�K )���\¡a¡��+�b�_���KÌ0¡j�g°¢Ì+�+�2�g�¯�Ü�g� ��K¬g�2�g�0¡j©¦�b�K ��\¡a¡j�V¡��0�j�{�g�Õ�¤�+¬ �Q��+�b�_���KÌ0¡j�g��à.¨0�Q�C�Ø�eê�¨+© ê�����Ü���b�Z�j�+¬ �b�K )�_�Q�\¡.�0�¤�0�g�_�j�+¬��j�¦�+ ��g�V�_�Q�V�gòe�j���&ê��g ��_���g�_�.�Q�i�0� )©e ��K )�g°KÌ+�+�¢�b�K ��\¡a¡j�V¡Ä�0�j�0�g�_�j�+¬&�Q�"�Õ�&�K§ù�v��[�+�b�_���KÌ0¡j�&�g�H�)�&Ì9�D�+�+�b�)�ÜÌ0¡¤�g�ø����+�l�)���)¨b�K�.�K�Ï�\¡j�)� v�b�K�)��Þl�j�b���K§��b�K ��\¡a¡j�V¡��0�¤�0�g�_�j�+¬2�l�Ø�v�V�b�)�_�R�¥�j�Û� ó{õ\�Ä�K�+�9�R�K ��£[�g )�D�Õ���KÌ0¡j�g°+�K�+�b�K )��+�_¡j©2Ìb�R��Ü�b�_���j���V¡a�j£2�j�b�K�)�R�B��+�) _�j�R�H�j�$�l�C �� )��+�"�V�K¡j�+£[�b���g�ê��V¡a¡ �g�. )�lêD�.�Z�j£[�0¡j���K�+��g�b�Z¡j©0�"Ç � �b�\¡"�K�b�\¡j©+�Z�Q���ܧ"�)¨0�Q���+ )�lÌ0¡¤�£  )�£Ï���¤�b���v�[Ìb��0�g�+�g��ø¦���\¡Q�_���+�g�)���v¨b�K�R°+�g� £Ï�K�+©�£Ï�g�V¨0�j�+�R�°9�)¨+���V�0�_���K§"�b�K v�_�Q�\¡y�0�j�{�l�_�j�+¬[�Q��g�_©0£[�+�)�g�_�Q��\¡a¡j©$�+�¬Ü¡n�j¬K�jÌ0¡Q���V�g£[�b�K )�R� �)���)¨+���g�0� ��Ù¡a¡ �V�g£[�+�+�V�K�_�j�g�B¥9�)¨+��Ì9��+� � ��K§y§L�g�_�v� ��0�j�0�g�_�j�+¬2�Q���_�K¡j�g�j�+¬��_£Ï�\¡a¡j� �¡n�j�+�R�K &�_©+�_�)�£Ï�B£[�g )�&�V�(�v�j��+�_¡j©0�

ø¦���v¡j�{�_�2Ì+©$�0�R�)�V _�jÌ0�j�+¬��)¨+�e§ �l�_�)�R�_��Þ{�+�lê����b�K ��\¡a¡j�V¡B��¡¤¬l�g _�j�)¨+£ §ù�g ��Õ�K¡j�g�j�+¬¬J� ´Iý �jÊR�\�L��­L���Q�&�\¡Q�_���_���+�+£[� _�Q��\¡a¡j©$�+�b�Õ���KÌ0¡j�[�g���v�ÏÌ9���b�Õ�V¡¤�R�v���j���+ ��g�V�_�Q�V�g�à.¨+� )���Ü )��§p�g�+ D�Õ�)��b�òÊ�3eÈ"�g£[�+�+�v�[�)¨+���b�gê.� ����K§¸¬þ02¬��K°i¬køg°.�j�j��°v¬Y÷ ® �83DÌ+©  )��b�R�K�v�R��)çl�b�K _�j�+¬;0 ¡¤�l¬ � Ê £Ï�K�) Õ�nì�£[�0¡j�_�j�0¡a�j�R���K§y¡j�g¬ � Ê��_�)��b�.�R�g�V¨�3V�õ$3.È"�l£[�+�+�)�&�)¨+�e�) ��g�V�R�« � ´ �v S02¬ � 3i�K§i�)¨+�&�b�lê�� ��H�j� ¡¤�l¬ � Ê��_�v��b��ñ$3^ßg�K¡j�0�i�)¨+�nA��ê��)�l���Ø�0��+�Õ�¤�Õ�¤�R�ݧp�g ��)¨+�"�V�0�V�(�v�j��+���Bÿ � �K§+�)¨+�"�V¨b�K ��g�Vá�)� Õ�Ø�Õ�_�Q�"�9�K¡j©{�+�l£2�Q�\¡j¥{�v¨0�Ø�Ý�Q�i���v _�Q�K�+¬g�0¡Q�K i�_©é�Õ�)�£6�ܧ+¡n�j�+�R�K ¢�Rçg�b�Ü�_�j�g�b�ê�¨+�0�_�.£Ï�K�) _�aì[��+�) _�j�R�i�K�b�ë _�j¬g¨+�y¨b�Ü�b�[�Z�Q�0�³�Ü )�.Þ{�+�gê����j�+�)�¬l� ��i�K�b��)¨+�@« � 0Lê��D��Ü�Û�0�[�)¨0�Q�¢�j� ¡¤�l¬ �� Ê��_�v��b���g���0�R�)�V Õ�¤Ì9�R���KÌb�g�l��3��ó�3^È"�l£[�+�+�)�i�)¨+�H�j�+�0� ��_�H�b�Z�j�+¬�È��Ü©g¡j�©0áL�D�K£ë�n¡j�)�l��à.¨+��g )�£ï0 �¤�2�KÌb�l�+�¡j�g¬ � ÊÛ�Õ�)��b��3��

à.¨+�D�\¡j¬g�g Õ�¤�v¨+£è�Q�.�_�&�+�b�_���KÌ0¡j�&�g�H�)�C¡¤�0�_�D�\¡a¡Ä�+ v�R�v�Ø�X�¤�l�[�j�¥�¤�+�0� )�_�j�+¬&ñ�Ï&�j���0�g�+Ì0¡j��+ )�R�v�Q�Z�j�g��°^ê�¨+� )�GÏ¥�Q�.�)¨+�&�Q�0��+�_�j�)©¥£Ï�K�) _�aìÏ�ܧO�Z�� �4�gã2�g .¡Q�K v¬g� R����������������� ��������������������������� �!��"���#�������$�&%('��)���+*,��� ��-���+./�0����21#�"����3��-4/5"6�7���1#�2� ��8��9��������#�1#���8����:���3�;<������������)�$�=�#�1#������8-��3���>��?�����"���!(./�94�@06�5#%

ÊRõ

Page 17: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�K�b���+�+£[� Õ�Ø���¡��Õ���KÌ0�a¡a�¤�v©Ï�) V�g�0�&�� "�×"�Ü ��\¡a¡j�V¡n�Q�_£ �j�Ïû�Ú4�0�R�V�g£¥�b�{�Z�j�_�j�g�E0X�K�b�e�g�v¨+� ���3^�Q�¢�K§ù�v��ë�Ü�)���\�j�+�R�2Ì+©eÌ0¡¤�+�VÞ0á

�¤�+¬9��&b�l Ï�Vìb�K£[�0¡j�g°��a§M¬ �Q�$�Õ©{£[£¥��) _�Q���K�b�=�b�0�Z�j�_�j�{���0� � �0�j�)�g°��j���xÈ"¨+�K¡j�R�_Þ0©§ �g�V�v�g _�� R�K�_�j�g�£¬ ´ ° £Ï�K©¥Ìb���l�j�l�Q�0�R���j�+�)�2�)¨+ v��&Ì0¡¤�+�VÞ+���g�¢§p�K¡a¡j�gêD�ò

¬ ´ ° ´ A° ��� ã ã° ��� ° ��� ã° �Oø ° �Oø °øbø B ó A

��� �b� �Oøã �b� �Oøã ã ø�ø B

û^dz×ÝÇ�È�ä��b�Õ�R���)¨+�2û^��0�V¡ ñZ�.û^Çeß(ê�¨0�Ø�V¨ �b� _§p�g )£ £Ï�K�) _�aì$£[�0¡j�_�j�0¡a�Q��K�_�j�g���K�b��) _�Q�K�+¬g�0¡Q�K Ï�Õ©é�_�v�£ �_�K¡j�l�j�+¬��j�¦�¤�V�e�j£[�0¡j�£[��+���K�_�j�g�¦�K§D�v¨0�Ø�¥�\¡j¬g�g _�j�)¨+£ �âñ\�L�"!���_�g£[�¢£Ï�g�V¨0�j�+�R�°g�_�K¡j�l�j�+¬��) _�Q�K�+¬l�0¡Ø�Ü  �_©+�_�)�£����Ø�H V�K�)¨+� �¡¤�R�v�H�V�(�v�j��+�y�)¨b�Ü��£��K�) _�aì£[�0¡j�_�j�0¡n�Q��K�Õ�¤�l��°��_�[�)¨b�K���K�$��¡¤�v� )�b�K�_�j�0���\¡j¬g�g _�j�)¨+£«�b�X�¤�+¬��g�0¡j©�£Ï�K�v _�aì(£[�0¡j�_�j�0¡a�já��K�_�j�g� �Ø�ë�+ )�V§ù� v )�R�^��à.¨0�Q�2��K��Ìb���0�g�+���+ )�g�l�Q�0�R��ê��ë�V�l£[�+�+�)���)¨+�¥§ù�Ü¡n¡j�gêB�¤�+¬Ì0¡¤�+�VÞ��0�R�V�g£[�b�0�Z�j�_�j�g� �¤�b�Õ�)�R�g���K§"�_���K�b�+�Ü �� È"¨+�K¡j�R�_Þ0©Äò

¬ ´ ´ AÏ ã ã��� Ï ãø¿� ø¿� Ï B ó A

�b� �b� ��øã �b� ��øã ã øbø B

­L��� õg�\�^�j�.�Q�D�_¨+�lê��Ï�v¨b�K�.�b�Z�j�+¬Ï�)¨0�Q��Ì0¡j�é�VÞ�û�Úú�)�Ï�_�K¡j�0�D�v¨+���_©{£¥£[��) _�Q���b�0�Z�j�_�j�{��0� � �0�¤�v�(�_©+�_�)�£7¬�� ´^ý ©g�j�V¡Q�+�[���_�Ü¡¤�+�Õ�¤�l�DC���v�K�_�Q�Z§p©g�j�+¬·0O¬±� ¬N3EC� ´^ý °^ê.�j�)¨µ ¬4µ ´ õ 0 3�02F?02¬N3�32������µ¶¬4µK°�ê�¨+� )�GF�02¬N3 ´ µ¶¬4µ4ó<µ¶¬ ® ��µ��Q� �)¨+���V�g�b�l�j�_�j�g��+�+£[Ìb� R�¦à.¨0�Q�Ï�V�l�+�) ��g�_�V��ê.�j�)¨��)¨+�$�Õ���K�b�+�K ��¦Ìb�l�VÞ{ê��K �� �_���KÌ0�a¡a�j�)©¯�Ü�b�\¡j©é�Z�Q�¥�K§È"¨+�K¡j�R�_Þ0©�ê�¨0�Q�V¨�©l�j�V¡Q�+�"µ ¬Mµ ´ õ 0 3SµS¬4µ���ßg���v¨+� � �b�\¡&� ) )�g �Ìb�l�+�b��§p )�g£Ì0¡¤�+�VÞ$û�Ú �Ø� õ 0 3�02F?02¬N3�3jø¿���Ù°b£[�b�v¨�Ì0�j¬g¬g� ��)¨b�K� õ 0 32F�02¬N3i§p�g eÈ"¨+�K¡j�R�_Þ0©{��à.¨0�Q��Ø���)¨+�&�+ _�Q�V�e�b�\�Q���j�Û�_�V�KÌ0�a¡n�j�)©¥§p�g D�_�9��R���+���

Ç��+�g�)¨+� i�) ��l�0��� Ï�+��V�+ ��H�j�[�)¨+���V¨+�K�Q�V���ܧÄ�0�j�{�l�_�j�+¬��_�) ��K�v�¬g©[�a�g��L�Hà.¨+�D�_���Ü�+á�+�K ����0�j�{�l���_�) V�K�)�¬K�j�R�.�K )�&�V�g£[�0¡j��)�&�0�j�0�g�_�j�+¬­0Lê�¨+� )��ê��D�_�R�Ü ��V¨[§p�g ¢�)¨+��¡Q�K )¬g�R�_���+�) )©&�j���)¨+�� )�£Ï�\�j�0�j�+¬Ï�_�+Ì+£Ï�Ü�) _�aì:3V°g�b�K )�Õ�Ø��¡Ä�0�j�{�l�_�j�+¬Z0L�)¨+���b�_�b�\¡Ý�V¨+�Ü�Ø�V�g°lê�¨+� )�ê��&�g�0¡j©Û�_�R�Ü ��V¨��)¨+���V�+ v )��+�D�V�K¡j�+£[��§p�g ��v¨+�&¡Q�K )¬g�R�Õ�D��+�) v©'3�° �b�\�j )ê.�Q�_�2�0�j�{�g�Õ�¤�+¬�a��õ\�v0Lê�¨+� v�&�g�0¡j©Ï )�lêD�,Ê��Ü�b�;Ê]²�ÊC��+¬{�K¬g���j���0�j�{�l�_�j�+¬Ï�K�b���V¡a�j£2�j�b�K�_�Q�g��°9�)¨+�� )�gêD�Bʲ¥Ê��K�b�4ʲ�õ��K�b�e�_�&�g���+�2�)���)¨+�¢�)�g��3��K�b�e�b�K ��\¡a¡j�V¡b�0�j�{�g�Õ�¤�+¬�0Lê�¨+� v�"�)¨+� )�£Ï�\�j�0�j�+¬2 )�gêD���Ü )�.¬g )�g�+�9�R�e�j�[�b�\�j ��°0�K�b�2��+¬{�K¬l�"�j���0�j�{�g�Õ�¤�+¬��Ü�b���V¡a�j£2�j�Ä�Ü�_�j�g��Z�j£[�0¡j���K�+��g�b�Z¡j©#3��,A��V�j�)¨+� D�b���¤ vê.�Q�_���+�g ��b�K ��\¡a¡j�V¡y�0�j�{�l�_�j�+¬[ )�Rçl�0�¤ v���0�j�{�l�B�Õ�R�K ��V¨�g�+���Z�Q�0���ܧy�)ê.�� )�lêD�°gÌ+�+���b�\�j )ê.�Q�_���0�j�0�g�_�j�+¬e�Q�.�j�+¨+� )��+�_¡j©��_�Rçl�+��+�_�Q�\¡^�¤� �j�����g�Vá�V�R�)�e�)�$ )�lêD�°^ê�¨+� )�R�l���b�Ü ��\¡a¡j�V¡B�0�j�0�g�_�j�+¬"0X�g�³�¤�V�&�b�K£[�¥�j�b�l�Q��K�)�R��3��b�Ü ��\¡a¡j�V¡n�� �K��R�g�Z�a¡j©{�.ài�KÌ0¡j��õ[�_�+£[£Ï�Ü _�� �R�.�)¨+���Ü�b�\¡j©é�Z�Q�B�j���a�g����ܧ �)¨+���Õ�b��R�$�Ü�b�$�_���ÜÌ0�n¡a�j�)©��K§�)¨+�R�_�[£[��v¨+�é�+���K��à.¨+�¥�b�K�j�+�&�Q�C�)¨b�K�&�j���v¨+�Ïê��l ��_�D��g�Õ�[�b�K )�_�Q�\¡L°H�b�\�j )ê.�Q�_���K�b�

@"H>����-� ��.#��-�"��������2�I3/��1#�J./�2�"�������1#�"�� K������-�������"���#�������$�L:M���3����������3��"����"����$�$� ����NÊgÊ

Page 18: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

È"�g£[�+�+�v� � ´ ý � �¿é � �j�$�b�Ü ��\¡a¡j�V¡È"�g£[�+�+�v�@« � ´ O ��óQó)óQ� � ® � �b�Z�j�+¬��b�K ��\¡a¡j�V¡ �+ v� � ì �g�+�l�j�_�j�g�È"�g£[�+�+�v�?P � ´ « � óOé � ® � �j� �b�K ��\¡a¡j�V¡à.¨0�Q���K�+�+ v�{�g�V¨��Vìé�)��b�+���)�YÊ2�)� v£�¡a�j�+�R�K i )�R�V�+ v )��b�V�R�LP ��³ �¸´ � ÷ ® �Q$R O ÿ � S Q P � ® Q �ý � °0Ì+�+���)¨+���l�)�_�+�v�Ø�Ü�_�j�{�&�g�9� ��K�_�j�g��Ì9�R�V�g£[�R�YÊ­²�Ê�Ì+©]Ê­²�Ê&£Ï�Ü�) _�aìÏ£[�0¡j�_�j�0¡a�Q��Ká

�_�j�g���@�.�g�Z�Q�e¡a�j�+�R�K ���¡¤¬l�Ì+ ����g�b� V�K�_�j�g�b��ê�¨0�Q�V¨Û��Ü�ÛÌ9�Ï�_�K¡j�0�R���)¨0�Q��êD�\©¥�j�b�v¡¤�b�0��) _�Q�l�Q�K¬g�g�b�\¡i�&�K�b�)�Z�Q�K�[�V¡a�j£2�j�Ä�Ü�_�j�g��0X�e�)¨+ )����v� )£? )�R�V�+ ) )��b�V��3�°+�_�Ü¡¤�l�j�+¬2Ì0�Ø�l�Q�K¬l�gá�b�\¡{¡a�j�+�R�K .�_©é�Õ�)�£Ï�P0L�)ê"�.�)� v£Ï��3�°lßg�)�+ )£ �_�Rçl�+��b�V�.��g�\¡j�b�K�_�j�g�e§ù�l y�)¨+�.�_©0£[£[��) _�Q��) _�Q�l�Q�K¬g�g�b�\¡i�V�j¬g��+�+ )�gÌ0¡j�£ 0L�)¨+ )��e�)� )£Ï��3V°Ä�K�b� �)¨+�2Ì0�Q�l�Ø�ܬg�g�b�\¡��+ç0�+�D��¡¤¬l�g _�j�)¨+£§ù�g ��Z�j�+¬g�0¡Q�K D�g�\¡j�+�R��0Z�)¨+ )��&�)� )£���3����gñK�L�

à.¨+�¢�+�+£[� _�Q��\¡é�_�V�KÌ0�a¡n�j�)©&�ܧé�)¨+�R�Õ���\¡j¬g�g Õ�¤�v¨+£Ï�^�Q�H�+�g�H�V�g£[�0¡j��)�V¡j©��+�b�0� ��Õ�)�{�+�^�&b�l Ý�Õ�g£[�"�K�+�0¡a�Q��K�_�j�g�b�°Ü�j���Q���R�g�_©&�)�D�Õ��i�)¨+�"� ) v�g �Ìb�l�+�b�+�i�K )�i ��K�v¨+� �ê��g ��Õ�y�)¨b�Ü��)¨+���)¨+�0�_���K§"�v¨+�ë�Õ�Rçg�+��+�_�Q�\¡��¤£¥�0¡¤�£¥��+���K�_�j�g�¦�âõgãK�L�Y&9�g ��g�)¨+� ��°9�_�b�V¨Û�g�Cßg�)�+ )£�_�Rçg�+��b�V�¥��Ü��¡¤�b�Ü�_�j�g���a���R�Z°b�£[�0�j _�Q��\¡"��l�Q�0��b�V�(�Õ�+¬g¬g�R�_�����¤���Q�&�_�V�KÌ0¡j����+�g�+¬g¨��)��b�_�&�j�$�+ V�g�V�_�Q�V�g�

Ç��+�g�)¨+� y�_�l�+ ��V�i�K§0�¤�b�Õ���KÌ0�a¡a�¤�v©&Ìb�R�Z�Q�0�R�� )�g�+�b�0�� 2�Q�y�Õ�b�)�V��+�_�jÌ0�a¡n�Ñ�)©D�v���g�g� SK\�+�b�0� ODb�Kê�°Ìb�R��K�b�_���ܧB�v¨+�[�+��R�¦�)�Û�V�l£[�+�+�)���Vìé�)��b�0�R� �+ )�+�0�b�V���a0X�_�b�V¨��l�Yé � ´ ÿ O ó)óQójÿ ��KÌb�g�0��3)�6à.¨+�R�Õ�Û�l�g� SKR�+�b�0� ODb�KêD�¥�K )�$�ܧù�)�� �+�+�R�)�_��+�_�Q�\¡&Ìb�R��Ü�b�_���)¨+���g�+�)�+�+�ê.�a¡n¡���0��+�)�b�\¡a¡j©$Ì9�Ï�)¨+���_�K¡j�+�_�j�g���)��\¡j�R���v�$¨b�K�g�e�+�0�j���+�l )£Å0p�j�+�0� ��_�C�¤�v� ��K�_�j�g�§ù�g 2�V�j¬g��+�0�R�V�)�g ��¶3Õ�E�"�+�¥�)�$�b�_���b�Ü ��\¡a¡j�V¡D�+ )� � ì�°i�g�+��£[�b�_�&�V�j�)¨+� ��)��\¡j��Ìb�V§p�g )�£[�0¡j�_�j�0¡n�Q��K�Õ�¤�l��°��g ��0�R�\¡Dê.�j�)¨ �g�0� SK�+�b�0� ODb�gê ��§ù�)� ë�¤���+��V�+ ��S¥��)¨+��¡Q�K�v�)� [ )�áçg�0�j )�R�¢ )�R�g�Õ�g�b�KÌ0¡j�D�Vìb�V��+�_�j�g��¨b�K�b�l¡a�j�+¬$�âõlöR�Z�y­Z�Ï�v¨+�DÌ9�R�_����g�Õ�g°é�C�b�_� )áÑ¡j��0�V¡Ä�) ��Ü�¨b�K�b�l¡j� [ê��g�0¡Q��Ì9�(��\¡a¡j�R���v�Û�0�R�\¡.ê.�j�)¨¯�v��\¡a�¤�+¬¦�\§ù�v� ��g�g� ¢KR�+�b�0� ODb�gê&°� v�Rçg�0�j )á�¤�+¬��+���g�g� )¨+�R�g�¥�a§"�+�[�Vìb�V��+�_�j�g�b���+��V�+ R�YA��Vìé��Ìb�R�_���Q�D�Ü�$�Vìb�V��+�_�j�g�EDÄ�K¬[�)¨b�K��V�g�0¡Q��Ìb���)�R�_�)�R�^°0�+ )�g�l�Q�0�R�2�)¨0�Q�.��K���\¡Q�_�2Ìb�&�0�g�+�³çl�0�Q�VÞg¡j©0� àB¨+�Dê��l ��_�i�Z�j�)�b�K�_�j�g��é��V�+ ��¢ê�¨+����\¡a¡��Vì �V��+�Õ�¤�l�b�" v�Rçg�0�j )���C�) ��K�2�j�+�)�e�g�b� V�K�_�j�+¬��_©+�_�)�£?�V�é�0�g° ê�¨0�Q�V¨�Ø�C�)¨+���¨+�+�b�0 )�R�+�C�g &�)¨+�g�b�v�K�b�+�&�K§.�_�j£[�R���X¡¤�lê�� ��)¨b�K�¦���Z�j�+¬K¡j�ZDb�{�Ü�_�j�+¬$�b�Ü�¤�+��g�b� ��Ü�_�j�g�B¥"�v¨0�Ø���Ø�ë�)¨+�(��l�_�Ï�l���)¨+�(�&�BÈ^©4�V¨0�j��°H§ù�l ��Vìb�K£[�0¡j�g� ­L���)¨0�Q�2��g�_��¤�C�Q���+ v�gÌb�KÌ0¡j©�Ìb��)�)� e�)�$�V�+�0�(�0�V§p��b�Z�j�{�V¡j©�Ì+©Û�v��\¡a�¤�+¬���0� )©Û�Õ�)����)�$�K�l�K�Q�Û��¡n¡�b�{�)�X�¤Ì0�a¡a�Q�)©2�K§��g�l� SKR�+�b�0� ODb�Kê���à.¨0�Q�O�Q�i�+�0§p�g )�)�+�b�Ü�)��Ìb�R��Ü�b�_�.�j�.£Ï�KÞ0�R���9�g )���KÌ0¡j��V�é�0�2�_�[¨b�K ����v�[ê� _�j�)�gò¢ê�¨b�K�¢�Q�.§L�g�_�v�R�_���g���g�+�&£��g�V¨0�j�+��£Ï�K©2Ì9���0� )©Ï�Z¡j�gê4�l��K�+�g�)¨+� R° ��{����)¨+�g�+¬g¨�Ì9�g�)¨�§p�g )£Ï��¡n¡j©��j£[�0¡j�£[��+��­_�"�¢�í�Ü _�j�)¨+£[��_�Q�K�

ÒiÓ ßåØ,×#í:ÞE× î+í'Ý�ßåÙBاÚ�ÙBä>ì,ßåØ,á­L���_�+Ìb�_�R�V�_�j�g��õ+�ØÊg°^ê��Ï�l�Q�)�V�b�)�Õ�R�¦�)¨+�2�j£[�b�g�V�2�K§.�j£[�0¡j�£[��+�_�j�+¬�û�Ú«�0�R�V�g£¥�b�gá�Z�j�_�j�g���b�X�¤�+¬��.û^Ç�ß�Ìb�g�_�R�x�g�¦ßg�) ��g�)�Õ��B9â��£[��)¨+�+�^�2­L�¦�)¨0�Q���_�R�V�Õ�¤�l��ê����l�Q�)�V�b�v��g�)¨+� .�g�K _�Q�K�_�j�g�b�O�g�[¡a�j�+�R�K ��Rçl�b�K�_�j�g���_�K¡j�l�j�+¬�ê�¨+� )�D�b�Ü ��\¡a¡j�V¡n�p�_£�0L�g ��X�b�Õ�B�Õ�b��R�#3

ÊRã

Page 19: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

&��¤¬l�+ )�[Êgò"×¢�K ��\¡a¡j�V¡y×i )� � ì��g��Ê)�[�&�Ü���e­L�)�£Ï�ã Ê õ ñ ó ö � � � Ë � Ì � � � §

ã+òjÊ õ+ò ñ óbò ö �+òa� �+òâË � òôÌ �Kòâ� �gò §

ã+ò ñ óbòa� � òôÌ �Kò §

ã+òa� �+ò §

ã+ò §

ã òôÌ

ã+ò ö ã+òâË ã+òâ�

ã+òâõ ã òôó ã ò�� ã+òâ� ã+ò � ã òâ� ã+òô�

ÒiÓ>Ò í:Þ�í:äåäj×#äYâ,Þ�×à.¨0�Q�&�b�K ���¡n¡j�V¡.�g�b� ��Ü�_�j�g��°y�\¡Q�_�$���¡n¡j�R� ¿Æ·À ¼ °+£Ï�Ü©�Ìb�Ï�0�R�)�V Õ�¤Ì9�R���l��§ù�K¡a¡j�gêD�Ù��û^��� O Ç)Ì�Ì�Ì � ÷ Ìb�¦�+�K���x�¤�v�£Ï�°&�K�b�ïó.�K�+©��g�)�Õ�é�v�Q�K�_�j�0���g�b� ��Ü�_�j�g��� àB¨+��4�)¨+���)��K��K§��)¨+�R�Õ��Êè�+�K���¯�¤�v�£Ï��©l�j�V¡Ø�+���K�+�l�)¨+� £Êè�+�K��� �j�)�£Ï� �0� � �+�R��Ì+©�� O ´ � O °� � ´ � O ó�� � °i�Ø�j�Ï°B� � ´ � O ó�� � ó)óQó2� � ¥��)¨+�b��� � �Q�&�)¨+�[ v�R�0�b�V�_�j�g���K§Y� O �)¨+ )�g�+¬l¨� � ��à.¨+�2�K�)�) V�g�V�_�j�g���K§ �v¨0�Ø���g�9� ��K�_�j�g��°9�g�)¨+� ��v¨b�K���j�����b�Õ�V§ù�0¡j�+�R�)�°9�Q�B�j���.�R�g�_�e�K§�¤£¥�0¡¤�£¥��+���K�_�j�g���b�Z�j�+¬Û���Z�j£[�0¡j���) )����ܧ��+ )�+�V�R�)�_�g V���ø��C�n¡a¡j�b�_�) V�K�)�2�j� � ¬g�+ v�(ʧù�g ZÊ ´ Ê\ö+°i�g  ê �j� ¨+�Vì �g�0�R�v�j£Ï��¡D�+�g���K�Õ�¤�l�B¥i�j���v¨+� � ¬g�+ v��ê��Ï�KÌ+Ì+ )��l�Q�K�)�£� �Ì+© �K�b�Á� � ó)óQó2� Q Ì+© ò�è^���"�l�V¨� )�gê �¤�b�l�Q��K�v�R�[�)¨+���g�\¡j�+�R�2¨+�V¡Q��Ì+©��)¨+��Ê)��+ )�é�V�R�v�_�g ��S¥+�\§p�)� .�)¨+� �  ��_�. )�gê �g�0¡j©Ï�v¨+�³�+�K�V���v¨b�K���V¨b�K�+¬g�R�H�Q�¢�j�b�l�Q��K�)�R�^���¢�g�V¨�+�Ä�+�K�)�R�¦��+�v )©��V�g£[Ì0�j�+�R�C�¤�V���V�+ v )��+���g�\¡j�+��ê.�j�)¨��g�+��� � ì+�R���l�Q�_���K�b�V���v���j���¡¤�V§p�R�

×"�Ü ��\¡a¡j�V¡³�+ )� � ì=£Ï�K©�Ì9���b�_�R�=�)���_�K¡j�0��¡a�j�+�R�K � )�R�V�+ ) )��b�V�  )�V¡Q�K�_�j�g�b��c&9�g �Vì �K£¥�0¡¤�g°O�)�$��g�\¡j�b�K�)�TP ��³ �X´ ÿ � P � � ý � ° ã+°IP O ´ ã+°Hê��[�0���)¨+�¥§ù�Ü¡n¡j�gêB�¤�+¬�g�b� ��Ü�_�j�g�b�ò

È"�g£[�+�+�v�Yé � ´ ÿ O óQó)óOÿ � �b�Z�j�+¬Ï�b�Ü ��\¡a¡j�V¡ �+ )� � ì�£[�0¡j�_�j�0¡a�Q��K�_�j�g�Ë

Page 20: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�) _�Q�K�+¬g�0¡Q�K &�_©+�_�)�£��_�Ü¡¤�l�j�+¬�ê.�j�)¨$£��K�+©Ï Õ�¤¬l¨+��¨b�Ü�b�$�Z�Q�0�R�2�ôó{Ë\�L°9�g��ê��V¡n¡i�g�.£Ï�K�+©£[��)¨+�+�+�.Ìb�R�Z�Q�0�R�eßg�) V�g�)�_��B9â�C�jÊgÊV�L�

à.¨+�R�_�&Ì9�g�+�b�+���l�ç �� �ê�¨+����)¨+� )�C�Q���Z�j¬g�0� � ��K�+�D�l�C �� )��b�V�e�j�$�)¨+���)���¡n�j�+¬��K§¬��K�b�Áº¥��&9�g ��Vìb�K£[�0¡j�g°��V¨b�K�+¬Ü�¤�+¬·¬ �)�·¬Jò��K�b�Áº �)�·ò ® �Sº ê�¨+� v�£ò��Q��l�Ø�ܬg�g�b�\¡��0�{�R�e�+�g�2�V¨b�K�+¬g�2�)¨+�[� ) v�g �Ì9�g�+�b��§p�g 2�V�g�+�g��+�Z�j�g�b�\¡i£[�0¡j�_�j�0¡n�Q��K�Õ�¤�l��°Ì+�+�ë��Ü��£Ï�ÜÞ{��ßg�) ��l�)�_��B9â�e�K )Ì0�j�) ��K Õ�n¡j©�¡Q�K v¬g�g��Ç�¡Ø�Õ�b°��n§G¬ ´VU ¬ U �K�b�"º ´WU º U °�)¨+����)¨+���V�g�+�0��0�L�j�g�b��¡yÌb�g�+�b���)�Ü©é�¢�R�g�V¨��V�g£[�b�l�+��+���K§n¬±ó�º7�Q�&�V�g£¥�+�+�)�R���)�¨0�¤¬l¨$ )�V¡Q�K�_�j�0���g��V�+ ��g�V©�¥^ßg�) V�g�)�_��B9â�.��K� �+�g�.¬g�b�K ��Ü�+�)��D�v¨0�Ø�Ù�!��=�)¨+���g�)¨+� �¨b�K�b�^°�£¥�{�_��� ) )�g ��K�b�\¡j©+�_�R���K§[�³�Ü�b�)�Z�Q�K�=�V¡a�¤£ë�¤�b�Ü�_�j�g�6�K�b��g�)¨+� .£Ï�K�) Õ�nì[ )�l�+�_�j�+�R�.Ìb�g�_�R�¥�g�;��ûÝÇ�ßÏ�0�2�+�g�.�0��b��b���l�Ï�)¨0�Q�.�l�C �� )��b�V�g°b�K�b� )�£Ï�\�j��£¥�{�_�_¡j©��)¨+�$�v�K£[��ê�¨+��=ßg�) V�g�)�_���Ìb�g�Õ�R�Á��ûÝÇ�ß��K )���b�_�R�=�âõé�R�L�Á!��0¡j©ê�¨+����)¨+��£Ï�K�v _�aì��g �£��K�) _�Q�V�R�[�K v�(�_�v )�g�+¬K¡j©�¬g V�g�0�R�Á0Z�)¨+�$�l�Q�K¬g�g�b�\¡�£Ï�Ü�) _�aìÃò�KÌb�g�0�i�Q�O�a¡a¡¤áL�V�l�b�0�j�_�Q�g�+�R�#3¢ê.�a¡n¡��)¨+�� )�V¡Q�K�_�j�0�.�j�b�_���KÌ0�a¡a�j�)©[�K§ißg�) V�g�)�_��B9â�OÌb���+�g�_�Q�V�R�^�

ßg�) _�Q�V�_¡j©��_�9�R�KÞl�¤�+¬9°.�)¨+���) ��g�0��8 í�K§��_�b��R� �K�b���Õ���KÌ0�a¡a�¤�v©�Ì9��)ê.���¯�V�g�+�0��+á�_�j�g�b�\¡y�K�b� ßg�) ��l�)�_��B9â�¢£Ï�K�v _�aì(£[�0¡j�_�j�0¡a�Q��K�_�j�g���0�{�R�.�+�l�B�0��9��b���g���b�Ü ��\¡a¡j�V¡n�Q�_£ °Ì+�+�&�g���)¨+�[�0�R�Z�j )�[�)���Vìé�0¡j�K�j�e£[�£[�g )©�¨0�j� ��Ü ��V¨0�j�R���j��£[�é�0� v��£Ï�g�V¨0�j�+�R��&à.¨+��+�Vìé�Ï��¡¤¬l�g _�j�)¨+£$°"�x�b�K ��\¡a¡j�V¡³�\¡j¬g�g Õ�¤�v¨+£�§ù�l ë�Õ�K¡j�g�j�+¬¦�) _�Q�K�+¬g�0¡Q�K [�_©+�_�)�£Ï�Ù°"�V�g�0¡Q��g�0¡j©�Ìb���K§.�j�+�)� )�R�Õ�&�j�¯� �b�K V�\¡a¡¤�V¡D�V�g�+�v�Vìé�&Ì9�R��K�b�_���j�2�b�_�R�2�Z�j¬g�0� � ��K�+�_¡j©�£[�g v�Db�g�b�.�)¨b�K� �)¨+���V�g�+�g��+�Z�j�g�b�\¡��\¡j¬g�g _�j�)¨+£ �

à.¨+�[�\¡j¬g�g Õ�¤�v¨+£ £Ï�K©�Ìb���0�R�)�V _�jÌb�R�¦�g��§p�K¡a¡¤�lêD��2û^�� Ìb�Ï���+�0�j�C¡¤�lê�� ��) _�já�K�+¬g�0¡Q�K [£Ï�Ü�) _�aìÁ0X� �+�g�+�+�0�j�ë�l�Q�K¬l�g�b�\¡D��K�¦�R�g�Z�a¡j©�Ìb�$�)��\¡j�R�¦�)��Ì9���+�0�¤�¢3��·&9�g �R�g�V¨ §ù v�g£ Ê2�)�;Ê£²=Êg°Ý¡¤�� � �Rçl�b�\¡"�)¨+�e�Q�0��+�_�j�)©$£Ï�Ü�) _�aìÛ�Vìb�V��+�&§p�g ��V�K¡j�+£[�ê�¨+� )�&�j��£Ï�K���V¨+�R� ��à.¨+����j���Ø�&�X�¤£¥�0¡¤�2�)���0� _�a§ù© ´ � � ó)óQó ÷ ® � �K�b�$�_�® � ´ ® �÷ ® � ó)óQó ® �� ® �� �N!��+�Ï��K�Û��¡Ø�Õ���R�g�Z�a¡j©Û�_��2�)¨b�K� ® �� �Rçl�b�\¡Q���)¨+�e�Q�0��+á

�_�j�)©��Vì �V��+��§p�g &�)¨+�[�_�+Ì^�l�Q�K¬g�g�b�\¡.�K§��V�K¡j�+£[� °^ê�¨+� )�e�j�&�Q���)¨+�2�+�¬{�K�Õ�¤�0�2�K§ � �à.¨+�b� ® �� �V�g£¥�R��§ù )��g°��Ü�b���)¨+�2ê��g )Þ��)��Ìb�Ï�0�l�+�2�Q���)�$�V�g£[�+�+�)�2�)¨+�2�+ )�+�0�b�V�® �÷ ® � ó)óQó ® �� �j� � Ê �b�K ��\¡a¡j�V¡O�Õ�)��b�¢�b�Z�j�+¬(�e�) )��g�¢�"�g�V¨[�b�Ü ��\¡a¡j�V¡ �_�)����j�+�0�K¡j�g�R�£[�0¡j�_�j�0¡¤©l�j�+¬�ʦÌ+©hʦ£��K�) _�Q�V�R�40Zê�¨0�Q�V¨��K )�2�j�0�j�_�Q�\¡a¡Q©�çg�0�j�)���_�b�K V�_�g°�Ì+�+� � ¡n¡��+��3�°�K�b�[�_�e���KÞ0�R�y�KÌ9�g�+� � Ê��b�K ���¡n¡j�V¡��_�+Ìb�_�)��b�°l§p�g "�&�v�g���\¡+�K§ �� ÊH� �O ) )�g "�Ü�b�\¡j©{á�Z�Q�i�K§��)¨0�Q�"��¡¤¬l�g _�j�)¨+£��l���\�+©g�j�V¡Q�+�.�K�[� ) )�l iÌb�g�+�b�¥�+ )�g�9�g )�_�j�g�b�\¡b�v�?F�0 3åø ê�¨+� )�F�0 3 ´ µ µBóSµ ® ��µ¢�Q�i�)¨+�&�V�g�b�l�j�_�j�g���+�+£[Ìb� "�K�b� �Ø�¢£Ï�l�V¨0�¤�+���+ )�R�v�Q�Z�j�g�B¥+�)¨0�Q��Ø���j���V�l�+�) ��g�_�.�)���)¨+�2� ) )�l DÌ9�g�+�b�XF�0 3 §ù�l D�)¨+�2�b�_�b��¡O�\¡j¬g�l _�j�)¨+£$�&à.¨+�2� ) )�g Ìb�g�+�b� §p�g &�)¨+�2�b�K V�\¡a¡¤�V¡��\¡j¬g�g _�j�)¨+£ £Ï�K©�Ìb�[�9�R�)�Z�j£2�Q�_�_�Q�a¤ �)¨+�[ê��g ��_���Vìb�K£[�0¡j�ê���¨b�K�0�¢§ù�g�+�b��¨b�l���Ü�Ï� ) v�g .¬g )�gê.�j�+¬C¡n�jÞ0�YF?0 32�[Z \ ¤ Ì+�+���_¨+�gê��i�)¨b�K�.�)¨+� v���Q��2�) ��g�0��8 ÛÌb��vê����Ï�b�Ü ��\¡a¡j�V¡n�Q�_£ �Ü�b���_���KÌ0�a¡a�j�)©{�

Page 21: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�)¨+���+ )�lÌb�KÌ0�a¡n�j�)©�¬g�0�R���0�gê���ê.�j�)¨ �"àB¨+�� )�R�g�Õ�g���Q���)¨b�Ü���v¨+���_�j£[�&�)���_�K¡j�{���Ü����b��Ì+© ������£Ï�K�) Õ�nì$¬l )�gê��O¡n�jÞ0� ø¿���\°b�_���)¨b�K���v¨+�&Ì0�¤¬l¬g� D�v¨+��£[�£[�l )©{°0�)¨+�§ù�ê�� ��_�b�V¨��+ )�gÌ0¡j�£Ï��ê��&��K�Û�Õ�K¡j�{���b� &�_�R�V�g�b�^�

Ç��+�g�)¨+� ��V�g�b�_�Rçl�+��b�V�Û�ܧ³�)¨0�Q�¥§p�g )£[�0¡Q� �Q�[�v¨b�K�Ï V�K�b�0�g£ �)�R�Õ�_�j�+¬��j�+�)��b�0�R��)���l�Q�)�V�g�0� e�¤�b�Õ���KÌ0�a¡a�¤�Õ�Q�R�¥�j� �x�+ )�g¬g ��Ü£ �Q�¥£[�g )� �� ��R�V�_�j�{��ê�¨+��=�0�g�+�Û�Ü�2¡j�gê�+ )�R�v�Q�Z�j�g���

�B½Y}[¾Swy~ �Å|�<¾�t+½�{�srt+t ��½Yt ½�wy} ÂÁ½Y�B½�{�]{¿|k{S¾���� ¾Sw |+z sþ{¿~�xJ�W¾��iÄa� �ÒiÓ í�ÚQÝà.¨+�h�.û^Çeßb°"�l ]�.�g�Z�Q��û9�j�+�R�K ÏÇ�¡j¬g�Ì+ �� ßg�+Ì+ )�g�+�_�j�+�R�°��K )� Ì+�0�n¡Q�l�j�+¬�Ì0¡j�+�VÞé��§ù�g £Ï�K�+© ¡a�¤�+�R�Ü Ï�\¡j¬g�Ì+ ����V�+�0�R�°"�Ü�b���_���)¨+�©¦�_¨+�g�0¡Q��Ì9�(�g�e�V�(�v�j��+�[�g�e�b�0�)�Z�jÌ0¡j�g�ø����0�R�)�V _�jÌb���)ê.� êD�\©é�C�K§³�g��V�V¡j� ��K�Õ�¤�+¬¦�)¨+�£ �v¨b�K�Ï�)�g�V Õ� � �V�$�Õ�g£[���+�+£[� _�Q��\¡�_���KÌ0�a¡a�j�)©$�)�$�Õ�b��R�^�ÏàB¨+�ë�Õ���KÌ0�a¡a�¤�v©�¡j�{�)�_�R�e�K )�2�+�g���0 ��Ü£Ï�K�_�Q�K°��K�b���� v�R�g�_�g�b�KÌ0¡j���ûÝÇ�ߥ�¤£¥�0¡¤�£¥��+���K�_�j�g� £2�j¬g¨+���V�g�b�Z�Q�0� D�b�X�¤�+¬��)¨+�£$�

ßg�) ��l�)�_��B9â�¢£[��)¨+�+�¥�Q���C§ �l�_�.êD�\©��ܧ �0�K�j�+¬Ï£��K�) _�aìÏ£[�0¡j�_�j�0¡a�Q��K�_�j�g� Ìb�g�_�R���l�£[�0¡j�_�j�0¡¤©l�j�+¬�õKápÌ+©0áLõ.£Ï�Ü�) _�Q�V�R�H�b�Z�j�+¬[�.£[�0¡j�_�j�0¡a�¤�R�¢�K�b��ÊRö��g �Ê\�D�g�+�l�j�_�j�g�b� �j�b�_�)�R�g��K§B��£[�0¡j�_�j�0¡a�j�R�2�K�b��ó$�g�+�l�j�_�j�g�b���jÊV�L�¥ßg�) ��g�v�_��� )�R�0�b�V�R�4Ê�Ì+©�Ê�£Ï�Ü�) _�aì�£[�0¡j�_�já�0¡n�Q��K�Õ�¤�l�$�)�ZÊ���õeÌ+©]Ê���õe£Ï�K�) Õ�nì�£[�0¡j�_�j�0¡n�Q��K�Õ�¤�l�Û�K�b���g�+�l�j�_�j�g��°9�K�b�� )�R�V�+ ��Z�j�0�V¡j©�)�hÊ���õ�^�Ì+©�Ê���õ�^g� ­L���e�g�g� V�\¡a¡O�V�g£¥�0¡¤�Vì0�j�)©��Q�e�)¨+� )�V§p�g )� õ 02ÊLú�û�ü 5E_ 3 õ 0OÊ:�[Z `¿�S3�¤�b�Õ�)�R�g���ܧ õ 02Ê#ø�3��íàB¨+�$�V�g�b�_���K�+�e�j���v¨+� õ 0�óC3��Ø�Ù°.¨+�gê���g� R°H£[�b�V¨ ¡Q�K )¬g� ë§ù�g ßg�) ��g�)�Õ��B9â�¢�)¨b�K��§p�g ��_�) ��\�j¬g¨+�Õ§ù�g _ê��K ��ë£Ï�K�) _�aìÏ£¥�0¡¤�Õ�¤�0¡a�Q��K�_�j�g��°^�K�b���_��ßg�) V�g�)�_��B9â��Ø�C�g�0¡j© § �g�Õ�)� �§ù�l �¡Ø�Ü )¬g�[£Ï�Ü�) _�Q�V�R��2­L� �+ ��g�V�_�Q�V�[�g�b�V� �Q��¡Q�K )¬g�2��+�g�+¬l¨��_���)¨+�ÊB�Kõ�^eÌ+©]Ê���õ�^��Õ�+Ì+£Ï�K�) _�Q�V�R� � �.�j� § �g�Õ��£¥�£[�g )©0°é�V�l�+�{��0�Z�¤�l�b�\¡�£Ï�K�) _�aì�£[�0¡j�_�j�0¡j©£Ï�K©&Ìb���b�_�R�^�iÇ4�0 ��Üê�Ìb�g�vÞ&�K§ißg�) ��g�)�Õ��B9â�H£[��)¨+�+�e�Q�¢�)¨+���+��R�ë§ù�g i�Vì+�) ��e�_�)�g V�K¬g�§ù�g ��j�+�)� )£[�R�l�Q�K�v�� )�R�_�0¡j���Ù��­L��¨b�g��Ìb��� �j£[�0¡j�£[��+�)�R� �g� �)¨+��È" ��K©Ïõ �âË0°^�K�y�K�b�­2�.É ñgãgËlãÏ� ögã\�L�

à.¨+���V�g�+�0��0�_�j�g�b�\¡Ä� v )�g .Ìb�g�+�b�(§ù�l �£Ï�K�) Õ�nì�£[�0¡j�_�j�0¡a�Q��K�_�j�g���Q���g�¢§p�K¡a¡j�gêD�ò

U ê û"a�b 02¬ÁóQº43v²·¬�ó)º U Ê­ó ó U ¬ U ó U º Uê�¨+� )���v¨+���KÌb�_�K¡j�+�)�&�g�\¡j�+�R���K§y£Ï�K�v _�Q�V�R���K�b���v¨+���¤�+�Rçl�b�\¡a�j�)©$�K )�&£¥�R�K�+���V�g£¥�b�gá�+��+�)ê.�Q�_�g�yàB¨+��Ìb�l�+�b��§p�g &ßg�) ��l�)�_��B9â���jÊRñ0°�ÊÙóé° ó{ËK�9�Q�µ ê c�d<e�f�g�g&h a 02¬±ó)ºM3W²·¬±ó)º­µ ê 02Ê�3Bó ó$µS¬4µ ó$µ¶º[µ � õ 0 � 3ê�¨+� )�Eµ6óLµ �0��+�g�v�R���)¨+�e¡Ø�Ü )¬g�R�_�&�V�g£[�9�g�+��+���j���ÜÌb�_�K¡j�+�)�2�g�\¡j�+�g°Ä�K�b� ê 02Ê�3 ´õ 02ÊLú�û�ü 5 ���S3 õ 0OÊ'ø>Z 3��¢à.¨0�Q�D��K��Ì9���Vì+�)��b�0�R���v�Ï�\¡a¡y�)¨+�&�g�v¨+� J�.û^Ç�ßb°^�_�b�V¨$�g�

Page 22: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

�Ü�Ü _�j��)©'�2ø¦��£��K©³�V¨+�0�{�_� �)���V�g ) )�R�Õ�b�g�b�e�)���K�[�g��V�+ V�g�V©2�)¨+ )�R�_¨+�K¡Q�^°l�+ )�gÌ0¡j�£Ï�¡¤©l�j�+¬��g�+���Z�Q�0���l�Ø�Õ���K�b�V� Ìb�V�j�+¬�¬g�b�K V�K�+�)��R���v�$Ìb���_�K¡j�{�R���g��V�+ V�K�)�V¡j©���+�g�+¬g¨�°�K�b�[�v¨+�{�_��ê.�j�)¨0�j� Ì9�V�j�+¬Ï�_�b�)�V��+�_�jÌ0¡j�&�)�2�Z�j¬g�0� � ��K�+�¢�¤�b�l��V�+ ��g�V©{�v&9�g i�Vìb�K£[�0¡j�g°ê��2£Ï�K©Û�V¨+�0�{�_� ´ ÊRã 0Lê�¨+� )� �Q�e�)¨+�[£Ï�g�V¨0�j�+�[�+ v�R�v�Ø�X�¤�l��3&�a§Bê���êB�Ø�Õ¨��)�¬g�b�K ��K�+�v��³�K�¢¡j�R�g�_� �Z�j¬g�0� � ��K�+���0�R�v�¤£��\¡O�l�j¬K�j���B�j�$�)¨+���Ü�b�_ê�� R�

­L�¢�)�+ )�b�O�g�+�"�)¨b�Ü�i§p�g "�&¬K�j�0��[�g�K _�j��)©g°Kê��.��K��ê� _�j�)�D�0�gê��ë�e�Z�j£[�0¡j��§ù�l )£[�0¡Q��)¨b�K�2�R�_�_�j£Ï�K�v�R���v¨0�Ø�e�+ )�lÌb�KÌ0�a¡n�j�)©��g�2��§p�+�b�V�_�j�g���K§&�_��{� V�\¡B�Z�j£[�0¡j���b�K V�K£[��)� ���âõKó+°bó9Ê��Zò.�)¨+���+ )�lÌb�KÌ0�a¡n�j�)©��9� ��_�R�V�g�b� �ܧ"Ìb�V�j�+¬$ê.�j�)¨0�j� �K§��K� �j�b�_���KÌ0�a¡a�j�)©��Q��âögö\� ´ ó ^ ó óê�¨+� )� �K�b� �K v���+ )�gÌ0¡j�£[áL�0��9��b�0�R�+�&�V�g�b�_���Ü�+���° �Q���)¨+�e£[�£[�g v©$�Z�� ���j�ê��g ��+�°0�K�b� �Q���)¨+�&£Ï�g�V¨0�j�+���_�9��R���j�EDb�g�b�.�9� ³�_�R�V�l�b�^�&9�g H�Vì �K£¥�0¡¤�g°+�V�g�b�X�Ø�0� ��K��ßg­XÉ��=£��g�V¨0�j�+��ê�¨+� )��ê����g�)�Z�j¬g�¥�R�g�V¨[�+ )�+�V�R�)�_�g �)¨+�"�_�gÌ��K§ û�Ú��0�R�V�g£[�9�{�Z�j�_�j�g���K§i�K�[�j�b�0��9��Ä�0��+�� ��Ü�b�0�g£? )�R�\¡Ä£��K�) _�aìÏ�K§ � ìé�R��Z�� �£Êy°.�K�b�  )��b�R�Ü���v¨0�Ø�Ù��ø¦�Ï�V¨+�{�0�_�(û�Ú?ê.�j�)¨+�g�+�[�0�j�0�g�_�j�+¬��j� �g ��0� 2�)�$Ì9�R�_�£Ï�K���V¨��)¨+�.ßg­XÉ����K V�V¨0�¤�v�R�V�)�+ )�i�K§{�v¨+�"£Ï�g�V¨0�j�+�g��ø��i�g�)�_�+£¥�i�)¨b�K�^�R�g�V¨&�+ )�+�V�R�)�_�g ¨b�g�"�K�¥�Rçg�b�\¡Ä�Ü£[�g�+�+�H�K§Ä£[�£¥�g )©{°g�Õ�&�)¨b�K� �Q�"�+ v�g�b�g v�_�j�g�b�\¡b�)�&�)¨+���+�+£[Ìb� H�K§�+ )�é�V�R�v�_�g �� ´ é<ó i{� &9 )�g£ � óbÊV�L°Rê��y�b�_�¢�)¨+�i§L�g�V���v¨b�K���)¨+�¢�+ )�gÌb�KÌ0�a¡a�j�)©&�)¨b�K�y� ��K�b�0�g£ Ê Ì+©]Ê  )�R��¡y£Ï�K�) Õ�nì�¨b�g���[�V�g�b�l�j�_�j�g� �+�+£[Ìb� �µ¶¬Mµ µS¬ ® ��µ � �Vìb�V��R�l�j�+¬Ê�� �Q���g�_©0£[�+�)�l�_�Q�$�v��Ê'ø���� ��&��j�b�\¡a¡j©{°e�_�+�+�b�{�Õ���)¨b�K��ê���êD�Ü�{�[�v���V�g£[�+�+�)��)¨+�Û�K�b�Õê�� 2ê.�j�)¨ �0�R�v�j£Ï��¡C�l�j¬K�j�����K§��g��V�+ ��l�V©{°"�_� �)¨b�K�[ê����0�Q�VÞ ´ ÊRã �È"�g£[Ì0�j�0�j�+¬2�)¨0�Q�¢�j�0§ù�g v£Ï�K�_�j�g��°0ê���¬g��"�v¨b�K�.�)¨+�&�+ )�gÌb�KÌ0�a¡a�j�)©[�9� D�_�R�V�g�b���)¨b�Ü�B�Ü��¤�b�Õ���KÌ0�a¡a�¤�v©[�é��V�+ V�Y0ZÌb�R��K�b�_�&�&£��K�) _�aì[¨b�g�.�V�g�b�l�j�_�j�g���+�+£[Ìb� i�Vìb�V��R�l�j�+¬$Ê�� 3^�Q��K�.¡j�R�g�_�D�ÜÌb�g�+�

´ é �ø Ê ø Ê ø¿��� ÊRã ´ ñõ�Ê ø¿��� i ó ó ógÊRã ó

à.¨+�e�j£[�b�l )���K�+�.§p�R�K�)�+ v�R���K§"�)¨0�Q��§p�g )£[�0¡Q�e�Q�C�)¨b�K���Ø��¬l )�gêD�.êB�¤�v¨$�j�b�V )�R�l�Z�j�+¬£[�£[�g )©$�X�� � °bêB�¤�v¨��j�b�V )�R�g�Z�j�+¬ £Ï�g�V¨0�j�+���_�9��R� °b�K�b���0�R�Z�j )�R���g��V�+ V�g�V© °�\¡a¡Ý�ܧÝê�¨0�Ø�V¨��K )��¬g�b�K V�K�+�_��R�2�)��¬l )�gê��^ø¦�D��K�¥¡j�gê�� i�)¨+���+ v�gÌb�KÌ0�a¡a�¤�v©{°0¨+�gê.��g� R°Ì+©Ï�_¨+ _�j�+Þl�¤�+¬ °0�L�ô�g�iÌ+©[�b�X�¤�+¬�£[�g v���g��V�+ ��K�)���Ü _�j�)¨+£[��_�Q�K�!��+��£ë�¤¬l¨+���lÌ+�X�R�V�.�)¨b�Ü�D�2Ìb��v�)� D�_�K¡j�+�_�j�g� �Q���)�¥�b�_�2ªD�=§L�g�V�)�l _�� R�K�_�j�g��ê.�j�)¨���j�{��b�� v�g���K�_�j�g�b�¥�j�b�_�v�R�g�4�ܧëû�Úe°�Ì9�R��K�b�_�¦�)¨0�Q���Q��¬g�b�Ü ��K�+�)��R� �)��Ì9���_���KÌ0¡j�ê.�j�)¨+�g�+�.�0�j�{�g�Õ�¤�+¬9°{�K�b���_�&�Q���Ü£[��b�KÌ0¡j�D�v�[ßg­XÉ�� �j£[�0¡j�£[��+���K�_�j�g���¢���gê.��g� \°�j��V�{�_���¢�)¨+ )����_�j£[�R�.�g�¢£Ï�K�+©NDb�g�b��.ßg�2ê����_��D�v¨+� )���Q�.�e�) ��g�0��8 $Ìb��)ê����[�_�9��R��K�b�$�_�V�KÌ0�a¡n�j�)©0�

­p§�ê��e�¤�b�Õ�)�R�g� � ¡n¡��+���)¨+�¥£[�£[�g )©�ê.�j�)¨����Z�j�+¬K¡j��£Ï�K�) Õ�nì��K§D�Z�� � �����2Ì+©���b�R°\�)¨+����v¨+�"�+ )�gÌb�ÜÌ0�n¡a�j�)©��V¨b�K�+¬l�R�^�)� ´ Ê Ì ö#ó ® ø¿�Où�ó óÑÊRã ó �y­Z�+�)� )�R�_�Õ�¤�+¬Ü¡¤©0°�

Page 23: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

Db�{�K�_�j�+¬��b�K�j�+�¢§ù V�g�V�_�j�g���.à.¨0�Q��£[�R�Ü�b�.�)¨+�� v�V¡Ø�Ü�_�j�{���g��V�+ V�g�V©Ï�ܧ �)¨+�2�K�b�_ê�� .ê.�a¡a¡Ìb�Ï�KÌ9�g�+� Ê#ù ´ õ ® i Ê#ùg�@&9�g ��)¨0�Q���)��Ìb�2¡j�R�)���v¨b�K���g &�Rçg�b��¡"�)�ÛÊ\ã ® °^ê����+��R�õ ® i Ê'ù ÊRã ® �g Jé ói¡j�g¬ � ÊX� � ¡¤�l¬ � ÊRã ói¡j�g¬ � ÊX�íõgã �[­L�¦­X�¢�"���0�g�+Ì0¡j��+ )�R�v�Q�Z�j�g��°�é ´ ögõ[�Õ��ê��D£[�b�Õ��¨b�Ü�g�¸Ê õgögË+°0ê�¨0�Q�V¨��Q�¢§L�\�j _¡j©$�_£Ï�\¡a¡L�!��+�&£2�j¬g¨+�.�gÌ+�_�R�V�.�)¨b�K�.§p�g .�)¨+�&Ì0�j¨b�K )£¥�g�0�Q�&�Rçl�b�K�_�j�g��°bû��Ü�0¡Ø�l�V��9â�.�Rçl�b�K�_�j�g��°�K�b���l�)¨+� ���§p )�g£ £��K�)¨+�£Ï�K�Õ�Ø���¡��+¨+©+�Z�Q��°��n§��)¨+�© ¨b�K�g�[�_�0�(�v�j��+�_¡j©� )�¬l�0¡Ø�Ü _�j�)©{°�)¨+��[�g�+����K�2�b�_�.�)�R�V¨+�0�Qçl�+�R�H¡a�jÞ{�.£[�0¡j�_�j¬g _�Q�^°g�0�g£��\�j�Ï�0�R�V�g£[�9�{�Z�j�_�j�g�Ï�K�b�4&v&ià���)��¬l��Ï�g��V�+ ��K�v�Û�_�K¡j�+�_�j�g�b�¥§p�g 2¡Q�K v¬g� [Ê�0p§p�g [�)¨+� Ì0�j¨b�K )£[�g�0�Q�K°��b�_� Ìb�g�+�b�+�K v©�¤�+�v�¬g ��\¡"£[��v¨+�é�+�C�g Ï�jÊ\õR��3��Ïà.¨0�Q�C�Q�&Ì9�R��K�b�_���)¨+�R�_�¥£[��)¨+�+�+�&ê��g vÞ$Ìb�R�Õ��ê�¨+���)¨+�� _�j¬g¨+�.¨b�K�b���X�Ø�0� ý �K�b���Õ�K¡j�+�_�j�g�h� �K )�&Ìb�l�)¨$ )�R�l�_�g�b�KÌ0¡j©��_£[�0�g�)¨�§p�+�b�V�_�j�g�b�°�_�&�)¨b�K�i�)¨+��£[�g )�.�Vì+�) )�£[���Z�j�+¬g�0¡Q�K ¢�Ü��¡¤�+�R�O�K§Ä�v¨+�D�l�C Ý� v��+�_�Q�\¡é�l�b� ��K�v�g ��i�K )�.�+�g��Vì �v�j�)�R�^°H�K�b� �)¨+�2Ìb�g�$�V�g�b�l�j�_�j�g�0�j�9¬��Q���+�g���g�Q�Z�jÌ0¡Q�g�a!��+�2�K§ù�v��Û�Vì+�0¡j�K�j���&�v¨0�Ø���j��+ ��g�V�_�Q�V�g��ßg�2�j�$�)¨+��¡j�g�+¬[ v�+��°b�v¡j��{� D��¡¤¬l�g _�j�)¨+£Ï�.£��K©2Ìb�R�V�g£[�2�K�g�\�a¡Q�KÌ0¡j�&ê�¨0�Q�V¨£2�j�_�j¬{�K�)� �)¨+���a¡n¡jáL�V�g�b�l�Ñ�_�j�g�0�Q�+¬b�=­Z���)¨+���_¨+�g )�2 )�+��°.£[�l )�$�g��V�+ ��K�v�$�K _�j�)¨+£[��_�Q�0X� ¡Ø�Ü )¬g� Gé�3&ê��g�0¡Q� ¨b�K�{�2�9� )£2�j�)�)�R� �V�g�+�g��+�Z�j�g�b�\¡B��¡¤¬l�g _�j�)¨+£Ï�e�)���)��\¡j���+���)�¡Ø�Ü )¬g� ��+ )�gÌ0¡j�£Ï��ê.�j�)¨+�g�+���V¨b�Ü�+¬g���K�b�  )�£Ï�\�j���b�_�V§p�0¡y¡j�g�+¬l� R��ø��&ê.�a¡a¡��_��2�)¨0�Q��+¨+��+�g£[��+�g� ¡Ø�Ü�)� D�g�.ê��V¡n¡L�

Ó Ø+à�Þ�×'í�Ú�ßjØ+á�â,Þ�ÙBã,í�ã,ßåäjß�Ý)Û§Ù Þ�í�Ø,ð+ÙBÜ ßåØ,ÚQÝ�í�ã,ßjäåß>Ý�ßj×#Úßg�g£[�&�+�+£[� _�Q��\¡^�j�b�_���ÜÌ0�n¡a�j�_�j�����g�0¡j©��é��V�+ �ê�¨+��$�Vìb�g�V�.�g .�+�R�K D��K�b�V�V¡a¡Q�K�_�j�g� �é�Vá�V�+ ����j�ë���+�+£¥� _�Q��\¡é�+ v�é�V�R�)�Ù�y­Z�2�b�K )�_�Q�V�0¡Q�K R°l�)¨+�" )�R�Õ�0¡¤�¢�K§b�)¨+����K�b�V�V¡a¡Q�K�_�j�g�[£¥�b�_��_�$ �� ��$�Z�j¬g�0� � ��K�+��¡j�{�)�C�K§� v�V¡Ø�Ü�_�j�{�[�g��V�+ ��l�V©{°��K�b���v¨+����+ )�g�b�K¬0�K�)��¨b�Ü )£2§p�0¡n¡j©�)¨+ )�g�+¬g¨��v¨+�� )�R�_�2�K§&�)¨+�$�\¡j¬g�g _�j�)¨+£ �¯àB¨+��Ìb�R�_�[Þ0�+�gê��¦�Vìb�K£[�0¡j���Q���&�K�b�)�Z�Q�K��V¡n�j£2�j�b�K�Õ�¤�l�6ê.�j�)¨+�l�+�Ï�0�j�0�g�_�j�+¬b°.ê�¨0�Q�V¨��Q���+�b�_�V�KÌ0¡j�Û�+ v�R�v�Ø�Õ�V¡¤©=ê�¨+��4�x¡j�R�g�l�j�+¬�+ _�j�b�v�¤�b��¡��_�+Ì+£Ï�K�) Õ�nì��Q�D�X�¤�+¬l�0¡Ø�Ü D�g ��+�R�K _¡j©(�Õ�b�"à.¨+�2�_����K§y£��K�) _�Q�V�R��ê�¨+� )�&�)¨0�Q��é��V�+ ��O�Q�.�0� � �+�R��Ì+©[���_��.�K§��b�Ü¡¤©0�+�g£2�Q�\¡��Rçl�b�K�_�j�g�b�ò¢�0��S02¬kj)3 ´ ã ° ´ Ê ÇQÌ�Ì�ÌCÇ ÊH°ê�¨+� )�£¬kj2�Q�[� ¡¤�R�l�l�¤�+¬ Ì+© �+ _�j�b�v�j�b�\¡��_�+Ì+£Ï�K�v _�aì��K§D�)¨+��£Ï�K�v _�aìì���É �g v�¬g��+� ��\¡a¡j©{°.�)¨+�$�Õ��[�K§&�+ )�gÌ0¡j�£Ï�¥�g���g [�+�R�K ¥ê�¨0�Q�V¨���K�b�V�V¡a¡Ø�Ü�_�j�g�=�é��V�+ ��ë�Q�Ï�Ü�Àgà ΠµK¹¶)ÀgÅÑ·[ÿRÀl¶�Åѵ ½ ²e�j�¦�)¨+�Ï�_�b�g�V�¥�K§��)¨+�¥�+ )�gÌ0¡j�££9â�C�b�K ��K£[��v� ��°9�L�ô�g�Ï�0� � �+�R�¦Ì+©���_��D�ܧ��b�Ü¡¤©0�+�g£2�Q�\¡"�Rçl�b�K�_�j�g�b���j���v¨+���+ v�gÌ0¡j�££9â���b�K ��Ü£[��)� ���e����g£[��) _�Q��\¡a¡j©{°�Ü�Ü _�j��_�j�R�"�K )���_£[�0�g�)¨[�_�+ _§L�g�V�R�H�Vìb�V��+�"§p�g i�9�{�)�Z�jÌ0¡j�³�Õ�V¡n§��¤�+�v� ��_�R�V�_�j�g�b�i�K�b�¥�V�b�_�b��!��)¨+� 2�Vì �K£¥�0¡¤�R�e�K§&�_�b�V¨��Ü�Ü _�j��_�j�R�&�j�b�v¡j�b�0�$�9�K¡j©{�+�l£2�Q�\¡Q�2ê.�j�)¨¦£[�0¡j�_�j�0¡¤�� v�{�g�V�°£Ï�K�) _�Q�V�R�2êB�¤�v¨�£[�0¡j�_�j�0¡j���V�j¬g��+�g�\¡j�+�R�°"£��K�) _�Q�V�R�2ê.�j�)¨ ¬K�j�{��¦ ��K�+Þ+�°.�K�b���_���l��âõgñ0°bõKó+°+ó{ã °{ó9Ê�L�

ßK�j�b�V�e�¤�b�Õ���KÌ0�a¡a�Q�)©$�K _�Q�_�R���+�l�i�X�b�Õ�Dê�¨+����g�+ ��+ )�gÌ0¡j�£ ¡a�j�R���g�Û�¥�g�K _�j��)©g°0Ì+�+�ê�¨+��[�j�¢�Q�.�+�R�K ¢�g�+�g°0ê��.êD�K�+�H�)��Þ0�+�gê�¨+�gê £Ï�K�+©��+ v�gÌ0¡j�£Ï�O¡n�j�&�+�R�K ��C�Ü�Ü _�j��)©{�!��+��£��K©(�V�l�+�{��0�j��+�_¡j©� )�V§ù�l )£[�0¡Q�K�)���)¨0�Q�&�g���[�+ )�lÌb�KÌ0�a¡n�Q�_�Õ�Ø��çl�+�R�_�_�j�g��ò�¬Ü�¤�0��Û� � ��K�b�0�g£­¡��+ )�gÌ0¡j�£$°gê�¨b�K�i�Q�i�v¨+���+ v�gÌb�KÌ0�a¡a�¤�v©��v¨b�K�H�j�i¡a�j�R�"êB�¤�v¨0�¤���l�Q�_���K�b�V� �K§Ý�

ö

Page 24: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

È"�g£¥�+�+�)�  �O�¤�V� A��g£2�j�b�\¡ ���Q�_�0¡Q�g�V�£[��+��+ )�R�v�Q�Z�j�g�

È" ��Ü©ëõ ÊRõg� Êg�ô�áLõgË �ôógó+�\ógó{ãgñKó9ÊÈ"�g�+�l�Vì¥õlõgã �Kó Êg�ô�á)Ê)� �ôógó+�\ógó{ãgñgñlË­X�B­)ß �Kó Êg�ô�á)Ê)� �ôógó+�\ógó{ãgñgñlË­2�.É�ñgãgËlã �Kó Êg�ô�á)ÊK� �ôógó+�\ógó{ãgñKólóÈ" ��Ü©ëõ �Kó ób�ô�á)ÊRö �ôógó+�\ógó{ãgñgãlñÈ" ��Ü©y=�áLÉ�× �Kó ób�ô�á)ÊRö �ôógó+�\ó{ñ��+ÊRã��

ài�KÌ0¡j�[Êgò.ßg�b�K ��Õ�2È"¨+�K¡j�R�_Þ0©$�.�R�_�0¡j���

�)¨+�2�g�)¨+� �¨b�K�b�^°^�)¨+�[�l�C Ý� v��b�V���Q�&�\¡jêD�Ü©é�.�¥¡a�j�)�_¡j�[�)�0�[Ì0�j¬b�2ßg���)¨+�2� ) )�g &�g��V�+á£[�0¡Q�K�)�R�¢ê.�j�)¨��R�g�V¨Ï�Õ�+Ì+�) ��g�V�R°l�j�b�_�)�R�l���K§O�Ü�g� ��K¬\�j�+¬��g�+���g�¢�g���)¨+�eÈ" ��K©[õ+�ià.¨+��g��V�+£[�0¡Q�K�_�j�+¬�� v )�g i�Q�¢�0� )©��_£��\¡a¡ °+�K�b�¥£Ï�KÞ0�R�Ý¡n�j�)�Õ¡¤���l�C �� )��b�V���g� ¡j�g�+¬��g�O�)¨+� )��K )���+�g�¢�)�0��£Ï�K�+©e�)� )£Ï� �j�Ï�)¨+�&�_�+£$�v�¢�+�nÊ ´ Ê)�+Êó���ê��g� � �b�\¡a¡j©[¡Q�K )¬l����+�g�+¬g¨�)�Û��K�b�Õ�Ï���+�g�_�Q�V�R�KÌ0¡j��¡j�{�)�C�K§Dõ��0�R�v�¤£��\¡��0¡Ø�l�V�R�&�j���v¨+� � �b�\¡��Ü�b�_ê�� R�[à.¨+� � ì�b�_�R��Ì+©�È��K v�)� Dê��g���v�Ï�b�_�¥�)¨+�[�Z�j�+¬K¡j�Ï�+ )�R�v�Q�Z�j�g� �j�)� ��K�Õ�¤�0�� v� � �+�£[��+�& )�g�+�_�j�+�

�j�xûÝdz×^ÇeÈ�äè� ñK�L�à.¨+��¡j�R�)�_�g�b�¢�K§y�v¨0�Ø�¢�Vìb�K£[�0¡j���K )���)¨b�K�O�j�b�_���KÌ0�a¡a�j�)©Ï£��K©�Ì9�R�V�g£[�&�l�Ø�X�¤Ì0¡j�e�g�0¡j©

ê�¨+��Ï���+ )�gÌ0¡j�££9 �"�l�j£[��b�Z�j�g��Ì9�R�V�g£[�R�H¡Q�K v¬g�.��+�g�+¬g¨�°{�Ü�b�2�)¨b�K�"�g��V�+ V�K�)���K _�j�)¨+á£[��_�Q�&ê��l�0¡Ø�¥¨b�K�0��£2�j�_�j¬{�K�v�R���)¨+���j�b�_���ÜÌ0�n¡a�j�)©0�

Ó>Ò Ø+à�Þ�×'í�Ú�ßjØ+á�à�ÙBØ+ð,ß>Ý�ßåÙBØIØvî+Ü�ãn×#Þ�Úà.¨+��¡Q�g�Õ���_�R�V�_�j�g�$�Õ¨+�gê.�R��¨+�lê¦�¤�b�Õ���KÌ0�a¡a�¤�v©Ï��K���K _�Q�_��ê�¨+��Ï� v )�g ��¢�g��V�+£[�0¡Q�K�)�.�j��)¨+���V�g�+ V�_���K§��Õ�K¡j�g�j�+¬�¡Q�K )¬g� ��+ )�gÌ0¡j�£Ï���)¨b�K� ��{� ��K�)�)�£[�+�v�R��Ìb�V§p�g )�g��Ç��+�g�)¨+� êD�\©Ï�)¨0�Q�&��K���K _�Q�_�e�Q��ê�¨+����)¨+���V�l�b�l�¤�Õ�¤�l���+�+£[Ìb� ��K§"�)¨+�2�+ )�gÌ0¡j�£ ¬g )�lêD�¢�)�{� ��K�0�Q�l¡j©$ê.�j�)¨ �j�����Z�� �g�Dà.¨0�Q��£Ï�K©¥¨b�K�+�b���°9§p�g ��Vì �K£¥�0¡¤�g°9ê�¨+���ê����j�b�V )�R�g�_�2�)¨+�£[�R�_¨��0��b�Z�j�)© ê.�j�)¨�ê�¨0�Q�V¨�ê����l�Q�)�V )��_�� �$���b�K v�_�Q�V�0¡Ø�Ü ë×¢�&����È"�g�b�Z�Q�0� 2�)¨+�2Ì0�já¨b�K )£[�g�0�Q�¥�Rçg�b�Ü�_�j�g� öSöSöSö � ´ ê �l���K��ʦÌ+©�Ê�£[�R�_¨�°Hê.�j�)¨ Ìb�g�+�b�+�K v©�V�g�b�l�j�_�j�g�b�[�V¨+�{�_����_� �)¨b�K�C�¤�e )��+ )�R�_��+�V���)¨+�(�l�Q�_�0¡Q�g�V�£¥��+���K§D�$�vçg�b�K v�Ï�_¨+���� ìé�R���K���v¨+���R�0¬g�R���àB¨+�&¡a�j�+�R�K ��_©+�_�)�£ ¬�� ´�ý  v�R�_�0¡j�_�j�+¬�§ù )�l£«�)¨+���l�Q�)�V v��_�� R�Ká�_�j�g��¨b�g�2���V�g�b�l�j�_�j�g���+�+£[Ìb� eê�¨0�Q�V¨�¬l )�gêD��¡a�jÞ{�;Ê#ùg�¦ßg�+�+�b�{�Õ���)¨b�K�2ê��[êD�Ü�{��)�$�V�g£[�+�+�)�2�)¨+���_�K¡j�+�_�j�g���V�g v )�R�V�&�)�£���0�R�v�j£Ï�\¡��l�¤¬Ü�¤�V�40X�� )�V¡Q�K�Õ�¤�0���l��V�+ ��g�V©��K§ÊRã ® 3��

�D��+� V�\¡a¡¤© �g�+�Ï��K���Õ�K¡j�{�]¬�� ´rý ê.�j�)¨���Ìb�l�VÞ{ê��K �� � ) )�g &�ܧB�l ��0�  °��)¨+�£Ï�g�V¨0�j�+���+ )�R�v�Q�Z�j�g���=ø¦ _�j�)� ´ õ ® i °"ê�¨+� v�]é¦�Q�2�)¨+� �+�+£2Ìb� 2�K§&Ì0�¤�V�e�j���)¨+�

ó

Page 25: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

Db�{�K�_�j�+¬[�9�K�j�+�D�K _�j�)¨+£[��Õ�Ø��ê��g�.�g��V�+ ��K�)����+�g�+¬g¨ �)�[�Z�j£[�0¡Q�K�)���0�g�+Ì0¡j�e�)¨+���j�+�+�+��+ )�R�v�Q�Z�j�g���jÊ\Ë+°+ñgö0°^��ñ0°^ÊRãK�L�i®K�b�_�� )�R�V��+�_¡j©{°0�2�+�ê §ù�g v£[�0¡Q�K�_�j�g���K§y�)¨+���j�+�+� �¡¤�0�g�êD�g�B§ù�g�+�b� ê�¨0�Q�V¨�£Ï�l�0�[�)¨0�Q�&�+�+�+�R�V�R�)�v�K )©��ôó0�R�Z�(àB¨+�2§ �l�V�& )�£Ï�\�j�b�e�)¨b�K��§p�g ���+�+£[Ìb� ��ܧ�©0�R�K ��°+�v¨+���l�0¡¤© Þ{�+�lê��$êD�\©��)���b�_�2�)¨0�Q�&�\¡j¬g�g _�j�)¨+£ �_�V�KÌ0¡j©$êD�g�B�g�Q��Vìé�) V���+ )�R�v�Q�Z�j�g����ßg�&�g�+����K�[�)�K©��)¨b�K�H�)¨+�.�+ _�Q�V���K§9�j�b�_�0�(�v�j��+�_¡j©[�g��V�+ ��K�)�.�K _�j�)¨+á£[��_�Q�[ê��g���+�g���Ü���j�b�KÌ0�a¡n�Ñ�)©��)���_�K¡j�{�2�)¨0�Q�e�+ )�gÌ0¡j�£$°OÌ+�+���_��0� ��\¡"©0�R�K ����K§.¡j�{�_��+ )�é�0�b�V�Õ�¤�l�j�)©�Ìb�R��K�b�_�[�e£[�g v���_�) ��\�j¬g¨+�Õ§ù�g vê��K ��¥�\¡j¬g�g _�j�)¨+£��V�l�0¡Ø� �+�g�.Ì9���b�_�R�^�

ßg�R�V�_�j�g�¦Ê³�0�R�v�V _�jÌb�R��¨+�gê=�\¡j¬g�g _�j�)¨+£Ï�Bê�¨0�Q�V¨�¨b�K�g��Ì9���x�Õ�b��V�R�)�Z§p�0¡y�g�$�_£Ï��¡n¡�g .£[�R�l�j�+£��Z�� �R���+ )�gÌ0¡j�£Ï����Ü�[§L�\�a¡�ê�¨+����)¨+�©Ï�K v�³�)���¡¤�R���+���v�� )�+���g�¥¡Q�K )¬g� £Ï�g�V¨0�j�+�R���K�b�x�+ )�gÌ0¡j�£Ï�� ßg�R�V�_�j�g�¯õ��0�R�v�V _�jÌb�R�2�b�K V�\¡a¡¤�V¡��\¡j¬g�g _�j�)¨+£��&ê�¨0�Q�V¨��K v�¡¤�R�v�"�_���ÜÌ0¡¤�.�)¨b�Ü���)¨+�V�j ��Õ� _�Q�\¡ �V�l�+�+�)� )�b�K )�V���à.¨+�.Ìb��+� � �¢�K§bÌb��)�v� <Db�{�K�_�j�+¬&�b�Ü�¤�+��K _�j�)¨+£[��_�Q�2êB�n¡a¡"Ì9�[�b�K�j�+�)�R� �g�+�&ê�¨0�n¡j�Ï�l�Q�)�V�b�v�Z�j�+¬Û�v¨+�� v�V¡¤��g�K�+���Vì �K£¥�0¡¤�R�Ù°y�K�b��g�g� ��\¡a¡^ )�R�V�g£[£[��b�+�Ü�_�j�g�b�.§p�g D�Ü _�j�)¨+£[��_�Q�&�_�+£[£��K _�� �R���j�Û�Õ�R�V�_�j�g�Ûñ

½k�B�<¾¿|�B�f�Bx t,½�{S¾Sw4~ {¿}�sþ{¿~�xJ�W¾��iÄa� �Ó â+í:Þ�Ú�× Ö+ÙBäj×#Ú Û�Ù�ØfÝ8Ö+× Þ�í�Û l í�Ø,ð Þ�íLÛïÒø����l�Q�)�V�b�)���v¨+���Vì+�b� _�j��b�V�[�K§"�.�b�)�Õ�V¡n¡�È.�K )�)� .�j���b�l )�_�j�+¬(�Ü�$�Vì0�Ø�Õ�_�j�+¬$�V�é�0�C§ù�g �_�b�K ��_��È"¨+�Ü¡¤�R�ÕÞ{©C§ �g�V�v�g _�� R�K�_�j�g�e�)�³�CÈ" ��Ü©J=�áLÉ�×��ØÊRö\�L�iÈ"¨+�Ü¡¤�R�ÕÞ{©e�Q�i���0� )©&�_���KÌ0¡j��\¡j¬g�g _�j�)¨+£$°H�K�b� �)¨0�Q���V�+�0�[¨b�g��Ì9�����j���b�Õ�2§ù�l ³�_�l£[�[�_�j£[�g�[à.¨+��È" V�K©;=DáLÉ�×êD�g�O¡Q�K )¬g� ��v¨b�K��£Ï�g�V¨0�j�+�R���+ )��g�j�g�b�X¡¤©$�Ü�Ü���n¡Q�KÌ0¡j�g°b�Ü�b��È��K v�)� . ��K���j�D�l�$�e¡Q�K )¬g�¡n�j�+�R�K ��_©+�_�)�£Æ¬�� ´¹ý §p )�g£ ���_�v )�b�V�)�+ ��\¡�£[�+�0�V¡L��¬ ¨b�g���l�j£[��b�Z�j�g�èÊ)�+Êó$�+��.�R�_�0¡j���&�K )���Õ¨+�gê����j�$���ÜÌ0¡¤��Êg�.à.¨+� �  ��Õ�D�V�K¡j�+£[� �Q���)¨+�2�V�g£[�+�+�)� �ê.�j�)¨ ê�¨0�Q�V¨�)¨+�&�+ )�gÌ0¡j�£?�Q���_�Ü¡¤�0�R�^°0�)¨+�&�_�R�V�g�b�¥�Q�.�)¨+�&�+�+£[Ì9� "�K§HÌ0�¤�V�¢�j���)¨+��Db�{�K�_�j�+¬2�b�Ü�¤�+�§ù�g v£Ï�K�R°�v¨+�i�)¨0�j ��2�V�K¡j�+£[�&�Q���)¨+���K�+�+ v�Kì{�j£Ï�Ü�)�y v�V¡Ø�Ü�_�j�{�"�g��V�+ V�g�V©DêB�¤�v¨�ê�¨0�Q�V¨&�)¨+�Db�{�K�_�j�+¬��b�K�j�+�D�K Õ�¤�v¨+£[��_�Q����K�� v��+ )�R�_��+���+�+£[Ì9� ��k0Lê�¨0�Q�V¨��Q���+�l���)¨+���g��V�+ ��l�V©�K§D�V�g£[�+�+���K�Õ�¤�l���g�¦�)¨+��È" ��Ü©��âögö\�>3�°H�K�b���v¨+�2¡Q�g�_�[�V�K¡j�+£[�¦ )�R�V�g ��+�C�g�+�[�K§��)¨+��_�K¡j�+�_�j�g�Û�V�l£[�b�g�+��+�V�i�K§H�j�+�)� )�R�_�R�Hà.¨+�&�)�g��¡a�j�+�g°9ê�¨0�Q�V¨[�Q���0�g�+�&�)�[�KÌb�l�+���vê.�Q�V��)¨+���g��V�+ V�g�V©��K§i�)¨+���g�v¨+� ��°0�Q���g��V�+ ��K�)���j���\¡a¡y�)¨+�2�l�j¬K�j���&�_¨+�gê����O­L�$�v¨+���g�)¨+�  )�R�_�0¡j�����)¨+���j�b�V�g ) )�R�V�&�l�j¬K�j���D�Ü )�&�+�b�0� _¡a�j�+�R�^�

­L�i��K�2Ìb���_���2�)¨b�Ü�y�)¨+��È" ��K©�=�áLÉÛ× ¡j�{�_�R�H�vê��.£[�l )���l�j¬K�j���O�)¨b�K���v¨+�DÈ¢ ��K©Dõ+°��{��¦�)¨+�g�+¬g¨�Ì9�g�)¨��K v���b�Z�j�+¬��Kó�Ì0�j�[ê��l ��+�°i�K�b�¦�)¨+�V�j [ó{�Üáѧù ��l�V�_�j�g�+ápÌ0�j�Ï�K _�j�)¨+á£[��_�Q��2�K )�[çg�0�j�)���Z�j£2�a¡Q�K R�$àB¨+�[ )�R�g�_�l��§ù�l &�)¨0�Q���l�Q�)�V v��b�K�b�V©��Q�e�)¨b�K�&Ìb�l�)¨��)¨+�È" ��K©�õ��Ü�b�4È¢ ��K©"=DáLÉ�׫�_�+Ì+�v ��g�V�¥�¤�b�V�l ) )�R�V�_¡j©{°�Ì+�+���)¨+�¦È" ��K©�õ¦�0�{�R���_�¦�j��K���+�+Ì0�Q�g�_�R� £Ï�K�+�+� R�¦­L���b�Ü )�_�Q�V�0¡Q�K R°¢�)¨+�[�j�+�+� ¥¡j�{�g���ܧ�È"¨+�K¡j�R�_Þ0©¯�V�l£[�+�+�)�R�ÿ �C� ² � � ® �Q�R � ÿ��� Q °�ê�¨+� )�·ÿ �C� �Ø� �b�{�X�¤�Õ�¤�0�Û�Ü�b�=�)¨+� � �b�\¡& )�R�_�0¡j���Q���\¡Q�_���9�{�Z�j�_�j�{�g�øí¨+��+��0� .�)¨+�eÈ" ��K©[õ2�_�+Ì+�) ��l�V���"�K�;ÿ$�� Q °0�)¨+�&�K�g� ��K¬l��� v )�g ¢�Q��ã�¥0�)¨+�&�V�g£[�+�+�)�R��l�ç �� )��b�V���Q�2�v�{� ¡Ø�Ü )¬g���g�&�K§p�)����l�&�j�e�Q�e�)�{���_£Ï�\¡a¡L�"!��¦�)¨+�$È¢ ��K©£=�áLÉ�×i°��l�

ñ

Page 26: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

!��+ 2�+�+ )�b�0�_�[�j�¦�)¨0�Q�2�b�K�9� ��Q�e�)� �b�K�j�+���l�+���)¨b�K�2�0�R�Z�j¬g�0�j�+¬��)�K�Õ�Ø�X§ �g�V�v�g _�a¡j©§ �g�Õ�³�K�b� �_���KÌ0¡j�2�b�K ���¡n¡j�V¡"�+�+£[� Õ�Ø���¡O�\¡j¬g�l _�j�)¨+£Ï�B�Ø���+�l�³�_���R�g�_©$�l���b�K V�\¡a¡¤�V¡a�æ V�Ñ�+¬�_���KÌ0¡j���Õ� _�Q�\¡ �\¡j¬g�g Õ�¤�v¨+£Ï��iø¦���Q�0��+�_�a§p©Ï�vê��e�gÌb�_���l�v¡¤�R�ÙòÊg�.Ç����\¡j¬g�g _�j�)¨+£ ê�¨0�Q�V¨�êD�g���l�0�Rçg�b�K�v���g���_£Ï�\¡a¡D�+ v�gÌ0¡j�£Ï�2£Ï�K© §L�\�a¡D�g�b�V��)¨+�©��K v�2¡Q�K )¬g����+�g�+¬g¨��$àB¨0�Ø�eÌ9�R�V�g£[�R�e��g�Q�0��+�eê�¨+����v¨+�(�\¡j¬g�l _�j�)¨+£ �Q��b�_�R� �g���¥¡Q�K )¬g�e�b�K ��\¡a¡j�V¡"£Ï�g�V¨0�j�+�2�)���_�K¡j�{�C¡Q�K )¬g� ��+ )�gÌ0¡j�£Ï���)¨b�Ü�Û�9�{�)�Z�jáÌ0¡j�[Ì9�V§ù�g v�g���.�R�g�_�l�b��§ù�g ��)¨0�Q���+¨+��+�g£[��+�l���j�b�v¡¤�b�0�� )�g�+�b�0�8 �g��V�+£¥�0¡Ø�Üá�_�j�g��°9�_©é�Õ�)�£Ï�K�_�Q��\¡a¡j©��j�b�V )�R�g�Z�j�+¬$�V�g�b�l�j�_�j�g���+�+£[Ì9� ��°0�K�b�$�_©+�_�)�£��K�_�Q��\¡a¡j©¨0�j¬g¨+� ��+ )�gÌb�KÌ0�a¡a�j�)©��K§J V ��K�b�0�g£?�j�b�_�V�KÌ0�a¡n�j�)©0��¡

õ+�.Ç §L�g�_�i�b�K ���¡n¡j�V¡y�\¡j¬g�g Õ�¤�v¨+£è§p�g ����+ )�lÌ0¡¤�£?£Ï�Ü©�Ìb�&�Z�j¬g�0� � ��K�+�_¡j©e¡j�R�)�.�_���KÌ0¡j��)¨b�Ü���B§ �g�Õ� �_� Õ�Ø��¡ �\¡j¬g�l _�j�)¨+£$�H­L�2�g�)¨+� Hê��g V�+�°�)¨+� )�¢�Q�i���) ��g�0��� [Ì9��)ê�����b�K V�\¡a¡¤�V¡a�Q�_£ �K�b���Õ���KÌ0�a¡a�¤�v©{�

ø¦� �\¡Q�_�&�l�Q�)�V�b�)���)ê.�"�)�R�V¨+�0�Qçl�+�R��ê�¨0�Ø�V¨��Õ�g£[��_�j£[�R�^ v�£[�g�g�H�g �£2�j�_�j¬{�Ü�)�i�)¨+�R�_��gÌb�_���g�v¡j�R���à.¨+� �  ��Õ�&�Q� Îl»�»KÁ » À ½ Å ¼0Î ´ » Å ¼9½ Àg¶VÅ ½ÑÐ0¾ µ ½ ÅQ·\°Hê�¨0�Q�V¨�°y�0��b��b�l�j�+¬��l��)¨+���Z�j�)�b�K�_�j�g��°K£Ï�Ü©D£[�R�Ü����K )�V§p�0¡a¡j©� v�g�+�b�l�j�+¬b°{�g�0�Rçl�b�K�)�¢�Vì �V��+�Õ�¤�l��¨b�Ü�b�l¡n�j�+¬b°0�g �)¨+�[�K�g�\�a¡Ø�ÜÌ0�n¡a�j�)©��K§"�Vì+�) ��¥�+ )�R�v�Q�Z�j�g�¦ê.�j�)¨+�g�+���Vì �V�R�v�Z�j�{�[�Z¡j�gêD�0�Kê�����à.¨+�[�_�R�V�g�b��)�R�V¨+�0�Qçg�+�C�Ø���g�¢§p�K¡a¡¤�lêD�òÊg��ßg�K¡j�0�D�v¨+�&�+ )�gÌ0¡j�£��b�X�¤�+¬��e§ �l�_�.£[��)¨+�+�^°+�+ )�g�l�Q�0�R�2�j���Ø�B ��K )�V¡j©��+�b�_���KÌ0¡j�g�õ+��ª��0�Q�VÞl¡¤©��K�b�  )�V¡a�Q�KÌ0¡j©í�V�g� �  )£��g [�0��+©��v¨+�(�g��V�+ V�g�V©��ܧD�)¨+���V�g£[�+�+�)�R��_�Ü¡¤�+�Õ�¤�l���[ø �j�)¨�¨0�j¬g¨¦�+ )�gÌb�KÌ0�a¡a�j�)©{°^�)¨+���K�b�_ê�� ¢�X�b�Õ�Z0Xçl�0�Q�VÞg¡j©#3D�V�g£[�+�+�)�R��Q���g��V�+ V�K�)�&��+�g�+¬g¨ �)�[Þ0�����

ñ+��!��)¨+� vê.�Q�_�g°b v�R�V�g£[�+�+�)�&�)¨+�2�0�R�Z�j )�R�� v�R�_�0¡j�D�b�Z�j�+¬��Ï�X¡¤�lê�� .Ì+�+��£¥�g )�& )�V¡a�já�KÌ0¡j�2�\¡j¬g�g _�j�)¨+£$�

à.¨0�Q�i�b�K ��l�l�¤¬l£è¡j����i�b�¢�V�g£[Ì0�j�+����§ �l�_�iÌ+�+�"�+���g�Z�j�g�b�\¡a¡j©[�+�b�_�V�KÌ0¡j��£[��)¨+�+�2ê.�j�)¨�$�Z¡j�gê.� R°^£[�l )�[ )�V¡a�Q�KÌ0¡j���g�+�[�)��¬l���¬g�b�K V�K�+�)��R�� v�V¡n�Q�KÌ0�a¡j�Ñ�)©��K�b���b�_�b�\¡a¡j©�çg�0�Q�VÞ�Vìé�R�V�+�_�j�g����!��+�$�V�g�0¡Q���\¡Q�_���V¨b�Ü�+¬g�[�)¨+���)¨0�j �� �_�)��¦�)���X�b�Õ�2�Q�)�_�+�Û� êD�Ü )�0�j�+¬b°ê�¨0�Q�V¨[ê��g�0¡Q�e¬g�b�K ��Ü�+�)��¢§ �g�Õ�i�Vìé�R�V�+�_�j�g��°0¬g�b�Ü ��K�+�)��¢�+�g�"�)�& v��)�+ )�Ï�K�¥�+�+ )�V¡a�Ø�ÜÌ0¡¤��K�b�_ê�� R°lÌ+�+���+���g�Z�j�g�b�\¡a¡j©�§L�\�a¡��)�[ )��)�+ v�(�K�$�Ü�b�_ê�� ��K���\¡a¡L�"ø=¨0�Q�V¨Ï�b�Ü ��g�l�j¬g£?�Q��+ )�V§ù� V�KÌ0¡j�&�Q�D�Ü�+�0¡n�Q��K�Õ�¤�l�x�0��9��b�0��+�R�

à.¨+�&Ì9�é�0©��K§y�)¨+�&�b�Ü�b� D�V�g�b�X�Ø�Õ���.�K§"�2�_� _�j�R�.�K§i�Vì �Ü£[�0¡j�R���0 ��Kê��¥Ìb�g�)¨�§p )�g£�)¨+��¡a�j�)� ��K�)�+ v���K�b� §ù v�g£ �)¨+���Vì+�b� _�j��b�V� �j�6�)¨+��û^Ç&×^ÇeÈ�ä �+ v�g�_�R�V���âñ\�L� Ç&��g�+ ��+�b�0� ��Õ���K�b�l�j�+¬��K§��+ )�lÌ0¡¤�£��&�j£[�+ v�g�g�R�°^�)¨+���_���K�)�b���ܧ��)¨+�R�_�¥�) ��g�0��� y��ê.�a¡a¡�V¨b�K�+¬g�g�4&b�l ��Vì �Ü£[�0¡j�g°y�+�+�Õ�n¡i )�R�V��+�_¡j© �¤�eêD�g���b�{�v�Z�jÌ0¡¤���)���b�_�[���V� )�V�\�j���b�K ��\¡jᡤ�V¡D�\¡j¬g�l _�j�)¨+£ §p�g &�)¨+�Ï�Õ©{£[£¥��) _�Q�[�v _�Q�l�Ø�ܬg�g�b�\¡"�V�j¬g��+�g�\¡j�+�[�+ )�lÌ0¡¤�£��g�0¡j©��a§��)¨+�

õ

Page 27: a K & g K 0 $ Vsoftlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR92422.pdf · a K & g K 0 $ V _ K b 2 y b + _ g ( v j + b K ¡n¡j V¡¢ ¤£¥ 0¡¤

mû^dz×ÝÇ�È�äúø¦�g )Þl�¤�+¬ZA��g�)�gò"ölõÚ��0�j�0� ��Z�j�)©[�K§"àH��+�+�R�)�_���àH�R�V¨��.��9�g )�&È�ßgáLËlõKá)ÊK��Ë

®+� ø �+�&�¢ÉÛÉ��¢ûº"»l¾ ´^¸ ½ µ\¶GÄ·\ÅQµ ¼ ·Vµ ÅÑÿRÅØ¿Å »g¼ À ¼9Á[ð À ½ÑÐ µ ¾ À ½ ÅQ·Ù¿ µ_´bÀg¶ ½p¾ µ ¼b½�H¼ ÅÑÿRµ\¶)¿Å ½ ² »_Ô[º ÀgÃaÅ Ô» ¶ ¼ ÅÑÀ��µR¶bô�µ\ÃaµR²Q� ºHÂþd e g FÁ µ ¾2¾ µ\à ·¿ ï ¹�µ\¶�ôKµRÃâµ\² ï µ Á ¸

Ǹ��ß{à��.ÇeÈ�à&��àB¨+�2§ �l�_�)�R�_�&�b�K V�\¡a¡¤�V¡D�\¡j¬g�l _�j�)¨+£ §p�g ����+ v�gÌ0¡j�£ £��K©�Ìb���Z�j¬g�0� � á��K�+�_¡j©�¡j�R�)�"�_�V�KÌ0¡j���+�+£¥� _�Q��\¡a¡¤©2�)¨b�Ü���v¨+�"§L�g�_�v�R�_� �Õ� _�Q�\¡Ä�\¡j¬g�g _�j�)¨+£ �yø¦�i�a¡a¡j�Ä�_�v ��K�)��)¨0�Q���+¨+��+�l£[��+�g��Ì+©��$�_� Õ�¤�R�ë�K§��Vì �K£¥�0¡¤�R�¥�0 ��Kê�� §p )�g£ �+�+£¥� _�Q��\¡"¡a�j�+�R�K Ï�\¡já¬g�Ì+ ��+�¥ø��[�\¡Q�_���_¨+�gê�¨+�gê �_�g£[�2�K§��)¨+�R�Õ�2�j�b�_���KÌ0�a¡a�j�_�j���e£Ï�K© Ìb�[£2�j�_�j¬{�Ü�)�R��Ì+©Ìb��)�)� 6Db�{�K�_�j�+¬��b�K�j�+���K _�j�)¨+£[��Õ�Ø�K�ä&�v=�øI!D���eßb��×¢�K ��\¡a¡j�V¡{�+�+£[� _�Q��\¡0¡a�j�+�R�K ��\¡j¬g�Ì+ V�+°K�+�+£[� _�Q��\¡b�_���KÌ0�a¡a�j�)©{°¢Db�{�K�Õ�¤�+¬�b�K�j�+�D�K Õ�¤�v¨+£[��_�Q�K�

wG�B�Bx@} tv�<¾¿xGwà.¨+�D£¥�{�_�"�b�Ü�)�+ ��\¡^êD�\©&�)���0�R�Z�j¬g�$�C�b�K ��\¡a¡j�V¡y�+�+£[� Õ�Ø���¡Ý�\¡j¬g�g Õ�¤�v¨+£è�Q�.�)�e���KÞ0�B�Ü��Vì{�Q�_�_�j�+¬ �+�+£[� _�Q��\¡a¡j©Û�_���ÜÌ0¡¤�[�\¡j¬g�l _�j�)¨+£ �Ü�b�$�b�Ü ��\¡a¡j�V¡n�� �¥�j�R��­ §��)¨+�2�b�K ���¡n¡j�V¡"�0� )á�Z�j�g���b� Õ§ù�g v£Ï���v¨+�Ï�)�K£[�NDb�{�K�_�j�+¬��9�K�j�+�&�g�b� ��Ü�_�j�g�b�&�g���)¨+�[�_� _�Q�\¡"�0� ��Z�j�g��°^�K�b��¤���)¨+���v�K£[���l ��0� R°+�g�+�e�Vìé�9�R�V���B�¤���)�[Ì9���Rçl�b�\¡a¡j©Û�_���ÜÌ0¡¤�e�+�+£[� _�Q��\¡a¡j©{�.­Z�Û�_�g£¥���g�_�R�°.�_�b�V¨��g�e£Ï�K�v _�aì¯�g�9� ��K�_�j�g�b�Ù°"�g�+���Vì+�b�R�V�V�[�)¨b�Ü�[�)¨+���b�K ���¡n¡j�V¡³��¡¤¬l�g _�j�)¨+££Ï�K©� )��l ��0� (�Õ�g£[���g�9� ��K�_�j�g�b�X0X�_�b�V¨��g�¥�V�g£[�+�+�_�j�+¬��_�+£Ï��32ê.�j�)¨+�g�+���)�g�V _� � �Vá�¤�+¬¦�+�+£[� _�Q��\¡D�_�V�KÌ0�a¡n�j�)©0��­Z���g�)¨+� ���g�_�R�°i v��g ��0� _�j�+¬��_�+£Ï�[�V�g�0¡Q� �+�b�0� )£2�j�+��_���KÌ0�a¡a�j�)©{°0�g�ô¬b�+!D�&�¢���K�b�$×¢�&�"��

Ê