Capítulo 12 Geração de Dados de Teste - inf.ufpr.br · pkKUV^ ¯ YXK = Ú Capítulo 12 Geração...

26
Capítulo 12 Geração de Dados de Teste 12.1 Introdução 1

Transcript of Capítulo 12 Geração de Dados de Teste - inf.ufpr.br · pkKUV^ ¯ YXK = Ú Capítulo 12 Geração...

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� �� � � ��Ú �i

i

i

i

i

i

Capítulo 12Geração de Dados deTeste

12.1 Intr odução×¹=@?�;>K�O%GIJ®YIO>W���O>K�JnK�YaK�OwK�;AWDBDWH?lWH?l?A=NGX?�YZW�?>?�Ä[M�=@U[?lM K�P[W�O>=@?lBI=�=N^H;>O>K�BIK¦W�G2=S²D=@]NGD;>K�O;AWDBDWH?�WH?l?A=NGX?�]NK�JiU[^I`IWH? � UQBD=EK�P[Ji=@^H;A=�BI=@?A=�Ê���M�=NP�}5JLK�?�U[JnYIOwK ;AUQ]N��M�=@PÀr � JnK�UVW�OAUQK�BDWH?]SO>UV; � O>U[W�?yBD=7;A=@?�;A=�}�BD=E?A]NOAUV;AWH?y^IWH?s]NK�YIÄV;AGIP[W�?�K�^H;A=NO>U[W�O>=@?@}�OA=@P[K�]SU[W�^XK�J�M K�P[W�O>=@?yBDW�BDW�JnÄ[^IUVW�BD==N^H;>O>K�BIKnBD=)GIJ±YIO>W���OwK�JLKX}�K���O>GIYXK�^XBDW�cÎW�?'=@J�YXK�O�;>U[dN{�=@?9^Xe�Wn^I=E]S=@?>?>K�O>U[K�Ji=@^H;A=!BDUQ?TÊ�GI^H;wK�?@r��P[=@?�BIUVM�UQBD=NJÃW�BIW�JnÄV^XUVW¦BD==@^H;AOwK�BIK�BDW�YIO>W���O>K�JnK�=NJ ?�GI��BDW�JiÄ[^IU[W�?n=O>=@FHGI=@OA=@J�FHGI=YZ=NP[WkJn=N^IWH?)GIJ YaW�^H;AW�BD=%]NK�BXK?�GI��BDW�JiÄ[^IU[W�?A=�Ê�K=N²�=E]SGD;wK�BDWar É W�O)=S²D=@JiYXPVWa}¹W�]NOAUV; � OAU[W=@?�;AO>GD;>GIO>K�PÇ;AWDBDWH?�cÎ^I¼H?5K���O>GIYXKi=@J�GIJÆ?AGI��BDW�JnÄ[^IUVWn;>WDBIK�?3K�?5=@^�;>O>K�BIK�?5FHGI=b=S²D=@]NGD;>K�J�GIJBD=N;A=NJnU[^XK�BIWi^X¼Xr

�9JLK�M�=N|!YXK�O�;>U[]NUVW�^XK�BIWLWlBDW�JnÄ[^IU[WX}aKlF�GX=@?�;>e�W � ¯ � �3GI=)YZW�^H;AWH?9BD=i]NK�BXKL?�GI��BDW�JiÄ[^IU[WBD=@M�=NJ�?A=NOC=E?A]NW�P[`IU[BIW�?��3� F�?>?�W�BDU[|iO>=@?AYZ=NUV;AW�x�;wK�O>=SR_K�BD=n��=NOwK�d@e�WlBI=nBXK�BDWH?3BD=i;>=@?�;A=nYXK�OwK?>K ;AUQ?�R_K�|N=@O�GIJ­BIK�BDW�]NOAUV; � OAU[WX}5W�G2?�=�Ê�KI}7BIK�BDW�?lYXK�OwK�=N²�=E]SGXK�O�GIJ®BD=N;A=NO>JnU[K�BDW�]@K�JnUV^X`IWYXK�O>K�]SW��IOAU[O!W�=NP[=NJn=N^H;>WOA=EF�GX=NO>U[BDWarLpGIUV;AW=NJ��aW�O>K�KK�GI;AW�JLK�;AU[|@K�d@e�W�BD=@?>?AK%;wK�O>=SR_K�?�=�Ê�KBD=E?�=�Ê���M�=@PÀ} ^ae�Wt=S²DU[?�;A=#GIJ�K�P[��W�O>UV;AJnW3BD=#YIO>W�YX¼�?AU~;>W7��=@O>K�P�YaK�OwK3BD=N;A=@OAJnU[^XK�O�GIJ,]NW�^ Ê�GX^�;>W!BD=BIK�BDW�?0BD=7;>=@?�;A=tF�GX=t?>K ;>U[?�R_K�d@K!GIJ�BIK�BIW�]SO>UV; � O>U[WXr �7e�W � YZW�?>?�Ä[M�=@PX^I=@J�Jn=@?AJiWiBD=S;>=NO>JnUV^XK�OK�GI;AW�JLK�;AUQ]NK�Jn=@^�;>=�?A=�=E?A?A=n]SW�^�Ê�GI^H;AW�=S²DU[?�;A=�� �E���E� rn:\YIOAW��IP[=NJLKlBD=i��=@O>K�dNe�WlBD=nBIK�BDWH?CBD=;A=E?�;>= � U[^XBD=@]NU[BIÄVM�=NP�}�?�=@^XBDWCF�GX=0=N²�UQ?�;A=NJgJ�GIUV;>K�?¹O>=@?�;AO>U[dN{�=@?¹U[^I=NO>=N^H;A=E?¹x�?¹K�;AU[M�U[BIK�BD=@?�BD=0;A=E?�;>=FHGI=9U[JnYaWH?A?AUV�XUVP[U~;wK�J\K�GD;>W�JLK ;>UV|EK�Os]NW�JnYIP[=S;wK�Jn=N^H;A=3KC=S;>K�YXK)BD=7��=NOwK�d@e�W!BD=7BXK�BDWH?�BD=9;>=@?�;A=�r3=N^H;AO>=C=NPQK�?@}IBD=@?�;>K�]NK�Jic ?�=�¯

•]NW�O>OA=EdNe�W�]NW�U[^X]SUQBD=N^H;>=�¯WD]SW�OAO>=�FHGXK�^XBDW�W�YIO>W���O>K�JnK�=NJ�;A=@?�;A=�YaWH?A?AGIU5GIJ BD=SRT=@U~;>WFHGI= � K�PQ]NK�^XdNK�BDW�YZW�OnGIJ�BXK�BDW�BD=�;A=@?�;A=�}sGIJ�=@?�;>K�BIW�BD=�=NO>O>W � YIOAWDBDGX|NUQBDWX}�JLK�?]NW�U[^X]SUQBD=@^�;>=NJn=N^H;>=!GIJ�O>=@?AGIPV;>K�BIWn]NW�O>OA=N;AW � W��D;>U[BIWXrspGXU~;>W�?9K�GD;AW�OA=E?3� ��� Ú � K�zXOAJLK�JFHGI=3]SW�O>O>=@dNe�Wt]NW�U[^X]SUQBD=@^�;>=5WD]SW�O>O>='J�GIUV;AW)OwK�OwK�Jn=N^H;>='=9K�W)BD=Sza^IUVO>=NJ\?AGXK�?y=E?�;>O>K�; � ��UQK�??AGIYI{�=NJ F�GX=�=NPQK�^Xe�W=E?�;w��YIOA=E?�=@^H;A=�r � W�^X?AU[BI=NO>=iW É OAW���OwK�JLK � �Dr � r �7J ]@K�JnUV^X`IWU[^X]NW�O>OA=N;AW�K ;AOwK�M � ?CBDW�YIO>W���O>K�JnKlYaWDBD=@O>��?A=NOt;AW�JLK�BDWa}1JLK�?CGIJLK�?AK�Ä[BXK�]NW�O>OA=N;>K�?�=@OYXOAWDBDGI|@U[BXKIr � GIYZW�^I`aKLF�GX=)W�YIO>=@BDUQ]NK�BDWL]SW�OAO>=S;>W�K�?>?�WD]SUQK�BIWiK�WL^I¼ 1

}Z?�=��K������ar5:

� ��

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� �� � � � ��i

i

i

i

i

i

� �� �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

]@K�?AWlBD=b;A=@?�;A=(x = −1, y = 0)

}ZBI=NM�=@OAUQKL=N²�=E]SGD;wK�O3Wl]NK�JiU[^I`IW(1, 3, 4)

JLK�?3BD=NM�UQBDWK�W�=NO>OAW�=S²D=E]SGD;wK%Wk]@K�JnU[^I`IW

(1, 2, 4)rn��^H;AO>=S;wK�^H;AWa}¹]NW�U[^X]SUQBD=N^H;>=NJn=N^H;A=LW�O>=@?AGIPV;>K�BIW

YXOAWDBDGI|@U[BIW �4}EU[��GXK�P�K�W5=E?�YZ=NOwK�BDWar �9J W�GI;AO>W9BIK�BDW3BD=y;A=E?�;>=y;>K�P�]NW�JnW

(x = 2, y = 0)O>=NM�=NPQKbWL=@OAO>WXr

���� ��������� Z �<��' J �#F = ��S=�R�S �O�����3*�+ ����� ,� ) (1 �[9\�-, � ` � 7 8 � �����9 ��:�E"FG:G+-*��"*�����Y�, � ,� C0D %S�& %I 8 � �����9 ��:�E"FG:G+-* � *��5�Y�, � ,� C0P _

•]@K�JnU[^I`IW�K�GX?A=N^H;>=�¯�]SW�OAO>=@?AYaW�^XBD=�K¬GXJnK«BD=N;A=@OAJnU[^XK�BIK¬RTGI^a]SU[W�^XK�PVUQBIK�BI=�O>=@FHGI=@OAUQBIKYaK�OwK�W�YIO>W���O>K�JnKX}�JnK�?LFHGI=�YaW�Oi=@^I��K�^IW�^Xe�W�RTW�U5U[JnYIPV=@Jn=N^H;>K�BIKI}0U[?�;AW � W�]@K�JnUVc^X`IW]SW�O>O>=@?AYaW�^XBD=N^H;>=b^Xe�Wl=S²DUQ?�;>=n^IW%YXOAW���OwK�JLKIr � O>U~; � O>UVWH?7=E?�;>OAGD;>GIOwK�UQ?tBI=b;>=@?�;A=nO>K�cOwK�Jn=@^�;>=LK�GD²DU[PVUQK�J�K�BD=S;>=NO>JnUV^XK�dNe�W�BD=L]@K�JnUV^X`IW�?CK�Ga?�=@^�;>=@?@}ÇU[?�;AW�YZW�OwFHGI=�=@PV=E?!?�=@PV=Nc]NUVW�^XK�J±BIK�BIW�?5BD=C;>=@?�;A=!�XK�?�=EK�BDWH?#^IWL]S¼DBDU[��WLBDWLYIO>W���O>K�JnKb=bKi=@?AYa=E]SUVza]NK�dNe�Wi^ae�W �]NW�^X?AUQBD=NOwK�BIKXr �7J�=N²D=NJnYIP[W�YXK�OwKn]NK�P[]NGIP[K�O7K���OA=EK�=bWL;AU[YaW%BD=)GIJ±;AO>U ��^I��GIPVWa¯�=@?>]NK�cP[=N^XW�Ë_OA=N;���^I��GIP[WX}DW��D;AGa? ��^I��GIP[WiW�G�K�]SGI;���^X��GIP[WHÙS}H=EFHGIUVPQ� ;>=NO>W�W�G%UQ?A¼�]N=NP[=@?wÙu} � BIK�BDWn^IWÉ OAW���OwK�JLK � �Ir �� ��I� } ���E� r):t?7PQK�BDWH?3BI=NM�=@JÆ?�=@O9RTW�O>^I=E]SUQBDWl=@J±W�O>BI=NJÆBD=@]NOA=E?A]N=N^H;A=�}BI=�;>K�P0JLK�^I=NU[O>K�F�GX=

a ≥ b ≥ cr �9W�;A=�F�GX=lW�?bYaW�^H;AW�?�BIK�BIW�?)YZ=NP[W�]@K�?AW�BD=l;A=@?�;A=

(a = 2, b = 1, c = 1)^Xe�WkRTW�OAJLK�J GXJ ;AO>U ��^I��GXPVWar � ?AK�Ä[BIK�YIO>W�BIGI|NUQBIK�BD=NM�=NO>U[K

?A=NO�3����)� �� �a}DJLK�?#=N^H;>OA=N;>K�^H;>W�^Xe�W�=N²DU[?�;A=CGIJ±]NK�JnU[^I`IWi^IWnYIO>W���OwK�JLK�F�GX=3R_K�dNK�W;>=@?�;A= � ���� )3(/�}�=!GIJLKn?AK�Ä[BIKiU[^X]SW�OAO>=S;wK � YIO>WDBDGI|@U[BIKXr

���� ��������� Z � Z� J �#F � � � � � � R�S" � ����� � + �������B+ ����� = ' () ����� ="S ��&& 01 F [R � S %3�"��%� + ��& +�� & + =& 07 �#9\�� � ���N ���� ��� � = " D (I ="S"��&& ` Y � 0P �"��%"� ` � 0 ! � % ��� ��� F � � �� %�& � � 9 �[���3%�& 8 %"�� F � � !T _�XV %�S�& % �#9\�� � �-`��N $HH ��� �-` = �/� (�X' ��& ` � � � 0�X) � & `�� � ��0� 1 =& ` = � = 0a! � %�&= �S"% � � !�X7 �#9 � ��& `�� & � ��& �XD (�WI ="S ��&& ` 5 0�XP �"�%� `�� � = !Z �-� 0 ! � ��% � � � � RMS � !�XT _'/V %�S�& %'^� ('/' & ` � � ����� = #!Z �-� 0'/) �"�%� ` &��"� ��� & � � & Y � � � & Y��G � � & Y = C0

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� �� � � � �I�i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 � ��

'W1 �#9 � ��& ��� & � =& '/7 = S"��&& `���0a! � ��=�R � � � � R�S � !'/D %�S& %'-I = S"��&& `�� 0a! � ��� R�&#� � � R�S" � !'/P _'/T _)/V %�S�& % �[9\�� � `��N �HH�� �M` = )^� ()/' ="S"��&& ` � 0 ! � % � R � S"� � %"�� � !)/) �"��%� ` � � � � &��� ���-5 �-� #!�� �-� 0)W1 _)/7 %S�& %)/D ()-I ="S"��&& `3Z 0 ! � � &"�=#%�S"%�& � !)/P �#9\� � `��N )/T �"��%"� ` = � &��� ����� � � � �NY = � = #!���01-V %�S�& %1O� �"��%"� ` � � &��� ����� � � � = Y � � = #!���01-' _1-) 8 � �����9���:�E FN:G+ ="S"��&"& C0@8 � �����9���:?E"9N:G+ �"��%"� C01/1 _

•]@K�JnU[^I`IW�?9^Xe�Wn=S²D=E]SGD;w��M�=NUQ?@¯.GXJ�]NK�JnUV^I`XW � BIU~;>WL^Xe�Wn=S²D=E]SGD;w��M�=NP1?A=!^Xe�Wi=N²DU[?�;A=CGIJ]NW�^ Ê�GX^�;>W�BD=3M K�P[W�O>=@?�K�;AO>UV�IGXÄ[BDWH?sx�?�M K�O>U[��M�=NUQ?yBD=7=@^H;AOwK�BIK)BIW)YIO>W���OwK�JLKX}�YXK�O���Jn=N;AO>W�?=!M K�OAUQ��M�=@U[?0��P[W��XK�U[?#FHGI=!]NK�GX?>K�J�Kn?�GaK�=N²D=@]SGadNe�War �7J�=@PV=@Ji=@^H;AWnOA=EFHGI=NO>U[BIW�YZW�O#GIJBXK�BDW)]NOAUV; � OAU[W!=@?�;AO>GD;AGXO>K�P � ^Xe�WC=N²�=E]SGD;w��M�=@PX?�=5^ae�WC=S²DUQ?�;>=7]NK�JiU[^I`IW!=N²D=@]SGI;>��M�=@PIFHGI=5W]NW��IO>=�r9:,YIO>W��IP[=NJLKLBD=b]@K�JnU[^I`IW�?9^Xe�WL=N²�=E]SGD;w��M�=NUQ?5M�=@J�?A=N^XBDWn;>O>K�;>K�BDWLYaW�O7MD��O>U[W�?K�GD;AW�OA=E?t� ����� }=� � Ú�} �E��� } �H�E� r � =@GIOAÄQ?�;AUQ]NK�?';>�NJ�?AUQBDWnGD;AU[PVU[|@K�BIK�?#YaK�OwK�BD=N;A=@OAJnU[^X� cÎPVWH?=L=@M�U~;wK�O!FHGI=n=@?�RTW�OwdSW�=�;>=NJnYZWk?�=�Ê�K�J��HK�?�;AW�?7;A=@^H;>K�^aBDW���=NOwK�OCBIK�BDW�?CBD=n;>=@?�;A=nYXK�OwK=E?A?A=@?!]@K�JnU[^I`IW�?@r%:�]@K�JnU[^I`IW

(1, 2, 4)BDW��OwK RTW�BIK E.UV��GIO>K � �Dr ��� ^Xe�W�=S²D=@]NGD;>��M�=NP

YZW�UQ?5=EF�GXUVM K�P[=)Kn^Xe�WL=S²D=@]NGD;>K�O5WiPQK�dNWX}I=!UQ?>?�WL^Xe�WLK�]SW�^H;A=@]N=�}DU[^XBD=@Ya=@^XBD=NJn=@^�;>=NJn=N^H;>=BI=!=N^H;AOwK�BIKbRTW�O>^I=E]SUQBIKiYXK�OwKbW É O>W���O>K�JLK � �Dr � r

����#���������� Z � 5� J �#F &"���� �� ' () ����� � + & ` � 01 9 � � � ` � 0 � � ��� 0a� ���� 7 & ` & � 8 #L � � +OZM N0D 8 � �����"9���:�E"FG:G+ & C0I _ 3

1

2

4

E.UV��GIOwK � �Dr � � �y²D=@JiYXPVWLBD=)]@K�JnUV^X`IWn^Xe�Wn=S²D=E]SGD;w��M�=@P

•J�GD;>K�^H;A=@?3=@FHÅIU[M K�P[=N^H;A=E?N¯5J�GIUV;>K�?3M�=@|N=E?N}ÇK�JnWDBDUVza]NK�dNe�WLRT=NUV;>Kl^IW%YXOAW���OwK�JLKiW�O>UV��UV^XK�PYaK�OwK�]SO>U[K�O9GIJÆJ�GD;>K�^�;>=)^Xe�WlK�PV;A=@O>K�KLRTGI^XdNe�WlU[JnYIPV=@Jn=N^H;>K�BIKI}ZW�G�?A=�Ê�K�W�YIO>W���OwK�JLKJ�GD;>K�^H;A=lU[JnYIP[=NJn=N^H;>K�KJn=@?AJLKRTGI^Xd@e�W�FHGI=%WkYIO>W���O>K�JnK�W�OAU[��U[^XK�P�r �9=E?A?A=%]@K�?AWW

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� � � � � �i

i

i

i

i

i

� � �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

J�GD;>K�^H;A= � BDU~;>Wn=@FHÅIU[M�K�PV=@^H;A=�rs:gYIOAW��IP[=NJLK�BI=tJ�GD;>K�^H;A=@?#=EFHÅIUVM K�PV=@^�;>=@? � K�^X��PVW���WiK�WBI=0]NK�JnUV^I`XW�?1^ae�W9=N²�=E]SGD;w��M�=NUQ?Nr � BD=S;>=NO>JiU[^XK�dNe�W9BI=sJbGI;>K�^H;>=@?1=EFHÅIUVM K�PV=@^�;>=@?1;>K�J�� � J� UV^XBI=@]SUQBDÄ[M�=@Ps=l?A¼ � YZW�?>?�Ä[M�=@P�GD;>UVP[UV|EK�^XBIW�c ?�=L`I=@GIO>Ä[?�;AUQ]NK�?L� ����} �@��� r �9J YIO>W���OwK�JLKJ�GD;>K�^H;A=�]NOAUQK�BIWl?�GX�X?�;>U~;>GIU[^XBDW�c ?A=)WlYIO>U[Ji=@UVO>W +���BDW É O>W���O>K�JnK � �Dr �nYZW�O +�� ���� / � ��� 3 / / � =EF�GXUVM K�P[=N^H;>=CK�WnYIOAW���OwK�JLK)W�OAU[��U[^XK�PÀr

� YZ=@?>K�O9BIK�?#PVU[JnU~;wK�dN{H=E?#=S²DUQ?�;>=N^H;A=E?N}D=@^X]SW�^�;>O>K�JicÎ?A=3^aK�P[UV;A=NOwK ;>GIOwK�BDUVRT=NO>=N^H;>=@?5]NK�;A=@��W�O>UQK�?BD=�; � ]S^XU[]@K�?�FHGI=kYZWDBD=NJ ?A=NO�GD;>UVP[U[|@K�BXK�?LYXK�O>K���=NOwK�OLBIK�BIW�?�BD=k;A=@?�;A=YaK�OwK�?>K ;>U[?�R_K�|@=NO�WH?BDU[M�=@O>?AW�?#]SO>UV; � O>U[W�?@r � ?5JLK�UQ?5]SW�^I`I=E]SUQBIK�?5?>e�Wa¯y��=NOwK�d@e�WiK�P[=@K ;>¼�O>U[KiBD=)BIK�BDW�?C� �@��� } � Ú E� °X��=NcOwK�dNe�W7]SW�Jg=S²D=@]NGXdNe�W3?AUVJ��a¼�PVUQ]NKb� ��� } � ��� } ��� } �X�u� °���=@O>K�dNe�W3]SW�Jg=N²D=@]SGadNe�W3BDUV^ ��JnU[]@Kb� � � ��� °��=@O>K�dNe�WLGD;AU[PVU[|@K�^XBDWl; � ]N^IUQ]NK�?CBD=i]SW�JiYXGD;>K�dNe�W%=NM�W�P[GD;AU[M KI°�=���=NOwK�d@e�W�BD=nBIK�BIW�?t?�=@^X?�Ä[M�=@U[?3KBD=NRT=NUV;AW�?@}D]SG Ê�WH?�RTGX^XBIK�Jn=@^�;>W�?0Ya=@OAJnUV;A=@J�=@?>]SW�P[`I=@OsYZW�^H;AWH?sBDWiBDW�JnÄ[^IUVWiBD=t=N^H;AOwK�BIK)OA=@P[K�]SU[W�c^XK�BDW�?�K�]S=@O�;>W�?�;>UVYZW�?'BD=7BD=NRT=NUV;AWH?s=�}�YZW�O0U[?>?�Wa}�]NW�J\K�PV;>K!YIO>W��aK��IU[PVUQBIK�BD=9BD=3FHGI=7=@?>?�=E?s?A=�Ê�K�JO>=NM�=@P[K�BDW�?@r��7=@?>?AK%ÈIPV;AU[JLK]NK ;>=N��W�O>U[K%BD=@?�;>K�]NK�Jic ?�=nK�?t; � ]N^IU[]@K�?@¯7;>=@?�;A=�BD=LBDW�JnÄV^IU[W�?n� ������ };A=E?�;>=3�aK�?A=@K�BIW)=NJ�O>=@?�;AO>UQdS{�=@?7� ��� Ú � }H;A=@?�;A=CBDWiW�YZ=NOwK�BDW�Os�ZW�W�P[=@K�^XW%Ë �9:tÖ7Ùs=3;A=@?�;A=CBDWH?sW�Ya=NcOwK�BDW�OA=E?Ç�aW�W�PV=EK�^IW3=sO>=NPQK�]SU[W�^aK�PaË �#Ö5:CÙ�� � ���E� =0;A=@?�;A='BD='=S²DYIO>=@?>?�{�=@?1�aW�W�P[=@K�^XK�?�=0O>=NPQK�]NUVW�^XK�UQ?]SW�J�YXK�O���Ji=N;AO>W

εË �#Ö5�7Ë

εÙAÙC� � ����� r

� W�JnW�BDUV;AW�K�^H;A=@OAU[W�O>Jn=N^H;A=�}�K�;>K�OA=NR_KBD=���=NOwK�dNe�W�BI=lBIK�BIW�?)BD=�;A=@?�;A=lMHUQ?>KkK�=@?>]SW�PV`I=@OYZW�^H;AWH?'BIWnBIW�JnÄV^XUVWLBD=C=N^H;>O>K�BIKbYaK�OwK�?>K ;>U[?�R_K�|@=NO'GIJ�BIK�BDWn]SO>U~; � O>UVWar �3Kb��=NOwK�d@e�W�K�PV=EK ;>¼�O>U[KYZW�^H;AWH?tBIW�BIW�JnÄV^XUVWBD=n=N^H;>O>K�BIK%?>e�W�?A=NP[=@]SU[W�^aK�BDWH?3K�PV=EK ;AW�OAUQK�Jn=@^�;>=�K�; � FHGI=nW�]NOAUV; � OAU[W�BD=;A=E?�;>=%?A=�Ê�Kk?>K ;>U[?�RT=NUV;AWar�s?�;>K; � ]N^IU[]@K � BI=SRT=N^aBDU[BXKkYZW�ObM ��OAU[W�?)K�GD;AW�OA=E?L� �X� } �@��� } � Ú �� YaW�O?A=NOtYIO>��;AUQ]NKX}aR_��]SU[PyBD=LK�GD;>W�JLK ;>UV|EK�O7=iJn=N^IWH?C]SGX?�;AWH?AKXr �9W�=N^H;>K�^�;>WX}���=@O>K�O3BIK�BDW�?tBD=i;A=E?�;>=K�P[=@K�;AW�OAUQK�Jn=N^H;>=t^ae�W��HK�OwK�^H;A=!K�?>K ;>U[?�R_K�d@e�WLBDWl]NOAUV; � OAU[WL=);wK�Jb� � J±^Xe�WlK�GD²DU[PVUQKLK�BD=N;A=@OAJnUVc^XK�dNe�W%BD=�=@PV=@Jn=N^H;AWH?7^Xe�Wl=N²�=E]SGD;w��M�=@U[?7W�GkJ�GD;>K�^�;>=@?3=@FHGIU[M K�P[=N^H;A=E?N}�YZW�GX]NW%?A=iK�YIOA=@^XBD=@^XBDW?AW��IO>=7W�YIOAW���OwK�JLKIry:3GD;AOwKbFHGI=E?�;we�W��F�GX=3��=NOwK�O0K�PV=EK ;>W�O>U[K�Ji=@^H;A=9^XK�Wb�HK�OwK�^H;A=7Ki?A=NP[=@dNe�WbBDWH?Jn=NP[`IW�O>=@?bYaW�^H;AW�?@r�:t?)Jn=@PV`IW�OA=E?)YZW�^H;AWH?b?>e�WkK�F�GX=NP[=@?bFHGI=l;A�@J JLK�UVW�O)YIO>W��XK��IUVP[UQBIK�BD=%BD=O>=NM�=@P[K�O)BD=SRT=@U~;>W�?@r � =@?�;AOwK ; � ��U[K�GD;>UVP[UV|EK�BIKkYXK�OwK?�=@PV=E]SU[W�^XK�O!=@?>?�=E?!YZW�^H;AWH? � RTGI^aBIK�Jn=N^H;wK�P�}YZW�UQ?bBD=@P[KkBI=NYZ=N^XBD=�K=Nza]N��]SUQKBDW�?�BIK�BDWH?bBD=�;A=@?�;A=%��=@O>K�BDW�?@r��s?A?A=l]@K�YIÄV;AGIP[W�BD=E?A]NOA=@M�=lK�?YIO>UV^a]SU[YXK�UQ?'; � ]S^IUQ]NK�?5BD=!��=@O>K�dNe�WiBD=)BIK�BDW�?5BD=t;>=@?�;A=)FHGI=!YZW�BI=NJ�?A=NO5GI;AU[PVU[|@K�BIK�?#YXK�O>Kn?>K ;>U[?�cR_K�|@=NOtW�?tBDU[M�=NOw?AW�?7]NOAUV; � OAU[W�?3BD=�;A=@?�;A=i=S²DUQ?�;>=N^H;A=E?t=�YXK�O>Kl?�=@PV=E]SU[W�^XK�O7W�? � Ji=@PV`XW�O>=@?5�!YZW�^H;>W�?@r� ?0; � ]S^XU[]@K�?'?Ae�WbBD=@?>]SO>UV;>K�?0=7GXJnKiBDUQ?A]NGX?>?Ae�WbBIK�?0YIO>UV^a]SU[YXK�UQ?sM K�^�;wK���=N^X?s=tBD=E?�M K�^�;wK���=N^X?0BIKK�YXPVUQ]NK�dNe�WnBD=!]NK�BIKiGIJLKnBD=NPQK�? � K�YIOA=E?�=@^H;>K�BXKIr

12.2 Geração por execução simbólica� U[B � U[K%BD=b=N²D=@]SGadNe�W%?�U[Jb�Z¼�P[U[]@KL=n?�GXKlK�YIP[U[]@K�d@e�WlK�WL;A=E?�;>=iBD=�YIO>W���OwK�JLK�?#^Xe�W�?Ae�W�^IW M K�?@r� ��OAU[W�?CYZ=@?>FHGIUQ?AK�BDW�O>=@?t;>�NJm?�=lBI=@BDUQ]NK�BDWkK�=@?>?�=n;>=NJLK � ��� } � ��� } ��� } �X�w� rkØt=NOwK�P[Jn=N^H;A=�}Kn=S²D=E]SGXd@e�WL?�U[Jb�Z¼�P[UQ]NK � GD;>UVP[U[|@K�BXKL]SW�^�Ê�GI^H;>K�Jn=@^�;>=b]SW�J�Ki; � ]S^XU[]@KL�XK�?A=@K�BIKi=NJ»]NK�JiU[^I`IWH?=i;A=@J W�W��DÊ�=N;AU[M�W�BD=�K�GI²�U[P[U[K�OCK���=NOwK�dNe�W%K�GD;AW�Jn��;AUQ]NK�BD=LBIK�BIW�?!BD=i;A=E?�;>=LYXK�OwK%GIJ BIK�BDW]NK�JnUV^I`XWkW�G�]NW�^ Ê�GX^�;>W�BD=�]NK�JnU[^I`IWH?Nr É WDBD=�}.=@J K�P[��GI^X?�]NK�?�WH?N}�BD=S;>=@]S;>K�On]NK�JnUV^I`XW�?)^ae�W=S²D=E]SGD;w��M�=NUQ?C=�}�K�P � J BDUQ?A?AWX}.]SO>U[K�O!OA=@YIOA=E?�=@^H;>K�dN{�=@?C?�U[Jb�Z¼�P[UQ]NK�?!BXK�=S²D=@]NGXdNe�W�BI=�GIJ ]@K�JnUVc^I`IW)FHGI=7YaWDBD=@O>e�WC?A=NO0]SW�JnYXK�O>K�BIK�?y]NW�J�OA=@YIOA=E?�=@^H;>K�dN{�=@?�?�U[Jb�Z¼�P[UQ]NK�?sBIK�?�?>K�ÄQBIK�?�=@?AYa=@O>K�BIK�?@}R_K�]NUVP[UV;>K�^aBDWLKiBI=S;A=E]Nd@e�WLBD=CGIJ�BI=SRT=NUV;AWar× � ]N^IU[]@K�?�BI=k=S²D=@]NGXdNe�W�?�U[Jb�I¼�PVUQ]NK�BD=@OAU[M K�JÃ=S²DYIO>=@?>?�{�=@?LK�P[� � �IO>U[]@K�?nFHGI=OA=@YIO>=@?A=N^H;>K�J

K�=S²D=@]NGXdNe�WBD=LGIJ BXK�BDWk]@K�JnUV^X`IWXr%:�OA=E?�GXP~;wK�BDW � GIJLK�=S²DYIO>=@?>?>e�W%?AU[Jb�I¼�PVUQ]NK�]w`XK�JnK�BIK]SW�JnYIGD;>K�dNe�WtBDW!]@K�JnUV^X`IW!F�GX=5=S²DYIO>=@?>?AKtK�?�M K�O>UQ��M�=@U[?.BD=9?>K�ÄQBIKt=NJg;>=NO>JnW�?yBIK�?�M�K�OAUQ��M�=NUQ?�BD=

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� Ú � � � ���i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 � Ú

=N^H;>O>K�BIKC� ������� }�=�GIJLK9=N²DYIOA=E?A?>e�Wa}@]w`XK�JLK�BIK5]NW�^XBDUQdNe�W9BDW7]@K�JnUV^X`IWX} FHGI=�=N²�YXOA=E?A?>K5]SW�^XBDUQdS{�=E?YXK�O>KiFHGI=!WL]NK�JnU[^I`IWL?A=�Ê�Ki=S²D=@]NGD;>K�BDWXr

� K�O>U[��M�=@U[?�BI=7=N^H;>O>K�BIK)BD=3GIJ\YIOAW���OwK�JLKC?Ae�WbK�FHGI=@P[K�?sFHGI=9O>=@]N=N�Z=NJ\GIJ\M K�P[W�O0YaW�OsJn=NU[WBD='GIJLK3]NW�J�GI^IUQ]NK�d@e�W5=N²H;>=NO>^XK7K�W7YIO>W���O>K�JLKI}�]SW�JnW3YaW�O¹=N²�=@JnYIPVWa¯1M K�O>U[��M�=@U[?�=NJ�]SW�JLK�^XBDWH?BD=�P[=NUV;AGXO>KX}@YXK�O���Jn=S;AO>W�?�BD=s=N^H;AOwK�BIK#=sM�K�OAUQ��M�=NUQ?Z��P[W��XK�U[?@r � ?�W�GD;>O>K�?�M K�O>U[��M�=NUQ?Ç?Ae�W9]w`XK�JLK�BXK�?U[^�;>=NO>^XK�?@r � K�OAUQ��M�=NUQ?#BD=b?>K�ÄQBIKn]SW�J�GI^IUQ]NK�J�M K�P[W�O>=@?#W�G�O>=@?AGIPV;>K�BDW�?9BI=)]SW�JnYIGI;>K�dN{�=E?N}X]NW�JnWYZW�O�=S²D=NJnYIP[WX¯�M�K�OAUQ��M�=NUQ?���PVW��XK�UQ?@}EYaK�O���Jn=S;>OAWH?¹BD=5?>K�ÄQBIKI} M K�OAUQ��M�=NUQ?1=NJ�]SW�JLK�^XBDW�?.BD=#=@?>]SO>UV;>K=!BD=!O>=S;AW�OA^XWiBD=CRTGX^XdS{�=@?@r

F ^IUQ]SUQK�P[Ji=@^H;A=�}ÇM K�PVW�OA=E?7?AUVJ��a¼�PVUQ]SWH?7?>e�W%K�;AO>UV�XGIÄ[BIW�?7x�?7M K�OAUQ��M�=@U[?3BD=b=@^�;>O>K�BIKIr � K�BXKl]SW�cJLK�^XBIW�K�?A?AWD]SUQK�BDW�K�W�?t^I¼H?CBDW]NK�JnU[^I`IW � K�M�K�PVUQK�BIWl=NJ�;A=NO>JnW�?CBD=E?A?A=@?tM K�P[W�O>=@?@r �3GXK�^XBDWGIJLK�K ;AO>U[�IGIUQdNe�W � =N²�=E]SGD;wK�BIKlW�?tM K�P[W�O>=@?3BIK�?tM K�O>U[��M�=NUQ?7BDW%P[K�BDW�BDUVO>=NUV;AW�?Ae�W%?AGI�X?�;AUV;AGIÄQBDWH?YZ=NP[W�?s?A=NGa?�M K�P[W�O>=@?�?AU[Jb�Z¼�P[U[]NW�?@ry:+O>=@?AGIP~;wK�BDW � ?�U[JnYIP[U~za]@K�BDWb=7?�=@O>�CWb^IW M�W!M K�P[W�O'?�U[Jb�Z¼�P[UQ]SWK ;>OAU[�IGIÄQBDW�xlM K�O>UQ��M�=NP�FHGI=i=@?�;>��BDW%PQK�BIWl=@?>FHGI=NOwBDW�BIK%K�;AO>UV�XGIU[d@e�War � ^XK�PVW���K�Jn=@^�;>=�}�?�=iGIJ]SW�JLK�^XBDW%]SW�^aBDU[]NUVW�^XK�P � =@^X]SW�^H;AOwK�BDWa}XWlYXOA=EBDU[]@K�BDW%K�?>?�WD]SUQK�BIW � BD=E?A]NOAUV;AWlYaW�O3GIJLKlOA=E?�;>OAUVcdNe�W�=NJ»;>=NO>JnW�?tBDW�?3M K�P[W�O>=@?7?AU[Jb�Z¼�P[U[]NW�?7BXK�?3M�K�OAUQ��M�=@U[?9^I=NP[=�=@^�M�W�P[M�U[BXK�?@r9�s?>?AKlOA=E?�;>OAUQdNe�W �]w`XK�JnK�BIKiBD=!UV^H;>=NO>YIOA=N;>K�dNe�WiBDWnYIO>=@BDUQ]NK�BDWXr� ]SW�JnYIGD;>K�dNe�WtBDW)]@K�JnU[^I`IW � W��D;>U[BXKCYa=@P[KC=N²�=E]SGXd@e�WC?�U[Jb�X¼�P[U[]@KtBI=#;AWDBDW�?�W�?y]SW�JLK�^XBDWH?

FHGI=5]SW�JiYX{�=NJ,WC]@K�JnU[^I`IWX}�OA=@YIOA=E?�=@^H;>K�BXK9YZ=NP[W�?�M K�P[W�O>=@?�?AUVJ��I¼�P[U[]NW�?�K ;>OAU[�IGIÄQBDWH?.x�?�M K�O>U[��M�=NUQ?BD=#?AK�Ä[BXKIr � ]SW�^XBDUQdNe�WtBDW3]@K�JnU[^I`IW � BIK�BIK9YZ=NP[Wt]NW�^ Ê�GX^�;>W3BD='O>=@?�;AO>U[dN{�=@?¹K�?>?�WD]NU[K�BIK�?1K9;AWDBDWH?W�?9YIOA=EBDUQ]NK�BIW�?'=N^X]NW�^H;AOwK�BIW�?5K�WnP[W�^I��WLBDW�]NK�JiU[^I`IWar#:,BDW�JnÄ[^IU[W�BDW�]NK�JiU[^I`IW � BXK�BDWLYZ=NP[W]SW�^ Ê�GI^H;AWnBD=CM K�P[W�O>=@?'FHGI=!?AK�;AUQ?�R_K�|N=NJ�Ki]SW�^XBDUQdNe�W�BDWL]NK�JnUV^I`XWXrs:ºBIK�BDWiBI=3;>=@?�;A= � }D=@^H;>e�Wa}��=@O>K�BDWC=@?>]SW�PV`I=@^XBDW�cÎ?A=#GIJ�=@PV=@Jn=N^H;AWbBI=@?>?�=9]NW�^ Ê�GI^H;>WXr �9=NJ�?A=NJnYIO>= � YZW�?>?�Ä[M�=@PXBD=S;>=NO>JnUV^XK�OGIJLK�?AW�P[GXdNe�W�FHGI=�?>K ;>U[?�R_K�d@KLK�]SW�^XBDUQdNe�W�BIW%]NK�JnUV^I`XWX}XW�G�?A=�Ê�KI}ZBD=S;>=NO>JnUV^XK�O3?A=)Wl]@K�JnUV^X`IW� W�G�^Xe�Wi=N²D=@]SGI;>��M�=NP�rÉ K�OwKC=S²D=NJnYIP[U~zZ]NK�OyWH?�]SW�^X]S=@U~;>W�?�K�YIO>=@?A=N^H;>K�BDW�?�]SW�^X?AU[BD=@OA=5W É OAW���OwK�JLK � �Dr � =7?�=@Gn��OwK RTW

K�YXOA=E?�=@^�;wK�BDWi^XK E.U[��GIOwK � �Ir �Ir � =��K�J K=

J}aW�?5M K�PVW�OA=E?5?�U[Jb�I¼�PVUQ]SWH?#YXK�OwKnK�?5M K�OAUQ��M�=NUQ?5BD=

=N^H;>O>K�BIKk=

jr � YI¼�?7KL=S²D=@]NGXdNe�W�BDW�]NK�JnUV^I`XW

(1, 3, 4)}XK�M�K�OAUQ��M�=NP1BD=�?AK�Ä[BIKi;>=NOw�nW�M K�P[W�O

?AUVJ��I¼�P[U[]NWK − J − 1

r � O>=@?�;AO>UQdNe�Wk]NOAUQK�BXK�YXK�OwK�W�]NK�JnUV^I`XW�?�=@O>�J + 1 ≤ K

r É K�O>K�W]NK�JnUV^I`XWl]SW�JiYXPV=N;AW

(1, 3, 4, 5, 6);A=@J�c ?A=bKl]NW�JnYIGD;wK�dNe�W�BDW%]@K�JnU[^I`IW%BXK�BIKLYZ=NP[WlM K�PVW�O3BD=

jFHGI= �

J + 1 − K=�KL]SW�^aBDU[d@e�WLBDW�]@K�JnUV^X`IW �

(J + 1 ≤ K)&&(K − J ≤ 0)}IRTW�OAJLK�BXK

YZW�OCOA=E?�;>OAUQdS{�=E?7K�?>?AW�]NU[K�BIK�?3K�WH?7YIO>=@BIU[]@K�BDWH?3BDWH?t^I¼�?1=

4r � ]NW�^XBDUQdNe�W%BDW�]NK�JnUV^I`XW%^Xe�W

;A=@J�?AW�P[GXdNe�W�=CW�]@K�JnUV^X`IW � ^ae�Wn=S²D=@]NGD;>��M�=@PÀr��� ���������� Z � �� J �#F 9��-F [R � S"%�� +-F [R � S"% UN

' () � ` � � � 01 �#9\� � ] UN 7 � ` � Y�U�0D %�S�& %I � ` U Y � 0P �#9\� � � ` � T � ` � Y � 0�XV 8 � �����"9���:�E"9G:G+ � C0�/� _

1

2 3

4

5

6

E.U[��GIOwK � �Ir � � �y²D=NJnYIP[U~za]@K�^XBIWLW�?#]SW�^X]S=@U~;>W�?5BD=!=N²�=E]SGXd@e�Wn?�U[Jb�X¼�P[U[]@K

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� �� � � � ���i

i

i

i

i

i

� �� �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

É K�OwKl?A=iBD=@OAU[M K�Ot=S²DYIO>=@?>?�{�=E?7?AUVJ��a¼�PVUQ]NK�?N}�=S²DUQ?�;>=NJ�K�PV��GI^X?3YIOAW��IP[=NJLK�?tBDUQ?A]NGD;AUQBDW�?CK%?�=Nc��GXUVOE¯

•PQK�dNW�?@¯3K%=S²D=@]NGXdNe�W%?AUVJ��I¼�P[UQ]NK�YZWDBD=i;AOwK ;wK�OtP[K�dSW�?tFHGXK�^aBDW%W�^IÈIJn=@OAW�BD=iU~;>=NOwK�dS{�=@? �]NW�^I`X=@]SUQBDWar �3GXK�^aBDW�UQ?>?�W�^Xe�W�WD]SW�O>O>=�} � W �9BI=N^1}#� � ���E� YXOAW�Y � ?�=S²D=@]NGD;>K�O�W�PQK�dSW

kM�=N|@=@?@}�?A=N^aBDW�FHGI=kYZWDBD=i?A=NOC=E?A]NW�P[`IU[BIW�Ya=@PVW�GX?AGX��O>U[WlW�G�Ya=@PVW�?�UQ?�;>=NJLKIr!F�?>?AWlYZW�BI=

��=NOwK�O!K�P[��GXJnK�?tUV^X]NW�^X?AUQ?�;>�N^X]NU[K�?3=n��=NOwK�OCOA=E?�;>OAUQdS{�=@?t?�=@J ?AW�P[GXdNe�WX}ÇJLK�?C=E?�;wKl; � ]N^IU[]@K� }I=NJ���=@O>K�PÀ}DK�BIW�;>K�BIK�YaW�O9F�GX=@?�;A{�=E?5BD=)?AUVJnYIP[U[]NU[BXK�BD=�r

•O>=SRT=@OA�@^X]SUQK�?7KLM K�O>U[��M�=NUQ?5]SW�JnYaWH?�;wK�?@}D;>K�U[?3]SW�JnWLM�=S;AW�OA=E?#=)JLK ;>OAU[|N=E?N}a=bK�YZW�^H;>K�BDW�O>=@?@¯W�YIOAW��IP[=NJLK � U[BI=N^H;AUVza]NK�OlK�FHGXK�P3M K�O>U[��M�=NP9?A=�R_K�|�OA=NRT=NO>�N^X]NU[KXr : É OAW���OwK�JLK � �Dr �U[P[GX?�;>O>KiWLYIO>W��XPV=@JnKi]SW�J�GIJ�M�=S;>W�OEr � =N^XBIW i

=jM K�O>U[��M�=@U[?#BD=!=@^�;>O>K�BIKi]SW�J�M�K�PVW�OA=E?

?AU[Jb�I¼�PVUQ]SWH?N}yK�FHGXK�U[?b=NP[=NJn=N^H;>W�?bBIW�M�=N;AW�O�Kk]NW�^XBDUQdNe�W�?A=�OA=NRT=NO>= � �'W 4�=NOb=S;iK�P3� ��� �YXOAW�YI{�=@J FHGI=i;AWDBIK�?!K�?CYaWH?A?AU[�IUVP[UQBIK�BD=E?C?�=�Ê�K�J K�^XK�P[U[?>K�BXK�?@}ÇJnK�?C=@?>?�=n^IÈXJi=@OAW�YZWDBD=]NOA=E?A]N=NOtO>K�YIUQBIK�Jn=N^H;>=�r)Ö9K�JnK�JnWHW�O�;>`�4�=N;CK�P#� ��I�u� ?AGI��=@OA=@J»FHGI=iGIJLK�UV^a?�;���^X]NU[K%BDWM�=S;>W�O�?�=�Ê�K7]SO>UQK�BIK9?A=NJnYIO>=0FHGI=0^Xe�W7RTW�O.YaWH?A?AÄ[M�=NP�U[BI=N^H;AUVza]NK�O.FHGXK�P�=@PV=@Jn=N^H;AW3=@?�;>�7?A=N^aBDWBI=SzX^IUQBDWar � ]NK�BXKbU[^X?�;���^a]SUQK�BDWnM�=S;AW�O#W�?'=NP[=NJn=N^H;>W�?';A�@J�WnJn=@?AJiWnM K�P[W�O5?AUVJ��a¼�PVUQ]SWa}=N²I]S=S;>WLK�FHGI=NP[=!FHGI=)K�]@K��ZW�G%BI=!OA=E]S=N�Z=NO5GXJ�M K�P[W�OEr

���� ��������� Z � �� J �#F 9��� ' ( ����) &= � ��9���:�E"F E"FG:G+ HM� +/H � C01 ��4 � 63` � 07 ��4 � 63` � 0D ����I ��4 ��� 6 ` ��� 0P �#9\����4-�#6����B4 � 6� T ������XV _

É W�O9=S²D=NJnYIP[WX}I?A=�Ê�KAk

K �Hc � ?AUVJLKiU[^X?�;���^X]NU[KnBDWnM�=S;AW�OAr � =!Wn]NW�JLK�^aBDW A[m] = P� =N²D=@]SGI;>K�BIWX}DGIJLKi^IW M KiUV^X?�;���^X]SUQK

k + 1BD=

A� ]SO>U[K�BIKI}�;wK�P1FHGI=�¯

Ak+1[i] = Ak

}X?�=i 6= m

r

Ak+1[m] = P}X]NK�?�Wn]SW�^�;>O>��OAU[WXr

�3GaK�^XBDW�GIJLK�O>=SRT=@OA�@^X]SUQK � RT=NUV;>K�K�GIJÃM�=S;>W�OE}0?AGXK�ÈIPV;AU[JLK�UV^X?�;���^X]SUQK � GD;AU[P[UV|EK�BIKXr� ?#UV^a?�;���^X]NU[K�?0YZ=NO>JnU~;>UVOwe�WnFHGI=!K�J��IUV��ÅIUQBIK�BD=E?#?�=�Ê�K�J�YZW�?�;A=NO>U[W�O>Ji=@^H;A=tOA=E?�W�PVM�UQBIK�?@r�:^XÈIJn=NO>W3BD=0UV^X?�;���^X]SUQK�?¹YZW�BI=0?A=NO�O>=@BIGI|NUQBDW3?A=s`X=NGIO>Ä[?�;AUQ]NK�?ÇRTW�OA=@J U[JnYIP[=NJn=N^H;>K�BIK�?�YXK�OwKBI=S;A=@OAJnU[^XK�O5=EFHGIUVM K�PV�@^X]SUQKi=N^H;AO>=CÄV^XBIU[]N=@?5BD=!M�=S;AW�OA=E?Nr�0?A?>KC=@FHGIU[M K�P[�N^X]NU[Kt=@?�;>�CO>=NPQK�]NUVW�^XK�BXK3KtM K�O>U[��M�=NUQ?�F�GX=5OA=@YIOA=E?�=@^H;>K�J�K3Jn=E?�JLKCYZW�?AU[d@e�WBI=�Jn=NJn¼�OAUQKIr � P � J�BDWl]@K�?AW

A[i]=

A[j]FHGXK�^aBDW

i = j}Z;>K�Jb� � JÆWD]SW�OAO>=NJ�W�GD;>OAWH?N}

]NW�JnWtYaW�O.=N²D=NJnYIP[WX}�O>=NPQK�]NUVW�^XK�BDWH?�]NW�J�K�YZW�^H;wK�BDW�OA=E?P=

QYXK�O>K3GIJLK3Ji=E?�JLK3M K�O>U[��c

M�=NP�r �¦^I=@]N=@?>?A��OAU[W!=@?�;AGaBIK�Os; � ]N^IUQ]NK�?0`I=@GIOAÄQ?�;AUQ]NK�?0FHGI=7YZW�?>?AK�JvK�Ê�GXBIK�O�^IW);>O>K�;>K�Ji=@^H;AWBI=@?>?�=E?5]NK�?AW�?@r

•]w`aK�JLK�BIK�?�BI=�RTGI^XdN{�=@?iW�G¬YIOAWD]N=@BDU[Jn=N^H;AWH?N¯LO>=NYIO>=@?A=N^H;wK�O)=@J GIJLK�=N²�YXOA=E?A?>e�WW�OA=Nc?AGIPV;>K�BDW%BIK�=S²D=@]NGXdNe�W�BD=bGIJÆJn¼DBDGIP[W�^Xe�W � GXJnK�;>K�OA=NR_Kn;AO>UVM�UQK�P�°aUQ?>?�W�=EFHGIUVM K�PV=@OAUQKLKO>=@K�PVU[|@K�O�K�M K�P[U[K�dNe�WC?AUVJ��a¼�PVUQ]NKt��P[W��aK�P�}�FHGI=5YZW�?>?�GIUXUV^�ÈIJn=NOwK�?�O>=@?�;AO>UQdS{�=@?yBD=7UVJnYIP[=NJn=N^Ic;wK�d@e�W�� ������� rL:�FHGI=nYaWDBD=L?A=NOCRT=NUV;AW � =@?>]SW�PV`X=NOCGIJ ]@K�JnUV^X`IW�^XK%RTGI^XdNe�W�]w`aK�JLK�BIKXr� =!UV^X]NW�^X?AUQ?�;>�N^X]NU[K�?sRTW�OA=@J���=NOwK�BIK�?N}HGIJ�W�GD;AO>WL]NK�JiU[^I`IWnYZWDBD=NOw��?A=NO5=E?A]NW�P[`IUQBDWXr

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� �� � � � ���i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 � ��

� YZ=@?>K�OtBIK�?7OA=E?�;>OAUQdS{�=@?5K�YXOA=E?�=@^�;wK�BIK�?N}aKL=S²D=@]NGXdNe�W�?�U[Jb�X¼�P[U[]@K � GIJLKL; � ]S^XU[]@KL�XK�?�;>K�^H;A=BDUVRTGI^XBDUQBIKXr���PQK�M�=NJ­?A=N^XBDW¬GD;AU[P[UV|EK�BIK¬`X�¬M���OAU[W�?%K�^IWH?Nr �3K¬B � ]NK�BIK�BI=�Ú � }3?AGIO>��U[O>K�JJbGXU~;>W�?n?�UQ?�;A=NJLK�?bYXK�O>Kk��=NOwK�d@e�W�K�GD;AW�JL� ;AUQ]NK�BD=�BIK�BDWH?�BI=l;>=@?�;A=��XK�?A=@K�BDW�?b=NJ =S²D=E]SGXd@e�W?AUVJ��I¼�P[U[]@KIri��^H;AO>=n=@?>?�=E?N¯CW � �sq�� � ×�� ��� � }¹W � � � �0Øt� ��� ��I�w� =nW +F � � � � ×±� � ���E� r �JLK�U[W�O5BDUVza]SGXP[BIK�BD=!=NJ�;>K�U[?5?AU[?�;A=@JLK�? � OA=E?�W�PVM�=NO#KL]SW�^XBDUQdNe�WnBDWL]NK�JnUV^I`XWn]NOAUQK�BXKIr� =N²�=E]SGXd@e�W�?AUVJ��I¼�P[UQ]NK � JLK�UQ?7]NGX?�;AW�?>KLBDWlFHGI=�KL��=@O>K�dNe�WLK�PV=EK ;A¼�OAUQKiJLK�?@}X=NJ»��=NOwK�P�} �

JLK�UQ?9=Nza]NK�|�r � W �9BD=N^�� � ����� O>=@K�PVU[|NW�G�GIJ»=S²DYa=@OAU[Jn=N^H;AW%]SW�J±GIJ�]NW�^ Ê�GI^H;>WlBD=bYXOAW���OwK�JLK�?U[^X]SW�OAO>=S;>W�?@r�:t?iBIK�BDWH?b��=NOwK�BDWH?b]NW�Jm=S²D=@]NGXdNe�W�?AUVJ��I¼�P[U[]@KkO>=NM�=NPQK�OwK�J K�YIO>W�²�U[JLK�BIK�Jn=N^H;A=� ��� BDW�?t=@OAO>W�?@r � JnK�UVW�OAUQKlBIW�?t=NO>OAWH?7=@^X]SW�^H;AOwK�BDWH?5RTW�OwK�JÆ=@OAO>W�?tBD=L]SW�JnYIGD;>K�dNe�WXr!��O>OAWH?BD=BDW�JiÄ[^IU[W�= � W�G¬K�^IW�JLK�P[UQK�?iBD=��XGD²DW�BD=BIK�BDWH?iO>K�O>K�Ji=@^H;A=�RTW�O>K�J�BD=S;>=NO>JnUV^XK�BDW�?iYZ=NPQK=S²D=E]SGXd@e�Wn?�U[Jb�I¼�PVUQ]NKXr

12.3 Geração com execução dinâmica� ; � ]S^IUQ]NKBIUV^ ��JnU[]@KBD=���=@O>K�dNe�W%BD=lBXK�BDWH?!BD=n;A=E?�;>=LRTW�U�YXOAW�YaWH?�;wK%YZW�O �7W�OA=@P'� � � ��� rl��PQK?AGIOA��UVG�]SW�JiW�GIJLK�K�PV;A=@OA^XK�;AU[M K�x�=S²D=@]NGXdNe�W�?AU[Jb�Z¼�P[U[]@K�YXK�O>K�?AW�P[GX]SU[W�^XK�O�YXOAW��IPV=@JLK�?i]SW�JK�O>OwK�^ Ê�WH?�=7M K�OAUQ��M�=@U[?0BDUV^ ��JnU[]@K�?@r��s?�;w�b�aK�?A=@K�BXK!^XK)=N²D=@]SGadNe�W�OA=EK�P�BDWbYXOAW���OwK�JLK!=NJ\;>=@?�;A=�}=NJ±J � ;>W�BIW�?9BD=!JnU[^IU[JiU[|@K�dNe�W�BD=!RTGI^XdN{�=@?5=bK�^X��P[UQ?�=!BD= �aGD²DW�BD=bBIK�BDW�?@r tK�BDWH?5O>=@K�UQ?5?>e�WK ;>OAU[�IGIÄQBDWH?�x�?yM K�OAUQ��M�=@U[?yBD=3=N^H;AOwK�BXKI}�W �aGD²DW)BD=7=N²�=E]SGXd@e�W!BDW)YXOAW���OwK�JLK � JnW�^IUV;AW�O>K�BDWXr � =GIJLK�K�OA=E?�;wKnUV^X]NW�O>OA=N;>KLBDWl��OwK RTWLBD= �aGD²DWlBD=b]NW�^H;AO>W�P[= � =S²D=E]SGD;wK�BIKX}XJ � ;>W�BIW�?7BI=)JnUV^IU[JnU~c|@K�dNe�WnBI=)RTGI^XdN{�=@?7?>e�WLGI;AU[PVU[|@K�BDW�?5YaK�OwKLBD=S;>=NO>JiU[^XK�O9M K�P[W�O>=@?5YXK�O>KLK�?5M K�O>U[��M�=NUQ?5BD=)=@^�;>O>K�BIKYXK�O>KiW�?7F�GaK�UQ?9K�K�O>=@?�;>Kn]NW�O>OA=N;>Kn?�=@OAUQKi;AW�JLK�BIKXr � P � J»BDUQ?A?AWX}ZKLK�^X��PVUQ?A=)BD= �XGD²DW�BD=�BIK�BDWH?BDU[^ ��JnUQ]NK � GD;AU[PVU[|@K�BIK!YXK�O>KbBD=S;>=NO>JiU[^XK�OsFHGXK�UQ?�M K�O>UQ��M�=NUQ?yBD=3=N^H;AOwK�BIK!?>e�W!O>=@?AYZW�^X?>��M�=@U[?�YZ=NP[W]SW�JnYaW�O�;wK�Jn=N^H;AWlUV^X]NW�O>OA=N;AW�BDWlYIO>W���O>K�JLKIr � ^X��PVUQ?�=nBDU[^ ��JnUQ]NKl=ÃjwÑ&� �ÒAÑ&����HÍYZ=NO>JnU~;>=NJWi;AOwK ;wK�Jn=N^H;AWnBD=)K�OAOwK�^ Ê�WH?s=)K�YaW�^H;>K�BIW�O>=@?@r� ; � ]N^IU[]@Kl]NW�^X?AU[BI=NOwKLYIO>=@BDUQ]NK�BDW�?9?AU[JiYXPV=E?7=iPVU[^I=EK�O>=@?7BXKLRTW�O>JLK

E1 op E2

rC�WDBDW%YIOA=NcBDUQ]NK�BDWnYaWDBD=)?A=NO#;>O>K�^X?�RTW�OAJLK�BDW�^aKbRTW�OAJLK

F rel 0}IW�^XBD=

rel ∈ {<,≤, =}r É W�O5=S²D=@JiYXPVWa}

WnYIO>=@BDUQ]NK�BDWa > c

YZW�BI=C?A=NO#;>O>K�^X?�RTW�O>JnK�BDWi=NJc − a < 0

r� ; � ]N^IUQ]NK!;>=NJ�]NW�JnWbW��D�=S;>UVM�W)=N^a]SW�^H;>O>K�OsGIJ�]NW�^ �GX^�;>W

x0BI=3M K�P[W�O>=@?0BD=t=N^H;AOwK�BIK�FHGI=

=S²D=E]SGD;>=NJ GIJ BXK�BDW9]@K�JnUV^X`IWPr �3W�O>=NP�K�zXOAJLK#FHGI=�=E?A?A=yW��DÊ�=N;AU[M�W5YZWDBD=s?A=NO1O>=@BDGX|NUQBDW9K#GIJLK

?A=@FHÅI�N^a]SUQK7BD=#?�GX�Dc�W��DÊ�=S;>UVM�W�?@}@W�^XBD=#]NK�BIK7?AGI�DcÎW��DÊ�=N;AU[M�W7?A=NOw�9Jn=@PV`IW�O¹O>=@?AW�P[M�U[BIW9GD;AU[P[UV|EK�^XBDW�cÎ?A=; � ]S^IUQ]NK�?5BD=!JnUV^XUVJnU[|@K�d@e�WnBD=CRTGI^XdN{�=E?Nr

� = x0� W«]NW�^ Ê�GX^�;>W2BD=�M K�P[W�O>=@?�U[^IU[]NU[K�U[?@})FHGI=�YZW�BI=NO>U[K¬;A=@Ok?�UQBDW2?A=NP[=@]NUVW�^XK�BDW«K�P[=@K�c

;AW�OAUQK�Jn=@^�;>=�}3YXK�OwK¦W�FHGXK�PCW«]NK�JiU[^I`IWP = (n1, .., ni, ..., nm)

� =S²D=@]NGD;>K�BDWX}3=N^H;>e�Wx0

� K2?AW�P[GXd@e�W�YXK�O>K«W�YIO>W��XPV=@JnK+BD=¦��=@O>K�dNe�WXr � =N^Xe�WX}b?AGIYZW�^I`XK+F�GX=�?�= P ′� W2]@K�JnUVc

^I`IW�=S²D=@]NGD;>K�BDWX}P1 = (n1

p, n2p, ..., ni

p)� W�JnK�U[?iP[W�^I��W�?AGI�Dc ]NK�JnU[^I`IW�BD=

P ′}y;wK�P5FHGI=

(n1p = n1, ..., ni

p = ni)}y=%FHGI=�W�]NK�JnU[^I`IW�]NW�O>OA=N;AW^Xe�WRTW�U'=S²D=E]SGD;wK�BDWkYZW�OwFHGI=�W�YIOA=Nc

BDUQ]NK�BDWFi(x) reli 0

}1K�?>?�WD]NU[K�BDW�K�W�K�Ow]SW(ni, ni+1)

}Ç^ae�W�RTW�UyK�M�K�PVUQK�BIW%]SW�JnW%?A=b=@?AYZ=NOwK�M�KXr��^H;>e�W!W)W��IÊ�=S;AU[M�W � =N^X]NW�^H;AOwK�Oy=@^�;>O>K�BIK�?

x;>K�PXFHGI=7K)]NW�^XBDUQdNe�W

Fi(x) reli 0?A=��K!?>K ;>U[?�RT=NUV;>KXr

� RTGI^Xd@e�WFi(x)

YZW�BI=)?�=@O5JiU[^IU[JnUV|EK�BIKnK ; � FHGI=C=NPQKi?A=C;AW�OA^X=t^X=N��K�;AU[M K�Ë_W�G0BD=NYZ=N^aBD=N^XBIW

BD=reli

Ùur �9JLK!M�=N|9O>=@?AW�P[M�U[BIW!W)YIO>UVJn=NU[O>W)?�GI�Ic�W��DÊ�=S;>UVM�WX}�W�GD;AO>W�?sBD=NM�=NOwe�W)?A=NOsO>=@?AW�P[M�U[BIW�?yK ; �FHGI=!Kn?�W�PVGXd@e�WnBDWnW��DÊ�=N;AU[M�WnYIO>UV^a]SU[YXK�P1?A=�Ê�Ki=N^a]SW�^H;>O>K�BIK)W�G�K�UV^XBXKiK�; � FHGI=)?A=CBI=@]SUQBIKnFHGI=CW?AGI�DcÎW��DÊ�=N;AU[M�Wi^Xe�WnYZW�BI=NOw�i?A=NO#O>=@?AW�P[M�U[BDW�ËT^X=@?>?�=)]@K�?AWiKiYZ=@?>F�GXU[?>K�R_K�P[`XK�ÙSr� K�YIP[U[]@K�dNe�W�BDW�?3J � ;>W�BIW�?tBD=bYZ=@?>FHGIU[?>K � R_K�]NUVP[U~;wK�BIKlYaW�O3]@K�GX?>K�BIK�?3?AGIYZW�?AU[dN{�=@?9RT=NUV;>K�?

]SW�J�O>=NPQK�dNe�WtK�W�?.YIO>=@BDUQ]NK�BDW�?@r�3=N^H;>OA=5=E?A?A=@?�J � ;>WDBDW�?@}�GD;>UVP[UV|EK c ?�=#WCJLK�UQ?�?AUVJnYIP[=@?@}�]w`XK�JnK�BDW

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � �i

i

i

i

i

i

��Ú � �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

J � ;>W�BIW�BIK�M K�O>U[��M�=@P0K�PV;A=@OA^aK ;AU[M K�FHGI=�]SW�^X?�UQ?�;A=�=NJ JnUV^XUVJnU[|@K�OL]NW�JmOA=E?�YZ=NUV;AW�K�?AW�Jn=@^�;>=GIJLKCM K�O>U[��M�=@PIBD=9=N^H;>O>K�BIKtYaW�OsM�=@|�r �9JLKCM K�O>U[��M�=@P

x1

� =E?A]NW�P[`IUQBIKI}HK�?yW�GD;AOwK�?y?>e�W!JLK�^H;>U[BIK�?]SW�^X?�;>K�^H;>=@?@}1K ; � FHGI=LK�?�W�PVGXd@e�W�?�=�Ê�K�=N^X]NW�^H;AOwK�BIKX}�W�G�?�=�Ê�K�FHGXK�^XBDW�K%RTGI^XdNe�W�K�?A?AWD]SUQK�BIK%xK�O>=@?�;>K3?�=';>W�O>^I=#^I=N�HK ;AU[M KIr � =#W3JnÄ[^IUVJnW!YXK�O>K3K3RTGI^XdNe�W � GXJ�M K�P[W�OyBD= x1

YZW�?AU~;>UVM�WX} =@^�;we�WCKYZ=@?>F�GXU[?>K)]SW�^H;AU[^HGaK!BIK)Jn=@?AJLKCRTW�O>JLK!]SW�J�O>=@?AYa=@U~;>WbK!GIJLKbW�GD;>O>KCM K�O>UQ��M�=@P

x2

r � YZ=@?>F�GXU[?>KR_K�P[`XK�O>�!?A=#;AWDBIK�?sK�?�M�K�OAUQ��M�=NUQ?.RTW�O>=NJ\K�^XK�PVUQ?>K�BIK�?�=7KtRTGI^Xd@e�W)^Xe�W!YIGXBD=@O0?A=NOsBI=@]SO>=NJn=@^�;wK�BIKXr:±YIO>WD]S=@BIUVJn=N^H;>W�YXK�O>K�OA=E?�W�PVM�=NO)GIJ�?AGI�DcÎW��IÊ�=S;AU[M�W � ]NW�JnYZW�?�;AW�BI=�BDGaK�?bR_K�?A=@?@¯�GIJLK

YZ=@?>F�GXU[?>K¦=N²�YXPVW�O>K�;A¼�O>UQK�=�GIJ®JnW M�U[Ji=@^H;AW�YaK�BDOwe�War 3GIOwK�^H;A=�K¦YZ=@?>F�GXU[?>K¦=N²�YXPVW�O>K�;A¼�O>UQKI}GIJLK�M K�O>U[��M�=@P

xi

� UV^X]NOA=@Jn=N^H;>K�BIK�W�G¦BD=E]SO>=NJn=N^H;>K�BIKIr � =�=NJmK�P[��GXJnK�BD=E?A?>K�?)JbGXBIK�^XdNK�?W¦]NK�JnUV^I`XW

P� =S²D=@]NGD;>K�BDWX}#=@^X]SW�^�;>OAW�GDc ?�=�K¦?AW�P[GXdNe�WXr � K�?�W¦]NW�^H;AOw��O>U[WX}#?�=

Fi

BDU[JnUV^�GIUËTJn=@PV`IW�O>KHÙLFHGXK�^aBDW

xi

K�GIJn=N^H;>KX}9=N^H;>e�W�BD=@M�=Sc ?A=�K�GIJn=@^�;wK�Oxj

°)?A=�BDU[JnUV^�GIUCFHGXK�^aBDWxiBDU[JnUV^�GIU�}s=@^�;we�W

xi

BD=@M�=�BDUVJnU[^�GIUVOEr � =%W�K�GIJn=@^�;>W�W�G¬BDU[JnUV^�GIUQdNe�W�BI= xi

^Xe�W�K RT=N;>K�W�GK�GXJi=@^H;>K

Fi

}I=@^�;we�WnKiYIOA¼�²DUVJLKiM K�O>U[��M�=NPxi+1

� ]NW�^X?AUQBD=NOwK�BIKXr

� =bKnYZ=@?>FHGIU[?>Kn=S²DYIP[W�OwK ;>¼�O>U[K�O>=@K�P[U[|@K�BXKbU[^XBDUQ]SW�GGIJLKLBDUVO>=@d@e�WLKL?A=NO5;>W�JLK�BIKX}IGIJLKnJbGIcBIK�^XdNK�BD=7YXK�BDOwe�WX}HFHGI= � GIJLK)J�GXBIK�d@KbBD=3JLK�U[W�O>=@?�YXOAW�YaW�O>dN{H=E?7ËÀK�GIJn=N^H;>WbW�G%BD=@]NOA=@Ji=@^H;AWBIKiM K�O>U[��M�=NP

xi

Ùu} � =N²D=@]SGI;>K�BXKIrÉ K�OwKb=N²�=@JnYIPVUVza]@K�O'W�J � ;>WDBDWLK�YIO>=@?A=N^H;>K�BDWX}�]SW�^X?AU[BD=@OA=3W É OAW���OwK�JLK � �Ir =CWi?A=NG%��OwK RTW

O>=NYIO>=@?A=N^H;>K�BDW^XK E.UV��GIO>K � �Ir � }�FHGI=�]NK�P[]NGIPQKW�JnÄ[^IUVJnW�=%W�JL� ²DUVJnW�BDW�?�=NP[=NJn=N^H;>W�?iBD=GIJ�M�=S;>W�O

A}IBI=S;A=@OAJnU[^XK�BIWiYZ=NPQK�?#M K�OAUQ��M�=NUQ?0BD=C=@^�;>O>K�BIK �9.���& �7*��M�'&��,+�%��Çry:gW��DÊ�=N;AU[M�W �

��=@O>K�O'BXK�BDWH?5BD=C;A=E?�;>=!YXK�OwKbWL]@K�JnUV^X`IWP = (1, 2, 3, 5, 6, 7, 2, 8)

r��� ���������� Z � �� J �#F ��� * � ����� S"#L + ����� & � % 8B+ ����� � � � �

' () ����� ��4 ���� 6�+ � ��� *�+ � ����01 S"% �#� R���� ���� C07 � ��� ` �\4 S#L 6�0D ��� *3` �\4 S#L 6�0I ��` S[L � & � % 8�0P L�� � S"% �O� � � � � � T (�XV �#9\� ��� *����B4^�#6� �/� ��� *3` � 4-�#6�0�X' �#9\� � ���>]��B4^�#6� �X) � ��� ` ��4^�[6�0� 1 � ` ��� & � % 8�0�X7 _�XD 8 � �����"9 ��:�E"F�+ E"FN:G+ � ����+ ��� *� C0�WI _

1

7

2

3

4

5

8

6

E.U[��GIOwK � �Ir ��� ×�OwK ;wK�Jn=N^H;AWnBD=!M�=S;AW�OA=E?'^XKi=S²D=@]NGXdNe�WiBDU[^ ��JiUQ]NK

É K�OwKlGIJ ]SW�^�Ê�GI^H;AW�UV^IUQ]SUQK�P � .�� �����!&�� +�%�� ���!& �7*��M� ���� !&�������� ��� &����� ��� !&����������� � ��� ��� � �a}�W�?AGI�Dc ]NK�JnU[^I`IW

(1, 2, 3)BD=

P� =S²D=@]NGD;>K�BDWXr�:�YIOA=EBDUQ]NK�BIW

K�?>?AW�]NU[K�BDW%K�W�O>K�JiW(3, 4)

}�BIK�BDW�YaW�O " ��� ������+��%RTW�U�UV^a]SW�O>O>=S;>K�Jn=N^H;A=nK�M K�P[U[K�BDWXrL:\YIO>U~cJn=NU[OAW!?AGI�DcÎW��DÊ�=N;AU[M�W � =N^a]SW�^H;>O>K�O.GXJnKCM K�OAUQ��M�=@P

x;>K�PaF�GX=

F3(x) ≤ 0r � ?sM K�O>U[��M�=NUQ?¹?A=N��GI=NJ

K!W�O>BD=@J��̄������� &����� �� & ���!�"��� � ���!&#� +�%��'& ��*��M��& � .$�Çr � =%������� � U[^X]NOA=@Ji=@^H;>K�BIW)BD=GIJ�W�GBD=@]NOA=@Jn=N^H;>K�BDWiBI=1}F^Xe�WL?A=)K�PV;A=NOwKIr�pkW MHU[Jn=N^H;AWH?'=S²DYIP[W�OwK ;A¼�OAU[W�?'?>e�WnOA=EK�P[UV|EK�BDWH?

YXK�O>K&�"�� �� &'����9&(���)�*��5FHGI=#^Xe�WtK RT=N;>K�J,W3M K�P[W�OyBD=Fr �3GXK�^XBIW+�������� � UV^a]SO>=NJn=N^H;>K�BDWCBD=

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � � Úi

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 �HÚ �

GIJ�}HW!M�K�PVW�OsBD=FBDU[JnUV^�GIU�r��s?>?AK � GXJnKC�ZW�KbBDUVO>=@d@e�WC=7KCJ�GXBIK�^adNK!BD=9YaK�BDOwe�W � =NRT=S;AGaK�BIKX¯

��������� ������ar É K�OwK�=@?>?>K=N^H;AOwK�BXKI}.WkO>K�JnW(3, 5)

� =S²D=@]NGD;>K�BDWXr�:3GI;AO>W�?b?AGI�DcÎW��IÊ�=S;AU[M�WH??A=NOwe�W�;AW�JLK�BDW�?@}DK ; � FHGI=!Kn?AW�P[GXdNe�Wi?A=�Ê�Ki=N^a]SW�^H;>O>K�BIKIr��J±JbGIUV;AWH?9]NK�?�WH?N}IK�M K�P[UQK�O5K�RTGI^XdNe�W�K�?>?�WD]NU[K�BIK�K�WnO>K�JiWL]NW�^X?AW�Jn=CJbGIUV;AWn;>=NJnYZWL=!=@?�c

RTW�OwdSWar:�UQBD=@K�Ps?A=NO>U[K�JnU[^IUVJnU[|@K�ObW^�ÈIJn=NO>W�BD=lK�M K�PVUQK�dN{H=E?Nr �7W�OA=@P5� � ����� YIO>W�YZ{H=LGI;AU[PVU[|@K�OK�^a��P[U[?A=iBI= �XGI²�WBD=LBIK�BDW�?CBDU[^ ��JiUQ]NK%YXK�O>Kl=@?>]SW�P[`I=@OCFHGXK�P�M�K�OAUQ��M�[email protected]=i=@^H;AOwK�BIK%?�=@O>��]SW�^Dc?AU[BD=@O>K�BIK�YXOAU[Jn=NU[OAWar � =LK%M�K�OAUQ��M�=@P ��������lRTWH?A?A=i=@?>]SW�P[`IUQBIK%=NJ�YIO>U[Ji=@UVO>W�PVGI�HK�OE}1K%?AW�P[GXd@e�W?A=NO>U[K=@^X]SW�^H;AOwK�BIKOwK�YXU[BIK�Jn=N^H;A=�°�^IW�=@^H;>K�^H;>WX}�K�?�M K�O>U[��M�=NUQ?CRTW�OwK�Jm?A=NP[=@]SU[W�^aK�BIK�?b?A=N��GX^XBDWGIJLKn?�=EFHÅI�N^X]NU[KnBIK�BIKIr� K�^a��P[U[?A=iBI= �XGD²DWkBD=�BIK�BDW�?C]SW�^X?AU[BD=@O>K�BD=NzX^IUQdS{�=@?C=LGX?AW�?!BD=nM K�O>UQ��M�=@U[?@r � ]NK�BIK�^I¼

iBDWl��O>K�RTW�BD= �XGI²�W�BD=b]NW�^H;AO>W�P[=b?>e�W�K�?>?AW�]NU[K�BDW�?9Wl]SW�^ Ê�GI^H;AW�BD=bM K�O>UQ��M�=@U[?7BD=SzX^XU[BIK�?9=@J

i=LW]SW�^ Ê�GI^H;AWkBD=nM K�O>UQ��M�=NUQ?tGX?>K�BIK�?C=NJir �7J ^I¼

nj

UV^ �aGI=N^X]NU[KBIUVO>=S;wK�Jn=N^H;A=nGIJ ^I¼nkYZW�O9GIJLKnM K�O>UQ��M�=@P

x}a?A=

xRTW�U�BD=Sza^IU[BXKn=NJ

ni

=!^Xe�Wn=N²�UQ?�;A=!O>=@BD=NzX^IUQdNe�WLBD=x=NJ±^I=N^I`�GIJ

W�GI;AO>W�^I¼¦^IW�]NK�JnU[^I`IW¦BD=jYaK�OwK

kr �9JLK�M K�O>UQ��M�=@P7BD=NzX^IUQBIK�=NJ GIJ ^I¼

lUV^ �XGI=N^a]SUQK

BDU[OA=N;>K�Ji=@^H;A=nGIJ ^X¼k?A=L=NPQK�^Xe�W�RTW�U0BD=SzX^XU[BIK�=@J ^I=@^I`�GIJ W�GD;AO>W�^I¼�^IWk]NK�JnU[^I`IWBD=

jYXK�O>Kkr �7JnK�M K�O>U[��M�=@P'BD=�=@^�;>O>K�BIK

x}0BD=NzX^IUQBIK�^IW�^X¼

n1

U[^ �XGI=@^X]SUQK�GIJ�^I¼nk

?A=�^IW]NK�JnUV^I`XW

(n1, n2, ..., nk)BD=

n1

YaK�OwKnk

}X;AWDBDWH?5W�?#^I¼H?ni

U[^ �XGI=@^X]SUQK�J»BDU[OA=N;>K�Jn=@^�;>=CWL^I¼ni+1

YaW�O9K�P[��GIJLKiM K�O>U[��M�=@Pxi

}XYXK�OwK(1 ≤ i < k)

ry�0?A?>K�?#O>=NPQK�dN{�=@?#?>e�WiOA=@YIO>=@?A=N^H;>K�BIK�?'^�GIJ��OwK RTWnBD=!U[^ �XGI�@^X]SUQK�?!Ë E.UV��GIO>K � �Dr � Ùur

step low high A[1] A[2] ... A[39] ... A[51] ... A[100]

max

influenciadiretamente

2

3

i

1

E.UV��GIO>K � �Ir � � ØtOwK RTWnBD=!UV^ �XGI�N^a]SUQK�?#YXK�O>K�WLYIO>W���OwK�JLK�BIK E¹U[��GXO>K � �Ir �

É K�OwKC;AW�OA^XK�OyW)YIO>WD]S=@?>?AW)BD=7O>=@?AW�P[GXdNe�W!BD=7?AGI�DcÎW��DÊ�=N;AU[M�W�?�JnK�U[?s=Sza]NUV=@^H;A=�}�?>e�W!=@?>]SW�PV`XU[BIK�?YIO>UVJn=@UVO>WLK�?5M K�O>UQ��M�=@U[?5BI=!=N^H;AOwK�BIKnFHGI=)U[^ �XGX=N^X]NU[K�J�KiRTGI^Xd@e�W�K�?A?AWD]SUQK�BIKnK�WnOwK�JnWXr5:3GD;AOwKFHGI=@?�;>e�W%K�?�=@Ot]NW�^X?AUQBD=NOwK�BIK � W%R_K ;>W�OCBD=nOAUQ?>]SWX}ÇBIK�BDWlYZ=NP[W�^IÈIJn=NO>W�BI=�YIO>=@BIU[]@K�BDWH?3FHGI=nKM K�O>U[��M�=@P1UV^ �XGI=N^a]SUQK�^IWl]@K�JnU[^I`IWl]NW�O>OA=N;AWL=S²D=E]SGD;wK�BDWlK�; � W�^XBD=�W�]NW�O>OA=)K�MHU[W�PQK�d@e�W�BDW%?�GI�IcW��IÊ�=S;AU[M�War0�s^�;>OA=iBDGXK�?5M K�O>U[��M�=NUQ?

x1

=x2

FHGI=)U[^ �XGI=@^X]SUQK�J±GIJLKnRTGI^adNe�Wa}aBD=@M�=NcÎ?A=!=@?>]SW�PV`I=@OK�FHGI=@P[K7F�GX=�;A=@JgJn=N^IW�O�R_K�;AW�O.BD=sO>UQ?A]NWX}�YaW�U[?.K7K�;AO>UV�XGIU[d@e�W7BI=sGIJg^IW M�W5M K�P[W�O�K5GIJLK7M K�OAUQ��M�=NPBD=n�XK�U~²DW�R_K�;AW�OCBI=iO>UQ?A]NWlU[JiYXPVUQ]NK�GIJLK%Ji=@^IW�OCYIO>W��aK��IU[PVUQBIK�BD=�BD=nWD]NK�?�U[W�^aK�O7M�U[W�PQK�dN{�=@?3=NJ?AGI�DcÎW��DÊ�=N;AU[M�W�?#K�^�;>=NO>UVW�OA=E?Nr

�9J ]NGIUQBIK�BDW�=@?AYZ=@]SUQK�PyBD=@M�=n?�=@O7;>W�JLK�BIW�]NW�JÆÄ[^XBDUQ]S=@?CBD=nM�=S;AW�OA=E?Nr!×¹OAWD]@K�?3^I=@?>?AK�?7M K�cO>U[��M�=NUQ?LYaWDBD=@O>e�W¦WD]NK�?�U[W�^XK�O�JbGaBIK�^Xd@K�?l^IW¬]NW�^ Ê�GI^H;>W¬BD=�M�K�OAUQ��M�=@U[?lF�GX=�U[^ �XGI=@^X]SUQK�J GIJBIK�BDW�?AGI�DcÎW��DÊ�=N;AU[M�War.×¹WDBIK)M�=N|CF�GX=7GIJLK�M�K�OAUQ��M�=@PaBD=t=N^H;>O>K�BIK)O>=@]N=N�Z=NO'GIJ�M K�P[W�OE}�GIJ�^XW M�W

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú ��� � � ���i

i

i

i

i

i

��� �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

]SW�^ Ê�GI^H;AW�BD=bM K�OAUQ��M�=@U[?9FHGI=�UV^ �XGI=N^a]SUQK�J�]NK�BIK�?AGI�DcÎW��DÊ�=N;AU[M�W�=�}Ç]SW�^a?�=EF�ÅX=N^H;A=@Ji=@^H;A=�}Z^IW M�W�?R_K ;>W�O>=@?#BD=!O>U[?>]SWnBD=@M�=NJ±?�=@O5BD=NO>UVM K�BDW�?@r� ; � ]S^XU[]@KkBDU[^ ��JnUQ]NK�;wK�Jb� � JmYZ=NO>JnU~;>=�;AOwK ;wK�O)=E?�;>OAGI;AGIOwK�?)BI=lBIK�BIW�?bBIUV^ ��JnU[]@K�?@}�;wK�UQ?

]SW�JnW�O>=N��U[?�;AO>W�?s=tK�YaW�^�;wK�BDW�OA=E?Nr � K�BXKb]NK�JnYaWLBDWiOA=@��UQ?�;>OAW);A=NJ�GIJ�^IW�Ji=!BDUQ?�;AU[^�;>W�=CYZWDBD=?A=NO5;>O>K�;>K�BIWn]NW�JnWLGIJLKLM K�O>UQ��M�=@P1?�=@YXK�OwK�BXKIr���^H;>OA=N;>K�^H;>WX}aK�YaW�^H;>K�BIW�O>=@?'OA=@YIO>=@?A=N^H;>K�J�BDGXK�?M K�O>U[��M�=@U[?@¯¹WLK�YaW�^�;wK�BDW�O#=NJ�?AUÀ}X=)K�M K�OAUQ��M�=NP�YXK�OwKiKiFHGXK�PÇ=NP[=)K�YZW�^H;>KXr×�WDBIKn=E?�;>OAGI;AGIOwKnBDUV^ ��JnU[]@KL]SO>U[K�BIKnBDGIOwK�^H;A=!Kn=N²�=E]SGXd@e�WLBDWLYIO>W���O>K�JLK � ;>O>K�;>K�BXKi]NW�JnW

GIJLK�M�K�OAUQ��M�=@PZ?A=NYaK�OwK�BIKXr �«JLK�^H;AUQBIK�GIJLKbP[U[?�;>KnBD=E?A?>K�?0M K�O>U[��M�=NUQ?s]NOAUQK�BIK�?N}DFHGI=C?�=@O>e�WbUQBD=N^Ic;AUVza]@K�BIK�?CYaW�O)^IW�Jn=E?CÈI^IUQ]SW�?@r�:�;AU[YaWkBI=�=@?�;AO>GD;AGXO>K�K�?�=@Ob]SO>UQK�BIK%=@?�;>��^XKBI=@]SPQK�OwK�d@e�W�BDW]SW�JLK�^XBDWar

7W�U[?l;AU[YZW�?�BD=�?AGI�DcÎW��DÊ�=N;AU[M�WH?�?Ae�W�GD;AU[P[UV|EK�BDWH?N¯�W�K�OAUV;AJ � ;>U[]NW¦=�W¬BD=�K�YaW�^�;wK�BDW�O@r,:K�O>UV;AJ � ;>U[]NW � OA=E?�W�PVM�UQBDWk]SW�JnWkBD=@?>]SO>U~;>WkK�^H;A=@OAU[W�O>Jn=N^H;A=�r:�BD=%K�YZW�^H;>K�BDW�Ob?A=NOw��O>=@?AW�P[MHUQBDWGD;>UVP[UV|EK�^XBIW�c ?�=nGIJ J � ;AWDBDWkBI=LYa=E?AFHGIUQ?AK��aK�?A=@K�BIW%=@J K�^a��P[U[?A=�BD= �XGD²DWkBD=�BXK�BDWH?C=�j>Ñ�&8 � �ÒAÑ&�����Í�r� K�^X��PVUQ?�=tBD= �XGD²DW�BD=CBIK�BDW�?'BDU[^ ��JnUQ]NK � GD;>UVP[UV|EK�BIK�YXK�O>K�BD=S;>=NO>JiU[^XK�O'K�?sM K�O>UQ��M�=@U[?0FHGI=

?>e�WlK�YaW�^�;wK�BDW�OA=E?9=�UV^ �aGI=N^X]NU[K�JÆ=@?�;A=i?�GI�Ic�W��DÊ�=S;>UVM�WXr��3e�W%=S²DU[?�;A=i=NJ»GIJ�?AGI�DcÎW��IÊ�=S;AU[M�W%BDW;AU[YZW%K�YZW�^H;wK�BDW�O7GIJLKLRTGX^XdNe�W%Kl?A=NO3JnUV^IU[JnUV|EK�BIKXr � ;>OAU[�IGIUQdS{�=@?3?�UQ?�;>=NJL� ;>U[]@K�?3?Ae�WLRT=NUV;>K�?tx�?M K�O>U[��M�=@U[?�BD=�=N^H;AOwK�BIK�K ; � FHGI=�W�?AGI�DcÎW��IÊ�=S;AU[M�W�?�=�Ê�K�O>=@?AW�P[M�U[BIWXr É K�?>?AK�cÎ?A=�=@^�;we�W�YXK�OwK�WH?YIO>¼�²DU[JiWH?C?�GI�Ic�W��DÊ�=S;>UVM�W�?@r � =LK�P[��GXJ BD=NP[=@?C^ae�W�YIGXBD=@O)?�=@O!?AK�;AUQ?�RT=@U~;>WX}1GIJ jwÑ&� �ÒAÑ&����HÍ �O>=@K�P[U[|@K�BIW�=C^IW M K�?5?AW�P[GXdN{�=@?'YXK�O>K�W�?5?AGI�DcÎW��IÊ�=S;AU[M�WH?#K�^H;A=@OAU[W�O>=@?'?Ae�WiBI=NO>UVM K�BXK�?@r

12.4 Geração com algoritmos genéticos� P[��GX^X?�K�GI;AW�O>=@?�YXOAW�YIGX?A=NOwK�J�W!GX?AW)BD=#; � ]S^XU[]@K�?�BD=3]SW�JnYIGI;>K�d@e�WC=NM�W�P[GD;AU[M KtYXK�OwKtPVUQBIK�O0]SW�JK�?�PVU[JnU~;wK�dN{H=E?¹BXK7K ;>UVM�UQBIK�BI=0BD=0��=NOwK�d@e�W9BD='BIK�BIW�?�BI=s;>=@?�;A=�}�BXK�^XBDW7W�O>UV��=NJºK9GIJLK9^XW M�K7��O>=@KBD=!YZ=@?>FHGIU[?>KL]w`XK�JnK�BIKn×�=E?�;>=)��M�W�P[GX]SU[W�^X��OAU[W�� ���D�u� r � JLK�UVW�OAUQKnBD=@?>?�=E?#;AOwK��aK�P[`IW�?#GD;>UVP[U[|@K�JK�P[��W�OAUV;AJnWH?s��=N^ � ;AUQ]SW�?@r� P[��W�OAUV;AJnW�?9��=N^ � ;AUQ]SWH?5?Ae�WLJ � ;AWDBDWH?9BD=)�XGX?A]@Kn=)W�;>UVJnU[|@K�dNe�WLFHGI=�}aK�YXPVUQ]NK�^XBDWLK�?5UQB � U[K�?

BIK%×�=@W�O>U[K%BIK���M�W�P[GXdNe�W%BD=tK�O �5UV^¦� ���@� � }1?�U[JbGIPQK�J»WH?7YIO>WD]S=E?A?AW�?7^XK ;>GIO>K�U[?tBD=i=NM�W�P[GXdNe�WX°W�?�UV^XBIÄVM�UQBDGIW�?�Ji=@PV`XW�OsK�BIK�YD;wK�BDWH?yBD=9GIJLKCYZW�YIGXP[K�dNe�Wt;>�NJvJnK�UVW�OyYIO>W��XK��IUVP[UQBIK�BD=9BI=9?�W��IOA=NcM�UVM�=NO'=�}DYZW�O#UQ?A?AWX}DBD=CYXK�?A?>K�O#K�WH?0?A=NGX?#BD=E?A]N=N^XBI=N^H;A=E?'?A=NG�JLK ;>=NO>U[K�Pa��=N^ � ;AUQ]SWXr É K�OwK)GI;AU[PVU[|@K�OK�P[��W�OAUV;AJnWH?#��=N^ � ;AUQ]SWH? � ^I=E]S=E?A?>��O>UVWa¯�O>=NYIO>=@?A=N^H;>K�O5WL=@?AYXK�dNW�BD=)�IGa?A]@K�BDW�YIO>W��XPV=@JnKn=�?�GXK�?YZW�?>?�Ä[M�=@U[?9?AW�P[GXdN{H=E?9BD=bRTW�O>JnKL]NW�JnYIGD;wK�]NUVW�^XK�P1=�=N^X]NW�^H;AOwK�O5GXJnKLRTGI^XdNe�WlBD=iK�M�K�PVUQK�d@e�WË ��Zh ���EÙ5FHGI=bBI=@]SUQBIKLW�FHGXe�WL�aWHK � GIJLK�BXK�BIKL?AW�P[GXdNe�WXr9:�K�P[��W�O>UV;AJnWn��=N^ � ;AUQ]SWnRTGX^X]SU[W�^XKlBIK?A=N��GXUV^H;A=bJnK�^I=NU[OwKIr É OAU[Jn=NU[O>K�Jn=N^H;A=�}XGIJLK�YZW�YXGIP[K�dNe�WnBI=�?AW�P[GXdS{�=@?9YXK�OwKnGIJÆBD=S;>=NO>JnUV^XK�BDWYIO>W��IP[=NJLK � ��=@O>K�BIKIr F ^IU[]NU[K�cÎ?A=�}y=@^H;>e�Wa}�GIJ�]SUQ]SP[W�BD=%=NM�W�P[GXdNe�W�FHGI=%?A=lO>=NYZ=S;>=�K�; � FHGI=�K?AW�P[GXdNe�WkBD=@?A=�Ê�K�BIKk?A=�Ê�Kk=@^X]SW�^H;AOwK�BIKX}�W�G¬K ; � FHGI=�GIJ ^�ÈIJn=NO>WkJL� ²DU[JnW�BD=l��=NOwK�dN{H=E?!?�=�Ê�KK�PQ]NK�^XdNK�BDWXr � ]@K�BIKUV;A=@O>K�dNe�W�BD=@?>?A=l]SUQ]SP[WX}y^IW M�W�?!U[^XBDU[M�Ä[BIGIW�?n?>e�Wk��=NOwK�BDWH?!YXK�OwKk]NW�JnYaW�OK^IW M K�YZW�YIGXP[K�dNe�W=lW�YZ=NOwK�BDW�OA=E?C��=N^ � ;AUQ]SWH?C;>K�U[?b]SW�JnW�?A=NP[=@d@e�Wa}�JbGI;>K�d@e�Wa}¹O>=NYIO>WDBDGXd@e�W�=]SO>GI|EK�Jn=N^H;AWn?>e�WLK�YIP[UQ]NK�BIW�?@r

�7KiP[U~;>=NOwK ;AGXO>KX}�J�GIU~;>W�?0;AOwK��aK�P[`IW�?0GD;AU[P[UV|EK�J�K�P[��W�OAUV;AJnWH?���=@^ � ;>U[]NW�?0YXK�OwK)��=NOwK�d@e�WbBD=CBIK�cBDWH?0BD=7;A=E?�;>=�r � JLK�UVW�OAUQK!BD=NP[=@?0M�U[?>Kbxb��=@O>K�dNe�W!BD=CBIK�BDW�?0BD=9;>=@?�;A=tYXK�OwK)]SO>UV; � O>U[W�?��aK�?A=@K�BIW�?=NJ �XGI²�WiBD=C]SW�^H;>OAW�PV=�� � ��� } ���� }<��� � } ���I� } � Ú � } � � � } �H� �H} � Ú � � r � PV��GI^X?'M�U[?>K�J\?>K ;AUQ?�R_K�|N=@O]SO>UV; � O>U[W�?��aK�?A=@K�BIW�?0=NJ �XGD²DWnBD=C]SW�^H;>OAW�PV=9=t=NJ �XGD²DW�BD=CBIK�BDW�?3� ��� } �E� �H} �H�D�S� rs:3GD;>OAWH?�RTW�c

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � ���i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 �HÚ �

]NK�PVU[|@K�JºW3]SO>UV; � O>U[W7K�^X��PVUQ?A=sBD='JbGD;wK�^H;A=E?s� �� } �X� } ��� � � r��s^�;>OA=N;>K�^�;>WX} =E?A?A=@?1;AOwK��XK�PV`IWH?1YZWDBD=NJ?A=NO�]SPQK�?>?AU~za]@K�BDWH?�=NJvBDGXK�?s]NK ;>=N��W�O>U[K�?N}�BD=@Ya=@^XBD=@^XBDWbBIKtRTGX^XdNe�W)BD=9K�M K�P[U[K�dNe�WtGD;>UVP[UV|EK�BIKXr �3KYIO>UVJn=@UVOwK�]NK ;>=N��W�O>U[KX}�KK�M K�P[U[K�dNe�W � O>=@K�PVU[|@K�BIK%]NW�J �XK�?A=L^XK]SW��a=@O�;>GIOwKBD=�]NK�BIKBIK�BIWkBD=;A=E?�;>=�� � ��� } �E� � � r �7K�?�=@��GI^aBIKI}�K!RTGI^adNe�W � =E?�YZ=@]NU~za]@K�BIK�BD=CK�]SW�O>BIW)]SW�J\GIJ�W��DÊ�=S;>UVM�WX}�FHGI=� }D��=NOwK�P[Jn=N^H;A=�}IKi]NW��Z=NOA;AGIOwKiBD=!GIJ�YaK�OA;AUQ]SGIPQK�O#=NP[=NJn=@^�;>W�� ����� } ���D�u� r

12.4.1 Função de avaliação baseada na cober tura�7K�JnK�UVW�OAUQKLBDWH?5;AOwK��aK�P[`IW�?5BD=E?A?>K�]@K ;A=@��W�OAUQK�� ��� � } � Ú � } �E� � � WH?9U[^XBDU[M�Ä[BDGXW�?9^aKLYaW�YIGIPQK�d@e�W]SWDBDUVza]@K�J M K�PVW�OA=E?CYaWH?A?AÄVM�=NUQ?!YXK�O>K�K�?)M�K�OAUQ��M�=@U[?CBD=l=N^H;AOwK�BIKBIWYIOAW���OwK�JLK%=NJ ;A=@?�;A=�r �7W;AOwK��aK�P[`IWiBI= EX=NO>OA=@UVOwK�= � =@OA��UVP[U[W%� �E� � � }DWH?#UV^aBDUVM�ÄQBDGIWH?5?Ae�W�O>=NYIO>=@?A=N^H;wK�BDWH?sYZW�O5GIJLKn]SW�^X]NK�c;A=@^XK�d@e�WbBI=3�IP[WD]SWH?N°�]NK�BIK)�IP[WD]SW�=@?�;>�bK�?A?AWD]SUQK�BDW)KbGIJLKbM K�OAUQ��M�=@PXBD=t=N^H;AOwK�BIKbBDWbYIO>W���O>K�JLKIr:,RTW�O>JLK ;>W%BDW%�IPVWD]NWlM K�O>U[KlBD=iK�]SW�O>BDW%]SW�J»Wl;AU[YaW�BIK%M�K�OAUQ��M�=@P1=nBDU~RT=@OA=@^H;A=@?7;AU[YZW�?CBD=bM K�cP[W�O>=@?0YaWDBD=@J�?A=NO#��=@O>K�BDW�?@r��7JnKiYZW�YIGXP[K�dNe�W�UV^XU[]NU[K�P � ��=NOwK�P[Jn=N^H;A=3��=NOwK�BXKbK�P[=@K�;AW�OAUQK�Jn=N^H;>=�}JLK�?C;wK�J�� � J YZWDBD=%?A=NO!RTW�OA^X=@]SUQBIK�YZ=NP[W;A=E?�;wK�BDW�O@}.FHGI=�YZW�BI=NOw��GD;AU[PVU[|@K�ObGIJm]SW�^ Ê�GI^H;AW�BD=;A=E?�;>=n=S²DU[?�;A=@^H;A=�r � RTGI^Xd@e�WBD=LK�M K�P[U[K�dNe�W%GD;AU[P[UV|EK�BIK � BIK�BXKlYZ=NPQK�]SW��Z=NOA;AGXO>K�BDW�]SO>U~; � O>UVW�K?A=NO0?>K ;>U[?�RT=NUV;AW�=7YZ=NP[W�]NW�^ Ê�GI^H;>W�BD=3=NP[=NJn=N^H;AWH?0]NW��Z=NOA;AWH?�YZW�O#]NK�BXK!UV^aBDUVM�ÄQBDGIW�^XK)YZW�YIGXP[K�dNe�War�s?>?�=t]SW�^ Ê�GI^H;AW)YZWDBD=C?�=@OsO>=NYIO>=@?A=N^H;>K�BDW!YZW�OsGXJnKbJLK ;AO>U[|9;>K�PZ]NW�JnWbK)BXK E.UV��GIOwK � �Ir � }�W�^aBD=W�M�K�PVW�OnoÆOA=@YIOA=E?�=@^H;>K�FHGI=�W�UV^aBDUVM�ÄQBDGIW

i]NW��IO>=%W�=@PV=@Ji=@^H;AW�OA=EF�GX=NO>U[BDW

jr�:3YZ=NOwK�BIW�O>=@?

��=@^ � ;>U[]NW�?3?Ae�WlK�YIP[UQ]NK�BIW�?7K�; � F�GX=�K�]NW��Z=NOA;AGIOwK�BD=E?�=�Ê�K�BIK%?�=�Ê�KLW��D;>U[BXK�W�G�F�GX=bGIJÆ^�ÈIJn=NO>W=@?�;AU[YIGIPQK�BIWnBI=!��=NOwK�dN{�=@?'?�=�Ê�KiK�P[]@K�^Xd@K�BDWar

X XXX X XX

X

XX

X

X X

__ _

_ _ _ __ __

_ _

_

___

XIndividuos

Elementos Requeridos

(Casos de Teste)

E.U[��GIOwK � �Dr ��� p�K ;AO>U[| �9;AU[PVU[|@K�BIKiYXK�OwKiK�M�K�PVUQK�O#WH?#UV^XBIUVM�ÄQBDGIW�?

É K�OwK�FHGI=LGXJ Jn=NP[`IW�O!OA=E?�GIPV;>K�BDW?�=�Ê�K�K�PQ]NK�^adNK�BIW�]NW�J�=E?A?A=n;AU[YZWkBD=nRTGI^Xd@e�WX}�; � ]S^IUQ]NK�?BD=L`IU[�IO>U[BIUV|EK�dNe�W�;>K�UQ?)]NW�JnWWGX?AW�BI=�PVUQ?�;>K�? ÎÑ�jSÏ�=�=@PVUV;AUQ?�JnWYZWDBD=NJm?�=@O!GD;AU[P[UV|EK�BIK�?!YXK�OwK��K�O>K�^H;AU[O7FHGI=bK�P[��GX^X?9U[^XBDU[M�Ä[BDGXW�?tF�GX=�]SW��IO>=NJ±YaW�GX]SWH?9=NP[=NJn=@^�;>W�?7OA=EF�GX=NO>U[BDWH?7?A=�Ê�K�J�JLK�^Ic;AUQBDWH?s^XK�YZW�YIGIPQK�d@e�Wa}�BD=E?ABD=CFHGI=7=@PV=E?#]SW�^H;>OAU[�IGXK�J�YXK�O>K)GIJ�K�GIJn=@^�;>W�BIKi]SW��a=@O�;>GIOwK!��P[W��XK�PBDWL]SO>UV; � O>U[W�� �E� � � r

12.4.2 Função de avaliação orientada a um objetiv o�9=E?A?>K�]NK�;A=N��W�O>U[K�W�?i;>O>K��XK�P[`IW�?n]NW�^X?AU[BI=NOwK�J�K�=S²D=E]SGXd@e�W�BDUV^ ��JnU[]@K�BD=YIO>W���OwK�JLK�?b=�GIJW��IÊ�=S;AU[M�WCFHGI=5W�O>U[=N^H;>KtK3RTGI^XdNe�W!BD=5K�M�K�PVUQK�d@e�Wa}�F�GX= � W!BD=5=N²�=E]SGD;wK�O�GIJ�YXK�OA;AUQ]SGIPQK�Oy]@K�JnUV^X`IWBDWnYIO>W���O>K�JnKbYXK�OwKi]SW��XOAU[O5=NP[=NJn=N^H;>W�?#O>=@FHGI=NO>UQBDW�?0YaW�O5GIJ�BXK�BDWL]SO>UV; � O>U[WXr

�7K�K��ZW�OwBIK���=NJ±OA=@P[K�;>K�BIK�YZW�OCpUQ]w`XK�=@P.=N;CK�PÀr�� ��H�@� =E?A?A=iW��DÊ�=N;AU[M�WX}ZYZW�O!?�GaK�M�=@|�}ÇYZWDBD=?A=NObBDU[M�U[BIU[BDW�=NJm?�GI�Ic�W��DÊ�=S;>UVM�W�?CO>=NPQK�]SU[W�^aK�BDWH?tx�?AK�;AUQ?�R_K�dNe�WBDWH?!YIO>=@BDUQ]NK�BDW�?bK�?>?�WD]SUQK�BIW�?CK]NK�BIKtK�O>=@?�;>KtF�GX=#]NW�JnYZ{H=5W!]@K�JnUV^X`IW3YXOA=N;A=N^aBDU[BIWXr�:�K�P[��W�OAUV;AJnWt��=@^ � ;>U[]NW � GD;>UVP[U[|@K�BIWC]NW�JnW

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � ��i

i

i

i

i

i

��Ú � �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

GIJLKt; � ]S^IUQ]NKCBD=5JnU[^IU[JiU[|@K�dNe�WCBI=#RTGI^XdS{�=E?9Ë � =@O � =@d@e�W � �Ir � Ùur��7J�U[^XBDU[M�Ä[BIGIW!^XKtYaW�YIGIPQK�d@e�WO>=NYIO>=@?A=N^H;>K�GIJ±BIK�BDWLBD=t;>=@?�;A=�r � GXKiRTGI^Xd@e�WLBD=)K�M K�P[U[K�dNe�W � ]NK�P[]NGIP[K�BIKiM�=@OAUVza]NK�^XBDWiWLF�Gae�W�Z=NJ�WnYIO>=@BIU[]@K�BDW � ?AK�;AUQ?�RT=@U~;>WXr��J W�GD;AO>W%;AOwK��XK�PV`IWa} �'GI=N^IW�= ��U[^IW�� ����� GD;>UVP[U[|@K�J GIJLKlRTGX^XdNe�W�BD=LK�M K�P[UQK�dNe�W%FHGI=LBDU[|

W�F�GaK�^H;AW%W%]NK�JnUV^I`XW%=N²�=E]SGD;wK�BDW%Ya=@PVW�U[^XBDU[MHÄQBDGIW�=@?�;>�lYIO>¼�²�U[JnW%BDW�]NK�JnUV^I`XWlYIO>=S;>=N^XBDUQBDWar�9JLK5Jn=EBDU[BXK9BDW9^�ÈIJn=NO>W7BD=s^I¼�?�YIOA=E?�=@^H;A=@?1=NJºK�Jb�ZW�?�W�?1]@K�JnU[^I`IW�? � ]NK�P[]NGIPQK�BIK#=�GI;AU[PVU[|@K�BIKYZ=NPQKbRTGX^XdNe�W�BD=!K�M�K�PVUQK�d@e�War

12.5 Geração de dados sensíveis a defeitos� ?!; � ]N^IUQ]NK�?!BI=L��=NOwK�d@e�W�BD=�BIK�BIW�?C?�=@^X?AÄVM�=NUQ?!K�BI=SRT=NUV;AWH?!YIO>WD]SGIOwK�J�?A=NP[=@]NUVW�^XK�OCYZW�^H;AWH?!BDWBDW�JiÄ[^IU[W�FHGI=�=E?�;we�WkO>=NPQK�]NUVW�^XK�BDWH?!Kk]S=@O�;>W�?C;>UVYZW�?iBD=�BD=SRT=@U~;>W�?)=%W�RT=@OA=E]S=NJ =@?�;AOwK ; � ��UQK�?bBD=��=@O>K�dNe�W�BD=�BIK�BDWH?nBD=�;A=@?�;A=�FHGI=�;A=@O>e�W�K�PV;>K�YIO>W��XK��IU[PVUQBIK�BI=%BD=�O>=NM�=@P[��c�P[W�?@r��s?>?AK�?�=E?�;>O>K�c; � ��UQK�?7RTW�OwK�JÆU[^IUQ]SUQK�P[Ji=@^H;A=nBD=SzX^XU[BIK�?CBD=�GXJnK%JLK�^I=@UVOwK­Ñ�� � ( �@&Sr É W�?�;A=NO>U[W�O>Ji=@^H;A=�}ZRTW�O>K�JBD=NzX^IUQBIK�?CYXK�O>K%?�=@OA=@J�GD;>UVP[UV|EK�BIK�?C]SW�J BD=S;>=NO>JiU[^XK�BDW�?C]SO>UV; � O>U[W�?tBD=i;A=@?�;A=�ripkGIU~;wK�?CYZWDBD=NJ?A=NOsGI;AU[PVU[|@K�BIK�?0]SW�^�Ê�GI^H;>K�Jn=@^�;>=3]NW�J\K!=S²D=@]NGXdNe�Wb?AUVJ��a¼�PVUQ]NK!=7W�RT=NO>=@]N=NJ\]SO>U~; � O>UVWH?�YXK�O>K!K)=@?�c]SW�PV`aK�BDWH?'M�K�PVW�OA=E?0FHGI=!?>K ;>U[?�R_K�|@=NJ�Ki]SW�^aBDU[d@e�WnBDWn]NK�JnU[^I`IWar � ?#YIO>UV^X]NUVYaK�UQ?0=E?�;>O>K�; � ��UQK�?'BD=��=@O>K�dNe�W�BD=)BIK�BDW�?#BD=C;>=@?�;A=)?A=N^X?AÄ[M�=NUQ?#KnBD=SRT=@U~;>W�?9?>e�WnK�YIO>=@?A=N^H;wK�BIK�?s^XK�?#YIO>¼�²�U[JLK�?#?A=@dS{�=E?Nr

12.5.1 Teste de domínios� ; � ]N^IU[]@K¦]w`XK�JnK�BIK�;A=E?�;>=�BD=�BDW�JnÄ[^IUVWH?LRTW�U3W�OAU[��U[^XK�P[Jn=N^H;A=kBI=@?A=N^�M�W�PVM�UQBIK�YaW�O ��`IUV;A=�=� W�`X=N^�� ������ }1]SW�JÆW�YIO>W�YZ¼�?AU~;>W%BD=L?A=NP[=@]NUVW�^XK�OCBIK�BIW�?tBD=i;A=@?�;A=iYXK�O>KlGIJ ]SW�^ Ê�GI^H;AW�BD=L]NK�cJnUV^X`IW�?3BD=)YIO>W���O>K�JnK�?N}DJLK�?5WL;A=E?�;>=bBD=iBDW�JnÄ[^IUVWH?5^Xe�WL=@?AYa=E]SUVza]NK�]NW�JnWLW�?3]NK�JiU[^I`IWH?9?>e�W?A=NP[=@]SU[W�^aK�BDWH?Nr �9=@?>?A=3?A=N^H;AUQBDWX}H=NPQKbBI=NM�=3?�=@O0GX?>K�BXK)]SW�^ Ê�GI^H;>K�Ji=@^H;A=3]NW�J�]SO>UV; � O>U[W�?��aK�?A=@K�BIW�?=NJ±]NK�JiU[^I`IWH?CËT=@?�;AO>GD;>GIO>K�U[?wÙur:vW��IÊ�=S;AU[M�W � BD=N;A=E]u;>K�O3=@OAO>W�?3BD=�BIW�JnÄV^XUVWa}ZW�G�?A=�Ê�KX}Z=@OAO>W�?7F�GX=iK�;AO>UV�IGX=NJ»GIJ�BDW�JiÄ[^IU[W

U[^X]SW�OAO>=S;>W¬K¦GXJ BIK�BIW�]@K�JnUV^X`IWX}t?�=@PV=E]SU[W�^XK�^XBDW¬BXK�BDWH?%BD=�;>=@?�;A=�^IW¬P[U[JiUV;A=�BDW«BDW�JiÄ[^IU[WBDW�]NK�JiU[^I`IW�W�G�YIO>¼�²DU[JiWH?�BI=NP[=�r��0?�;>= � W�RTGI^XBIK�Ji=@^H;AW�BIK�; � ]N^IUQ]NK�BD=%;A=@?�;A=�RTGI^a]SU[W�^XK�P]SW�^I`I=E]SUQBIK7]NW�JnW7K�^a��P[U[?A=0BDW3M K�P[W�O.PVU[JnU~;>=tË � K�YIÄV;AGIP[W!��Ùu}�FHGI='BDU[|'FHGI=0GIJg��OwK�^XBI=s^IÈIJn=@OAWtBD==NO>O>W�?y;>=N^XBI=CKi?A=t]NW�^X]N=N^H;AOwK�O'=NJ�P[UVJnUV;A=E?5BIK�BDWH?sYZ=NPQK�?#]NW�^XBDUQdS{�=@?0=S²DUQ?�;>=N^H;A=E?0^XW�YIO>W���O>K�JLKIr

� P[K�O ��=�} � K�?A?A=NP.=LÖ5UQ]w`XK�OwBI?AW�^�� ��� � }1�Z=NJ�]SW�JnW � `IW�G�=7G¬� ��� � BD=E?A]NOA=@M�=NOwK�J»K�P[��GX^X?YIO>W��IP[=NJLK�?)=N^a]SW�^H;>O>K�BDW�?)K�W�?A=%K�YIPVUQ]NK�O�Kk; � ]N^IUQ]NK�YIOAW�YaWH?�;wKYZW�O���`IU~;>=%= � W�`I=@^�=%YIOAW�cYIGX?A=NOwK�J»K�PV;A=@OA^aK ;AU[M K�?@r � =@UVP.=S;CK ;�� � Ú ��� YIOAW�YIGX?A=NOwK�J�GIJLK�=S²�;>=N^X?>e�W�YaK�OwK�BD=S;>=@]S;>K�Ot=NO>O>W�?P[UV^I=EK�O>=@?'=NJ�RTGI^XdN{H=E?9BD=CYIO>=@BDUQ]NK�BDW�?'^Xe�WnPVU[^I=@K�OA=E?NrÉ O>UVJn=NU[OwK�Jn=N^H;A=t?�=@O>��BIK�BXK)GIJ�BD=E?A]NOAUQdNe�W)BIKb;A=NO>JnUV^XW�P[W���UQK!=tBIK�?'?�GXYaWH?�UQdS{�=@?'K�BDW�;>K�BXK�?

YZW�O ��`IUV;A=5= � W�`I=@^%� ������ YXK�O>KtBD=Sza^IUVO�K7; � ]S^IUQ]NKXr � ; � ]S^XU[]@K3W�OAU[��U[^XK�P � =@^�;we�WCK�YIO>=@?A=N^H;wK�BIK=CYaWH?A?AÄ[M�=NUQ?#=S²�;>=N^X?A{�=@?5?>e�WiJi=@^X]SU[W�^aK�BIK�?Nr

� ¡�µ ¥¦¶À§¹©Z�_© �Z¶_��·��I @¶ ���

� ; � ]S^XU[]@K5K�^XK�PVUQ?AK#WH?ÇP[UVJnUV;A=@?¹BDW9BDW�JiÄ[^IU[W9BD=�GIJº]NK�JnUV^I`XW5YXK�OwK#��=@O>K�OZWH?�BIK�BDW�?ÇBI=y;A=E?�;>=sFHGI=Wn=S²D=@]NGD;>K�J�r0:�BDW�JnÄV^IU[WLBDW�]NK�JnUV^I`XW � BI=SzX^IUQBDW�]NW�JnWnWn]NW�^ Ê�GX^�;>WLBD=)BIK�BIW�?5BD=!=@^�;>O>K�BIKFHGI=9?>K ;AUQ?�R_K�|N=@J,K � ]SW�^aBDU[d@e�W!BDW)]@K�JnUV^X`IW �ur�:t?yP[U[JiUV;A=E?�BDW)BDW�JnÄV^IU[W)BDW)]@K�JnUV^X`IW)?Ae�W!BIK�BDWH?

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � �I�i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 �HÚ �

YZ=NPQK�?l]NW�^XBIU[dN{�=@?lK�?>?�WD]SUQK�BXK�?Lx�?%K�O>=@?�;>K�?LF�GX=�]SW�JiYZ{�=NJ W�]@K�JnUV^X`IWXr � ]@K�BIK�]NW�^XBIU[d@e�W]SW�OAO>=@?AYZW�^XBD=tGIJ�YIOA=EBDUQ]NK�BIWiFHGI= � GIJLKn]SW�Jb�IU[^XK�d@e�WiPV¼���UQ]NKiBD=!=S²DYIO>=@?>?A{�=@?0O>=NPQK�]SU[W�^aK�UQ?Nr

��`IUV;A=�= � W�`I=@^�K�?>?�GXJi=@J�FHGI=%WH?iYIOA=EBDUQ]NK�BIW�?)=@^X]SW�^H;AOwK�BDWH?b?>e�W�?�U[JnYIPV=E?Nr�F ^H;>=NO>YIOA=Nc;>K�dS{�=@?�BD=lYXOA=EBDU[]@K�BDWH?!=NJ ]NW�^XBDUQdS{�=E?bBD=�]NK�JnU[^I`IWH?bBD=N;A=NO>JnUV^aK�J W�?�PVU[JnU~;>=@?iBDW�BDW�JiÄ[^IU[WBDW�]NK�JnU[^I`IW�BXK�BDWH?)YZW�ObGXJnK��aW�O>BXKIr � K�BIKk�ZW�OwBIKYZWDBD=NOw�k?A=NO�K��a=@O�;wKW�G¦RT=@]w`XK�BIKI}yBD=NcYZ=N^XBD=@^XBDWlBIW�W�YZ=NOwK�BDW�O5OA=@P[K�]SU[W�^XK�P1BDW�YIO>=@BIU[]@K�BDW�K�?A?AWD]SUQK�BDWË_K��a=@O�;wKI¯

>, <, 6==!RT=@]w`aK�BIKX¯

≤,≥, =Ùur

:�^XÈIJn=NO>WCBI='YXOA=EBDU[]@K�BDWH?.^IW)]NK�JiU[^I`IW � GIJ�PVU[JnU~;wK�^H;A=9?AGIYZ=NO>UVW�O�BIWt^XÈIJn=NO>WCBI=5�aW�O>BIK�?BDW�BDW�JnÄ[^IUVWa}5GIJLK¦M�=N|�FHGI=�K�P[��GI^a?�YIO>=@BDUQ]NK�BDW�?l^Xe�W�^I=@]N=@?>?AK�OAUQK�Jn=N^H;>=k]SW�O>O>=@?AYaW�^XBD=NJ KGIJLKn�ZW�OwBIKIr ��WL]NK�?�WLBD=!U[^H;A=@OAYIO>=S;wK�dN{�=@?#BD=!YXOA=EBDU[]@K�BDWH?#UV^aBD=NYZ=N^XBI=N^H;A=E?9BIK�?9M�K�OAUQ��M�=NUQ?#BD==N^H;>O>K�BIKb=!YXOA=EBDU[]@K�BDWH?'OA=EBDGI^XBIK�^H;A=@?@r� RTW�O>JnK���=@O>K�P0BD=�GIJLKkU[^H;A=@OAYIO>=S;wK�d@e�W�BD=�GIJ�YXOA=EBDU[]@K�BDW�PVU[^I=EK�On?�U[JnYIPV=E? � ¯

a1x1 +a2x2 + ... + anxn rop k

}�W�^aBD=rop

� GIJ W�YZ=NOwK�BDW�O9OA=@P[K�]SU[W�^XK�PÀ}�]NK�BIKxi

� GIJLKlM K�OAUQ��M�=NPBD=)=@^H;AOwK�BIKn=b]@K�BIK

ai

=k?>e�W�]SW�^X?�;>K�^H;>=@?@r � �aW�O>BXKLBDWlBDW�JiÄ[^IU[W � BIK�BIKLYZ=NPQKLU[��GXK�P[BIK�BD=

a1x1 + a2x2 + ... + anxn = kr

� =)K�?#U[^H;A=@OAYIO>=S;wK�dN{�=@?#BD=CYIO>=@BIU[]@K�BDWH?'RTW�O>=NJ�P[UV^X=@K�O>=@?@}�W�?#P[UVJnUV;A=E?9?Ae�Wn�aW�O>BIK�?'PVU[^I=@K�OA=E?#=YZW�BI=NJ�?A=NO9BI=3;>OA�E?#;AU[YZW�?#�X��?�UQ]SWH?N¯�U[��GXK�P[BIK�BD=�}�U[^I=@FHGXK�dS{�=@?'=)BD=@?AU[��GXK�P[BIK�BD=@?@rÉ K�OwKCGIJLK)]SW�^XBDUQdNe�W)BI=7]NK�JiU[^I`IW�]SW�JnYZW�?�;>K!BD=7UV^H;A=@OAYXOA=N;>K�dN{�=@?�P[UV^I=EK�O>=@?�FHGI=3?Ae�W!UV��GXK�PVc

BIK�BD=@?@}�W�GiU[^I=@FHGXK�dS{�=@?@} W)BDW�JnÄ[^IU[WCBIWC]@K�JnU[^I`IW � BIK�BDWCYZW�OyGIJ�YaW�PVU[=@BIOAWC]SW�^HM�=S²DWXr � =5GIJLKW�G�JnK�U[?tBD=E?�U[��GXK�P[BXK�BD=E?5=@?�;AU[M�=@OA=@J±YXOA=E?�=@^�;>=@?@}aW%BDW�JnÄ[^IUVW�BDW%]@K�JnU[^I`IW%]NW�^X?AUQ?�;>=bBIK�GX^IU[e�WBD=!GIJ�]SW�^�Ê�GI^H;AW�BD=CYZW�P[UV=EBDOAWH?5]SW�^HM�=S²DW�?'BDUQ?TÊ�GX^�;>W�?@r

��¸ ,s©Z E¶_¿�ÁZ¡�  ,��Dµ ��¹¡���§¹¶_µ�©�¨@¡� @¨@¡Â.¡k¹©Z¥��À§¹¶À©a 

� ; � ]S^IUQ]NK�BD=�;>=@?�;A=kBD=kBIW�JnÄV^XUVWH?n=@?�;>���XK�?A=@K�BIK�^XK�K�^X��PVUQ?A=���=NW�J � ;AO>U[]@K�BIW�?nP[UVJnUV;A=@?lBDWBDW�JiÄ[^IU[WXr.×�=@Jº]NW�JnW9W��DÊ�=S;>UVM�W7BD=S;>=@]S;>K�O.=NO>O>W�?Ç^XK�?��ZW�OwBIK�?N}�BIK�BIW�?1YZW�O.YZ=@FHGI=N^aK�?.BDU~RT=@OA=@^XdNK�?=N^H;>OA=)Kn�ZW�OwBIKL]SW�OAO>=S;wKi=)Kn�aW�O>BIKLBIWLYIOAW���OwK�JLK�=NJ�;A=@?�;A=%ËT�ZW�OwBIKLBIK�BXK�Ùu}X=NJb�ZW�OwKnWn;A=E?�;>=BD=)BDW�JnÄV^IU[W�?'^Xe�Wn=S²DU Ê�KLFHGI=!?A=t;A=N^X`XKL]SW�^I`I=@]NUVJn=@^�;>WL?�W��IOA=tWnYIO>W���OwK�JLK�]SW�O>O>=S;AWar

��`IUV;A=�= � W�`I=@^g� � �E� BD=Sza^IUVOwK�J K�; � ]S^XU[]@K�YXK�OwK�YIO>W���O>K�JnK�?nF�GX=k^Xe�W�OA=NRT=NO>=N^X]NU[K�JK�YZW�^H;wK�BDW�OA=E?N}�M�=S;>W�O>=@?yW�GLJnK�;AO>UV|@=@?y=tFHGI=9^Xe�W)YaWH?A?AGI=@Jv]w`XK�JLK�BIK�?�BD=9YIO>WD]S=EBDUVJn=@^�;>W)= � W�GRTGI^XdN{�=E?Nr � P � J±BDUQ?A?AWX}DYXK�O>Kn?AUVJnYIP[UVza]NK�O@}IK�?'?A=N��GIU[^�;>=@?5?AGIYZW�?AU[dN{�=@?0RTW�O>K�J�RT=NUV;>K�?N¯

•]NW�O>OA=EdNe�W�]SW�UV^a]SUQBD=N^H;A=C^Xe�WnW�]NW�O>OA=�°

•=@OAO>WLBD=!]NK�JiU[^I`IWLK�GX?�=@^H;A=C^Xe�WnWD]SW�OAO>=tYXK�OwKbWL]@K�JnUV^X`IWn=NJ�;>=@?�;A=�°

•]@K�BIKk�aW�O>BIK]NW�O>OA=E?�YZW�^aBD=LKGIJmYIO>=@BDUQ]NK�BDWk?�U[JnYIP[=@?lËÀK�FHGI=@PV=lFHGI=%]SW�^H; � J ?AW�Jn=@^�;>=W�Ya=@O>K�BDW�O>=@?'O>=NPQK�]NUVW�^XK�UQ?>ÙS°

•BIW�JnÄV^XUVWH?5K�B�Ê�K�]S=N^H;>=@?5]SW�JnYIGD;>K�J�RTGI^XdN{�=E?9BDUVRT=NO>=N^H;A=E?N°

•Kn�ZW�OwBIKiBIK�BXK � P[U[^I=@K�O5=�}I?A=t=E?�;>UVM�=NO5U[^X]SW�OAO>=S;wKI}DKi�aW�O>BXKi]NW�O>OA=N;>Kb;>K�Jb� � J � PVU[^I=EK�OE°

•WL=E?�YaK�dSWnBD=!=@^�;>O>K�BIK � ]NW�^H;AÄ[^�GIWXr

� ; � ]S^IUQ]NKnBD=C;>=@?�;A=!BD=)BDW�JiÄ[^IU[W�?5?A=NP[=@]NUVW�^XK�BIW�UQ?';AU[YaWH?5BD=!YaW�^H;AW�?5BI=3;>=@?�;A=�r É W�^H;AW�? ��YZ=NOA;A=N^a]S=NJvxt�aW�O>BIKCBIK�BIKt=5YaW�^H;AW�? � ��za]NK�J�KtGIJLK!BDUQ?�;���^X]NU[K

ε}�JbGXU~;>W!Ya=EF�GX=N^XKt=9BD=@M�=NJ

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � �i

i

i

i

i

i

��Ú �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

YZ=NOA;A=N^a]S=NO!K�W�BDW�JnÄV^IU[W�F�GX=i^ae�W�]SW�^H; � J�K��aW�O>BXKIr � =LK��ZW�OwBIK � RT=@]w`aK�BIKX}ÇW�?CYZW�^H;AWH? ��YZ=NOA;A=N^a]S=NJ»K�WLBDW�JnÄV^IU[W�BDW�]@K�JnUV^X`IW�FHGI=)=@?�;>�L?A=N^aBDWn;A=E?�;wK�BDWL=!WH?5YaW�^H;AW�?�� �«YZ=NOA;A=N^a]S=NJK�K�P[��GIJ BDW�JnÄ[^IU[W�K�B�Ê�K�]N=N^H;A=�r � =�K��ZW�OwBIK � K��Z=NOA;>KI}�W�?!YZW�^H;AWH? ��YZ=NOA;A=@^X]S=@J K�K�P[��GIJBDW�JiÄ[^IU[WLK�B�Ê�K�]S=N^H;>=�}D=N^aF�GaK�^H;AWnW�?#YZW�^H;>W�? � �¬YZ=NOA;A=N^a]S=NJ±K�WLBDW�JiÄ[^IU[Wn=NJ�;>=@?�;A=�r

´ ¨�� ��§.¶���������¢

É K�OwK�YIO>W���O>K�JLK�?9]NW�JÆU[^�;>=NO>YIO>=S;>K�dS{�=@?3BD=nYIO>=@BDUQ]NK�BDW�?3F�GX=�O>=@?AGIPV;>K�JÆ=@JÆUV^X=@FHGXK�dN{�=@?t?�U[JicYIP[=@?�=lP[UV^X=@K�O>=@?b]SW�JmO>=NPQK�d@e�Wkx�?bM K�O>U[��M�=NUQ?)BD=l=@^H;AOwK�BIKBDW�YIO>W���OwK�JLKX}�W�BIW�JnÄV^XUVW�BI=lGIJ]NK�JnUV^I`XW%?A=NOw�nGIJÆYaW�PVU[=@BIOAWl]NW�^�M�=N²DWlBD=�BIUVJn=N^a?Ae�W

N}�W�^XBI=

N� Wl^�ÈIJn=NO>WlBD=�=N^H;AOwK�BIK�?

BDW�YXOAW���OwK�JLKIr#��JNBDU[Jn=N^X?A{�=@?3]NK�BXKL�aW�O>BXK � BIK�BIKLYZW�O7GXJ±`XUVYZ=NO>YIPQK�^IWl]NW�J

(N − 1)BDU[Jn=N^X?A{�=@?@r É K�OwKb;>=@?�;>K�O9Kn�aW�O>BIKnBIK�BIKI}DGI;AU[PVU[|@K�cÎ?A=)KiYIOAW�YIO>UV=EBIK�BD=!BD=)FHGI=!GXJ�`IU[Ya=@OAYXP[K�^IW]SW�J

(N − 1)BIUVJn=N^a?�{�=@? � BIK�BIWkYaW�O

NYZW�^H;AWH?!PVU[^I=EK�O>Ji=@^H;A=�U[^XBD=@Ya=@^XBD=N^H;>=@?@r É W�ObUQ?A?AW

��`IUV;A=n= � W�`I=@^�YIO>W�YXGX?�=@O>K�J±FHGI=L?A=�Ê�K�JÆ=@?>]SW�P[`IUQBDW�?NYZW�^H;>W�? ���=iGIJ�YZW�^H;AW � �<YXK�OwK

]NK�BIK��aW�O>BXKBDWkBDW�JnÄ[^IU[WkBDWk]NK�JiU[^I`IWar É W�O)?A=NP[=@]NUVW�^XK�ONYZW�^H;AWH? ��=lGIJ YZW�^H;AW � �gK

; � ]S^IUQ]NK � ]w`XK�JLK�BIKiBD=C; � ]S^IUQ]NKNX1

r�9W¬;A=E?�;>=�=@J BDGXK�?%BDU[Jn=N^X?A{�=E?N}3YIO>W���OwK�JLK�?�]SW�J­BDGXK�?%M K�O>U[��M�=@U[?%BD=�=N^H;AOwK�BIKX}7]NK�BIK

�ZW�OwBIK�BDW�BDW�JnÄ[^IU[W%BDW�]NK�JnU[^I`IW � GIJ�?A=N��Ji=@^H;AWlBD=�OA=N;>K%BD=S;>=NO>JiU[^XK�BDWlYZW�OCBDW�UQ?9YZW�^H;>W�?@rÉ W�O5UQ?A?AWX}D?>e�WL?A=NP[=@]SU[W�^aK�BDWH?0BDW�U[?9YaW�^�;>W�? ��L=!GXJ�YZW�^H;AW � �9ry�s?�;wKi; � ]S^IUQ]NK � O>=SRT=NO>=N^a]SUQK�BIK]SW�JnW�; � ]N^IU[]@K

2X1r

� E.U[��GIOwK � �Ir K�YIOA=E?�=@^H;>KCWbBDW�JnÄV^IU[W)BD=3=N^H;AOwK�BIKCYaK�OwKCWb]NK�JiU[^I`IW(1, 2, 3, 4, 3, 5, 6)

BDWÉ O>W���O>K�JnK � �Dr Ú�} � YXPVUQ]NK�^XBDW�c ?A=�KL; � ]N^IU[]@K

2X1^XKl�aW�O>BIK%FHGI=�]NW�O>OA=E?�YZW�^XBI=bK�W%ÈIP~;>UVJnW � �

BDW�YIO>W���O>K�JnKX}P = (0, 1.001)

=Q = (1, 1.001)

YZW�BI=NO>U[K�J ?�=@O!=@?>]SW�PV`IUQBDWH?t]NW�JnW�YaW�^H;AW�?��L=

V = (0.5, 1.001 + ε)}DW�^XBD=

ε� WnJn=N^IW�O5M K�P[W�O#YaWH?A?AÄ[M�=NP�}I]SW�JnW�YZW�^H;AW � �5r

���� ��������� Z ���� J �#F % *\�/F [R � S % *�+@F �R � S"% ,� ' () F [R � S % F�+ .�01 �#9 �-*3] � 7 (D .3` , Y�*�0I F3` � 0P L�� � S"% �-. ��F� T F ` F � � 0�XV �#9 �-*��"` F� �/� �[9 �-,�� � �C�-���� � F� �X' ���"��X) _� 1 _

Q

VP

y−x<=1x<=1

y−x>0

y<=1.001

x>=0

2

1

on on1 2

off

1

y

x

E.U[��GIOwK � �Dr � F P[GX?�;AOwK�^XBIWiK�; � ]S^IUQ]NK2X1

� E.U[��GIOwK � �Dr Ú3U[PVGX?�;AOwK!K)K�YIPVUQ]NK�dNe�WCBXKt; � ]N^IUQ]NK!YXK�O>KCGXJvBDW�JnÄV^IU[W)]SW�J,;>OA�E?�BDU[Jn=N^X?A{�=@?@r�9JLK�O>=@]NW�Jn=N^XBXK�dNe�W�RT=NUV;>K�YZW�O � `IW�G�= 7G�� ��� � = � PQK�O ��=n=S;�K�P9� �����0� FHGI=L=NJmBDGXK�?)BDUVcJn=N^X?A{�=@?5WH?5YZW�^H;AWH? ��lBD=@M�=@J�?A=NO9=E?A]NW�P[`IU[BIW�?';>e�WLYIO>¼�²�U[JnW�?5FHGXK�^�;>WnYaWH?A?AÄVM�=NP�BIWnzX^XK�P¹BIK�ZW�OwBIKI}�=CW�?'YZW�^H;AWH? � ��YXOA¼�²DU[JiWH?0K�Wi?A=NG�]S=@^H;AO>WbYXK�O>KiFHGI=3GXJ�^�ÈIJn=NO>WbJLK�U[W�O5BD=!BD=NRT=NUV;AWH??A=�Ê�K!O>=NM�=NPQK�BDWar1��Jv;AO>�@?0BDUVJn=@^X?�{�=E?N}H]SW�J��IU[^XK�d@e�WtRTW�O>JLK�BIKCYZ=NP[W�?sYaW�^�;>W�? ���BD=@M�=9]NW�^H;A=@O�W

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú�Ú � � � ���i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 �HÚ�Ú

]S=@^H;AO>W�BIKn�aW�O>BXKLBIK�BIKX}X=!W�YZW�^H;>W � �2BD=@M�=!YZ=NOA;A=@^X]S=@O7K�W�]N=N^H;AO>W�BDWL`IU[Ya=@OAYXP[K�^IW�YXK�O>K�PV=@PVWxi�aW�O>BXKiBXK�BIKnFHGI=tza]NKnKiGIJLKLBDUQ?�;���^X]NU[K

εBIWiPQK�BIWnK��a=@O�;>WLBIKi�aW�O>BIKXr

� =�W¬^�ÈIJn=NO>W¦BD=�BDU[Jn=N^X?A{�=@?%]SO>=@?>]S=�}9K�K�YIP[U[]@K�d@e�W¦BIK¦; � ]N^IUQ]NK�=�K�M�U[?AGXK�P[U[|@K�d@e�W�BDWH?BDW�JiÄ[^IU[W�?#YZWDBD=Cza]NK�O5]NK�BXK�M�=N|CJLK�UQ?5BDUVRTÄ[]NUVP�r

G

T

S

R

Q

P Y

C

E¹U[��GXO>K � �Ir Ú � × � ]N^IU[]@K �9o � =@J�;AO>�@?5BIUVJn=N^a?�{�=@?

´l n¨ � ��§.¶����X NXN

¡V XV

� ; � ]N^IUQ]NKNXN

?AGI��=@OA=7FHGI=NYZW�^H;AWH? ��b=

NYZW�^H;AWH? � ��?A=��K�J�?A=NP[=@]NUVW�^XK�BIW�?@r �3GXK�^XBDW

K�YXPVUQ]NK�BIKb=@J�BDGXK�?#BDUVJn=@^X?�{�=@?@}�W�?5BDW�U[?'YZW�^H;AWH? � �¬?>e�Wi=@?>]SW�PV`XU[BDWH?'^IW�?0zX^XK�U[?#BDWL?A=N��Ji=@^H;AWBD=tPVU[^I`XK�YXK�O>K�PV=@PVWixb�ZW�OwBIKbBXK�BIKX}�]NW�JnWiJiWH?�;>O>K�BDW)^XKCE.UV��GIOwK � �Ir � °�W�?0YaW�^�;>W�? � ��?>e�W

U=

VrP=

Q?>e�WiYaW�^H;AW�? ��Xr

P

G

DJ K

DT

A

LVU

Q

C

E.UV��GIOwK � �Dr � � F P[GX?�;AOwK�^XBDWLK�; � ]S^IUQ]NKNxN

Øt=N^I=@O>K�PVU[|@K�^XBDW�cÎ?A=lYXK�O>K�W�GI;AOwK�?iBDUVJn=@^X?�{�=@?@}0K�; � ]S^IUQ]NK�;A=@JÃBDGaK�?iUV^H;>=NO>YIOA=N;>K�dS{�=E?Nr �YIO>UVJn=@UVOwK � Kn; � ]S^XU[]@K

NXN=bK�?A=N��GI^XBIKLKL=E?�;>O>K�; � ��UQK

V XVË_=NJ»BDGXK�?3BDU[Ji=@^X?A{�=@?@}X=@P[K�?

?>e�WiU[BD�@^H;AUQ]NK�?wÙur� ; � ]S^IUQ]NK

NXNU[^�;>=NO>YIO>=S;>K%W

2]NW�JnW�?�=@^XBDWK�BDUVJn=@^X?Ae�WBDWBDW�JnÄ[^IUVWarn�s?A]NW�P[`I=

NYZW�^H;AWH? ��X}']SW�^H;>=N^XBDW�W�]S=@^�;>OAW�BD=G=�P[UV^I=EK�O>Jn=N^H;A=�UV^aBD=NYZ=N^XBI=N^H;A=E?ËTYZW�OA;>K�^H;>W�?AGI��=@OA=Nc

?A=�FHGI=�=@PV=E?�=@?�;A=�Ê�K�J YIO>¼�²DUVJnWH?�K�WH?�M � OA;AUQ]S=E?>Ùn=NYaW�^H;AW�? � ��FHGI=�?�=�Ê�K�J PVU[^I=EK�O>Ji=@^H;A=

U[^XBD=NYZ=N^aBD=N^H;A=E?!=iRTW�O>Jn=NJ�GIJ `IU[Ya=@OAYIPQK�^XWLK�GIJLK�BDUQ?�;���^X]NU[K

εBD=lØir � GI��=@OA=NcÎ?A=�K�UV^XBXKFHGI=C=@?>?�=E?#YIPQK�^IWH?5BD=NM�=NJ�]NW�^H;A=@O'W�]N=N^H;AO>WnBD=)q�r

�7K�E.U[��GIOwK � �Ir �S, P

=RYZWDBD=NO>U[K�J ?A=NO¹?�=@PV=E]SU[W�^XK�BDW�?Ç]NW�JnW5YaW�^H;AW�? ��Xr � =sK�?Ç=S²�;>=N^X?A{�=E?K�B Ê�K�]S=@^H;A=@?s?Ae�WtYZ=NO>YZ=N^XBDUQ]SGXP[K�OA=E?�K

G}�=@^H;>e�W

L=

G?>e�W!]SW�^I��O>GI=N^H;>=@?@r

X, V=

UYZWDBD=NO>UQK�J

;A=@O9?�UQBDWn=@?>]SW�PV`XU[BDWH?5]SW�JiWiYZW�^H;AWH? � �5r

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � ���i

i

i

i

i

i

��Ú � �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

T

S

R

Q

P

XV

U

G

L

E¹U[��GXO>K � �Ir ��� × � ]N^IU[]@KNXN

=@J�;>OA�E?5BDUVJn=@^X?�{�=@?

� GD;AU[PVU[|@K�dNe�W%BIK�; � ]N^IUQ]NKNXN

;>=NJ�K%M�K�^H;>K���=NJÆBD=i^Xe�W�?�=@O3^X=@]S=E?A?>��O>U[WlBD=S;>=NO>JnUV^XK�OW�?#M � O�;>U[]N=@?#BIKi�aW�O>BXKiBXK�BIKXr É W�O5W�GD;>OAWiP[K�BDWX}DJ�GXBIK�^XdNK�?#^IW�?'M � OA;AUQ]S=E?5BIK�?#�ZW�OwBIK�?'YZWDBD=NJWD]SW�OAO>=NO#?�=@J�FHGI=!UQ?A?AWnUVJnYIP[UQF�GX=!JbGXBIK�^XdNK�?#^IW�?#YZW�^H;>W�? ��L= � ��=@?>]SW�PVP[`IUQBDW�?!Ë_=S²I]S=N;AWnYXK�OwKN = 2

Ùur � P � J BIU[?>?�Wa}5F�GaK�^XBDW�W�^IÈIJn=NO>W¦BD=kM � OA;AUQ]S=E?�BIK��ZW�OwBIK � J�GIUV;AW¦JLK�U[W�O%F�GX=K�BIUVJn=N^a?Ae�W�BDW�BDW�JnÄ[^IUVWa}�K�P[��GI^a?bM � OA;AUQ]S=E?�]NW�^X?A=@]NGD;AU[M�WH?)^Xe�W�?A=NOwe�W;>=@?�;>K�BIW�?@°sUQ?A?AW�YZWDBD=YZ=NO>JiUV;AU[O9FHGI=)Ki�aW�O>BXKi]NW�O>OA=N;>K�^XK�WiU[^�;>=NOw]S=@YD;A=)K�PV��GIJLKb=N²H;>=N^X?>e�WiPQK ;A=@O>K�P1BIKi�aW�O>BXKiBXK�BIKXr�s?>?�=�YIOAW��IP[=NJLK � OA=E?�W�PVM�UQBDWLYa=@P[K�; � ]S^IUQ]NK

V XV}�W�^XBD=

V� W�^XÈIJn=NO>W%BD=�M � O�;>U[]N=@?3BIK

�ZW�OwBIK�BIK�BIKXr � =n=S²DU[?�;A=@J VM � OA;AUQ]S=E?N}

VYZW�^H;>W�? ��YXOA¼�²�U[JnW�?CK�WH?tW�G�^IW�?CM � O�;>U[]N=@?t=

VYZW�^H;AWH? � � YIOA¼�²DUVJnW�?tK�WH?tW�G�^IW�?tM � OA;AUQ]S=E?!BDW%`XUVYZ=NO>YIPQK�^IWLYXK�OwK�P[=NP[W%x%�ZW�OwBIK�BIK�BIK�?>e�W

?A=NP[=@]SU[W�^aK�BDWH?Nr� ; � ]S^IUQ]NK

V XV� U[^ �XGI=@^X]SUQK�BXK#Ya=@PVW9BDW�JnÄV^IU[WX° FHGXK�P[FHGI=@O1JbGXBXK�^Xd@K#^IW9BDW�JnÄ[^IU[W5UVJnYIP[U[]@K

JbGaBIK�^Xd@K�?'^IWH?#YaW�^�;>W�? � �¬= ��L=@?>]SW�PV`IUQBDWH?Nr� ]NW�JnYIP[=S²DU[BXK�BD=lBXK�?!;>OA�E?!; � ]S^XU[]@K�? � BIK�BIKkYa=@PVWk^XÈIJn=NO>W�BD=�YZW�^H;AWH?)O>=@FHGI=@OAUQBDW�?@r �

; � ]S^IUQ]NKNX1

O>=@FHGI=@O(N + 1) ∗ B

YaW�^H;AW�?@}XKi; � ]S^XU[]@KNXN

O>=@FHGI=@O(2 ∗ N) ∗ B

YZW�^H;>W�?@}W�^aBD=

B� W�^IÈXJi=@OAW�BD=��aW�O>BXK�?bRT=@]w`XK�BIK�?iBDW�BDW�JnÄ[^IUVW�BDW�]NK�JnU[^I`IWar � ; � ]N^IU[]@K

V XVO>=@FHGI=NO3YXK�OwK�W�BDW�JnÄ[^IU[W%BD=iGIJ�]NK�JnUV^I`XWX} ∑B

i=12 ∗ Vi

}�W�^XBD=Vi

� W%^IÈIJn=NO>W%BI=�M � OA;AUQ]S=E?BIKiUVc � ?�U[JLK��ZW�OwBIKXr.�0?�;>=C;AW�;wK�PÇYZWDBD=)]SO>=@?>]S=@O'OwK�YXU[BIK�Jn=N^H;A=�r:3GD;AO>WtR_K ;>W�O�UVJnYZW�OA;>K�^�;>=5Kt?A=NOy]NW�^X?AU[BI=NOwK�BDW � K7R_K�]SU[PVUQBIK�BD=#YXK�OwK7BD=N;A=@OAJnU[^XK�OyWH?¹YZW�^H;>W�?@r

� ; � ]N^IUQ]NKV XV

=N²DUV��=�FHGI=);>WDBDW�?3W�?3M � OA;AUQ]S=@?t?A=�Ê�K�JÆBD=N;A=@OAJnU[^XK�BDWH?7=�YaWDBD=iYXK�OA=E]S=NOtFHGI=BD=@JnK�^XBIK�OAUQK9JLK�UQ?¹;A=@JiYZWXr �7W3=@^�;wK�^H;AWa} YXK�OwKt?�='��K�O>K�^�;>UVO.GIJLK3JnK�UVW�O�=Sza]@��]SUQK7BXK�?¹; � ]S^IUQ]NK�?NX1

=NXN

}EW�?1M � O�;>U[]N=@?�;wK�Jb� � JºYIO>=@]SUQ?>K�J<?A=NO.BD=S;>=NO>JnUV^XK�BDW�?1YXK�OwK5FHGI=�YZW�^H;AWH?�]S=@^H;AOwK�UQ?YZW�?>?AK�Jm?A=NOn=E?A]NW�P[`IU[BIW�?@r � P � J�BDUQ?A?AWX}�;AWDBIK�?nK�?�]NW�Jb�XUV^XK�dS{�=@?iBD=%M � O�;>U[]N=@?�YIOA=E]SUQ?AK�J�?�=@O]SW�^X?AU[BD=@O>K�BIK�?sYXK�OwK)FHGI=CKbJn=@PV`IW�O0YZW�?>?>Kb?A=NO'=@?>]SW�P[`IUQBIKI°�UQ?A?AWX}H=NJ���=NOwK�P�}�O>=@FHGI=@Os;>=NJnYZWi^ae�WYZW�P[UV^IW�JnU[K�PÀr � ; � ]S^IUQ]NK

V XV}I?A=N��GI^XBDW � PQK�O ��=t=S;7K�P�r� ��� � }X?A=tJnWH?�;>O>KiJLK�UQ?#�XK�OwK ;wKIr

� =NU[P�=S;!K�P#� � Ú �E� K�^XK�P[UQ?AK�O>K�J�K�]NK�YaK�]SUQBIK�BD=bBIK�?7; � ]N^IU[]@K�?3=NJ�BD=N;A=E]u;>K�O!BD=SRT=@U~;>W�?3=iFHGXK�PKl?AGXKlOA=@P[K�dNe�W%]SW�JÆK%]SW�^IzaK��IU[P[U[BIK�BD=�r):t?tK�GD;>W�O>=@?7]NW�^X]NPVGX=NJÆFHGI=�=E?A?A=bYXOAW��IPV=@JLKL=@?�;>�l^XKRTW�O>JbGXP[K�dNe�W9BXK�?�; � ]N^IUQ]NK�?.BD=0;A=E?�;>=0BD=#BDW�JnÄ[^IU[W�?1='YIO>W�YI{�=NJ GIJLK7^XW M�K7K��ZW�OwBIK���=NJºF�GX=sP[=NM K=NJ ]NW�^X?AU[BI=NOwK�dNe�W�W�]SW�JiYaK�OA;AU[PV`XK�Jn=N^H;AWkBD=�]SW�JnK�^XBDWH?)YZW�ObGXJ ^XÈIJn=NO>WkYaW�^H;A=@]NU[K�PVJn=@^�;>=U[^DzX^IUV;AWBD=L]NK�JnUV^I`XW�?@}1YIO>W�YZW�^XBDW�W%;A=@?�;A=�BI=nBIW�JnÄV^XUVWH?tBI=n?AGI�Dc ]NK�JnUV^I`XW�?CFHGI=nPV=@M�K�J K ; �GIJLKtBIK�BIK3U[^�;>=NO>YIO>=S;>K�dNe�W7BD='YIOA=EBDUQ]NK�BIW�?@r1�s?�;>K3^IW M K7M�UQ?Ae�W3BDW3;A=E?�;>='BD=#BDW�JiÄ[^IU[W�?.O>=@BDGI|'=NJJbGXU~;>W�W�?9]NGX?�;AW�?7]SW�JnYIGI;>K�]NUVW�^XK�UQ?@r#:,^IÈIJn=NO>W�BD=)YZW�^H;>W�?9BD=);A=@?�;A=�?Ae�W�?�U[��^IUVza]@K�^H;A=@Ji=@^H;A=O>=@BDGI|@U[BIW�?@r � K�BIK)U[^H;A=NO>YIO>=S;wK�dNe�W � ;>=@?�;>K�BIKb?A¼)GIJLK�M�=N|�r É W�O0=N²�=@JnYIPVWa}�WbYIO>=@BDUQ]NK�BDW

x ≥ 0BIK�E.UV��GIOwK � �Dr Ya=@O�;>=N^X]N=kK�;>WDBDW�?LWH?L]NK�JiU[^I`IWH?LBDW�YIO>W���O>K�JnK�=k?�=@O>��;A=E?�;wK�BDW¦?A¼�GIJLKM�=@|�r � =@UVPÇ=N;5K�PÇBDUV|@=NJ�FHGI=C=E?�;wK�M�UQ?Ae�WbO>=@?AW�P[M�=3W�?'YIO>W��IP[=NJLK�?#BD=!BD=@Ya=@^XBD�@^X]SUQK�?5BIK�?'�aW�O>BIK�?

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=���Ú � � � � ���i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 �HÚ �

K�B Ê�K�]S=@^H;A=@?t=n^Xe�W�YXOAW M�W�]@K�YZ=NOwBIK�BIK�`XK��XUVP[U[BXK�BD=n=NJ BD=S;>=@]u;wK�O!=@OAO>W�?tBD=L�ZW�OwBIK�?CBDW�;A=E?�;>=BD=)BDW�JnÄV^IU[W�?@r

� =NU[P.=S;!K�P¹K�zXO>JnK�J±FHGI=iK�?7;AO>�@?9; � ]N^IUQ]NK�?tK�YXOA=E?�=@^�;wK�BIK�?#YaWDBD=@J�?�=@O3]NW�^X?AU[BI=NOwK�BIK�?5=SRT=Nc;AU[M K�?5YaK�OwK�BD=N;A=E]u;>K�O9=NO>O>W�?'=NJ��aW�O>BIK�?Nr � ; � ]N^IU[]@K

NXNPV=@M�KLK�PV��GIJLKiM�K�^H;>K���=NJ�?AW��IO>=!K

NX1}ZYZW�OC?A=NOtJi=@PV`XW�OC^XK�JLK�UVW�OAUQKlBDWH?3]@K�?AW�?@r �9W�=N^H;>K�^�;>WX}ÇKl; � ]N^IUQ]NK

V XVO>K�O>K�Ji=@^H;A=

?A=NO>U[KnJn=NP[`IW�OtFHGI=bKNXN

}aM�U[?�;AWlFHGI=�W�?7YaW�^�;>W�?7YaW�O7=NPQK�=E?A]NW�P[`IUQBDW�?#RTW�OAJLK�J�GIJÆ?AGIYZ=NOAc]SW�^ Ê�GI^H;AW�BDW�?y=E?A]NW�P[`IUQBDW�?yYZ=NPQK

NXNr��s^�;>OA=N;>K�^�;>WX}�KC; � ]S^IUQ]NK

NX1� JLK�UQ?yYIOw� ;>U[]@K!=5R_��]NUVP

BD=)K�YIPVUQ]NK�O@r� ?'?�GXYaWH?�UQdS{�=@?�RT=NUV;>K�?sYXK�O>K!?A=3BI=SzX^IU[O#K�?y; � ]N^IU[]@K�?0BD=9;>=@?�;A=3BI=3BDW�JiÄ[^IU[W�?sYaWDBD=@J\?A=NO'?�GIc

YIO>UVJnUQBIK�?.W�G�O>=NPQK ²IK�BXK�?@}�BI=@?>BD=5F�GX='J�GXBIK�^XdNK�?.K�YIO>W�YIO>U[K�BIK�?�^XK�?.; � ]N^IU[]@K�?�?A=�Ê�K�J,=SRT=S;>GXK�BXK�?@rF�?�;AW�YZ=NO>JnU~;>=bFHGI=)WL;>=@?�;A=�BI=bBDW�JnÄ[^IU[Wl?�=�Ê�K�K�YXPVUQ]NK�BDW�KLGIJLK�]NP[K�?A?A=!JLK�U[W�O7BD=�YIO>W���OwK�JLK�?Nr�9W!=@^H;>K�^H;>WX}�YaK�OwK!F�GX=5=NP[=7?�=9;AW�O>^I=5=NRT=S;AU[M�W � ^I=@]N=@?>?A��OAU[WtFHGI=7=NP[=7?�=�Ê�K!K�YIP[UQ]NK�BIW)]SW�J�W�GD;>OAWH?J � ;>W�BIW�?5BD=C;>=@?�;A=�r

12.5.2 Teste baseado em restrições� ; � ]S^IUQ]NK�BI=�;A=@?�;A=��aK�?A=@K�BIW¬=@J O>=@?�;AO>U[dN{H=E?N}3RTW�UbYIOAW�YaWH?�;wK�YaW�O 7=EpUVP[P[W�=¬: �ZGD;A;�=NJ�@���I� � ��� Ú � r � ; � ]N^IU[]@K!;>=NJ�]SW�JiWbW��DÊ�=N;AU[M�W)K�GI²�U[P[U[K�O0K!��=NOwK�dNe�W!BD=3BIK�BDW�?0BD=5;>=@?�;A=3K�BD=@FHGXK�cBDWH?tK�W�;>=@?�;A=nBD=nJbGD;wK�dNe�WXrC��PQK�GX?AK%O>=@?�;AO>U[dN{H=E?7K�PV� � �IO>U[]@K�?7YIOAW�Ê�=S;wK�BIK�?7YXK�O>K%BD=S;>=@]S;>K�OtGIJYXK�O�;>U[]NGIP[K�O';AU[YaW�BD=)BI=SRT=NUV;AWn^IWLYXOAW���OwK�JLKIr:º;>=@?�;A=!�XK�?�=EK�BDWn=@J�O>=@?�;AO>U[dN{H=E?'GX?AKnWH?5]SW�^X]S=@U~;>W�?5BD=)K�^X��P[U[?A=!BD=!JbGI;>K�^H;>=@?5YXK�O>Ki��=NOwK�O

BIK�BDW�?�BI=5;A=E?�;>=@?@°�WH?sBIK�BDW�?�?>e�WCYIO>W�Ê�=N;>K�BDW�?yYaK�OwK3JLK�;>K�O0W�?yJ�GD;>K�^H;A=@?@}�W�G�?�=�Ê�KI}�YXK�OwK!BD=S;>=@]Sc;>K�O7BD=NRT=NUV;AW�?7BD=@?>]SO>U~;>W�?#YZ=NP[W�?5W�Ya=@O>K�BDW�O>=@?#BD=!J�GD;>K�dNe�WXr �7J�J�GD;>K�^�;>=)BDUVRT=NO>=)BDWLYIO>W���OwK�JLKW�O>U[��U[^XK�P0YaW�OiGXJnK�YZ=@FHGI=N^aK�BDUVRT=NO>=N^adNK�?�U[^H;>� ;>U[]@Kk=@J�GIJ�]SW�JLK�^XBDW

Sr É K�OwKkJLK�;>K�OiGIJ

JbGI;>K�^H;>= � ^I=E]S=E?A?>��O>UVW�FHGI= � Ù3W]SW�JLK�^XBDWS?A=�Ê�K�=S²D=E]SGD;wK�BDWa° ��Ù3U[Ji=EBDUQK ;>K�Jn=N^H;A=LK�YX¼�?CK

=S²D=E]SGXd@e�W%BI=S}ÇW%=@?�;>K�BDW�BIW%YIO>W���O>K�JLKnW�O>UV��UV^XK�P.?A=�Ê�K%BDUVRT=NO>=N^H;A=nBDW�=@?�;>K�BIW�BDW%YIO>W���OwK�JLK

JbGI;>K�^H;>=�° � Ù3=@?>?AK�BDUVRT=NO>=N^adNK�?�=�Ê�K�YIOAW�YXK��HK�BIK%K ; � F�GX=n]NW�JLK�^aBDW�?!BD=L?>K�ÄQBIK�?�=�Ê�K�J�=N²D=@]SGIc;>K�BDW�?�=lO>=@?AGIPV;>K�BDW�?�BDU~RT=@OA=@^H;A=@?i?A=�Ê�K�J YXOAWDBDGI|@U[BIW�?@}.YZW�?>?AUV�IU[P[U~;wK�^H;AW�K�?>?�U[J KkO>=NM�=@P[K�dNe�WkBDWBD=NRT=NUV;AWXr�s?>?AK�?5;AO>�@?3]SW�^XBDUQdS{�=E?9?>e�WLO>=SRT=NO>=N^a]SUQK�BIK�?#Ya=@PVWH?5;A=@OAJnWH?N¯#K�PQ]NK�^XdNK��IUVP[UQBIK�BD=�}I^I=E]S=@?>?AU[BIK�BD=

=!?�GIza]SU[�N^X]NU[KnFHGI=)?A=NOwe�WnBDUQ?A]NGD;AUQBDW�?5Kn?A=N��GIUVOEr

´l� ���I§.¿��I·.¶À�_¶_Â.�IÂ.¡

:+YIO>W��IP[=NJLK!BD=3��=NOwK�O�BXK�BDWH?�BD=9;>=@?�;A=7FHGI=3��K�O>K�^�;wK�J,K�P[]@K�^Xd@K�OyGIJ�BIK�BDWb]NW�JLK�^XBIW � � =NJ��=@O>K�P1U[^XBD=@]NU[BIÄVM�=NP�r5�y²DYIOA=E?A?A{�=E?9BD=i]NK�JnU[^I`IWH?bËT=N²D=@]SGadNe�W�?AU[Jb�I¼�PVUQ]NKHÙ5BD=@?>]SO>=NM�=NJ�OA=E?�;>OAUQdS{�=@?FHGI=�YIO>=@]NU[?>K�J ?�=@Ob?AK�;AUQ?�RT=@U~;wK�?!YaK�OwKF�GX=LGIJ ]SW�JLK�^XBDW?�=�Ê�KkK�PQ]NK�^XdNK�BDWXr � K�BIK�=N²�YXOA=E?A?>e�W]SW�OAO>=@?AYZW�^XBD=3KbGIJ�]@K�JnU[^I`IWnBDU~RT=@OA=@^H;A=CK ; � � r 3=@?>BD=tFHGI=tWiUV^H;A=@OA=E?A?A= � K�YZ=N^aK�?'K�PQ]NK�^adNK�O0W]SW�JLK�^XBDWa}�Wb]NW�^ Ê�GI^H;>W)BD=5;AWDBDWH?yW�?s]NK�JnU[^I`IWH?�FHGI=7K�PQ]NK�^XdNK�J � � BIK�BDW!YZW�O�GIJLK)?A=@FHGI�@^X]SUQKBD=!O>=@?�;AO>U[dN{�=E?0]NW�^I=E]u;>K�BIK�?'YZ=NP[WLW�YZ=NOwK�BDW�O � W�G �wr

�9J�YXOAW��IPV=@JLK)YXK�O>K)BI=S;A=@OAJnU[^XK�O'=@?>?>K�?0OA=E?�;>OAUQdS{�=@?s?>e�W�W�?0P[K�dSWH?Nr.��P[=@?'YaWDBD=@J���=@O>K�O�GIJ^IÈIJn=@OAWlBI=@?>]SW�^X`I=@]NU[BDWlW�GkU[PVU[JnU~;wK�BDW�BD=�]@K�JnU[^I`IW�?@r � =�K�=N²D=@]SGadNe�W�BIWlPQK�dSW�RTW�OtOA=@PV=@M�K�^H;A=YXK�O>K!K�P[]@K�^Xd@K�OyWb]NW�JLK�^XBIWX}�BI=NM�=NcÎ?A=5��=@O>K�OyGIJLK)O>=@?�;AO>U[d@e�W!FHGI=9�HK�OwK�^H;>KCK!=N²�=E]SGXd@e�W)BDWbP[K�dSWYZ=NP[W�Jn=N^IWH?bGXJnK�M�=@|�r � K�?AW�Kk=N²D=@]SGadNe�W�BDW�PQK�dNW�?A=�Ê�KkU[O>OA=@PV=@M�K�^H;A=�YXK�O>K�W�]NW�JLK�^XBIWX}�W

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� �� � � � �i

i

i

i

i

i

� ��� �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

PQK�dSWlYaWDBD=@O>��?A=NO3=S²D=@]NGD;>K�BDW�|@=NO>W�W�GkJLK�U[?3M�=@|N=@?@rt:,UQBD=@K�P � F�GX=b^Xe�Wl?�=�=S²I]SP[GXK�FHGXK�P[FHGI=@O]NK�JnUV^I`XWnFHGI=CYZW�?>?AKnK�P[]@K�^Xd@K�O#WL]SW�JLK�^XBDWXr

�¡ ��¡� E @¶À¹�IÂ.¡

� ]SW�^XBDUQdNe�WnBI=t^X=@]S=E?A?AUQBIK�BD= � KnYXK�P[K�M�OwK c ]w`XK�M�=9BIWn;A=@?�;A=!�aK�?A=@K�BIW�=@J�O>=@?�;AO>U[dN{�=@?@r É K�OwK�?A=JLK ;wK�O'GIJ�JbGD;wK�^H;A= � ^I=@]N=@?>?A��OAU[WbFHGI=�}�U[Jn=@BDUQK ;wK�Jn=N^H;A=CK�YX¼�?'Kb=N²�=E]SGXd@e�WbBI=tGXJ�]SW�JLK�^XBDWJbGI;>K�BIWX}�WC=@?�;>K�BDWCBDWCYIOAW���OwK�JLK5J�GD;>K�^�;>=9?�=�Ê�K3BIU~RT=@OA=@^�;>=9BDWt=@?�;>K�BIWCBIWtYXOAW���OwK�JLK5W�O>U[��U[^XK�P�r: =@?�;>K�BDW�BDW¦YXOAW���OwK�JLK�]SW�^a?�UQ?�;>=�BDWH?�M K�P[W�O>=@?�BXK�?�M K�OAUQ��M�=NUQ?�BDW¦YIO>W���O>K�JLK�=�M K�O>U[��M�=NUQ?U[^�;>=NO>^XK�?@r�:2JbGI;>K�^H;>=7BDUVRT=NO>=9BDW!YIO>W���OwK�JLK3W�O>UV��UV^aK�PIK�YZ=N^aK�?yYZW�O�GXJnKCJnWDBDUVza]NK�dNe�WC?AU[JiYXPV=E?=NJ®GXJ­]SW�JLK�^XBDWXr � =�}3K�YX¼�?�K¦=S²D=E]SGXd@e�W�BD=E?A?A=�]NW�JLK�^aBDW�WH?l=E?�;wK�BDWH?%BDWH?lYXOAW���OwK�JLK�?JbGI;>K�^H;>=t=CW�OAU[��U[^XK�PaRTW�O>=NJ�U[��GaK�UQ?N}DK�?5?>K�ÄQBIK�?sYIO>WDBDGI|@U[BIK�?0;>K�J�� � J�?A=NOwe�Wi=3WnJbGI;>K�^H;>=t^ae�W?A=NOw�bJnW�OA;AWar� ]SW�^XBDUQdNe�WCBD=#^I=E]S=@?>?AU[BIK�BD=#BD=@?>]SO>=NM�=0GIJLKtO>=@?�;AO>U[d@e�W3FHGI=5BD=@M�=5?A=NO�?>K ;AUQ?�RT=NUV;>K3Ya=@PVW)BIK�BDW

BD=y;>=@?�;A=yYXK�O>K5FHGI=y=E?�;wK�BDWH?1BDUQ?�;>UV^H;>W�?Ç^IWH?ÇYIO>W���O>K�JnK�?ZJbGD;wK�^H;A=�=yW�OAU[��U[^XK�P�?�=�Ê�K�J YIOAWDBDGX|NUQBDW�?@r

��¸ � ��¶��H§ ��¶À�

� W�JnW�W%YXOA¼�YIOAU[Wl^XW�Jn=iBIUV|�}�?AK�;AUQ?�R_K�|N=@OtK�]SW�^XBDUQdNe�W�BD=n^I=@]N=@?>?�UQBIK�BD= � ^I=E]S=@?>?>��O>UVW%YXK�OwKl?A=JLK ;wK�OLGIJÃJbGD;wK�^H;A=�}0JLK�?�^Xe�W � ?AGDza]SU[=N^H;>=�r É K�OwK�F�GX=W�JbGD;wK�^H;A=�JnW�O>O>KX}sGIJLK�?>K�ÄQBIKU[^X]SW�OAO>=S;wK�BD=@M�=NOw��?A=NOLYXOAWDBDGI|@U[BXKIr«:»=@?�;>K�BIW�zX^aK�P9BDW�YIO>W���O>K�JnKkJbGD;wK�^H;A=�;A=@J�FHGI=?�=@OBDUVRT=NO>=N^H;A=%BDWk=@?�;>K�BDWzX^aK�P0BIWkYIO>W���OwK�JLK�W�O>U[��U[^XK�P�r 7=@OAU[M K�O�BXK�BDWH?)BD=�;>=@?�;A=�F�GX=l?AK�;AUQ?�R_K�cdNK�J±x%]SW�^XBDUQdNe�W�BI=�?AGDza]SU[�N^a]SUQK � U[JnYIO>K�;AUQ]N��M�=NP�r'�sJÆ��=NOwK�P�}X^ae�Wl?A=b]SW�^X?A=N��GX=bBD=S;>=NO>JnUV^XK�O]SW�JnYIPV=N;>K�Ji=@^H;A=!]SW�^XBDUQdS{�=@?5BD=!?AGDza]NUV�@^X]SUQK�� ��� Ú � r: É OAW���OwK�JLK � �Dr � ]NK�P[]NGIP[K�WJL� ²DU[JnWkBD=lBDW�U[?!^XÈIJn=NO>W�? "�= ��r:EIW�O>K�J ]SO>U[K�BDW�?!BIW�UQ?

JbGI;>K�^H;>=@?#BDWiYIOAW���OwK�JLKCW�O>U[��U[^XK�P�]SW�OAO>=@?AYaW�^XBD=@^�;>=@?0x�?'BDGXK�?'J�GD;>K�dS{�=E?s=E?�YZ=@]NU~zZ]NK�BXK�?0=N^H;AO>=]SW�Jn=N^H;>��OAU[W�?.^IWCYIO>W���O>K�JnKXr É K�OwKC?�=5K�PQ]NK�^XdNK�O�WtYXOAU[Jn=NU[OAW!]SW�JLK�^XBDWCJnWDBDUVza]NK�BDWLË_q1U[^I`XK � Ù^Xe�W � ^I=@]N=@?>?A��OAUQKt^I=N^I`�GIJLKCO>=@?�;AO>U[d@e�Wa°�YaW�O�;wK�^H;AWa}�K!]SW�^XBDUQdNe�WCBI=7K�PQ]NK�^XdNK��IUVP[UQBIK�BD= � ?A=NJnYIO>=?>K ;AUQ?�RT=NUV;>KIr É K�OwKl?A=�K�PQ]NK�^XdNK�O9W%?A=N��GI^XBDW%]SW�JLK�^XBDW�ËÀq1U[^I`XK � Ù � ^I=@]N=@?>?A��OAU[W

(n > m)r � ?

]SW�^XBDUQdS{�=@?ÇBD=�^X=@]S=E?A?AUQBIK�BD=yYaK�OwK'FHGI=s=@?�;>K�BIW�?1BDUVRT=NO>=N^H;>=@?1?A=�Ê�K�J+YIO>WDBDGI|NUQBDWH?1K�YI¼H?1K#=S²D=E]SGXd@e�WBDWH?!]SW�JLK�^XBDW�?tJnWDBDUVR_]NK�BIW�?!?>e�WX}ÇO>=@?AYZ=@]u;>UVM K�Ji=@^H;A=�}

m 6= abs(m)=

n 6= 6r �7W=N^H;>K�^�;>WX}

K�YIOAU[Jn=NU[O>K�]SW�^XBDUQdNe�W�BD=�^I=E]S=@?>?AU[BIK�BD=�^Xe�W � ?�GDzZ]SU[=N^H;A=�YaW�U[?@}0?A=(n > m)

}'W�O>=@?AGIPV;>K�BDW]SW�OAO>=S;>W!K�U[^XBIKCYZW�BI=7?�=@O�YIO>WDBDGI|NUQBDWar É W�OA;>K�^H;AWX}�K!]SW�^aBDU[d@e�W!BD=7?AGDza]NUV�@^X]SUQKCYXK�O>KCW!YIO>U[Ji=@UVO>WJbGI;>K�^H;>= �

(n ≤ m)r

��� ���������� Z ���� J �#F ��� *M� �� �-F [R � S"% � + F �R � S"% �G ' () ��� * ` � 0 ! � ��R � � ��� %>� A �G F��#9M� = � F 8 �"��� ��� *3` � � & � � � !1 �#9 �W�>] ��� *� 7 ��� *3`$�B0a! � ��R � � ��� % Z�A �G F��#9M� = � F 8 �"��� ��� *3`�� � !D ��% � R�� � ��� *�0I _

pGIUV;AWH?�YZ=@?>FHGIUQ?AK�BDW�O>=@?);A�NJ�]NW�^X?AUQBD=NOwK�BDW�W�YIO>W��IP[=NJLK�BD=�?AGDza]NUV�@^X]SUQK¦� � } � ��� } �I�E��� }O>=NPQK�]SU[W�^aK�^XBDW�c�WnK�Wn;>=NO>JnWl]SW�OAO>=@d@e�Wn]SW�U[^X]NU[BD=@^H;A=�r 3=S;>=NO>JiU[^XK�O3]SW�^XBDUQdS{�=@?7BD=b?AGDza]SU[�N^a]SUQK �

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� �I� � � � � Úi

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 � �I�

YZW�UQ?5GIJLK�FHGI=@?�;>e�WnUV^XBI=@]SÄQBDU[M�=@PÀr 7=bpkUVP[PVW�� ��� Ú � ]NW�^X?AUQBD=NOwKiGIJ�J�GD;>K�^H;A=!JnW�OA;AW�FHGXK�^XBDWLK?>K�ÄQBIKCW��D;>U[BXK!BDUVM�=NO>��=9BIK!?>K�ÄQBIK!BDWbYIOAW���OwK�JLK3W�O>UV��UV^XK�PÀr¹��P[=3]SW�^X?AU[BD=@O>KCFHGI=�}H?A=5GIJ�BIK�BIW)BD=;A=E?�;>=L?AK�;AUQ?�RT=@|nK�?!]SW�^XBDUQdS{�=E?CBD=LK�PQ]NK�^adNK��XUVP[U[BXK�BD=i=LBD=L^I=@]N=@?>?�UQBIK�BD=�}ÇGIJ =@?�;>K�BDW�UV^X]NW�O>OA=N;AWRTW�UÇYXOAWDBDGI|@U[BIWX}D=)?>K�ÄQBIK�?'U[��GXK�U[?'RTW�O>K�J�W��D;>U[BXK�?@}�;AO>�@?5?AU~;>GXK�dN{�=@?'YZWDBD=NO>U[K�J�;A=@O9WD]SW�OAO>U[BIWX¯

•:ÆYIO>W���OwK�JLKO>=@]NW�^I`X=@]S=�W�?�=@G¬=E?�;wK�BDW�BD=�=NO>OAW�=?�=�O>=@]SGXYa=@O>KXr�×�OwK ;wK c ?�=�BD=�GIJLK?AUV;AGXK�dNe�W�BD=k;AW�P[=NO���^a]SUQK�K�R_K�PV`aK�?@r2��Jb�ZW�OwK�ÈD;>UVP�}5^XK�JLK�U[W�O>U[K�BDWH?L]NK�?�WH?nU[?>?�W�^ae�WWD]NW�O>OA=�r

•:Æ=@?�;>K�BDW�UV^X]NW�O>OA=N;AW � UVO>OA=@PV=@M K�^H;A=�YXK�OwK�K�PV;A=NOwK�OnW�=@?�;>K�BDW�zX^XK�P�r�×�OwK ;wK c ?�=�BD=�GIJJ�GD;>K�^H;A=!=@FHÅIU[M K�P[=N^H;A=�r

•�sJb�ZW�OwK3WCBIK�BDWtBI=0;>=@?�;A=';A=@^I`XKtYIO>WDBDGI|NUQBDWtGIJ�=E?�;wK�BDWCBDUVRT=NO>=N^H;A=#^Xe�W7RTW�UDWt?AGDza]NUV=@^�;>=YaK�OwK�J�GXBIK�O'WL=E?�;wK�BDW�zX^XK�PÀr

��J±=S²DYa=@OAU[Jn=N^H;AWH?5]SW�^XBDGI|@U[BDWH?#YaW�O 3=)pUVP[P[WL=�: �ZGD;A;)� ��� Ú � }I^IW�;AW�GDcÎ?A=!FHGI=)K�;A=NOw]S=@UVOwK?AU~;>GXK�d@e�WLOwK�OwK�Jn=N^H;A=)K�]SW�^�;>=@]N=!^XKLYIOw� ;>U[]@KIr � YIO>W��aK��IU[PVUQBIK�BD=)BD=�?A=b?>K ;>U[?�R_K�|@=NO7K�]NW�^XBIU[d@e�WBD=5?AGDza]SU[�N^a]SUQKtBXK�BDW!FHGI=5K�?y]NW�^XBDUQdS{�=@?�BD=5^I=E]S=E?A?AU[BXK�BD='=5K�PQ]NK�^adNK��XUVP[U[BXK�BD=0RTW�OwK�J,?>K ;>U[?�RT=NUV;>K�?� JbGIUV;AW���OwK�^aBD=�r!��J �� � BDWH?tJbGD;wK�^H;A=E?tK�^XK�P[UQ?AK�BDW�?@}ÇF�GaK�^XBDW%YIO>=@BDUQ]NK�BDW�?3^Xe�W�=@?�;>K�M K�J=N^�M�W�P[MHUQBDWH?N}'K�YIOAWDBDGadNe�W�BD=�GIJÃ=E?�;wK�BDW�U[^H;A=NO>Jn=@BDUQ��O>U[W�U[^X]NW�O>OA=N;AWX}'��K�O>K�^H;AU[G¬GIJ =@?�;>K�BDWzX^XK�P1U[^X]SW�OAO>=S;>W�=�}a]SW�^X?A=@FHÅI=N^H;>=NJn=N^H;A=�}IKnJnW�OA;A=!BDWLJbGI;>K�^H;>=�r � YZW�?AUQdNe�WLK�BDW�;wK�BIKiYZW�O 3=pU[PVP[Wi=): ��GD;A;C� ��� Ú � RTW�U�=@^�;we�WnK�?>?�GXJiU[O5FHGI=tKi?>K ;AUQ?�R_K�dNe�W�BIK�?#]SW�^aBDU[dN{�=E?0BD=C^I=E]S=E?A?AU[BXK�BD=t=K�PQ]NK�^XdNK��IU[PVUQBIK�BI=3U[JnYIPVUQ]NKi^XKL?>K ;>U[?�R_K�d@e�WiBIKL]SW�^XBDUQdNe�WnBD=)?AGDza]NUV�@^X]SUQKIrÉ W�O)W�GD;AO>WP[K�BDWX}.K�YZ=N^XK�? ��� BDWH?!JbGI;>K�^H;>=@?)FHGI=�=@^�M�W�P[M�U[K�J�JbGI;>K�dN{�=@?C=NJ YIO>=@BDUQ]NK�c

BDWH?7RTW�O>K�J�JnW�OA;AWH?Nr���J�JbGXU~;>W�?!]NK�?�WH?N}Ç=@Jb�ZW�OwKlGXJ�=SRT=@U~;>W�^XW�=E?�;wK�BDW�BDW�JbGI;>K�^H;>=�RTWH?A?A=O>=N��UQ?�;AOwK�BDWa}aW�O>=@?AGIP~;wK�BDW�BIK�K�M K�P[U[K�dNe�W%BD=nGIJ�YIO>=@BDUQ]NK�BDW%]NW�^H;AU[^�GXK�M KlW�Jn=@?AJnW�FHGI=nW�BDWYIO>W���O>K�JnK%W�O>U[��U[^XK�P�r �9J =S²D=@JiYXPVWkBD=E?A?A=nYIO>W��IP[=NJLK � K�YXOA=E?�=@^�;wK�BDW�^XK×.K��Z=NPQK � �Dr � r �]SW�^XBDUQdNe�WbBD=7^X=@]S=E?A?AUQBIK�BD=3��=@O>K�BIKCYXK�OwK!YIO>W M�WD]@K�O�KbBIU~RT=@OA=@^XdNK�BD=7=E?�;wK�BDW �

I 6= 3rs:3�X?A=NO>M�=

FHGI=�W�BIK�BDW�BD=l;>=@?�;A=I = 7, J = 9, K = 7

?>K ;AUQ?�R_K�|l=E?A?>K�OA=E?�;>OAUQdNe�WX}�JLK�?iW�YXOA=EBDU[]@K�BDW]SW�^H;AU[^HGaKi?A=N^aBDWLK�M�K�PVUQK�BIW�]SW�JnWiM�=NOwBIK�BI=NU[OAWa}H]NW�JnWn=NOwK�=E?�YZ=NOwK�BIWXr

×.K��Z=NPQK � �Ir � � Ö5=@?�;AO>U[dN{�=@?5BD=CYIO>=@BDUQ]NK�BDW�?É O>W���O>K�JLKn:3O>UV��UV^aK�P +�� �+ ��,/ � � �0/ /pGI;>K�^H;>= +�� � ��,/ � � �0/ /Ö5=E?�;>OAUQdNe�WiBI= �9=@]N=@?>?�UQBIK�BD=

i 6= 3Ö5=E?�;>OAUQdNe�WiBI= É OA=EBDUQ]NK�BIW(I + K > J) 6= (3 + K > J)

É K�OwK#W9YIO>W��IP[=NJLK#BD=s?AGDza]NUV�@^X]SUQKI} 7='pU[PVP[W5=': ��GD;�;.YIOAW�Ya{�=@J+O>=@?�;AO>U[dN{�=@?ÇBI=�YIO>=@BDUQ]NK�BDW�?@}FHGI=n?Ae�W�=S²�;A=@^X?A{�=@?tBIK�?3O>=@?�;AO>UQdS{�=E?7BD=i^I=E]S=@?>?AU[BIK�BD=b=nK�?>?A=N��GXO>K�J�BDUVRT=NO>=N^Xd@K�?3^IW�OA=E?�GIPV;>K�BDWBIK�K�M K�P[U[K�dNe�W�BD=LYXOA=EBDU[]@K�BDWH?Nr É K�OwK�W�=S²D=NJnYIP[WkK�]NUVJLK�K�OA=E?�;>OAUQdNe�W�BD=LYXOA=EBDU[]@K�BDW � BIK�BIKYZW�O

(I +K > J) 6= (3+K > J)rs:+BIK�BIWCBI=5;A=E?�;>=

I = 7, J = 9, K = 7}�FHGI=5^ae�WCJLK ;>KCW

JbGI;>K�^H;>=�}�;>K�Jb� � J�^ae�Wn?AK�;AUQ?�R_K�|CK�O>=@?�;AO>U[d@e�WX¯(7 + 7 > 9) 6= (3 + 7 > 9) = False

rypkK�?'WBIK�BDWtBI=0;>=@?�;A=

I = 7, J = 10, K = 7}�F�GX=#?>K ;>U[?�R_K�|#KtOA=E?�;>OAUQdNe�W

(7+7 > 10) 6= (3+7 > 10)YIO>W M�WD]NK7BDU~RT=@OA=@^XdNK7^IWtOA=E?�GIPV;>K�BDW3BXK3K�M K�P[UQK�dNe�WX}EOA=@M�=@P[K�^XBDW9WCBD=SRT=@U~;>WC=0JLK ;wK�^XBIW7WtJbGD;wK�^H;A=�r�9J ]NW�^ Ê�GX^�;>W�BI=bRT=@OAOwK�Jn=N^H;wK�?7]w`aK�JLK�BDW�ØtWDBD|NU[P[KlRTW�U�U[JnYIPV=@Jn=N^H;>K�BDW�]NW�J»W�W��DÊ�=N;AU[M�W

BD=!��=NOwK�O5BIK�BIW�?5BD=C;>=@?�;A=)K�GI;AW�JLK�;AUQ]NK�Jn=@^�;>=�ry��P[=)��=NOwKb=!O>=@?AW�P[M�=CO>=@?�;AO>U[dN{�=@?'YXK�O>KiBD=N;A=@]S;>K�O=NO>O>W�?#BD=@?>]SO>UV;AW�?'YZ=NP[W�?#J�GD;>K�^�;>=@?#��=NOwK�BDWH?0YZ=NP[WL?�UQ?�;A=NJLKnpW�;A`IOwK�� ���;�� r

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� � ��� � � ���i

i

i

i

i

i

� � � �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

ØtWDBD|NU[P[K3O>=NYIO>=@?A=N^H;>K7GIJLK7O>=@?�;AO>UQdNe�W3YaW�O�GIJ�YXK�O.BD=#=N²�YXOA=E?A?A{�=E?�K�P[� � �IO>U[]@K�?1O>=NPQK�]NUVW�^XK�BXK�?YZW�O!GIJ W�YZ=NOwK�BDW�OC]NW�^XBIU[]NUVW�^XK�P

(>, <,≤,≥, =)r � K�BIK�=N²�YXOA=E?A?>e�W � W��D;>U[BIK�BDU[O>=S;>K�Jn=N^H;A=

BDWkYXOAW���OwK�JLK�= � ]NW�JnYaWH?�;wKYZW�ObM K�OAUQ��M�=NUQ?N}¹YXK�O>�N^H;A=E?�=E?!=lW�Ya=@O>K�BDW�O>=@?!BI=lP[UV^I��GXK���=N^X?bBD=YIO>W���O>K�JnK�dNe�WXr � K�BIKLO>=@?�;AO>UQdNe�WnYZWDBD=�?A=NOtK�M�K�PVUQK�BXKnM�=NOwBIK�BD=NU[O>KnW�G�R_K�PQ?AKXr �9JLK%]SPQ��GX?AGIPQK �BIK�BIK7YZW�OyGXJnKtP[U[?�;>KCBD=5O>=@?�;AO>UQdS{�=E?¹]NW�^I=E]u;wK�BIK�?¹YZW�O�W�Ya=@O>K�BDW�O>=@?#Ñ� �'W�G � Òu°�K�P � J,BDUQ?>?�WtGIJLKO>=@?�;AO>U[d@e�WLYZW�BI=i?A=NOtK�PV;A=NOwK�BXKLYa=@PVW%W�YZ=NOwK�BDW�O � �rCØtWDBD|@UVPQK�GD;>UVP[U[|@Kl?AW�Jn=@^�;>=�]NP[��GX?�GXP[K�?9=NJ?AGXKCRTW�O>JLKC^IW�O>JLK�PXBIU[?_Ê�GI^H;AU[M KI}�W�G�?A=�Ê�KX}�RTW�OAJLK�BIW!YaW�OsW�YZ=NOwK�BIW�O>=@?

or}H=7M�K�PVW�OA=E?�?AUVJ��a¼�PVUQ]SWH?

YXK�O>K�K�?nM K�OAUQ��M�=@U[?@r F�?A?AW�R_K�]NUVP[UV;>K�K���=@O>K�dNe�W�BD=�BXK�BDWH?LBD=�;A=E?�;>=�}5K�OA=E?�;>OAUQdNe�W�BDU[?_Ê�GI^H;AU[M KO>=NYIO>=@?A=N^H;>K)GIJ\ÈI^IUQ]SWn]NK�JnU[^I`IW�=3?AW�Jn=N^H;A=3GIJLKb]NP[��GX?�GXP[K�BDU[?_Ê�GI^H;AU[M K)YIO>=@]NU[?>Kb?A=NO'?AK�;AUQ?�RT=@U~;wKYZ=NP[WnBXK�BDWLBD=C;>=@?�;A=�r� RT=NO>O>K�Jn=N^H;>K�ØtWDBD|NU[P[K � ]SW�JnYaWH?�;wK%BD=n;>OA�E?tJi¼DBDGXPVWH?CYIOAU[^X]NUVYXK�U[?!FHGI=L?A=L]SW�J�GI^IUQ]NK�J

K ;>O>K�M � ?tBD=LK�OwFHGIUVM�W�?@rn:�YIOAU[Jn=NU[OAW�Jn¼DBDGIP[W�]NOAUQK%OA=E?�;>OAUQdS{�=@?tYXK�O>K�]NK�BIK�]SW�JLK�^XBDW�BDW�YIOAW�c��OwK�JLKbW�O>UV��UV^XK�PÀ}DBIK�BIK�?'YZ=NPQK�?#=N²�YXOA=E?A?A{�=@?#BDW�?#]@K�JnUV^X`IW�?5FHGI=!K�PQ]NK�^XdNK�J�Wi]NW�JLK�^aBDWiBXK�BDWar:�?�=@��GI^aBDWLJn¼�BIGIPVW�]NW�^X?�;AO>¼�U¹K�?9]NW�^XBDUQdS{�=E?9BD=bYXOA=EBDU[]@K�BDWH?5BD=@?>]SO>UV;AW�?@}XFHGI=b?>e�W�K�OAJLK�|N=N^aK cBIK�?3=@J»;>K��a=@P[K�?3=iYXK�?A?>K�BIK�?7K�Wl;>=NOw]S=NU[O>WlJn¼DBDGIP[WXr�:�;>=NOw]S=NU[O>WlJn¼DBDGIP[W%GD;>UVP[U[|@K�K�?7;>K��a=@P[K�?��=@O>K�BIK�?s=tK�=S²DYIO>=@?>?>e�W�BIWi]@K�JnUV^X`IWbYXK�O>Kb��=@O>K�O0WnBIK�BIW�BD=t;A=E?�;>=�r � =tWnBIK�BDWnBD=3;A=E?�;>=t^ae�WYIGXBI=NO�?A=NO���=@O>K�BDWYaW�O>FHGI=l^Xe�WRTW�UsYZW�?>?�Ä[M�=@PsO>=@?AW�P[M�=@O)K�?)O>=@?�;AO>UQdS{�=@?@}¹UQ?>?�W � ^IW�;>U~za]@K�BDW�K�W;A=E?�;wK�BDW�O0FHGI=3YaWDBD=@O>�)BI=@]SUQBDU[O'K�FHGI=@?�;>e�WXr.ØtWDBD|@UVPQK!;wK�J�� � JvYZ=NO>JnU~;>=3O>=@BIGI|NU[OsW�^HÈXJi=@OAW�BD=BIK�BDW�?#BD=3;A=E?�;>=�}DM�=@OAUVza]@K�^XBDWi?�=�}IK�Wn?�=C?>K ;AUQ?�R_K�|N=@O0GXJnKn]NW�^XBDUQdNe�WX}HW�GD;>O>K�?�;wK�J�� � J�WL?�=@O>e�WXr� ?>?AUVJ�}IGIJ±BIK�BIWiBD=C;>=@?�;A=!YZWDBD=)?�=@O5GD;AU[P[UV|EK�BDWnYXK�O>K�JLK ;>K�O5JLK�UQ?5BD=CGIJ�J�GD;>K�^�;>=�r

12.5.3 Teste baseado em predicados�s?�;AOwK ; � ��UQK�?bBD=L;A=E?�;>=�O>=SRT=NO>=N^a]SUQK�BIK�?)]SW�JiW�;>=@?�;A=��aK�?A=@K�BIW=NJ YIOA=EBDUQ]NK�BIW�?!O>=@FHGI=@OA=@J�}.=NJ��=@O>K�PÀ}H;>=@?�;A=!YXK�O>Ki]NK�BIKiYIOA=EBDUQ]NK�BIWX}�W�G�]SW�^XBDUQdNe�Wa}IBDWnYIO>W���OwK�JLKXr:t?'YIOA=EBDUQ]NK�BIW�?�^XWbYIO>W���O>K�JnKbBDUVM�UQBD=NJ�WiBDW�JnÄ[^IU[WiBD=3=N^H;AOwK�BXKbBDW�YIOAW���OwK�JLK!=@J�YXK�OA;AUVc

dS{�=E?0=CBD=NzX^I=NJ�W�?']NK�JnU[^I`IWH?'BIW�YIO>W���O>K�JLKIr É O>=@BIU[]@K�BDWH?'?>e�Wi]SPQK�?>?�UVza]@K�BDWH?�=NJ�YXOA=EBDU[]@K�BDWH??AUVJnYIP[=@?#=)]NW�JnYaWH?�;>W�?@r� JnW�;>UVM K�d@e�W�YXK�OwK�FHGI=�; � ]S^IUQ]NK�?�BD=�;A=E?�;>=kBD=YIO>=@BDUQ]NK�BDW�?iRTWH?A?A=NJ�UV^H;AO>WDBDGI|@U[BIK�? � K

BD=N;A=NO>JnUV^aK�dNe�WiBI=)BD=SRT=@U~;>W�?#=NJ�YIO>=@BDUQ]NK�BDW�?@r� ?0; � ]S^IUQ]NK�?s�aK�?A=@K�BXK�?y=@J�YIOA=EBDUQ]NK�BIW�?yRTW�O>K�Jv]NP[K�?A?AUVza]NK�BIK�?sYaW�O'×.K�U.� � ���E� =3?A=CBDUVM�UQBD=NJ

=NJgBDW�U[?¹��O>GIYZW�?@r � ?.FHGI=�;>=@?�;>K�JgYIOA=EBDUQ]NK�BIW�?1?AUVJnYIP[=@?¹=0K�?¹FHGI=s;A=E?�;wK�JºYIO>=@BDUQ]NK�BDW�?¹]SW�JnYZW�?�c;AWH?Nr0×¹K�UÇ;>K�Jb� � J�BIU[?>]SGD;>=)K�?AYa=E]u;>W�?9BD=!=Nza]N��]SUQKnBD=C;>K�U[?#; � ]N^IU[]@K�?#=@J±BD=N;A=@OAJnU[^XK�O9BD=NRT=NUV;AWH?BD=!YIO>=@BIU[]@K�BDWH?Nry× � ]N^IUQ]NK�?5FHGI=!]NW�^X?AU[BI=NOwK�J�K�Ya=@^XK�?#YIO>=@BIU[]@K�BDWH?'?AU[JiYXPV=E?5YaWDBD=@J�BD=@U~²IK�O9BD=BD=N;A=@]S;>K�O)=NO>OAWH?!BD=�YIO>=@BIU[]@K�BDWH?C=NJ =N²DYIOA=E?A?A{�=@?C�ZW�W�P[=@K�^aK�?@r � ?); � ]S^IUQ]NK�?)FHGI=�]SW�^X?�UQBD=@O>K�JYIO>=@BDUQ]NK�BDW�?!]NW�JnYZW�?�;AW�?)YIOAW�Ya{�=@J�;A=E?�;>=@?b=S²IK�GX?�;AU[M�WH?CYXK�OwK%;AWDBIK�?bK�?b]SW�J��IU[^XK�dN{H=E?N}¹WkFHGI=YZW�BI=9;AW�OA^a� cÎP[K�?�MHUQ��M�=@U[?s?�W�Ji=@^H;A=7?A=7W)YXOA=EBDU[]@K�BDW)]NW�^H;AU[M�=@O�GIJ\^�ÈIJn=NO>W)YZ=@FHGI=N^XW�BD=9W�Ya=@O>K�cBDW�OA=E?Nrs:ºYXOAW��IPV=@JLK�]NW�J�YXOA=EBDU[]@K�BDWH?#]SW�JnYZW�?�;AWH? � FHGI=!?A=CWn;A=@?�;A=C=N²DK�GX?�;AU[M�Wi^Xe�WiRTW�O5O>=@K�cP[UV|EK�BDWa}�YZWDBD=NOw�bK�]SW�^H;>=@]S=@O0FHGI=t=NJ��aW�O>KbW�?0YIOA=EBDUQ]NK�BIW�?�U[^XBDU[M�U[BIGXK�UQ?#?�=�Ê�K�J�K�M K�P[U[K�BDW�?sUV^X]NW�OAcO>=S;>K�Jn=N^H;A=�}HWiO>=@?AGIP~;wK�BDWiBIKbK�M K�PVUQK�d@e�WbBD=3;AWDBIKiK�=S²DYIO>=@?>?Ae�W)YaWDBD=@O>�i?A=NO#]SW�U[^X]NU[BD=@^H;A=NJn=@^�;>=]SW�OAO>=S;>WXr É W�Ot=S²D=NJnYIP[WX}ÇYXK�O>KlWlYIO>=@BIU[]@K�BDW�]SW�JnYZW�?�;AW

P = (E1 = E2)&&(E3 < E4)}1WH?

?A=N��GXUV^H;A=E?';A=E?�;>=@?5?>e�WiOA=EF�GX=NO>U[BDWH?Nr

t1 : E1 = E2

=E3 = E4

t2 : E1 > E2

=E3 > E4

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� ��� � � � ���i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 � ���

t3 : E1 < E2

=E3 < E4

�9W�;A=9FHGI=#YXK�OwK3=@?>?�=5]SW�^ Ê�GI^H;AW!BD=';>=@?�;A=@?.;>WDBIK�?yK�?�YaWH?A?AÄVM�=NUQ?�?�UV;AGXK�dS{�=@?.YXK�O>K3W�?yBIW�UQ?�YIOA=NcBDUQ]NK�BDW�?.?�U[JnYIP[=@?¹RTW�OwK�J�]NW�^X?AU[BI=NOwK�BIK�?NrÇ��^H;>OA=N;>K�^H;>WX} WC]SW�^�Ê�GI^H;AWt^Xe�WtBDU[?�;AU[^I��ÅI=0WtYIO>=@BDUQ]NK�BDWPBIWLYIOA=EBDUQ]NK�BIW

R = (E1 <> E2)&&(E3 = E4)�s?>?AK!?AU~;>GXK�d@e�W � ?A=NJn=NP[`XK�^�;>=5x!F�GX=7K�]NW�^H;A=E]S=#^IWC;A=E?�;>=5�XK�?A=@K�BDWC=NJ�OA=E?�;>OAUQdS{�=@?@}�BD=@?>]SO>UV;>K

^XKk?A=@d@e�WkK�^�;>=NO>UVW�O@r �9Jm=E?�;wK�BDWU[^X]SW�OAO>=S;>W � YIO>WDBDGI|NUQBDWJLK�?b^Xe�W � ?�GIza]SU[=N^H;A=lYXK�OwKFHGI=W«BD=SRT=@U~;>W«?A=�Ê�K¬O>=NM�=@P[K�BDWXr 3=�pUVP[P[W<� ��� Ú � ?�GI��=NO>UVG<W¬Ga?�W«BD=�GIJLK¬O>=@?�;AO>UQdNe�W¬K�BDUQ]SU[W�^XK�P]w`XK�JnK�BIK�O>=@?�;AO>UQdNe�W%BD=�YXOA=EBDU[]@K�BDW�FHGI= � GIJÆ;>UVYZW�BD=i]NW�^XBIU[d@e�W%BI=i?AGDza]NUV�@^X]SUQKIr)×.K�U#� ����� �YIO>W�YI{�=�BDGXK�?1; � ]S^XU[]@K�?�BI=�;A=E?�;>=�YXK�O>K5YXOA=EBDU[]@K�BDWH?1]SW�JnYaWH?�;>W�?@r � ?�; � ]S^IUQ]NK�?�?>e�W9�XK�?�=EK�BIK�?Ç=NJ=NO>O>W�?yYZW�UQ?sO>=@FHGI=@OA=@J�FHGI=tBIK�BDWH?sBD=7;A=E?�;>=3?A=�Ê�K�Jv=S²D=E]SGD;wK�BDWH?�YXK�O>K)?>K ;>U[?�R_K�|@=NO�GXJ\]NW�^ Ê�GX^�;>WBD=O>=@?�;AO>U[dN{�=E?Nr2:�]NW�^ Ê�GX^�;>W�BD=OA=E?�;>OAUQdS{�=@? � YIO>W�Ê�=N;>K�BIW�YXK�O>K��HK�OwK�^H;AU[OiFHGI=kBI=SRT=NUV;AWH?L=NJW�YZ=NOwK�BIW�O>=@?)�ZW�W�P[=@K�^IW�?�=BD=SRT=@U~;>W�?n=NJ W�Ya=@O>K�BDW�O>=@?�O>=NPQK�]SU[W�^aK�UQ?b?A=�Ê�K�J�BI=S;A=E]u;wK�BDWa}0]SW�J�K?AGIYaWH?�UQdNe�W�BD=FHGI=�^Xe�W�=N²�UQ?�;>K�J�BI=SRT=NUV;AWH?nBD=�W�GD;>OAWH?b;>UVYZW�?@r � ��O>K�^XBD=�M�K�^H;>K���=NJ � FHGI=GIJ ]SW�^ Ê�GI^H;AW�BD=�O>=@?�;AO>U[dN{�=@?!FHGI=%BD=@?>]SO>=NM�=NJ MD��OAU[W�?C;>UVYZW�?�BD=l=@OAO>W�? � ��=@O>K�BDWBD=�GIJLK�?A¼M�=@|�r �9J ^IÈIJn=NO>W��OwK�^aBD=LBD=�JbGI;>K�^H;>=@? � JnW�O�;>Wk?�=�K�?)O>=@?�;AO>U[dN{�=@?3RTW�OA=@J ?>K ;>U[?�RT=NUV;>K�?N}¹^IW]NK�?�W)K!?AGIYZW�?AU[d@e�W � ?>K ;>U[?�RT=NUV;>K!YZW�OwFHGI=9]NK�BIKCJbGI;>K�^H;>=7BDUVRT=NO>=7BDW)W�OAU[��U[^XK�PDYZW�OsGIJLK!JbGD;wK�d@e�W?AUVJnYIP[=@?@r

� ¡H @¨@¡�·��I E¡��I¹©�¡�¥®µ ¡� @¨Nµ ¶_¿�Áa¡� n¹¡ ,¹µ ¡�¹¶ ���IÂ.©Z 

×.K�U7� ������� YIOAW�Y � ?bBDGXK�?); � ]S^IUQ]NK�?)YXK�O>KkBI=S;A=E]u;wK�O�BI=SRT=NUV;AWH?)=@J YXOA=EBDU[]@K�BDWH?)]SW�JnYaWH?�;>W�?@r �YIO>UVJn=@UVOwKI}�]w`aK�JLK�BIK%;>=@?�;A=lBDWW�Ya=@O>K�BDW�OC�ZW�W�P[=@K�^XWX}1W�G�; � ]N^IU[]@K �9:tÖ±Ë#� � � Ð[h>Ñ��� �XhNÒAÑ � ÒÓah��� ���HÍDÙu}a��K�O>K�^�;>=tKnBD=N;A=E]NdNe�WLBD=)BD=SRT=@U~;>W�?5=@J�W�Ya=@O>K�BDW�O>=@?'�ZWHW�PV=EK�^IWH?Nr�×.K�U1K�zXO>JnKnFHGI=)?A=GIJLKl; � ]N^IUQ]NK � =SRT=N;AU[M Kl=@J�BD=S;>=NO>JiU[^XK�OtBD=NRT=NUV;AWH?3=@JÆW�YZ=NOwK�BDW�OA=E?5�ZWHW�PV=EK�^IWH?N}�=@P[K�;>K�J�� � JWL?�=@O>��=NJ±BD=S;>=NO>JnUV^XK�O9BD=SRT=@U~;>W�?#=@J�=S²DYIO>=@?>?A{�=@?0�ZWHW�PV=EK�^XK�?Nr� ?A=N��GI^XBIKt; � ]S^XU[]@KI}�]w`XK�JLK�BXK7;>=@?�;A=tBDW�?yW�Ya=@O>K�BDW�O>=@?��ZW�W�P[=@K�^IW!=9O>=NPQK�]SU[W�^aK�PDW�Gn; � ]N^IU[]@K

�#Ö9:±Ë ��� ��ÐVhwÑ�¬Ñ����Ì3hSÐVÑ ����ZÑ�Ð����XhSÒ>Ñ � ÒkÓXh �� ���ÍDÙu}1�HK�OwK�^H;A=bK�BD=N;A=@]@dNe�W%BD=nBD=SRT=@U~;>W�?t=NJW�YZ=NOwK�BIW�O>=@?0�aW�W�P[=@K�^IW�?'=!O>=NPQK�]NUVW�^XK�UQ?Nr×¹K�U�GD;AU[PVU[|@KnK�?�=@��GIU[^H;A=t^IW�;wK�dNe�W)YXK�O>K�BD=SzX^XUVO5K�?'O>=@?�;AO>U[dN{�=E?sFHGI=C?�=@O>e�WbO>=@FHGI=NO>UQBIK�?sYa=@P[K�?

; � ]S^IUQ]NK�? �#Ö5:g= �5:tÖ)rÉ K�OwK�GXJnKiM K�O>UQ��M�=@P��aW�W�P[=@K�^XK

• t¯�BD=@^IW�;wKnF�GX=

BM�K�PV=

true°

• f¯�BD=@^IW�;wKnF�GX=

BM K�PV=

false°

• ∗¯�BD=N^IW�;>KnFHGI=C^Xe�Wn`X�iO>=@?�;AO>U[dN{�=E?0YaK�OwKbWLM K�P[W�O5BD=

B

É K�OwK�GXJnKi=N²�YXOA=E?A?>e�WiOA=@P[K�]SU[W�^XK�P(E1 rop E2)

• t¯�BD=@^IW�;wKiM�K�PVW�O

trueYXK�O>KnKi=S²DYIO>=@?>?>e�WX°

• f¯�BD=@^IW�;wKiM�K�PVW�O

falseYaK�OwK�Ki=S²DYIO>=@?>?>e�WX°

• >¯�BD=@^IW�;wKnF�GX=

(E1 rop E2) > 0

• <¯�BD=@^IW�;wKnF�GX=

(E1 rop E2) < 0

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� ��� � �����i

i

i

i

i

i

� ��� �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

• =¯�BD=@^IW�;wKnF�GX=

(E1 rop E2) = 0

• +ε¯�BD=@^IW�;wKiFHGI=

0 ≤ (E1 rop E2) ≤ ε

• −ε¯�BD=@^IW�;wKiFHGI=

−ε ≤ (E1 rop E2) ≤ 0

• ∗¯�BD=N^IW�;>KnFHGI=C^Xe�Wn`X�iO>=@?�;AO>U[dN{�=E?0YaK�OwKbWLM K�P[W�O5BIKi=N²�YXOA=E?A?>e�WiOA=@P[K�]SU[W�^XK�P

3K�BDWkWkYXOA=EBDU[]@K�BDWC = (E1 ≥ E2) || !(E3 > E4)

}�GIJLKOA=E?�;>OAUQdNe�WYXK�OwK � � BIK�BIKYZW�OCGIJLKlP[UQ?�;wK%BD=i=NP[=NJn=@^�;>W�?

l = (v1, v2, .., vn)BI=N^IW�;>K�^aBDWlWH?3M K�PVW�OA=E?9YXK�O>K%K�?tM K�O>U[��M�=NUQ?

�ZWHW�PV=EK�^XK�?sW�Gl=N²�YXOA=E?A?A{�=E?�O>=NPQK�]SU[W�^aK�UQ?Nr � O>=@?�;AO>UQdNe�WiBIK�BXK)YZ=NPQK�P[UQ?�;wKX = {(=, <)}

OA=EFHGI=NOGIJ�;A=@?�;A=tR_K�|N=N^aBDW

E1 = E2

=E3 < E4

r �9W�;A=!FHGI=CWnW�YZ=NOwK�BDW�O �!�t^Xe�WLK RT=N;>KiWnOA=EFHGIU[?AUV;AW

<r�:�M K�PVW�O)YIO>W�BIGI|NUQBDWkYZW�O � FHGXK�^XBDWk?>K ;AUQ?�RT=NUV;>KkKO>=@?�;AO>UQdNe�W

X� BIK�BDWYaW�O

C(X)r�:

]SW�^ �GI^H;AW�BI=!;AWDBIK�?9K�?#O>=@?�;AO>U[dN{�=E?#YXK�OwKiGIJ�YXOA=EBDU[]@K�BDWC� BIK�BDWnYaW�O

Sr

S� BIUVM�UQBDU[BIW�=NJ

BDW�U[?9]NW�^ �GX^�;>W�?@r7:�YXOAU[Jn=NU[OAW�]NW�^ �GI^H;>WSt(C)

]NW�JnYZW�?�;AWLYZW�O5;>W�BXK�?7K�?5O>=@?�;AO>U[dN{�=@?X}I;>K�U[?

FHGI=C(X) = true

}Ç=nW�?�=@��GI^XBIW%]SW�^ Ê�GI^H;AWSf (C)

]NW�JnYZW�?�;AWlYZW�Ot;>W�BXK�?CK�?tO>=@?�;AO>U[dN{�=@?X;>K�U[?5FHGI=

C(X) = falser � ]NW�^X]@K ;>=N^XK�dNe�WiBD=)BDGXK�?#OA=E?�;>OAUQdS{�=@?CËTP[UQ?�;wK�?wÙ

l1=

l2� BD=N^XW�;>K�BIK

YZW�O(l1, l2)

r

� =��K�J A=

BBIW�UQ?�]NW�^ �GI^H;>W�?bBI=�OA=E?�;>OAUQdS{�=@?@r

A%BBD=@^IW�;wKkW�]NW�^ Ê�GI^H;>WkJnÄV^IU[JnW�BD=

=NP[=NJn=@^�;>W�?(u, v)

}�;>K�U[?!FHGI=u(v) ∈ A(B)

=�]NK�BIK�=NP[=NJn=N^H;AWBD=A(B)

K�YXK�OA=E]S=n]SW�JiWu(v)YZ=NP[WJi=@^IW�?CGXJnK�M�=N|�r � = A = {(=), (>)}

=B = {(<), (>)}

}A%B

;>=NJmBDW�UQ?CM K�P[W�O>=@?YZW�?>?�Ä[M�=@U[?@¯

{(=, <), (>, <)}W�G

{(=, >), (>, <)}r � = A = {(=), (>)}

=B = {(<), (>

), (=)}, A%B;>=NOw�?�=@U[?)M�K�PVW�OA=E?!YZW�?>?�Ä[M�=@U[?@¯

{(=, <), (>, >), (=, =)}, {(=, <), (>, >), (>, =)}, {(=, <), (=, >), (>, =)}, {(>, <), (=, >), (>, =)}, {(>,<), (=, >), (=,=)}

={(>

, <), (>, >), (=, =)}.� U[^XBIK�BD=Sza^I=NJic ?�=

A$B]NW�JnW�GX^IU[e�W�BD=

A=

B=

A ∗ B]SW�JnW

YIO>WDBDGD;AWLBD=A=

Br

É K�OwK�GIJ YXOA=EBDU[]@K�BDWk?AU[JiYXPV=E?N}�]SW�JiYZW�?�;AWk?AW�Jn=@^�;>=�BD=�GIJLKM K�OAUQ��M�=NPy�ZWHW�PV=EK�^XK�W�G¦BD=GIJLK#=S²DYIO>=@?>?>e�W#OA=@P[K�]SU[W�^XK�P

E1 rop E2

W�?1?A=N��GIUV^H;>=@?1]NW�^ Ê�GI^H;>W�?1BD=yO>=@?�;AO>UQdS{�=@?Ç?>e�W5O>=@FHGI=@OAUQBDW�?@¯�9:tÖ!¯

{(t), (f)}�#Ö5:�¯

{(>), (=), (<)}É K�OwK3GXJ�YIO>=@BDUQ]NK�BDW!]SW�J,W�YZ=NOwK�BDW�OA=E?��ZW�W�P[=@K�^XW�?

bopË||W�G

&&Ù¹]NW�^H;A=@^XBDWCYZ=NP[WtJn=@^IW�?

GIJLK¬=S²DYIO>=@?>?Ae�W��aW�W�P[=@K�^XKC1 bop C2

}tW�?�]SW�^�Ê�GI^H;AW�?�BD=�O>=@?�;AO>U[dN{H=E?l?>e�W�]NK�PQ]SGXP[K�BDW�?%BIK?A=N��GXUV^H;A=sJnK�^I=NU[OwK �5:tÖ / �#Ö9: / T (C)$F (C)

?A=N^aBDW7FHGI=sWH?�]NW�^ �GI^H;>W�?T (C)

=F (C)

?>e�W]NK�P[]NGIPQK�BDWH?9BDUVRT=NO>=N^H;A=@Ji=@^H;A=bYaK�OwK�]NK�BIKLW�YZ=NOwK�BIW�O9�ZW�W�P[=@K�^XWXr � =��K�J S1

=S2

]SW�^ �GI^H;AW�BD=O>=@?�;AO>U[dN{�=@?0YXK�O>KX}HO>=@?AYZ=@]u;>UVM K�Ji=@^H;A=�}DWH?#YIO>=@BDUQ]NK�BDW�?

C1

=C2

}T (C)

=F (C)

?>e�Wn]NK�P[]NGIP[K�BDW�?BD=)K�]SW�OwBDWi]SW�J�K�?'RT¼�O>JbGXP[K�?5K��XK�U~²DWX¯

• C1 || C2

r

F (C) = S1f%S2f

T (C) = {S1t ∗ {f2}}${{f1} ∗ S2t}W�^XBD=f1 ∈ S1f

=f2 ∈ S2f

=(f1, f2) ∈ F (C)

• C1 && C2

r

T (C) = S1t%S2t

F (C) = {S1f ∗ {t2}}${{t1} ∗ S2f}W�^XBD=t1 ∈ S1t

=t2 ∈ S2t

=(t1, t2) ∈ T (C)

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� ��� � ����I�i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 � ���

É K�OwKWkYIO>=@BDUQ]NK�BDWP = ((E1 < E2) && ((E3 ≥ E4)||(E5 = E6)))

}�Kk]NW�^X?�;AO>GXd@e�WBIK�?�O>=@?�;AO>U[dN{�=@? � RT=NUV;>K¬BD=�GXJnK�RTW�O>JnK j � � Õ � Ï �Z}9M�UQ?�UV;>K�^XBDW�c ?A=kK���O>M�W�OA=?AUV^H;w� ;AUQ]NK�BIKE.UV��GIOwK � �Dr �;� r

5E 6== E

< E

>= E

1E

3E 4

2

C

CC 3

1

2

&&

||

E¹U[��GXO>K � �Ir �@� ��� O>M�W�OA=C?AUV^H;>��;AUQ]NKiYXK�O>K�GIJ�YXOA=EBDU[]@K�BDW

� YIP[UQ]NK�^aBDWkK�?3; � ]S^IUQ]NK�? �9:tÖ,= �#Ö9:\��=NOwK�JicÎ?A=�]NW�^ Ê�GX^�;>W�?!BD=LO>=@?�;AO>UQdS{�=E?S1, S2

=S3]SW�OAO>=@?AYZW�^XBD=@^H;A=@?¹K�WH?�YIO>=@BIU[]@K�BDWH?

C1, C2

=C3

ryØt=NOwK c ?A=�GIJ,]NW�^ Ê�GI^H;>WS4

YXK�O>K3K7=N²�YXOA=E?A?>e�WC1 ���C3

GD;>UVP[UV|EK�^XBIW�c ?�=S2

=S3

r�Øt=@O>K�cÎ?A=�GIJÃ]SW�^�Ê�GI^H;AWS5

K�YXK�OA;AU[OiBI=S1

=S4

YaK�OwKkK=S²DYIO>=@?>?>e�W

C1&& (C2 || C3)r � E.UV��GIOwK � �Dr ��� JiWH?�;>O>K�Wi;AW�;>K�P¹BD=COA=E?�;>OAUQdS{�=@?'OA=EFHGI=NO>U[BXK�?@r

S1_f = {(>),(=)}

Escolhendo (<) como f2 e (>) como f3:

S4_t = (S2_t * {f3}) $ ({f2} * S3_t)=

{(>,>),(=,>),(<,=)}

S5_f = (S1_f *{t4} $ ({t1}* S4_f)=

=

= {(>,>,>),(=,>,>),(<,<,>),(<,<,<)}

S4_f = S2_f%S3_f ={(<,>),(<,<)}

S5_t = S1_t %S4_t = {(<,>,<),(<,=,>),(<,<,=)}

&&

S1_t = {(<)}

S3_f ={(>),(<)}

S3_t = {(=)}

Escolhendo (<) como t1 e (>,>) como t4

E5 == E

S2_t = {(>),(=)}S2_f = {(<)}

||

E < 1 E2 E3 >= E4 6||&&

E¹U[��GXO>K � �Ir ��� � Ö5=E?�;>OAUQdS{�=@? �#Ö9:ºO>=@FHGI=NO>UQBIK�?'YXK�O>K�WnYIOA=EBDUQ]NK�BIWiBIK E.U[��GIOwK � �Dr �;�

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� � � ���� �i

i

i

i

i

i

� �� �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98

� ?CRT=@OAOwK�Jn=@^�;wK�? �5Ø!Ø�� �����E� = É O>=@BI×¹W�W�P5� ������� ��=@O>K�J�]SW�^�Ê�GI^H;AW�? �9:tÖv= �#Ö5:�YXK�OwKYIO>=@BDUQ]NK�BDW�?tBD=nYIO>W���O>K�JnK�?7=E?A]NOAUV;AWH?N}�O>=@?AYa=E]u;>UVM K�Jn=@^�;>=n=NJ�} É K�?>]NK�P.= � rÇ��PQK�?tRTW�OA^X=@]S=@J�K]SW��a=@O�;>GIOwK�BIK�?#OA=E?�;>OAUQdS{�=E?0YaK�OwKbGIJ±BIK�BIWn]NW�^ Ê�GX^�;>W�BD=t;A=E?�;>=@?@r� ?5O>=@?�;AO>UQdS{�=E?s��=NOwK�BIK�?sYZ=NPQK�?'; � ]N^IU[]@K�? �#Ö9:º= �9:tÖ+YZWDBD=NJ±?�=@O#GD;AU[PVU[|@K�BIK�?#YaK�OwKb��=NOwK�O

BIK�BDW�?LBD=k;A=@?�;A=�K�BD=EF�GaK�BDWH?Lx�K�^X��PVUQ?�=BD=�JbGD;wK�^H;A=E?N}#]SW�JiW¦BIU~;>W�K�^H;A=@OAU[W�O>Jn=N^H;A=�r � P � JBDUQ?A?AWX}DK�?0O>=@?�;AO>UQdS{�=E?sYZWDBD=NOwe�Wn?A=NO#GD;AU[P[UV|EK�BIK�?s;wK�^H;AWn]SW�J\; � ]S^IUQ]NK�?'BI=3;>=@?�;A=tRTGI^X]NUVW�^XK�P1]NW�JnW]SW�J»; � ]S^IUQ]NK�?7=E?�;>OAGD;>GIOwK�UQ?Nr)×.K�U�U[^XBDUQ]NK�BDGXK�?tK��ZW�OwBIK���=N^a?9YXK�O>KlGD;AU[PVU[|@��c�PQK�?C]NW�JÆK�; � ]N^IU[]@KBD=b;A=@?�;A=b�XK�?A=@K�BIKn=NJÆ]NK�JnUV^I`XW�?@r � =NP[=@]NUVW�^XK�O7]NW�^ Ê�GX^�;>WlBD=i]NK�JnU[^I`IWH?9BD=);wK�P.JLK�^I=@UVOwKLFHGI=]NK�BIKCO>=@?�;AO>U[d@e�WC=S²DU[��UQBIKC?�=�Ê�K)]SW��a=@O�;wKCYa=@PVW!Jn=N^XW�?�GXJnKCM�=N|�r�Øt=@O>K�O�GIJ\BIK�BDW)BI=5;A=E?�;>=9YXK�OwK=S²D=E]SGD;wK�O�]NK�BIK�OA=E?�;>OAUQdNe�W�BD=GXJÃ]NK�JnUV^I`XW�BXK�BDWar �3K�YIOw� ;AUQ]NKX}sGIJLK�O>=@?�;AO>U[d@e�W�;>K�J�� � JYZW�BI=NOw�?�=@O)^Xe�W�=N²�=E]SGD;w��M�=NP�}¹]NK�?�W^XWkF�GaK�P�^I=@J ;>WDBIK�?)K�?!O>=@?�;AO>U[dN{�=@?!BI=NO>UVM K�BXK�?CYZW�BI=NOwe�W?A=NO%?>K ;>U[?�RT=NUV;>K�?�=�}7]SW�^X?�=EFHÅI=N^H;A=@Jn=N^H;A=�}5^Xe�W�?A=�YZWDBD=NOw���HK�OwK�^H;AU[O�FHGI=k;>W�BIW�?�WH?l=@OAO>W�?lBD=YIO>=@BDUQ]NK�BDW�?0RTW�O>K�J�BD=S;>=@]S;>K�BIW�?@r

� W�J±WLW��DÊ�=N;AU[M�WLBD=bK�GIJn=N^H;>K�O9Kn=Sza]@��]NU[KnBIK�?#; � ]S^IUQ]NK�?N}X×.K�U0� � ���E� YIOAW�Y � ?#GXJnKn=N²�;A=N^Ic?>e�Wb]w`XK�JLK�BIK);A=@?�;A=CBD=3=S²DYIO>=@?>?�{�=@?s�aW�W�PV=EK�^XK�?�=tOA=@P[K�]SU[W�^XK�U[?0]SW�J\YXK�O���Jn=S;AO>W

ε}�W�GL; � ]N^IU[]@K

�#Ö5�7ËεÙ�Ë#� � � Ð[h>Ñ� Ñ���kÌ3hSÐVÑ ����ZÑ�Ð � ���ZÒAh ��� ����vÓah��� ���HÍ � � ( �XÑ ÒAÑ�Õnh ÎhNÒ

εÙur � UQB � UQK �

?AGI�X?�;AUV;AGIU[O3WD]NW�O>OA�@^X]SUQK�?5BD=>=

<YaW�O

+ε=−ε}aOA=E?�YZ=@]S;AU[M K�Jn=N^H;A=�}aW�^XBD=

ε� GIJ»^HÈXJi=@OAW

JbGXU~;>W%YZ=@FHGI=@^IWX}1JLK�UVW�OtFHGI=0rb�s?�;wK%; � ]N^IUQ]NK%GX?AKlRTGI^XBXK�Jn=N^H;AWH?CBIK%; � ]N^IUQ]NKl;A=@?�;A=LBD=nBDW�c

JnÄV^XUVWH?#= � JLK�U[?#=Nza]NK�|tYaK�OwKiBI=S;A=@OAJnU[^XK�O5BD=NRT=NUV;AWH?5=NJ�=S²DYIO>=@?>?�{�=@?0O>=NPQK�]SU[W�^aK�UQ?0=@^�M�W�P[M�=@^XBDWW�GI;AO>W�?!;>UVYZW�?nBD=�=NO>O>W�?bK�P � J BDW�?iBD=S;>=@]S;>K�BIW�?�Ya=@P[K�?b; � ]N^IU[]@K�? �9:tÖ � �#Ö9:�r �9:tÖ�= �#Ö5:YZW�?>?�GI=@J»JnK�UVW�O3]@K�YXK�]SUQBIK�BD=)BI=bO>=NM�=@P[K�O7BD=NRT=NUV;AW�?tBD=iYIO>=@BDUQ]NK�BDW�?)ËÀBD=SRT=@U~;>W�?3=NJÆ=N²�YXOA=E?A?A{�=@?=!W�YZ=NOwK�BIW�O>=@?'�aW�W�PV=EK�^XK�?0=bOA=@P[K�]SU[W�^XK�U[?wÙu°DKi; � ]S^IUQ]NK �#Ö5�«O>=NM�=NPQKiBI=SRT=NUV;AWH?9?A=NJn=NP[`XK�^H;>=@?5K�WH?O>=NM�=@P[K�BDW�?0YZ=NPQKi; � ]N^IUQ]NKn×�=E?�;>=)BD= 7W�JnÄV^IU[W�?@r

12.6 Considerações finais�9=E?A?A=7]@K�YIÄV;AGIP[WCRTW�OwK�J\BD=E?A]NOAUV;>K�?�K�?yYXOAU[^X]SU[YXK�U[?�; � ]N^IUQ]NK�?sBD=9��=@O>K�dNe�WCBI=7BIK�BIW�?�BD=7;A=E?�;>=7FHGI=;A�@J�WbW��DÊ�=S;>UVM�W�BD=t?AK�;AUQ?�R_K�|N=NO']SO>U~; � O>UVWH?sBD=3;A=E?�;>=3=tBD=tOA=@M�=NPQK�O0WbJLK�U[W�O0^IÈIJn=NO>WbYZW�?>?AÄVM�=NP�BD=BD=NRT=NUV;AW�?@rØt=NOwK�OsBXK�BDWH?�BD=#;A=E?�;>=7K�P[=@K�;AW�OAUQK�Jn=N^H;>='^ae�W!��K�O>K�^H;A=5K!?�=@PV=EdNe�WCBIW�?yJn=NP[`IW�OA=E?yYaW�^H;AW�?sBDW

BDW�JiÄ[^IU[WLBD=C=N^H;AOwK�BIK�=t;>K�Jb� � J�^Xe�WiK�GD²DUVP[UQKiKiBD=N;A=NO>JnUV^aK�dNe�WiBI=t=@PV=@Jn=N^H;AWH?0^ae�Wn=S²D=@]NGD;>��cM�=@U[?@}1^XK�BIK�?�=LK�YXOA=@^XBD=N^aBDW?�W��IOA=iW�YIO>W���OwK�JLKXr � ; � ]S^IUQ]NK�^IW�=N^H;wK�^H;AWa} � BD=SRT=@^XBDUQBIK�YaW�OM ��O>UVWH?#K�GD;>W�O>=@?'YaW�O9?�=@O5Jn=N^IWH?5]SGX?�;AWH?AKX}DYIO>��;AUQ]NK�=CR_��]NUVP1BD=)K�GD;AW�JLK ;AU[|@K�O@r� YZ=@?>K�O#BD=7�aK�?�;>K�^H;>=7BDUVRTGI^XBDUQBIKI}DK!=N²D=@]SGadNe�W)?AU[Jb�Z¼�P[U[]@K)K�YIO>=@?A=N^H;wK!JbGIUV;>K�?sBDUVza]NGIP[BXK�BD=E?

BD=9K�GD;AW�JnK�;AU[|@K�dNe�War���PQK � JLK�UQ?�]NGX?�;>W�?>KCBDW)FHGI=7KC��=@O>K�dNe�W3K�P[=@K�;A¼�OAUQKI}�JLK�?�RTW�UX]NW�JnYIO>W M K�BIK?A=NO7JLK�U[?3=Sza]@K�|)=@JÆM ��O>UVWH?5=S²DYZ=NO>UVJn=N^H;>W�?@r É =NO>JnU~;>=b=NJÆK�PV��GI^X?t]NK�?AW�?7BD=S;>=@]u;wK�OC]NK�JiU[^I`IWH?^Xe�W3=N²�=E]SGD;w��M�=@U[?¹=5K�P � J,BDUQ?>?�Wa}�]SO>U[K�O.O>=NYXOA=E?�=@^�;wK�dN{H=E?�?AUVJ��a¼�PVUQ]NK�?�BIKt=S²D=@]NGXdNe�W3BD=#GIJ,]@K�JnUVc^I`IWtFHGI=0YZWDBD=NOwe�W3?�=@O¹]SW�^DRTO>W�^H;>K�BIK�?¹]SW�JºO>=NYIO>=@?A=N^H;wK�dS{�=E?1?�U[Jb�Z¼�P[UQ]NK�?¹BIK�?.?>K�ÄQBIK�?�=@?AYa=@O>K�BIK�?@}R_K�]NUVP[UV;>K�^aBDW%K%BD=S;>=@]Nd@e�WlBI=�BD=NRT=NUV;AW�?@r � =N²�=E]SGXd@e�Wl?AU[Jb�Z¼�P[U[]@Kn;A=@J�?�UQBDWlGI;AU[PVU[|@K�BIKL;wK�Jb� � J=NJ�W�GD;>O>K�?#��O>=@K�?#BIKn]NW�JnYIGD;wK�dNe�WX}H;>K�U[?5]NW�JnWLBD=NYXGIO>K�dNe�W%� ���E� r� =N²D=@]SGadNe�WkBIUV^ ��JnU[]@KkM�U[?>KkK�OA=E?�W�PVM�=NO)WH?)YIO>W��IP[=NJLK�?bBIK�=S²D=@]NGXdNe�Wk?�U[Jb�Z¼�P[U[]@KI}yGD;>UVP[UVc

|@K�^XBDWi; � ]S^IUQ]NK�?9BD= jwÑ&� ÀÒAÑ�&8���HÍ�}aK�^X��P[UQ?�=!BD= �XGI²�W�BI=)BIK�BDWH?#=!JnUV^IU[JnUV|EK�d@e�WLBD=CRTGI^XdN{�=@?@r: UQBD=@K�P � GD;>UVP[UV|EK�O5]SW�^ Ê�GI^H;>K�Jn=N^H;A=t=S²D=@]NGXdNe�Wb?AUVJ��a¼�PVUQ]NKb=3=N²�=E]SGXd@e�WiBDUV^ ��JnU[]@KIr �9=E?A?A=3?A=N^Ic;AUQBDWa}�; � ]N^IUQ]NK�?CBD=n]SW�JnYIGD;>K�dNe�W�=NM�W�P[GD;AU[M KI}�;>K�U[?t]SW�JnW � PV��W�O>U~;>JiWH?3Øt=@^ � ;>U[]NW�?@}ÇYaWDBD=@J ?�=@OGD;>UVP[UV|EK�BIK�?7BD=bJnK�^I=NU[OwK�]SW�JiYXPV=@Ji=@^H;>K�O7YXK�OwKLO>=@?AW�P[M�=NO9K�?9O>=@?�;AO>U[dN{�=@?5=E?�;wK��Z=NP[=@]SUQBIK�?9]SW�J»K�?

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� � Ú � ������i

i

i

i

i

i

� *+���N�t$ �' ���� � �#80�9*)&�() +"38�"9*7"n 5/�"78,�.8'/1�.8 � � Ú

=S²D=E]SGXdN{H=E?9?AUVJ��a¼�PVUQ]NKi=bBDU[^ ��JiUQ]NKnW�G1}aK�UV^aBIKI}IYaK�OwK�=@M�W�PVGIU[O9GIJ»BD=N;A=NO>JnUV^aK�BDWL]SW�^ Ê�GI^H;AW%BD=BIK�BDW�?5BD=t;>=@?�;A=�}XJi=@PV`XW�OwK�^XBDWnKn]SW��a=@O�;>GIO>KiW��D;AUQBIKn]SW�J�Ki��=NOwK�d@e�WiK�P[=@K ;>¼�O>U[KXr� ?); � ]N^IUQ]NK�?bBD=���=@O>K�dNe�W�BD=�BXK�BDWH?)?�=@^X?AÄVM�=NUQ?!KkBD=SRT=@U~;>W�?!^ae�WW�RT=@OA=E]S=@J GIJLK�JLK�^I=@UVOwK

K�GI;AW�JL��;AUQ]NKLBD=)��=NOwK�O5W�BIK�BDWX}aJLK�?5M�UQ?AK�J���=@O>K�O9BIK�BIW�?9BD=);A=@?�;A=�]SW�J»K�PV;>KnYXOAW��XK��IU[P[U[BIK�BD=BD=�O>=NM�=NPQK�O)BD=NRT=NUV;AWH?Nr � =NO>��U[P[UVW=N;�K�P�rK�YIO>=@?A=N^H;>K�J�� ������� O>=@?AGIP~;wK�BDWH?!BD=�GIJm=N²�YZ=NO>U[Ji=@^H;AW]SW�J�K�?'; � ]N^IU[]@K�?5BD=!��=NOwK�d@e�W�BI=CBXK�BDWH?5?�=@^X?�Ä[M�=@U[?#KLBD=NRT=NUV;AWH?Nr� ; � ]N^IUQ]NK�;A=@?�;A=�BD=�BDW�JiÄ[^IU[W�?�BD=@M�=�?�=@O%GD;>UVP[U[|@K�BXK¬]NW�J®GIJ ]NOAUV; � OAU[W¬BI=�?A=NP[=@d@e�W�BD=

]NK�JnUV^I`XW�?@r � GI��=@OA=NcÎ?A=LF�GX=l?�=�Ê�KGIJm]SO>U~; � O>UVWJLK�U[?b=S²DUV��=N^H;A=LYZW�OwFHGI=lK�?A?AUVJ ?�=@O>��JLK�UVW�ObKYIO>W��XK��IU[PVUQBIK�BI=nBI=�F�GX=iWk]@K�JnU[^I`IWFHGI=LOA=@M�=@P[K%WkBD=SRT=@U~;>Wk?�=�Ê�K�?�=@PV=E]SU[W�^XK�BDWXrL�s?>?>Kl; � ]N^IU[]@K;>K�Jb� � J � K¬JLK�UQ?�BDU~RTÄQ]SU[P)BD=�?�=@O�K�YIP[U[]@K�BIK�=�K�GD;AW�JLK ;AU[|@K�BIKI°C=N²�UQ?�;A=NJ®YXOAW��IPV=@JLK�?�]SW�JYIO>=@BDUQ]NK�BDW�?#]NW�JnYaWH?�;>W�?'=!^Xe�WiP[U[^I=@K�OA=E?N}DBDW�JiÄ[^IU[W�?5BDUQ?>]SO>=S;AWH?N}D=N;>]�r� ; � ]N^IU[]@KlBD=b;A=E?�;>=b�XK�?�=EK�BDW�=@J»OA=E?�;>OAUQdS{�=@?9;A=@J»?AGXKl=Sza]@��]SUQK�BD=@Ya=@^XBD=@^�;>=iBIW�?9W�Ya=@O>K�c

BDW�OA=E?0BD=CJ�GD;>K�dNe�W�GD;AU[P[UV|EK�BDWH?N}�M�U[?�;AWnFHGI=t^Xe�W � YaWH?A?AÄVM�=NP�BD=@?>]SO>=NM�=NO0;AWDBDW�;AU[YaWLBD=CBD=NRT=NUV;AWn=K�?�O>=@?�;AO>UQdS{�=@?yBD=5YXOA=EBDU[]@K�BDWC?>e�WCJbGIUV;AW!U[JnYaW�O�;wK�^H;A=E?�YaW�U[?s?Ae�WCK�YIO>W�²�U[JLK�dN{H=E?¹BXK�?�O>=@?�;AO>U[dN{H=E?BD=)?AGDza]NUV�@^X]SUQKIr� ?); � ]N^IUQ]NK�? �5:tÖ � �#Ö9:�?>e�W�JLK�UQ?)YIOw� ;>U[]@K�?C=�JLK�UQ?CR_��]S=NUQ?)BD=%?�=@OA=@J K�GI;AW�JLK�;AU[|@K�BXK�?

JLK�?5?>e�WnJn=N^IWH?#YaWDBD=@OAWH?AK�?#=NJ�;A=NO>JnW�?5BD=!=Nza]N��]SUQKIr �#Ö5��YZW�BI=)?�=@O5JnK�U[?9=Sza]@K�|CJLK�?@}DYaW�OW�GI;AO>W�PQK�BDWa}D=S²DUQ?�;>=)KiBIU~za]NGIPQBIK�BD=C=@J�?A=CBI=S;A=@OAJnU[^XK�O5WnM K�P[W�O9BI=

ǫr

� =NO>��U[PVU[Wi=S;7K�Py� ����� } ����� � YIO>W�YZ{H=@J�]SO>UV; � O>U[W�?'BD=t;A=@?�;A=�}XBD=@^IW�JnU[^XK�BDWH? � OAUV; � OAU[W�?#Ö5=E?�;>OAUVc;AWH?N}�FHGI=0;A�@J�W7W��DÊ�=S;>UVM�WtBI=']NW�Jb�XUV^XK�O¹O>=@?�;AO>UQdS{�=@?¹BD=#YIOA=EBDUQ]NK�BIWX}E;>K�U[?�]SW�JnW3K�?.GD;>UVP[U[|@K�BXK�?¹^IW×¹=@?�;A= �#K�?A=@K�BDW!=NJ\Ö5=E?�;>OAUQdS{�=@?�=7YZ=NPQK�?y; � ]N^IU[]@K�? �#Ö9: � �9:tÖ�= �#Ö5�9}HYXK�O>KC��=NOwK�O�BIK�BDW�?0BD=;A=E?�;>=tK�BDUQ]SU[W�^XK�U[?sYXK�OwK)W�;A=E?�;>=3=E?�;>OAGD;>GIOwK�P�ry:t?'BIK�BIW�?'BD=7;>=@?�;A=CBD=NM�=NJ�=N²�=E]SGD;wK�O'W�]@K�JnUV^X`IWBIK�BDW)YXK�O>K)]NW��IO>U[OsGIJ�BD=N;A=@OAJnU[^XK�BDWb=NP[=NJn=N^H;AW�OA=EFHGI=NO>U[BIW!YaW�O0GIJ�]NOAUV; � OAU[W!=@?�;AO>GD;>GIO>K�Pa=t?AK�c;AUQ?�R_K�|N=@O5KbO>=@?�;AO>U[d@e�WiF�GX=CBI=@?>]SO>=NM�=3GIJ�BI=SRT=NUV;AWar 7=E?A?>KiJnK�^I=NU[OwKbK�GXJi=@^H;>K c ?A=tKi]NK�YXK�]NU[BIK�BD=BD=!O>=NM�=NPQK�O'W�GD;>OAWH?'BI=SRT=NUV;AWH?N}X��=NOwK�P[Jn=N^H;A=t^Xe�WiO>=NM�=NPQK�BDWH?sYZW�O9]NOAUV; � OAU[W�?'=E?�;>OAGD;>GIOwK�UQ?Nr

�9J�YIOAW��IP[=NJLK7U[^I=@OA=@^�;>='K3;>W�BXK�?¹; � ]S^IUQ]NK�?yBD=#��=NOwK�d@e�W7BI=#BXK�BDWH?.?A=N^a?�Ä[M�=@U[?�Kt=NO>OAWH? � FHGI=�}^IW7zX^XK�P�} GIJ�]NW�^ Ê�GI^H;>W3BD='OA=E?�;>OAUQdS{�=@? � BD=@OAU[M K�BDWar É O>W���OwK�JLK�?1FHGI=0O>=@?AW�P[M K�J =Sza]NUV=@^H;A=NJn=@^�;>==@?>?>K�?0OA=E?�;>OAUQdS{�=@?@}�GD;>UVP[UV|EK�^XBIW�=N²�=E]SGXd@e�Wi?�U[Jb�I¼�PVUQ]NKbW�G�BDUV^ ��JnU[]@Kb=3; � ]S^IUQ]NK�?#BD=t]NW�JnYIGD;wK�d@e�W=NM�W�P[GD;AU[M KI}D?>e�Wb^X=@]S=E?A?>��O>U[W�?@r���^H;AO>=S;wK�^H;AWa}D^I=NJ�?A=NJnYIO>= � YZW�?>?AÄVM�=NPZ=N^X]NW�^H;AOwK�O'=@?>?AK�?�W�PVGadNe�Wa°K9U[^XBD=E]SUQBDU[�IUVP[UQBIK�BD='YZ=NO>JnK�^I=@]N=0]NW�JnW9W��a?�;w��]SGXPVW7xtK ;>UVM�UQBIK�BI=sBD='��=NOwK�d@e�W9BD='BIK�BIW�?.BD=s;>=@?�;A=�}^Xe�Wn?A=N^aBDWnYaWH?A?AÄVM�=NPÇ?AGXKn]SW�JnYIP[=S;wKnK�GD;>W�JLK ;>UV|EK�dNe�WXr

i

i

����� pkK�UV�̂��� � ���� ��� � � � ��� ¯ � ��� YXK���=�� ��� � ������i

i

i

i

i

i

� ��� �������! #"%$'&�() +*) ,�.80/1�.82"382/1 #45�36�*7�98