21

users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

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

" #�$&%!')(+*-,�.�/0( $�1

2�3547698�:<;6>=?:@8�A�3B:DCFE�G�6IHJ6IKL6IC�MIN?O�P@NBE�G�3RQRG0NR4-4>NSMI:T35CL6>P@:DCL6INSG�6�;69U�C�3B8�A�G0U�476ICVA�3W6I8�A�G�6I4-NR476ICVA�6>E3SXA�6ICVA�6�E6YGZ473?KL6IP@P@NSG06[C\U�476YG0358�:?E�G�3R]^P@6I4-:LKL6IHY:@8�:@35C�NRP@:?H0_L6 8�:LE�G�6I8�6IC`A�NRCL3aCL6IP�HYNR47E3+KL6IP@PDN&E�G�3?K�ULMI:T35CL6RONRP@PT3?HYNSMI:T35CL6�K�:)G0:D8�3RG08�6RObA�G0NR8�E3RG�A�3LONR8�8�6YQ5C�NR476ICVA�3c6�4735P@A�:dNRPTA�G0:fe<g?hi3RG�A�U^C�NSA�NR476ICVA�6�j\UL6I8�A�6�CVU�4-6YG�358�6NSE�E^PD:@HYNSMI:T35C�:�CL35Ck8�35CL3F8�U?l9HY:@6IC`A�:[NmHJ3RE�G0:TG06cP@Nn4-NSQRQ5:T3RG7EbNSG�A�6oKL6I:�E�G�3R]^PT6I4>:ZK�:�E^:@NRC^:qpbHYNSMI:T35CL6cKL6IP4735C�K�3cG06INRPT6ROr6IKF:@CnE^NSG�A�:DHJ35P@NSGs473\K�3cG06I8�A�NRCL3o6I8�HYP@U^8�:�E�G�3RE�G0:@39:tE�G�3R]bPT6I4-:uE^:�;UnK�:ql9HY:@PD:dK�NcG0:@8�35PT=R6YG�6Rev CB=?:@C�HJ35PT3-E^G�6I8�6ICVA�6a:@Cw4735PTA�:)E�G03R]^PT6I4-:)G06INRP@:�;6a:DCLhxNSA�A�:ujVU�6IP@PT3-KL6IP@Pfyz:@C`A�6YG06YMYMIN>K�:rNRPDHYU�CL6+=SNSG0:@NS]^:DP@:)KL6JXHY:@8�:@35C�NRP@:{e ;| 3}=\=\:T3nH0_L6�j\UL6I8�A�3W=?:@C�HJ35P@3wCL35C�E^Uu;3B6I8�8�6YG�6c:D47E358�A�3W8�35PT3nHJ35C~PfyzU�8�3WK�:�K�:@8�U�Q5U�NSQ5P@:@NRCLMY6P@:@C�6INSG0:{OVC�35Co:@47E3RG�A�N�jVU�NRCVA�6-�xE6YG0H0_);6�����e���Pb=?:@C�HJ35P@3�K�::@CVA�6YG�6YMYMINo;6shx35C�K�NR476ICVA�NRPT6&6RO�HJ35476s=R6IKLG06I473LOCL35C�EbUu;3m6I8�8�6YG�6BA�G�NR8�HYULG0NSA�3�C�6IP@P@Nm8�E6YG0NRCLMINFH�_L6WU�C�NF8�35P@ULMI:T35CL6�hxG0NSMI:T35C�NSG�:@NmNSG�G�3RA�35C�K�NSA�N~NRP@P{yz:@CVA�6YG�38�:@N�8�6I4-E�G�673RA�A�:@4-N�3BHJ354�U�C�j\UL67]^U�35C�N?e7gL:�HJ35C�8�:@KL6YG�:�NRKm6I8�6I47E^:T3BP@NcE�G03\K�U�MI:T35CL6�NRC�CVU^NoK�:tU�CFKL6JXA�6YG04-:DC�NSA�3o473\K�6IP@PT3�K�:tNRULA�35473R]^:@PD:{es��Cmj\UL6I8�A�3BHYNR8�3LOdE!6YGsj\U�NRCVA�3BCL35CmNS]�]^:@N�8�6IC�8�3cE^G�3\K^ULG�G�6�476YMYMINNRULA�35473R]b:@PT6ROVU^C�N+8�35P@U�MI:T35CL6<3RA�A�:@4>N�NRP�E^G�3R]^PT6I4-Ns8�6ICLMIN�=?:@C�HJ35PD:LK�:�:@CVA�6YG�6YMYMIN�H0_L6�G0:@H�_�:T6IK�NsK�:�E�G�3?K�ULG�G�6�R���`�R�R� e��nNRULA�3BE3RA�G�;N�=R6YG�3580:@4-:@P@4-6IC`A�6�6I8�8�6YG06>NSG�G�3RA�35C�K^NSA�NBN �R���`�R��� 8�6ICLMINBU�CmQRG�NRC�KL6-KL6YQRG0NRK�3WCL6IP=SNRPT3RG�67KL6IP@P@N�8�35PDULMI:T35CL6Re���6IC�K^:T=R6YG08�Nw;6>P@N�8�:TA�U^NSMI:T35CL6�K�:�U�CnE�G�3R]^P@6I4-N9:DCnHYU^:�8�:tKL6IHY:@K�N?Or:@C^8�:T6I476�NRKNRPTA�G�6�HJ358�6ROKL3}=R6�HJ358�A�G0U�:@G�6�KL6I:dE^U�CVA�:)=R6IC�K�:TA�N9K�:dU^C�N-HYNSA�6IC�NcHJ354-476YG0HY:DNRPT6RObNRP�HJ358�A�3�K�:d8�=SNSG0:@NSA�:d4-:@PqX:@NSG0K^:�P{yzU�CL3Le>�uNB8�35P@U�MI:T35CL673RA�A�:@4-Nw8�6ICLMINo=?:@C�HJ35PD:�K�:�:@CVA�6YG�6YMYMINBE3RA�G�6Y]^]!678�U�QRQR6YG0:TG�6>K^:�HJ358�A�G0U�:TG06 �5���K�:uU�CwC�6YQR3RMI:T3c:DCwU�C^N>HY:TA�A�;No��� 6�P{yzNRPTA�G�3cjVU^NSG�A�3cC�6IP@P@N>HY:@A�A�;N����Ses2[:�;3w;6�H0_^:@NSG0NR476ICVA�67:@47E358�8�:T]b:@PT6Re ;|NRP@PT3RG�N =SNRCVA�NSQRQ5:T358�3aHJ358�A�G0U�:TG0P@3�:@C-� � 3+:@C>� � �o�&:TE6IC�K�6�K�NR:LK^NSA�:r��HJ358�A�:L6 � 3+=?:@C�HJ35P@:feu��3RA�G�6Y]�]6[E6YG�pbCL3NRHYHYNRKL6YG�6+H�_L6&E6YG[U^C�Na8�35P@ULMI:T35CL6�:@CVA�6YG0N�P@Na8�35P@ULMI:T35CL6 3RA�A�:@4-N7PT3?HYNRP@:TMYMI:!:@P!CL6YQR3RMI:T37:@CcjVU�6I8�A�:T35CL6&:@C�U�C�NA�6YG�MIN9HY:TA�A�;N9��e

�)��� �c f¡� �¢Z �£c¤<¥��P�473\K�6IP@PT3mE^:�;U¦QR6ICL6YG0NRP@6WK�:[E�G�3R]bPT6I4-NmK�:[E�G�3RQRG�NR4-4-NSMI:T35CL6BPD:@CL6INSG�6o:@CVA�6YG0N§�����r����HJ35C�8�:@8�A�6BC�6IP@P{y¨3RA�XA�:@4-:@MYMINSG�6+U�C�N�h�U�CLMI:T35C�6�3R]b:T6YA�A�:T=R3>P@:DCL6INSG�6RO�:@C�E�G06I8�6ICLMIN7K�:=?:@C�HJ35P@:)PD:@CL6INSG0:{O\6+G0:DH0_�:T6IK�6IC�KL3�H0_L6�©�KL6IP@PT6ª =SNSG0:@NS]^:@PD:VKL6IHY:D8�:T35C�NRP@:\E358�8�NRC�3&NR808�U�476YG�6<8�35PTA�NRC`A�3a=�NRP@3RG0:L:@CVA�6YG0:{e�g?:LKL6ICL3RA�:LHJ35Cn�x«�¬�­���®�U�C�Ns8�35PDULMI:T35CL6KL6IPLE^G�3R]^PT6I4-N?OV:@C-HYU�:L«w¯°�x±r�I¬Y²Y²Y²}¬�±!³S� ®´wµ ³ O�;6 :@P�=R6YA�A�3RG�6�K�6IP@PT6[=�NSG�:@NS]^:@P@:?H�_L6 KL6Y=R35C�3�G0:@80U�PTA�NSG�6�:@CVA�6YG�66�­k¯��x¶?�I¬Y²Y²Y²I¬�¶R·V¸^³S��® ´�¹ ·V¸^³ ;6�:DPd=R6YA�A�3RG�6-K�6IP@PT6�=SNSG0:@NS]b:@P@:rH�_L6aE358�8�35CL3cNR808�U�476YG�6�=SNRPT3RG0:uhiG0NSMI:@35C�NSG0:{eg?:@Ncº°U�C^N94-NSA�G�:@HJ6�»½¼m©W67�¾U�C�Nc4-NSA�G0:@HJ6�»¿¼¦� ªwÀ ©���OrÁÂU�CW=R6YA�A�3RG06>Nc» HJ3547E35CL6ICVA�:{O67ÃoU�C=R6YA�A�3RG�6&N ª HJ354-E!35C�6IC`A�:{e�Ã>;6�:@P�=R6YA�A�3RG�6�K�6I:^HJ3\6Jl9HY:T6ICVA�:^K�:�HJ358�A�3LO\6�8�:@NsG�:TE^NSG�A�:TA�3+HJ354-6���ÃRÄ?¬�ÃRÅ5� ® O\KL3�=R6Ã Ä ¯Æ��Ç � ¬Y²Y²Y²}¬�ÇJ³R��®u6-à Š¯È��ÇJ³YÉ � ¬Y²Y²Y²}¬�Ç · ��®�e���P�E�G03R]^PT6I4-N�K�:�Ê[Ë�Ì�Í5Ë�ÎSÏ�Ï-Î}ÐYÑ�ÌSÒÓ>ÔtÑxÒ!Ó0ÎSË�Ó7Õ�ÒbÖ�ÓJË�Î�×FÑDØJÖfÎ���Z�d��ÙF��O^8�:dKL6JpbC�:@80HJ6&HJ354-6RÚ

Û+Ü�ÝIÞàß 4-:@Coà ®Ä «9ákà ®Å ­

��Ù¦â}� ã�«9ákä�­~å§Á��Ù � � « ´nµ ³��Ù � � ­ ´B¹ ·V¸^³��Ù � � «�¬�­�åÂæ

â

Page 2: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

������������ ß g?:�HJ35C�8�:@KL6YG�:�:DPuHYNR8�3BK^:�U^C�N9HJ354-E^NSQ5C�:@NoK�:uA�G0NR8�E3RG�A�:tHJ35CF=R6YA�A�U�G�6-K�:�K�:T=R6YG08�3�A�:TE3� � ¬Y²Y²Y²�¬ ��� OSH0_�6ZG0:@H�_�:T6IKL35C�3<K�:T=R6YG08�6�jVU�NRCVA�:TA�;N<K^:RG0:@8�3RG�8�6�4-NSA�6YG0:@NRPD:^��HYNSG�]^ULG�NRC`A�6ROS35P@:T3LeTeTe ��ORCL35C^H0_);6�U^4-NRCL6��NRULA�:@8�A�:@:i��e v C�Nc8�35P@U�MI:T35CL6�E!3RA�GS;N9KL6IHY:DKL6YG�6aK^:uNR8�8�6YQ5C�NSG�6-���?e�� � P@:TA�G�:rK�:u]!6IC�MI:@C�N>NR:t476YMYMI:tK�:uA�:TE3 � �IO4-N-HJ6YG0A�NR476IC`A�6�CL35C � e��7NRU�A�:@8�A�:��

v C�HYNR8�3BEbNSG�A�:@HJ35P@NSG�67K�:tE^G�3RQRG0NR4-4-NSMI:@35CL6-P@:@CL6INSG06�:DC`A�6YG0No4>:@8�A�N�8�:�_�Noj\U�NRC�KL3oA�U�A�A�6-PT67=�NSG�:@NS]^:@P@:8�35CL3>=\:@C^HJ35P@NSA�6+NRKB6I8�8�6YG�6�:@CVA�6YG�6>�x358�8�:DN>©>¯ ª 6�:DP=R6YA�A�3RG�6�­¦CL6IPr473?KL6IP@PT3�E�G06IHJ6IKL6IC`A�6a8�HJ3547E^NSG�6���e�g?:E^NSG0PDN7:@CojVU�6I8�A�3-HYNR8�39K^:dÊ[Ë�Ì�ÍRË�ÎSÏ�Ï-Î}ÐJÑ{ÌSÒ!Ó�ÔtÑxÒ!Ó�ÎRË�Ó+Õ�ÒbÖ�ÓJË�Î-Ê��?Ë�Î9���Z�d���[��Ú

Û+Ü�ÝYÛ7ß 4-:@CoÃ5® «

��� â}� ã «�å Á��� � � « ´nµ ·��� � � «FåÂæ

������������� ß g?:<HJ35C�8�:DKL6YG0:<U�C§E�G�3R]^P@6I4-NFNSMI:T6IC�K�NRP@6w:@C HYU^:�K�:<U^C E�G�3?KL3RA�A�3~6I8�:@8�A�NRCL3~=�NSG�:a� ª �473?KL6IP@P@:6aPT6+=SNSG0:@NS]^:@PD:!K^:rKL6IHY:@8�:@35CL6+G0NSE�E^G�6I8�6ICVA�:@CL3-:@PrC\U�476YG03-K�:)6I8�6I47EbP@NSG0:rK�N-E�G�3?K�ULG�G�6&E6YG HY:DNR8�HYU�C473?KL6IP@PT3Le

º ]�]^:@NR4-3c:@CLpbCL6aU^CwHYNR8�3oEbNSG�A�:@HJ35P@NSG�6�K�:�E�G�3RQRG�NR4-4-NSMI:T35CL67P@:DCL6INSG�6a:DC`A�6YG0N?OrC�6IP�j\U�NRPT6�PT6�=�NSG�:@NS]^:@P@::@CVA�6YG�6�8�35CL3c=\:@C^HJ35P@NSA�67NRKnNR808�U�476YG�6�8�35PTA�NRCVA�3o:d=SNRPT3RG0:��c3nâSe+�tNSG0PD:@NR4739:DCwj\UL6I8�A�3oHYNR8�3oK�:�Ê[Ë�Ì�ÍRË�ÎSÏ��Ï-Î}ÐJÑ{ÌSÒ!Ó�Ô�ÑiÒ!Ó0ÎSË�Ó ���"!SO�3�K�:<Ê[Ë�Ì�ÍRË�ÎSÏ�Ï-Î}ÐJÑ{ÌSÒ!ÓWÔtÑxÒ!Ó�ÎSË�Ó�Õ�Ò^Ö�ÓJË�Î$#�ÑiÒbÎRË�Ñ{Î����Z�d���<��e&% 6IP�HYNR8�3�E^U�G�3LO�:@PE�G�3R]bPT6I4-N�K�:T=R6ICVA�N?Ú

Û+Ü�Ý('cß 4-:@Coà ® «

���&â}� ã�«Få§Á��� � � « ´$) �?¬Iâ+* ·

������������, ß.- :@E^:@HYNR476ICVA�6RO<PT6W=SNSG0:@NS]b:@P@:�]^:DC�NSG0:T6B=R6IC�QR35CL3�U�8�NSA�6nE!6YG9G0NSE�E�G06I8�6IC`A�NSG06nKL6IHY:D8�:T35C�:K�:�:@CVA�G0NSE�G06IC�KL6YG�6�3RE�E^U�G�6oCL3�U�C�NmHJ6YG�A�N~NSMI:T35CL6RO[HJ354760/�E�G�3?K�ULG0G�6o:@P�E�G�3?KL3RA�A�32143?O�35/�NRHYHJ6IC�KL6YG06W:@PQR6ICL6YG0NSA�3RG067683?e v C~6I8�6I47Eb:T3nK^:Z�Z�d���Æ;6cK^NSA�3mK^NRPZE�G03R]^PT6I4-NwK�:ZKL6IHY:DKL6YG�6�Nwj\U�NRP@:�:@C�HJG�3?HY:ZEb:@NSMYMINSG�6KL6I:tE35P@:TMI:@3RA�A�:{O):@Cm473\K�3oA�NRPT6-H0_L67A�U�A�A�6>PT678�A�G0NRKL6-80:@NRCL3oE^NSA�A�ULQ5PD:@NSA�6Re v CmE35P@:TMI:@3RA�A�3�HJ35CVA�G�35P@PDN�A�ULA�A�6PT6>8�A�G0NRKL6>H�_L698�:Z:@C`A�6YG�8�6IHYNRCL3wNRK~U�C�K�NSA�3n:@C�HJG�3?HY:T391�e��dNB=�NSG0:DNS]^:@PT67±;:�=R6YG0G�;NBU�8�NSA�NWE6YG�KL6IHY:@KL6YG06>8�6E^:@NSMYMINSG06BU�C¦E!35PD:TMI:T3RA�A�3FNRP@P{yz:@C^HJG�3\HY:@3<19��CL6IP�j\U�NRP�HYNR8�3F± : ¯¿â}�a3RE�E^ULG06cCL3§�x± : ¯=�`��e��dNnhxU^CLMI:T35CL63R]^:T6YA�A�:@=R3-E3RA�G�6Y]�]6&6I8�8�6YG�6�4>:@C�:@4-:@MYMINSG�6�:DP)CVU�4-6YG�3-K�:E35P@:TMI:T3RA�A�:ULA�:DP@:TMYMINSA�:��x358�8�:DN?> ·:A@ � ± : ��e

2�354-6aCL6IPuHYNR8�3cK�6IP@P@N-����ObNRC^H0_L6�E6YG P@N7E^G�3RQRG0NR4-4-NSMI:@35CL6a:@CVA�6YG0N>6I8�:@8�A�35CL3cK�:T=R6YG08�6�hx3RG04aU^P@NSMI:T35C�:{O:@C7HYU�:LP@6[K^:@8�ULQ5U�NSQ5PD:@NRCLMY6�E!35808�35CL3s6I8�8�6YG06<:@C`=R6YG0A�:TA�6�6 � 3�8�358�A�:@A�U�:TA�6<HJ35C-ULQ5U^NSQ5P@:@NRCLMY6Re���6YG�6I8�6I47Eb:T3sCL6IP@P{y:TE3RA�6I8�:rH�_L6�ã 6aÁ�8�:@NRC�3>N-=SNRPT3RG0:u:@C`A�6YG�:{O^8�:dE!35808�35CL39NSQRQ5:DU�CLQR6YG�6a=�NSG0:DNS]^:@P@: � 8�P@NRHCB � 8�U�G�E^P@U�8�NR:u=?:@C�HJ35P@:K�:rK^:@8�ULQ5U�NSQ5PD:@NRCLMIN?O�:@Cw473\K�3>K�N7A�G0NR8�hi3RG04>NSG0P@:r:@CB6IjVU�NSMI:@35C�:{O�6�:r=SNRPT3RG0:rK�: � 8�NSG�NRC�CL3>NRC�H�_)y¨6I8�8�:�:@CVA�6YG0:{e��6YG0HY:�;3>NRKB6I8�6I47E^:T3-:DPE�G�3R]^PT6I4>NEDGFIH8D°E^Uu;376I8�8�6YG06+A�G0NR8�hx3RG04-NSA�3>:DC

4-:@C�ÃR®q«KJ

��� â}� ã J « J ¯ Á��� � � «KJ ´nµ ·ML��� � � «KJ åÂæKL3�=R6aã�J<¯ ��ã À H\��O^«KJ[¯°�x«�¬ � �[6 ª J�¯ ª ák»Fe

Page 3: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

1

2

3

4

5

1 2 3

P

P(X)

X

x^

x ~

x__

max c’x

� :TQ5ULG06-âSÚ���:D8�U�NRP@:TMYMINSMI:@35CL6sQR6Y35476YA�G0:@HYN?e

� � 1�(�� 1t%!'r/���*71������ W#

�t��� ¥���������¢��� �������C�j\UL6I8�A�N&8�6YMI:@35CL6�K�:@8�HYULA�6YG06I473�NRPDHYU�CL6�E�G�3RE�G0:@6YA�;N�QR6Y35476YA�G�:@H0_L6<K�6IP@P@N E�G�3RQRG0NR4-4>NSMI:T35CL6[P@:@CL6INSG�6[:@CVA�6YG0N?O6�:@C-E^NSG�A�:@HJ35P@NSG06�PT6�G�6IP@NSMI:@35C�:LA�G0N+Pfyz:@C�8�:T6I4-6[K�6IP@PT6�8�35P@ULMI:@35C�:L:@CVA�6YG�6<6�j\UL6IP@PT3+K�6IP@PT6<8�35P@U�MI:T35C�:?NRP�E�G03R]^PT6I4-N:@C¦HYU�:�:@P�=?:@C�HJ35PT3nK�:�:@C`A�6YG06YMYMINw=?:T6ICL6cA�G0NRP@NR80HY:@NSA�3k��Ë Ñ��qÎ�Ø�ØJÎSÏ>ÓYÒ^ÖfÌ �0ÌSÒ^Ö�ÑxÒ ��Ì}��eF��P�4>NSA�6YG0:@NRPT6c=\:@6ICL69j\U�:A�G0NSA�A�NSA�3�:@C-473?KL3sE^U�G0NR476ICVA�6�:@CVA�G�3\K^ULA�A�:T=R3LO`4-N�PT6�:@KL6Y6<:DP@P@U�8�A�G�NSA�6[8�35CL3�K�:Lhx35C�K�NR4-6IC`A�NRPT6 :@47E3RG�A�NRCLMINE6YG<HYNSE^:TG�6a:@PhxU^CLMI:T35C�NR476ICVA�3-KL6I:)476YA�3?K�:)G�:@8�35P@ULA�:@=\:!KL6I8�HJG0:@A�A�:rCL6IP@PT6s8�6YMI:@35C�:r8�U�HYHJ6I808�:T=R6Re���CL35PTA�G�6s6I80:@8�A�6A�ULA�A�N9U�C�N7]�G�NRC�HYN-KL6IP@PDN�G0:@HJ6YG0HYN>3RE!6YG�NSA�:T=�N?ObCL3RA�N>HJ35476"!�ÌSÏ$#JÑxÒbÎRÖfÌRË�Ñ%�0Î'&?Ì(� Ñ{Ó�)SË�Î��TÓ7�xE35P+*?_L6IKLG�NRP)HJ354�X]^:@C^NSA�3RG0:@HY8���H0_L6s8�A�U�K^:@N�HJ35C�8�U�HYHJ6I808�37P@N+G0:D8�35P@ULMI:T35C�6�K�:!HJ3547E^PT6I8�80:�E�G�3R]bPT6I4-:^HJ354a]^:@C^NSA�3RG0:@HY:bA�G0NR4-:TA�6&PT6E�G�3RE^G0:T6YA�;N�QR6Y35476YA�G0:DH0_L6�KL6I:)E35P@:T6IK�G0:NR8�8�3?HY:@NSA�:dNSQ5P@:d:@C�8�:T6I4>:)K�:)8�35P@ULMI:@35C�:{eI% 6IPd8�6YQ5U^:TA�3>h�NSG�6I473-E^G0:@C�HY:qXE^NRP@4-6IC`A�6sG0:@hi6YG0:D476IC`A�37NRPE�G03R]^PT6I4-N��Z�d����OL=SNRPT6+N7K�:TG06&U^C�E�G�3R]^PT6I4>N�K^:!4>:@C�:@4-:@MYMINSMI:T35CL6ROLHJ35Co=?:@C�HJ35P@::@Cchx3RG04-N7HYNRCL35C�:DHYN?e���PPT6YA�A�3RG067;6�:@CV=\:TA�NSA�37N�G0:@hi3RG04�U�P@NSG06�:)HJ35C�HJ6YA�A�:djVU�:6I8�E�G�6I8�8�:!E6YG�NRK�NSA�A�NSG0P@:dNRP)HYNR8�3K�:)U�C�E^G�3R]^PT6I4-N7K^:)4-NR8�8�:@4>:TMYMINSMI:T35CL6&6 � 3>=?:@C�HJ35PD:!:DCohi3RG�4-N78�A�NRC�K�NSG�K)e

�&NSA�3oU�CwE�G�3R]^PT6I4>N-K�:d���r����O!8�:uKL6ICL3RA�6YG�;NcHJ35C DàPfyz:@C�8�:T6I4-6�KL6IP@PT6a8�35P@ULMI:T35C^:rNRPdG�:@P@NR8�8�NR4-6IC`A�3cHJ35C?XA�:@C\UL3LO�HY:T3L;6 D ¯ ) «�Ú5ã «�å§Á�¬�«�åÂæ *5O^6�HJ35C-,«~P@N78�35P@ULMI:@35CL6&3RA�A�:@4-N-NRPdE�G�3R]^PT6I4>N�K^:)�Z��NR808�3\HY:DNSA�39ND7Ob358�8�:@N/. 4>:@C�à ® «�¬�« ´ D10fe<�Z:�;UB:@CoQR6ICL6YG�NRPT6RObj\U�NRPT3RG0N>HY:d8�:uKL6Y]�]^N7G�:Thi6YG�:TG�6sNRKWU�CWE35P@:T6IKLG�37HJ35CVA�6ICVU�A�3:@C2D 6-3RA�A�6IC\ULA�3FNSQRQ5:@U�CLQR6IC^KL3B=?:@C�HJ35P@:�N D7O�6I8�8�3w80NSG�;NWKL6IC�3RA�NSA�3wK�N D : O�69PDNB8�35P@ULMI:@35CL6-3RA�A�:@4-NwKL6IPHJ3RG�G0:D8�E35C�KL6ICVA�6&����8�NSGS;N ,« : e��u6YG HJ35C`=R6ICLMI:@35CL6RO^E35C�:@NR4-3�NRC^H0_L6GD32&Ú ¯ D7e

�Zyz:@C�8�:T6I4-6nKL6IPDPT6n8�35P@ULMI:T35C�:&:@CVA�6YG�6F8�NSG�;N�K�6ICL3RA�NSA�3§HJ35C54 ¯ D76 µ · �xG�:@8�E6YA�A�:T=SNR476IC`A�6RO84 : ¯D : 6 µ · ��e��uN>8�35P@U�MI:T35CL6s3RA�A�:@4-N9:@C94 8�NSG�;N9KL6ICL3RA�NSA�NcK�N;:«Â�x6RO!G0:@8�E!6YA�A�:@=�NR476ICVA�6RO<:« : 8�NSGS;N>P{y¨3RA�A�:@4-3>:@C4 : ��e�gL:dKL6ICL3RA�6YGS;N9:@CLpbCL6�HJ35C D>��4m� :@PrE^:�;UBEb:@HYHJ35PT3>E35P@:@6IKLG�3-HJ35CVA�6ICL6IC`A�6=4~O!K�6YA�A�3cNRC�H�_L6�P{yTÑiÒ?>�Ì(� �@�YË�Ì�0ÌRÒ@>SÓJØ0ØJÌ�K�:A4 ��NRC^NRPT3RQ5NR476ICVA�6�8�:uKL6JpbC�:D8�HJ6 D>��4 : ����e�B&PD:r:@C�8�:@6I4-: D7O@4¿6 D9��4m��8�35CL3-G0NSE^E�G�6I8�6ICVA�NSA�::@Ccp^Q5U�G0Noâ+CL6IP)HYNR8�3cKL6IP)8�6YQ5UL6ICVA�6�E^G�3R]^PT6I4-N�N-K^UL6sK�:@476IC�80:T35C�:{Ú

Page 4: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

c’x

x^x

~

x

(b)

x^

(a)

x~

c’x _

� :@Q5ULG�6 � ÚZ�&:T=R6YG080:rHYNR8�:rK�:)NSG0G�3RA�35C�K�NR476ICVA�3

4-N�� � �S± � á âI��± �

� ±r� á � ±!� � ���±r� á � ±!� � â(���±r� á � ±!� � â��

« ´nµ �É

�t� � � ��� � �` � ������@��� �� £c¤<¥��6YG�G0:@8�35P@=R6YG�6�U^CaE^G�3R]^PT6I4-N N�=�NSG0:DNS]^:@P@:V:@C`A�6YG06RO5P@N&8�35P@ULMI:T35C�6ZE^:�;Ua3}=\=?:@Ns8�6I4a]�G�6YG�6Y]�]6�jVUL6IPDP@N K^:V:TQ5C�3RG0NSG�6:t=?:@C�HJ35P@:�K�:�:@CVA�6YG�6YMYMINo6-HYNRP@HJ35PDNSG�6-P{y¨3RA�A�:@473�,« KL6IPtG�:@P@NR8�8�NR4-6IC`A�3oHJ35CVA�:@CVU�3Le-g?6 ,« ´ 4�OdHY:T3L;6>8�67A�ULA�A�6PT6�HJ3547E35CL6IC`A�:�K�: ,«¦8�35C�39:@CVA�6YG�6RONRP@PT3RG0N ,«Â;6�NRC�H0_L67P{y¨3RA�A�:D4739HJ6YG0HYNSA�3Lesº�PTA�G0:@4-6IC`A�:{Ob8�:dE3RA�G�6Y]^]!6aK�:TG�6RO]^NR8�A�6YGS;NwNSG�G03RA�35C�K�NSG�6cPT69HJ3547E35CL6ICVA�:�CL35C~:DC`A�6YG�6cNRPZ=SNRPT3RG�6c:@CVA�6YG�3LOt3RA�A�6ICL6IC�KL3mP@NW8�35P@ULMI:T35CL6� « ´ 4~e2�35C7G�:Thi6YG�:@476ICVA�3+NRP@P@N�p^Q5ULG�N7âSO ,«n¯ � � ¬��� ��e��&G0N?OVU�C-E!35808�:T]^:@P@6�NSG�G�3RA�35C^K�NR476ICVA�3aHY:�K�N� «w¯ � � ¬Iâ}� ´ 4~e- ULA�A�NI=?:@N?O`8�:VE3RA�G�6Y]�]6[NRC�H0_L6�NSG�G03RA�35C�K�NSG�6 ,«oN� «w¯°� � ¬ � ��O`E^U�CVA�3&H0_L6<CL35Cc;6�:@C 4�e��&N�j\UL6I8�A�3&6I8�6I4-E^:T38�:t6Y=?:@C�HJ67H0_�6-P{yzNSG�G�3RA�35C�K^NR476IC`A�3WE^Uu;3�E3RG�A�NSG�67:@CFHJ6YG�A�:�HYNR8�:fOdNo8�35P@ULMI:@35C�:uC�35CFNR4-4-:@8�80:T]^:@P@:fe+2[35476-8�:=R6IKLG�;N�CL6IPDP@N>8�6YMI:@35CL6 � e@âSOrP@N98�35P@ULMI:T35CL6�3RA�A�:@4-N�NRP�E�G�3R]bPT6I4-N>K�6IP@P{y¨6I8�6I47Eb:T3w;6 :«~¯�� � ¬ � ��e | HYHJ3Bj\U�:@C�K�:H0_�6�:@C9jVU�6I8�A�3aE^G�3R]^PT6I4-N?O?NRC�H�_L6�NSG0G�3RA�35C�K�NRC�K�3aN�� � ¬Iâ}�Z80:^3RA�A�6YG�G06Y]�]6 U�C�Na8�35P@ULMI:@35CL6 NR4-4>:@8�8�:T]b:@PT6�4-NCL35Cm3RA�A�:@4>N?ea��CnQR6ICL6YG0NRPT6ROdNSG0G�3RA�35C�K�NRC�K�3�U^C�N�8�35P@ULMI:T35C�6ahxG0NSMI:T35C�NSG�:@N ,« N�U�C^Nc8�35P@ULMI:T35CL6�:@CVA�6YG0N� «�8�:=R6YG0:qp!HYN�E!6YG0A�NRC`A�3>U^C�N�A�G0N-PT6+8�6YQ5UL6IC`A�:rE!35808�:T]^:@PD:TA�;N-Ú

âSe��uN-8�35P@U�MI:T35CL6 «�;6 ����� ��� e - NRPT6+8�:@A�U�NSMI:T35CL67;6aK�6I8�HJG0:TA�A�N�QRG0N�p!HYNR476IC`A�6�:@Ccp^Q5ULG�N � ��N`�� e��uN-8�35P@U�MI:T35CL6� «�;6 � � � ���� Á ���� 4-N�� � � ����� ��� eZg?:rG0:@HJ35C�8�:DKL6YG0:!P{y¨6I8�6I47E^:@3�K^:!p^Q5ULG0NoâSe� e��uN-8�35P@U�MI:T35CL6� «�;6�� � � � � � ���� Á �� � eZg?:=R6IK�N-NRKW6I8�6I47E^:@3�PDN�p^Q5ULG0N � �x]!�

% 6IP@PT6+pbQ5ULG�6+hx3RG0C�:@NR4-3-G0NSE�E�G06I8�6IC`A�NSMI:@35C�:dQR6Y354-6YA�G0:@H0_�6�KL6IPDPT6+=SNSG0:T6a80:TA�U�NSMI:T35C�:fe���PdP@6YA�A�3RG�69;6�:@CV=\:TA�NSA�3�NG0:@HYN}=�NSG06-:�HJ3\6Jl9HY:T6ICVA�:�K�:�3RE�E3RG�A�U�C^:d=?:@C�HJ35P@:�H0_�6-K�:@NRCL3�P@UL3RQR3oNRPt=R6YG0:qp!HYNSG08�:tKL6IP@PT6aA�G�67E358�8�:T]b:@P@:TA�;N?e+g?:CL3RA�:tNRC�H�_L6-H0_L6-HJ354-E^NSG0NRC�KL3o:@Pu=SNRPT3RG�67KL6IP@P@Nc8�35P@U�MI:T35CL6�NSG�G�3RA�35C�K�NSA�NoÃ5® «�HJ35CFj\UL6IP@PT3�KL6IP@PDN98�35PDULMI:T35CL63RA�A�:@4-N7Ã5® :«�OLE^U�;3�NRHYHYNRKL6YG06�H0_L6s:)K�U�6�8�:DNRCL3�NS]^]^NR8�A�NRCLMIN�=?:@HY:@C�:t��HJ35476+CL6IPHYNR8�3-K�6IP@PT6 p^Q5ULG�6�â�6 � ��N`����O3-6I8�A�G06I4-NR476ICVA�6aPT35CVA�NRC�:���HJ35476�NI=\=\:T6IC�6�:@Ccp^Q5ULG�N � �x]!����e

��C+=?:TG�A5;UaK�:`j\U�NRCVA�3�NSE�E6IC�N<=\:@8�A�3LOS80:`HJ35C�HYP@U^KL6ZH0_�6�:@PV476YA�3?KL3 KL6IPDP{yzNSG�G�3RA�35C�K^NR476IC`A�3�CL35CaQ5NSG0NRC`A�:D8�HJ68�6I47E^G�6sP@N78�35P@ULMI:@35CL6&3RA�A�:@4-N?OL6+E6YG�A�NRCVA�3o;6+CL6IHJ6I8�8�NSG�:T3-U�Co4-NSQRQ5:T3RG06�8�hx3RG�MY3-HJ3547E^ULA�NSMI:@35C�NRPT6+H0_�6�CL35CP@Na8�6I47E^P@:DHJ6�G0:@8�35P@U�MI:T35CL6<K�:bU�C-�Z�Ze"! :@8�35PT=R6YG�6 U�C>���n80NSG�6Y]�]6<E6YG�;3�8�ULl9HY:T6ICVA�6 8�6�NRCLMI:@H0_);6�D¾NI=R6I8�8�:D473

Page 5: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

N�K�:@8�E358�:@MI:T35CL6+:�=\:DC�HJ35P@:dH�_L6-KL6JpbC^:@8�HJ35CL3 D>��4m��e�gL:@NRCL3>6 �?A�� Da��6�6 �?A�� D>��4m��� Q5PD:u:@C^8�:T6I4-:uKL6I:d=R6YG0A�:@HY:K�: D 69D>��4m��G0:@8�E!6YA�A�:@=�NR476ICVA�6Re~2[_�:DNSG0NR476ICVA�6RO�A�ULA�A�:[:�EbU�C`A�:�:@C~6 �\A�� D>��4m����8�35C�3m:DC`A�6YG0:�E6YG7HJ35476D>��4F�+;67KL6JpbC^:TA�3Le���CWQR6IC�6YG0NRPT6�:@C`=R6IHJ6RO)=?:�8�NSG0NRC�CL39=R6YG�A�:@HY:tK�: D H�_L67CL35Cn8�35CL3�:@C`A�6YG�:{e �Zyz:@47E3RG�A�NRCLMINKL6I:=R6YG�A�:DHY:rK�: D>��4F� ;6aH�_�:@NSG0N7j\U�NRPT3RG0N780:rHJ35C�8�:@K�6YG0:H0_L6� PDN78�35P@ULMI:T35C�6s3RA�A�:@4-N-8�NSGS;N78�6I47E�G�6s3RA�A�6IC\ULA�N9NRKWU�C�=R6YG�A�:DHJ6�K�: D>��4F�� N}=R6IC�KL3cU�C�N�G0NSE�E�G06I8�6IC`A�NSMI:@35CL6s6I8�E^P@:DHY:TA�N�KL6I:=\:DC�HJ35P@:H0_L6aKL6JpbC�:@80HJ35CL37D>��4m��O^80:E!3RA�G06Y]�]6&U^8�NSG�6

PDN7�Z��E6YG<A�G03}=SNSG�6�:@P=R6YG�A�:DHJ6+3RA�A�:@473>K^: D>��4m��ZU�G�A�G�3RE�E3�NI=\=\:T6IC�6-H0_L6-G�:@HYNI=SNSG�6-:t=?:@C�HJ35P@:tH0_�6-KL6JpbC�:@80HJ35CL39D>��4m� 6I8�EbP@:@HY:TA�NR476ICVA�6�;6>:@CnQR6ICL6YG0NRP@676I8�XA�G�6I4-NR4-6IC`A�67K�:qlcHY:@PT6Re�2[:�;3>H�_L6�8�:rE^U�;39:@CV=R6IHJ6ah�NSG�69;6�ULA�:DP@:TMYMINSG�6GD 2 Ú ¯ D HJ35476�U^C�N-E�G�:@4-N7NSE�E�G0358�8�:qX4-NSMI:T35C�6&K^: D9��4m��OL6&=\:DNa=?:@N�4-:TQ5P@:@3RG0NSG0P@N?OV3RA�A�6ICL6IC�KL3 D � ¬ D � ¬Y²Y²Y²�¬ D>��4m��e D : EbUu;3a6I808�6YG�6&3RA�A�6ICVU�A�3>K�ND : ¸ � HJ35C�P{yzNSQRQ5:@U^C`A�NBK^: )RÑDØ �RÍ���ÎIÍ�� Ñ�ÎRÒ\Ð}Ó >SÎ(� Ñ%)`ÓYe v C�N�K�:D8�ULQ5U�NSQ5P@:DNRCLMIN � ® « å�� 2 ;6�� � � �� � E!6YG14 8�6� ® « å�� 2 E6YGs3RQ5C�:�« ´ 4�ec�r6-K�:@80ULQ5U�NSQ5P@:@NRC�MY6�=SNRP@:@K�6�8�35CL3WULA�:@PD:uj\U�NRPT3RG0NWP{yz:@C�HYP@U^8�:T35CL6�KL6I:tE35P@:T6IKLG0:8�:@NWE�G�3RE�G�:@N?Ot358�8�:@Nw=R6ICLQ5NkÖfÎIÍ�� Ñ{ÎRÖfÎ�E^NSG�A�6�K�: D : ¸ � ew��C¦E^NSG�A�:@HJ35P@NSG06RO�CL6IP�4-6YA�3\KL3mKL6I:�E^:@NRC�:�K�:�A�NSQ5P@:T3KL6I8�HJG�:TA�A�3�:@C � e � O D :�� D : ¸ � 6 ,« :¯ ,« : ¸ � e �d6WK�:@8�U�Q5U�NSQ5P@:@NRCLMY6o=SNRP@:@K�6cEb:�;U ULA�:@PD:�8�35CL3�j\UL6IP@PT6BH�_L6/�A�3?HYHYNRCL3�32D>��4F��OZ358�8�:DNwE6YG7PT6�jVU^NRP@:�Pfyz:@C�8�:T6I4-6�� ¯ ) « Ú � ® «¾å � 2 *16 D9��4m��CL35C ;6�=\U�3RA�3Le�� ;6KL6YA�A�3cU�C�N��YÎ����IÑ�ÎaK�: D>��4F�[6IK�;6�NRC�H0_)y¨6I808�39U�CBE!35PD:T6IKLG�3B��NRKB6I8�6I47E^:T3LO^80:E!6IC^8�:)NRKWU�C�3-8�E^:TQR35PT3LO^3>U�C=R6YG�A�:@HJ6RO�K�:ZU�CFE^NSG0NRPDPT6IPT6YE^:TE6IKL3V��e�g\6>P@NBK^:@476IC�8�:@35CL67K�:�� ;6cK�:ZU^CL3B:@CLhx6YG0:T3RG�6-NwjVU�6IP@P@NoK�:&D9��4m��O��8�:�K�:TG�;NoU�C^N��JÎ ����ÓIÖ{ÖfÎF�xhxNRHJ6YA���K�: D>��4m�9��NRK�6I8�6I47E^:T3LO�3RQ5CVU^CL3wKL6I:�8�6I:�G06YA�A�NRCLQR35P@:�H0_L6cKL6IP@:@4-:@A�NRCL3BU�CE^NSG0NRPDPT6IPT6YE^:TE6IKL3V��e���yz:@4-E!3RG0A�NRCLMIN9K�6IP@PT6�h�NRHYHJ6YA�A�6B;67K�NSA�N�K�NRP�hxNSA�A�3BH�_L67P@N9G0NSE�E�G�6I8�6IC`A�NSMI:T35C�6a6I8�EbP@:@HY:TA�NK�: D>��4F�&;6+hx3RG0C�:TA�N7K^NRP@P{y¨6IPT6IC�HJ37KL6I:r=\:@C^HJ35P@:H0_L6�K�6JpbC�:@8�HJ35C�3�P@6+8�UL6+h�NRHYHJ6YA�A�6Re

�t��� £$� ��� � �  �� � �� ����  ���Z ���� ������� � �?�����k  �����@���g?ULE^E!35C^:@NR473WH�_L6�A�ULA�A�:�:[HJ3V6Jl9HY:@6IC`A�:[K�:[ã�6oÁ 80:@NRCL3m:@C`A�6YG�:&��j\UL6I8�A�3F8�:�E^U�;3wh�NSG�6o8�6ICLMINnE6YG0K�:TA�NwK�:QR6ICL6YG0NRPD:TA�;N?O�:@C j\U�NRC`A�3LO<j\U�NRPT3RG�N�CL35C PT3�hi358�8�6YG�3LO[]^NR8�A�6YG�;N~4735PTA�:TE^PD:@HYNSG�6�3RQ5C�:�K^:@8�ULQ5U�NSQ5PD:@NRCLMINnE6YG>:@P4-:@C^:@473�HJ354�U�CL6&4aU^PTA�:TE^PT3aKL6I:bK�6ICL354-:@C�NSA�3RG�:i��e�� 6YA�A�N7ä P@Na4>NSA�G0:@HJ6&K�:^]bNR8�6�NR808�3\HY:DNSA�N�NRPDP@N�8�35PDULMI:T35CL6,«n3RA�A�:@4-N�KL6IPbG0:@P@NR8�80NR476IC`A�3�HJ35CVA�:@CVU�3LO?U^C�NaHJ35C^K�:TMI:T35CL6�8�U?l9HY:@6IC`A�6&N�l9C�H�_;6 ,«n¯ ��ä ¸ � ÁZ¬0æ!� ® 8�:@N�:@CVA�6YG�3;6aH�_L6+A�ULA�A�6�P@6+HJ3547E35CL6IC`A�:dK�:)ä ¸ � 80:@NRCL3-:@CVA�6YG�6Re� ��� � ��8�� � � � v C^Nn4>NSA�G0:@HJ6oãÆ» ¼ ª 8�:[K�:@HJ6mÖfÌRÖfÎ(� Ï-ÓYÒ^Ö�Ó �?Ò�ÑxÏ7Ì )�� �qÎSË�Ó>8�6o3RQ5C�:[8�3RA�A�354-NSA�G0:DHJ6j\U�NRKLG0NSA�N�!°K�:)ã¾_�N-KL6YA�6YG04>:@C�NRCVA�6sE^NSG0:)N �?Odâ+3 À âSe

g?:�CL3RA�:[H0_�6�K^NRP@P@NWK�6JpbC�:TMI:T35C�6>K�:@8�HJ6IC^KL69H�_L6�A�ULA�A�:�Q5P@:Z6IP@6I476IC`A�:[K�:�ãÆNSE^E^NSG�A�6ICLQR35CL3mNRP@P{yz:DC�8�:T6I476) �?¬IâS¬ À â+*5O:@Coj\U�NRC`A�398�35CL3>NRC�H�_)y¨6I8�8�:d8�3RA�A�354-NSA�G0:@HY:ujVU^NRKLG0NSA�6>âs¼�âSe" � �$# ��� �%� g\6 Án_^NsA�ULA�A�6 P@6<HJ3547E35CL6IC`A�:b:@CVA�6YG�6RO`6�ã ;6 A�3RA�NRP@476ICVA�6 U�C�:D473\K^U�P@NSG�6RORNRP@PT3RG�N D>��4m��¯ D7O358�8�:DN�A�ULA�A�:r:)=R6YG�A�:DHY:rK�: D°8�35C�3>:@CVA�6YG0:{e� �&� g?:@Nc« J U�Cm=R6YG�A�:DHJ6>K�: D7e | 80:@8�A�67NRP@PT3RG0NoU^C�N�8�3RA�A�354-NSA�G0:@HJ69» ¼n» K�:�]^NR8�6-ä A�NRP@6-H0_L6-« J ¯

��ä ¸ � ÁZ¬0æ!��eÆÙwN�ä ¸ � ¯ �')(+*-,/.�0 123 4 ��� 56565 4 �87565654 7<� 56565 4 797

:<;= ® OsKL3�=R6 4 :?> ¯ � À â}� : É > KL6YA}� :ä :@> �c6 :ä :?> ;6�P@N4-NSA�G0:DHJ673RA�A�6ICVULA�NWK�N�äÆ6IP@:D4-:@C�NRC�K�35CL6aP@NcG0:@Q5N?1�6-P@N�HJ35PT35C�C�N 6�e7g?:DHYHJ35476-ä½;6-C�35C�8�:@CLQR35PDNSG�6a6-ãÆ;6A�3RA�NRP@476ICVA�69U^C�:@473?K�U�P@NSG06RO�A �')(+*-,/.B0 A¯ÈâSe9��CL35P@A�G�6ROu8�:DHYHJ35476>KL6YA}� :ä :?> � ´ ) �?¬IâS¬ À â+*�E6YG+3RQ5C�: 1 6 6LOt8�:3RA�A�:T6ICL6�H0_L6�PT6+HJ3547E35CL6ICVA�:dK�:dä ¸ � 8�35CL3-A�ULA�A�6�N7=�NRP@3RG0:r:@C ) �?¬IâS¬ À â+*5e<��CLpbCL6RO;6a:@4>476IK�:@NSA�3-KL6IK^ULG�G�6H0_�6�NRC�H0_�6�ä ¸ � Á~G0:@80U�PTA�6YG�;N�:@CVA�6YG�3Le �8C | �+�

�&:T=R6ICVA�N�E6YG�A�NRCVA�3~:D47E3RG�A�NRC`A�6BHYNSG�NSA�A�6YG0:TMYMINSG�6FPT6W4>NSA�G0:@HY:�A�3RA�NRP@4-6IC`A�6mU�C�:@4-3\K�U^P@NSG0:{e�º jVU�6I8�A�3E�G�3RE358�:@A�3LO�:@P8�6YQ5UL6ICVA�6�A�6Y3RG�6I4-N>hi3RG�C�:@8�HJ6sU�C�N7HJ35C^K�:TMI:T35CL6+80U?l9HY:T6ICVA�6Re

Page 6: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

" � �$# ��� �%� g\6+ã ´2) �?¬IâS¬ À â+* 7�� · ;6�U^C�N74-NSA�G0:@HJ6sE6YG�HYU^:âSe<3RQ5C^:rHJ35PT35C�C�N>HJ35C`A�:T6IC�6�NRP)E^:�;U�K�U�6s6IPT6I476ICVA�:rCL35C�C\U�P@P@:� e<6I80:@8�A�6�U�C�NBG�:TE^NSG�A�:TMI:@35CL6-KL6IP@PT6>G0:TQ5_L6c:@C�K�U�69:@C�80:T6I4-: ¹ �a6 ¹ �-A�NRP@:�H0_L6c3RQ5C�:�HJ35PT35C�C�NnHJ35CkK�UL66IP@6I476IC`A�:dCL35CBC\U�P@P@:P@:)_�N

� 6ICVA�G0NR4a]^:r:@C ¹ �<3>:DC ¹ �s8�6+K�:)8�6YQ5CL3>K^:T=R6YG08�3� U^CL3-:@C ¹ �<6�P{yzNRPTA�G03-:@C ¹ ��8�6�KL6IP@PT378�A�6I808�3>8�6YQ5CL3LONRP@PT3RG�N7ãà;6+A�3RA�NRPD476IC`A�6�U�C�:@4-3\K�U^P@NSG�6Re

�uN�K�:@4-358�A�G0NSMI:T35CL6 K�:^j\UL6I8�A�3aA�6Y3RG�6I4-N9;6 P@NR8�HY:DNSA�N�E6YGZ6I8�6YG0HY:TMI:T3LOV6�E^Uu;3a6I8�8�6YG�6 hxNSA�A�NaE6YG�:@C^K�ULMI:T35CL6Re- G0Nk:�HYNR80:�:D47E3RG�A�NRC`A�:�KL6IP@P@6n4-NSA�G�:@HY:�A�3RA�NRPD476IC`A�6~U�C�:@473?K�U�PDNSG0:[A�G�3}=?:@NR473�PT6m4-NSA�G0:DHY:�K^: :@C^HY:@KL6ICLMINCL3?K�: � NSG0H�_�:�KL6I:ZQRG�N�pk3RG�:T6IC`A�NSA�:fO�6ojVUL6IPDPT69KL6I:�QRG0N�p�]^:TEbNSG�A�:TA�:ZC�35C~3RG�:T6IC`A�NSA�:fe - NRP@:[4-NSA�G0:DHY:Z=R6YG�G�NRC�CL3KL6JpbC^:TA�6BE^:�;U§NI=SNRC`A�:&CL6IP HJ3RG08�3Le ��6YG�:@P<4735476ICVA�3¦]^NR8�A�:�K�:TG�6BH�_L6nPDN�PT3RG�3¦U�C�:@473?K�U�PDNSG0:TA�;NwhxN~8 ; :�H�_L6:�E�G�3R]^P@6I4-:�K�:��bU�808�3~8�U G�6YA�:�6mKL6IP�A�G0NR8�E3RG�A�3k8�:@NRCL3¦G0:@8�35PT=\:@]^:@P@:[:@CÂA�6I47E3~E35P@:DCL354-:@NRPT6WA�G0NR4-:TA�6mP@NE�G�3RQRG�NR4-4-NSMI:T35CL6+PD:@CL6INSG�6Re

� � (+*71 ��.�/0( $�1

�dNa8�HJ6IPTA�NaK�:^U�C-]^UL35C>4-3\KL6IPDPT3sE6YG�U�C>E�G�3R]^PT6I4>NsK�:^���r�tE^Uu;3+G�:T=R6IP@NSG08�:�=\:TA�NRP@6RO`6�h�NSG�6�P@N+K�:��6YG�6ICLMIN�A�G0N:@PuG0:@U�80HY:TG�6�NcG0:@8�35PT=R6YG�6a:DPdE�G03R]^PT6I4-N>3�4-6ICL3Le+�&:@8�6YQ5C�NSG�6�]^UL35C^:u473?KL6IP@PD:�;6�A�NRC`A�3BU�C^N98�HY:@6ICLMIN9j\U�NRCVA�3U�C)yzNSG0A�6�6&G0:DH0_�:T6IK�6�CL3RA�6Y=R35PD:)KL3RA�:K�::@C`=R6ICVA�:T=SN�6&U^C�N�QRG0NRC�KL6�6I8�E6YG0:T6ICLMIN?e���CcE^NSG�A�:@HJ35PDNSG�6RO;6&K^:bQRG�NRC�KL6:@47E3RG�A�NRC�MINaNRC�NRPD:TMYMINSG�6sNSE�E�G�3Rhx35C�K�:@A�NR476IC`A�6&j\U�NRC`A�:!E^:�;U9C\U�476YG�3580:b473?KL6IP@PD:�E358�8�:T]b:@PT6RO`476YA�A�6IC^KL35CL6s:@C6Y=?:@KL6ICLMINo:tE^U^C`A�:tKL6Y]35P@:�6-:tE�G�6YQ5:fea��CL35PTA�G�6ROd6I8�:@8�A�35CL3BC\U�476YG0358�:�HYNR8�:�8�A�NRC�K^NSG0KmE6YGsA�G0NSA�A�NSG�69K^:T=R6YG08�68�:TA�U^NSMI:T35C�:L473?KL6IP@P@NSA�6 HJ35C-=SNSG0:@NS]^:@PD:\:DC`A�6YG�6�6 � 3�]^:@C^NSG0:T6Red��C>j\UL6I8�A�N�8�6YMI:T35CL6�HJ6YG0H0_L6YG06I473aK�:�6Y=\:@K�6ICLMI:@NSG�6PT6sE�G�:@C�HY:TE^NRPD:�hxG0N7jVU�6I8�A�6+A�6IHYC�:@H�_L6�HJ35CwNRP@HYU�C�:6I8�6I4-E^:{e

�t��� ¤�  �  %�5 <  �� �@�` ����` � �(�Z¡ �@�` ����` ��C�4735PTA�:�E�G�3R]^P@6I4-:{O�PT6�=�NSG�:@NS]^:@P@:�:@CkU�C�Nm8�35P@U�MI:T35CL6ROZj\U�NRPT3RG0NmCL35CkC\U�P@PT6RO�K�3}=\G0NRC�CL3�N}=R6YG�6WU�C¦=SNRPT3RG�6HJ35CVA�6ICVULA�3m:@C�U^CFE�G�6IKL6YA�6YG�4-:@C�NSA�3W:DC`A�6YG�=SNRP@PT3Lecº K�6I8�6I47E^:@3LOu8�:@NB±¦U�C^No=�NSG�:@NS]^:@PT6�G0NSE^E�G�6I8�6ICVA�NRC`A�6cP@Nj\U�NRC`A�:@A�;NBK�:�E6YMYMI:�K�N�E�G�3?K�ULG0G�6ReE% 6I:�HYNR8�:�G�6INRP@:{OdNSA�A�:@=�NSG�69U�C�N�E�G�3?K�ULMI:@35CL6�HJ354-E!3RG0A�NBKL6I:�HJ358�A�:�pb8�8�:�x=R6IK�:Z35PTA�G�6���e | 8�:@8�A�6YGS;NoE6YG�A�NRC`A�3wU�C�C\U�476YG�3W4>:@C�:@473 � 7 K�:tE6YMYMI:�8�3RA�A�3w:@P�j\U�NRPT69CL35Ck;6>G�6IK^K�:TA�:TMI:T3CL6YE�EbULG�6 HJ354>:@C�HY:@NSG�6sP@N�E�G03\K�U�MI:T35CL6Re�g?:@N���� :@PCVU^476YG�374-NR8�8�:D473�K^:bE6YMYMI:)H�_L6s8�:):@CVA�6IC�KL6�E�G�3?K�ULG�G�6Re�dN�=SNSG0:@NS]b:@PT6�±wNR8�8�U^476YG�;N�E6YG�A�NRCVA�37=�NRPT3RG�:)CL6IP@P{yL:@C�80:T6I47684 ¯ ) � *��;. � 7�¬����$0fe�g?:)CL3RA�:)H�_L6 4 CL35Cm;6HJ35CV=R6I8�8�3Le&��Pu=?:@C�HJ35PT39± ´ 4 8�:dEbUu;3>hx3RG�MINSG�6�:@CVA�G�3\K^U�HJ6IC�KL3>U^C�N-=SNSG0:@NS]^:DPT6+]^:@C^NSG0:@N�¶!OHJ35Cm:@Pu8�6YQ5UL6ICVA�68�:TQ5C^:qpbHYNSA�3LÚ

¶-¯�� â 8�6�± ´ . � 7�¬����$0� 8�6�±�¯ �

6�:D47E35CL6IC�KL3�:)=?:@C�HJ35P@: ��â}� ±wå�� 7�¶� � � ± �����9¶

g?:dCL3RA�:dH�_L6a¶9¯ â+hx3RG�MIN>±nCL6IPDP{yz:@CVA�6YG�=�NRPDPT3 . � 7a¬���� 0fO!476IC`A�G06a8�6a¶9¯��?O!N>HYNRU�8�N9KL6IPr=?:@C�HJ35P@3w� � ��O8�:)N}=VG�;N9NRC�H0_�6+±�¯ �?e

Page 7: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

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

K

pendenza = c

K

K

K

1

2

3

N1 2(a) (b)

N

c

c

c 1

2

3

� :TQ5ULG�6 � Ú B�6ICL6YG0NRP@:@MYMINSMI:T35C�:rK�:h�U�CLMI:@35C�:K�:)HJ358�A�39PD:@CL6INSG0:{e

�t� � � �����5 �� � �S &¢Z  � � �5 �� � �� ��������C~4735P@A�6c8�:@A�U�NSMI:T35C�:�G06INRP@:{O�:@PZHJ358�A�3mNR808�3\HY:DNSA�3nNRP�E�G�3?K�ULG0G�6-U�C�NwjVU�NRCVA�:TA�Nw±�K�:ZU�C~E�G�3?KL3RA�A�3LO�CL35C§;6P@:@C�6INSG�6RO54-N-Î���Ò!ÓYO53}=\=R6YG�3a3RA�A�6ICVULA�3�A�G0NR8�P@NRC�K�3&U^C7HJ358�A�3�P@:@C�6INSG�6Reu��CLh�NSA�A�:{ORE6YG�E�G�3?K�ULG�G06�U�C^N�j\U�NRCVA�:TA�;NNRC�H�_L6 :@CLpbC�:TA�6I8�:D4-NRPT6[K�:L±dO\8�:�:@C^HJ3RG�G�6�:@C>U�C-HJ358�A�3apb8�8�3 E6YG�NSA�A�:T=�NSG06 P@NsE^G�3\K^ULMI:T35CL6Re�%�35C>E�G�3?K�ULG�G�6NRP@HYU�C^H0_);6RO�:@CV=R6IHJ6ROZ_�NW3}=\=\:@NR4-6IC`A�6oHJ358�A�3$�?em�dNwhxU�C�MI:T35CL6>K�:�HJ358�A�3����x±�7;6cE6YG�A�NRCVA�3mKL6IP�A�:TE3k�x=R6IK�:p^Q5ULG�N � ezN`�

���x±��¯ � �ákÇ ± 8�6s±� 0�� 8�6s±o¯ �

��6YG<G0NSE^E�G�6I8�6ICVA�NSG�6sjVU�6I8�A�37A�:TE3�K^:bh�U�CLMI:@35C�:^3R]b:T6YA�A�:T=R3LO�8�::@CVA�G�3?K�U�HJ6&U�C�N�=�NSG�:@NS]^:@PT6 ]^:@C�NSG�:@N+¶!O�HJ35C:@P)8�:@Q5C�:qpbHYNSA�3LÚ

¶7¯ � â 8�6s±� 0�� 8�6s±o¯ �

% 6IP@P@N�G0:@Q5N7KL6IPrHJ358�A�3>K^N-4-:@C�:D4-:TMYMINSG�6RO?8�:rN}=VG�;N>NRP@PT3RG0N4-:DC�w¶+á¦Ç ±7á ²Y²Y²@Ob476ICVA�G�6�CL6I:r=?:@C�HJ35P@:r]^:@8�3RQ5CL6YGS;N-:@47E3RG�G�6s± � ���>¶!ObK�3}=R6����¿;6�HJ35476�E^G0:@4-N

U�CoP@:D4-:TA�6s8�ULE6YG0:T3RG06�NR:)=SNRPT3RG0:dNR4-4-:@8�80:T]^:@P@:�E!6YG�±de

�t��� ��� ����� �   �~¢�  ��� � 8�- :TEb:@HYNR476ICVA�6RO�CL6IP@P@N�E�G�3?K�ULMI:@35CL6s:@C�K�U�8�A�G0:@NRPT6ROVE^:�;UoU�C�:@A�;N�80:E�G�3?K�U�HJ35CL37K�:)U�CWHJ6YG�A�3-E�G�3?KL3RA�A�3LO^4>:@CL3RG�68�NSG�;N9:@PdHJ358�A�3�U^C�:TA�NSG0:T3W�xhx6ICL35476IC�3cCL3RA�3�HJ35476BÓ ��ÌSÒbÌSÏ�Ñ{Î/)SÑZØ �0Î��qÎ}��e | 80:@8�A�6YG0NRC�C�3-E6YG0HY:�;3>=SNRPT3RG0: � 2 ¯�?¬��>�I¬��a�S¬Y²Y²Y²�¬�� · A�NRP@:)H0_L6+PDNaE^G�3\K^ULMI:T35CL6&K�:U�CoC\U�476YG�3�± ´ � � : ¸ �I¬�� : 0dK�:!6I8�6I4-E^P@NSG0:NI=\G�;N-U^CcHJ358�A�3Ç : U�C^:TA�NSG0:T3BA�NRP@6cH�_L6oÇ}��å ÇJ�WåȲY²Y²[å�Ç · å ����8�:�=R6IK�NmP@NBpbQ5ULG0N � e¨]��e�gL:@N�B��:@P�HJ358�A�3npb8�8�3wE6YGNSA�A�:T=SNSG�67P@N9E�G�3?K�ULMI:T35CL6Re���6YG 1�¯ � ¬Y²Y²Y² ª O)8�:�KL6JpbC^:@8�HYN� : ¯� : ¸ ��á ��Ç : ¸ � À Ç : � � : es�dN9h�U�CLMI:T35CL6�K�:HJ358�A�3c8�NSG�;N-KL6IPA�:@E!3

�������¯������� ������

� 8�6 � ¯ �o��ákÇ���� 8�6 ��� � ���-�>�ZákÇJ��� 8�6 �>��� � ���a�56565 · á�Ç · � 8�6 � ·V¸ ��� � ��� ·�

Page 8: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

C&U�6I8�A�No8�:TA�U�NSMI:@35CL6�80:tE^Uu;3o473?KL6IP@P@NSG�6�HJ35C�P{yz:@CVA�G�3?K�ULMI:T35C�6aK�: ª =�NSG�:@NS]^:@P@:dG�6INRP@:t± : e ��3RQ5P@:@NR473BH�_L6± :�80:@N-K�:T=R6YG�8�3>K�N?�>NRPrEb:�;UoE6YG U�Cw:@C�K�:DHJ6 6LO^G�NSE�E�G�6I8�6ICVA�NRC�KL3c:@PrHYNR8�3�:@CBHYU^:r± >s¯ � ´ � ��> ¸ � ¬���> 0fe���PHYNR8�39± : ¯ �-E!6YG 1�¯°âS¬Y²Y²Y²}¬ ª HJ3RG�G�:@8�E35C�KL6s:@CV=R6IHJ6aN��B¯ �?e[��6YG hx3RG�MINSG�6ajVUL6I8�A�N-G�6IP@NSMI:@35CL6+A�G0N-P@6+± : 6�dOb8�:):@CVA�G�3\K^U�HJ35CL37NRC�H0_�6 ª =�NSG�:@NS]^:@P@:b]^:@C^NSG0:T6&¶ : O�HJ35Cw:@P)8�:TQ5C^:qpbHYNSA�3

¶M:r¯�� â 8�6 � : ¸ ��� � ��� :� NRPTA�G0:@476ICVA�:

��=\:DC�HJ35P@:)H0_�6�476YA�A�35CL3>:DC�G�6IP@NSMI:T35CL6s­~6+«�8�NSG�NRC�CL3��â}� ± : � � : ¶ : E6YG 1t¯ âS¬Y²Y²Y²}¬ ª� � � ¶ � ᦶ � á 56565 ¶ · � â476ICVA�G�6mCL6IP@P@N�hxU^CLMI:T35CL6B3R]b:T6YA�A�:T=R3�HJ3547E^NSG0:@G�;NÂ��NR8�80:T6I476mNSQ5P@:�6Y=R6ICVA�U�NRP@:&HJ358�A�:&K�: NRPTA�G�6n=�NSG�:@NS]^:@P@:x�

P{y¨6I8�E^G�6I8�8�:T35C�64-:DC�o��¶?�uá 56565 á · ¶ · ákÇ���±r�uá 56565 Ç · ± · á 56565

g?:sC�3RA�:sH0_L6�:@P�=?:@C�HJ35PT3 � � �cE3RA�G�6Y]^]!6n6I8�8�6YG06F35476I8�8�3LOs=?:@8�A�3�H0_�6�:@C U�C�Nk8�35P@U�MI:T35CL6 ÌRÖ{Ö�ÑxÏ7Î�KL6IPE�G�3R]bPT6I4-N?O`CL35C>NI=\G�;N+8�6IC�8�3+NI=R6YG�6�E^:�;U�K�:�U^C�N�¶ : NRP�=�NRPT3RG06+âSOVK�NSA�3�H0_L6<3RQ5C^:LA�NRPT6<¶ : HJ3547E3RG�A�N+U�C7HJ358�A�3 : C�35C9CL6YQ5NSA�:@=R3LeZ��6YG�P@Na8�A�6I8�8�NaG0NSQ5:T35C�6ROV=?:@C�HJ35P@:^KL6IP^A�:@E!3�± : å�� : ¸ ��¶ : CL35Cc8�35CL3�8�A�NSA�::@C`A�G03\KL3RA�A�:bCL6IP473?KL6IP@PT3LO?E6YG0H�_;6�:@47E^PD:@HY:TA�NR476ICVA�6s8�3\K^K�:@8�h�NSA�A�:K�N73RQ5C�:r8�35P@ULMI:T35CL6&3RA�A�:@4>N?e

�t��� � � ��@��  �����k¢�� ��   � �S �� � ��� �Z ��(���P?=\:@C^HJ35PT3-� � ��KL6IP@P{y¨6I8�6I4-E^:T3�E�G�6IHJ6IKL6ICVA�6ROb;6<U�C�A�:@E^:@HJ3sHYNR8�3�:@C�K�:?U�8�3+K�:\=�NSG0:DNS]^:@P@:V]^:@C�NSG�:T6�HJ35476+ØYÓ �@ÓYÖ{ÖfÌRË�ÑK�:�NRP^E^:�;U7U�C^NsA�G0N ª E358�80:T]^:@P@:@A�;N?erº C�NRP@3RQ5NR476IC`A�6ROLP{y¨6Ij\U�NSMI:T35C�6<¶ � áB¶ � á 56565 ¶ · ¯ â<HJ35C9¶M: ´2) �?¬Iâ+*�E6YG1t¯ âS¬Y²Y²Y²}¬ ª ;6�8�3?K�K�:@8�h�NSA�A�N�jVU^NRC�KL3WÓ ØYÎRÖ{ÖfÎSÏ>ÓJÒ^Ö�Ó�U�C�N�KL6IP@P@6�¶ : =�NRP@6�â&6sA�U�A�A�6�PT6sNRPTA�G�6 �?e - NRPT6s=?:@C�HJ35PT3G0NSE�E^G�6I8�6ICVA�N7:@P=R6YG0:qpbHYNSG�8�:)K�:)U�C�N�A�G�N ª E358�8�:T]^:DP@:TA�;N�NRP@A�6YG0C�NSA�:T=R6s6�:DC�HJ3547E^NSA�:T]b:@P@:{e

º�Ko6I8�6I47Eb:T3LO�8�ULE�E35C�:DNR473aK�:)K�3}=R6YG�G�:@8�35PT=R6YG�6sU�C�E^G�3R]^PT6I4-N�:@CoHYU^:)U�C�N�=�NSG�:@NS]^:@PT6�±w80:@N�=\:DC�HJ35P@NSA�NNRKBNR8�80U�476YG�6sU�C�=SNRPT3RG�6+CL6IPDP{yz:@C�8�:@6I476 ) �^�Y¬Y²Y²Y²}¬ � · *�KL3�=R6+Q5P@: � : 8�35C�3-CVU�4-6YG0:!G�6INRP@:{e - NRPT6+8�:TA�U^NSMI:T35CL6s8�:E^Uu;3�G0NSE^E�G�6I8�6ICVA�NSG�6s8�358�A�:TA�U�6IC�KL3�N�±WK�NSE�E6YG�A�ULA�A�3B��CL6I:!=?:@C�HJ35P@:b6+CL6IP@Pfy¨3R]^:T6YA�A�:T=R3V�ZP{y¨6I8�E�G06I8�8�:T35CL6��^��¶?�á56565 á � · ¶ · OL6�:@47E35CL6IC^KL3a¶?�uᦶ5��á 56565 ¶ · ¯ âSO^K�3}=R6aP@6s¶ : 8�35C�3-=�NSG�:@NS]^:@P@:b]^:@C^NSG0:T6Re�t��� � �� �����k¢�  ��  � � ��� | 80:@8�A�35CL3>NRPDHYU�C�:E�G�3R]bPT6I4-:):@CoHYU�:d8�:rG0:DH0_�:T6IK�6&NRPDPT6+=SNSG0:@NS]^:@PD:!K^:)8�3\K^K�:@8�h�NSG�6-��NR8�8�:T6I4-6aNR:r8�35PD:TA�:rã «��ÂÁ��NRP@476IC�3�U^CL39A�G�NoK�UL6�KL6YA�6YG04-:@C^NSA�:u=?:@C�HJ35PD:{O!4>Nc4>NcC�35CFCL6IHJ6I8�8�NSG0:DNR476IC`A�676ICVA�G0NR4a]^:{e�gL:@NRCL3 � ® « ���6 � ® « �>:t=\:@C^HJ35P@:u:DCnj\UL6I8�A�:@35CL6Re��Zyz:@C�8�:@6I476�K�6I:u=R6YA�A�3RG�:ZH0_�6-8�3\K^K�:@8�h�NRCL39NRK�NRP@476ICL3oU�CL3�hxG0N�:�K�UL6=?:@C�HJ35P@:b;6<P{y �?Ò�Ñ{ÌSÒ!Ó�K^:\K^UL6�8�6I4-:@8�EbNSMI:{OS358�8�:@N ) «�Ú � ® « ����* � ) «FÚ � ®q« ���*5e��ZU�G�6I8�8�6IC�KL3sU�CrySU^C�:T35CL6[K�:E35P@:T6IKLG�:{ORA�NRPT6s:@C�8�:@6I476�CL35Cw;6sCL6IHJ6I8�8�NSG0:DNR476IC`A�6sU�C9E35P@:T6IKLG03LOVC);6&A�NRC`A�354-6ICL37HJ35C`=R6I8�8�3Le���6YG�473\K�6IP@P@NSG�6j\UL6I8�A�N+8�:@A�U�NSMI:T35CL6RO`80:�:@CVA�G�3\K^U�HJ6�U�C�NsHJ358�A�NRCVA�6� /�8�U?lcHY:T6IC`A�6I4-6IC`A�6 QRG0NRC�KL6�3?OVA�NRPT6�HY:T3L;6 H�_L6 � ®q« �� 6 � ® « �� E6YG<3RQ5C�:«�Ú5ã�« �ÂÁZe� ;6�U�C�N78�E!6IHY:@6&K^: /�:@C?pbC�:@A�3�3?O?C�6IP)8�6IC�8�3>H�_L6+P@N�E�G06I8�6ICLMIN-K�:� NKL6I8�A�G�N�K^:VU�C^N K�:D8�ULQ5U�NSQ5P@:DNRCLMIN ��KL6Y=R6[G�6IC�K�6YG�6�8�6I47E�G�6�A�NRPT6�K�:@8�U�Q5U�NSQ5P@:@NRCLMIN�=R6YG0N?e���6YG�473RA�:T=?:VE^G0NSA�:@HY:{O;67]6ICL6a8�HJ6YQ5PD:T6YG�67U�C� jVU^NRC`A�3�E^:�;UwE^:@HYHJ35P@39E358�8�:@]^:@PT6sA�G0Ncj\UL6IP@P@:uH0_L678�3?K�K�:@8�hxNRCL3cjVU�6I8�A�N>E^G�3RE�G0:T6YA�;Nwe��Pd=SNRPT3RG�6�K�:� K�:TE6IC�KL6YG�;N7K^NR:uK�NSA�:tKL6IPDPT3>8�E6IHY:qpbHJ39E�G�3R]^P@6I4-N?e&g?:DN-3RG0N9¶WU�C�N>=�NSG�:@NS]^:@PT6�]^:@C�NSG0:DN-HJ35C:@P)8�:@Q5C�:qpbHYNSA�3

¶M:r¯ � â 8�6 � ® « ���� 8�6 � ® « ��

g?:)NSQRQ5:DU�CLQ5NRCL3-3RG�N-NR:)=?:@C�HJ35P@:ã « �§Á¦:rCVU�3}=?:)=\:DC�HJ35P@: ��â}� � ® « ����á� ���â À ¶��� � � � ® « ��[á� ¶

Page 9: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

g?:^CL3RA�:^H�_L6<E6YG�¶ ´$) �?¬Iâ+*s6I8�NSA�A�NR476ICVA�6�U�C�3+hiG�N+:L=?:@C�HJ35P@:r��â}��6�� � �t=?:T6ICL6 :@47E358�A�3LO`476ICVA�G�6�PfyzNRPTA�G�3G0:@80U�PTA�6YG�;N�=R6YG�3-E6YG�3RQ5C�:r«�e����������� ß � �uà � � ����� � ��&� ����� � ��� ��� � � � # ��� � � à ���K� � �� � ��CBNRP@HYU^C�:)HYNR8�:d:r=\:@C^HJ35P@: � ® «�����6� ® « � �8�35C�3c:@C^HJ3547E^NSA�:T]^:DP@:{O�HY:T3L;6-P{yz:@CVA�6YG08�6YMI:@35CL6aKL6I:�K�UL6�8�6I4-:@8�E^NSMI:Z;6�=?UL3RA�N?e&��CwA�NRP@:�HYNR8�:{O):@PrA�G�U�HYHJ3

K�:uHYU�:u8�3RE�G0N>8�6YG�=\:@G�;N-NRKm:@47E3RG�G�6+H�_L6BÓ ØJÎ5Ö{ÖfÎSÏ>ÓJÒ^Ö�Ó&U^CL3>A�G0Nc:�K�UL6+=?:@C�HJ35P@:uKL6Y]�]^N-6I8�8�6YG�6�8�3?K�K�:@8�h�NSA�A�3Le2�35476�6I8�6I47Eb:T3LO)8�:dE6IC�80:dNRKnU�CWE^G�3R]^PT6I4-N9K�:�8�H0_L6IK^U�P@NSMI:T35CL6�:@CnHYU�: ª P@NI=R3RG�:{O)HY:@NR8�HYU�CL3�HJ35CmU�C�N98�U�NK�ULG�NSA�N : K�6Y]�]^NRCL3w6I8�8�6YG�6c6IP@NS]3RG0NSA�:�8�U~U^C�NW8�A�6I808�Nw4>NRHYH0_�:@C^N?e v C�Nw=R35PTA�NwHJ354>:@C�HY:@NSA�3LO�U�C¦P@N}=R3RG�3KL6Y=R6<6I808�6YG�6�E3RG�A�NSA�3�N&A�6YG04>:@CL6RO56�E6YG�A�NRCVA�3�:@47E6YQ5C�N�P@Ns4-NRHYH�_�:@C�N&E6YG�U�C�A�6I4-E!3� : eZg?:?KL6ICL3RA�:DCL3+HJ35C� : :�A�6I47E^:u�x35808�:@N+PT6�=�NSG0:DNS]^:@P@:i�dK�N+K�6YA�6YG04-:@C�NSG06RO`G0NSE�E^G�6I8�6ICVA�NRC`A�:bP{yz:@8�A�NRCVA�6�K)yz:@C^:TMI:T3sKL6IP@P{y¨6IPDNS]!3RG�NSMI:T35CL6�K�:3RQ5C�:uP@NI=R3RG�3 1�e���PrE�G03R]^PT6I4-N�G0:DH0_�:T6IK�6RO�E6YG�3RQ5C�:uHJ3RE�E^:@N-K^:rP@NI=R3RG�:K1�6 6cK�:uKL6IHY:@KL6YG�6a8�6 1[KL6Y]�]^N7=R6IC^:TG�66I8�6YQ5U�:@A�3sE�G0:@4-N&K�:M6+3s=\:@HJ6Y=R6YG�8�N?e&%�6IP?E^G0:@473&HYNR8�3LO?KL3}=\G�;N&6I8�8�6YG06 � > å � : á :�� CL6IP?8�6IHJ35C�KL3 � : å � > á > eg?:):@CVA�G�3?K�U�HYNRCL3�E6YG�A�NRCVA�3 ª � ªoÀ â}��� � =�NSG0:DNS]^:@P@:b]^:@C�NSG�:T6 ¶M:?>�HJ35CWP{yz:@CVA�6YG�E�G06YA�NSMI:T35CL6

¶ :?> ¯ � â 8�6 1�=?:T6ICL6s6I8�6YQ5U�:TA�3-E�G�:@4-N�K�: 6� 8�6 6>=\:@6ICL6&6I8�6YQ5U�:TA�3-E^G0:@4-N�K�: 1

º =VG06I473~NRP@P@3RG0NmE6YG-3RQ5C�:�HJ3RE^E^:@NFK�:<PDNI=R3RG0: 1�6 6~:<=?:@C�HJ35PD: � : � � > À : á ���â À ¶ :?> ��6 � > �� : À > á ¶ :@> e�t��� �;� 8� ��  ���Z  � � � �� � ���% 6IP@P@Nsj\U�NR8�:LA�3RA�NRP@:@A�;N+KL6I:�HYNR8�:fOVP{yzU�8�3+K�:?=�NSG�:@NS]^:@P@:\]^:DC�NSG0:T6[CL35CB;6�KL6YA�A�NSA�3aK�NRP�hxNSA�A�3�H0_L6�:�=�NRPT3RG�:�CVU^476YG0:@HY:8�:@NRC�3w=?:@C�HJ35P@NSA�:�NRKk6I8�8�6YG06mâc3$�?OZj\U�NRCVA�3mK^NRP@P@NnPT3RG�3m:@C`A�6YG0E�G�6YA�NSMI:T35CL6�HJ35476./�=R6YG0:TpbHYNSG08�:�3F476ICL3mK�:U�CÂ6Y=R6IC`A�3�3?e ��CÂj\UL6I8�A�3k8�6IC�8�3LO�PT6W=SNSG0:@NS]b:@P@:�]^:DC�NSG0:T6B8�35C�3¦K�:�hxNSA�A�3�KL6IPDPT6 >SÎSË�Ñ{Î #YÑ � Ñ'#0ÌIÌ(�@Ó�ÎSÒ!ÓYO 35808�:@NE358�8�:@NR4-3�:@CVA�6YG�E�G�6YA�NSG�6�:@PR=SNRPT3RG�6 â�HJ35476��������§6 ��HJ35476������! "� e}��C�j\UL6I8�A�N�:DC`A�6YG�E^G�6YA�NSMI:T35CL6RORK�:T=R6ICVA�N:@47E3RG�A�NRCVA�6�6I8�8�6YG�6s:@CcQRG0NRKL37K�:!PT6YQ5NSG�6shxG0N�PT3RG�3�=�NSG�:@NS]^:@P@:^]3V35PT6INRC�6 A�G0NR4>:TA�6&G�6IP@NSMI:T35C�:b]3V35P@6INRCL6ROLHJ35476# �%$ O&� #�' 6 �%� e ;| 3�=V=?:T3�H�_L6 # �%$ ± CL35C ;6WNRPTA�G�3�H�_L6���â À ±��e��r6YQRQR6YG�476IC`A�6wE^:�;UkHJ3547E^P@6I8�8�68�35CL39PT6sG�6IP@NSMI:T35C^:(� #)' 6*�%�°e!g?:=R3RQ5P@:@N>:@47E3RG�G�6&P@N�G�6IP@NSMI:@35CL6,+�¯ ±-� #�' ¶beZ�[NR8�A�6YGS;N>:@CVA�G�3?K�ULG�G�6&:=?:@C�HJ35P@:.+ �§±dO/+�� ¶960+-å ±7ᦶ À âSeZ��6YG�G�6INRP@:@MYMINSG�6�P@N�G�6IPDNSMI:T35CL6,+�¯ ±1�2� ¶!O�8�:rKL3�=VG�NRC�CL3-:@CV=R6IHJ6:@47E3RG�G06�:)=?:@C�HJ35PD:3+>å ±dO�+>å ¶c6 + � ±7ᦶbe

�t��4 � � �@� �L ��� âSe65 � � � �� � �"� #+ � � #�� ��� � gL:b473?KL6IP@PD:�U�C�N�hxU�C�MI:T35CL6�K�:!HJ358�A�3 ���x±��H0_L6s8�:DN�P@:@C�6INSG�6�NaA�G0NSA�A�:���CL35CC�6IHJ6I8�8Ye�HJ35C`=R6I808�N-3cHJ35C�HYNI=SN`��e���CWE^NSG�A�:@HJ35PDNSG�6RO^8�:@N7Ç :�O�E6YG 1�¯ âS¬Y²Y²Y²�¬ ª :@P)HJ3\6Jl9HY:T6ICVA�6aNRCLQR35PDNSG�6C�6IP)A�G0NSA�A�3 � : ¸ � � ± ��� : e�g?:@N7:@C�35PTA�G�6 2 ¯ ��� �`��e

� e87�� �� � � �� �&� � � � #+ � gL:r473?KL6IP@P@::@P)HYNR8�3c:@CBHYU�:dP{yz:@C�8�:@6I476sKL6IP@PT6+8�35PDULMI:T35C�:)NR4-4>:@8�8�:T]b:@P@:r;6�K�NSA�3K^NRP@P{yzU�C�:@35CL6�K^:r©cE!35PD:T6IKLG0:ã : «Få§Á : �xQR6ICL6YG0NRP@:@MYMIN � e��5��e

� e�gL:�473\K�6IP@P@:@CL3cPT678�6YQ5UL6ICVA�:�G�6IP@NSMI:@35C�:�A�G0NoPT6�=�NSG�:@NS]^:@P@:u]^:@C^NSG0:T6o�x]!3\35PT6INRCL6���±uOr¶w69+�eo��1�� +o¯±-:!�%� ¶bOd��1 1�� ±<; ¶c69��1 1 1�� +=; �x±-� #�' ¶L�&��K�3}=R6�±>;¿¶�8�:TQ5C�:TpbHYN /�±w:@47EbP@:@HYN�¶ 3`��e

� e@? �uà � � �� � à à �� à ��A� e2% 6IP@P{y¨6I8�6I47E^:T3nK�: � e��m4>NRC�HYNRCL3FKL6I:�=\:@C^HJ35P@:�80U�P@PT6-=SNSG0:@NS]b:@P@:ZH�_L6o:@4�XE35CLQ5NRC�3wHJ35C�K�:@MI:T35C�:�K�:�HJ35C�8�:@8�A�6ICLMINwK�6IP@P@NB8�35PDULMI:T35CL6Reo��C�E^NSG0A�:@HJ35P@NSG�6RO�8�69¶M:@>R¬�¶ > ³`¬�¶5³CBL¬Y²Y²Y²�¬�¶%DFE=SNRPTQR35CL3oâSOLNRP@PT3RG�N�NRC�H�_L6&¶ :GE KL6Y=R6�=�NRP@6YG�6�âSe C&UL6I8�A�:b=\:DC�HJ35P@:^:D47E35CLQR35CL3aH�_L6sPT6 HJ3RE^E^:T67��1�¬46V��E6YGHYU^:d¶ :?> ¯àâaK�6JpbC�:@8�HYNRC�39U�CW3RG0K�:@CL6�A�3RA�NRPT678�U ) âS¬Y²Y²Y²�¬ ª *5e&gL:d8�HJG0:@=�NRCL39A�NRP@:u=\:@C^HJ35P@:���HJ6�CL6�8�35CL3H>� � · ����e[g?:G0:@HYN}=\:)U�Co4-3\KL3�E6YG<:@47E3RG�G06 A�NRP@:=?:@C�HJ35PD:!HJ35CWP{yzU�8�37K�:8�35PT3IH>� ª � ��K�:@8�ULQ5U^NSQ5P@:@NRCLMY6Re

J

Page 10: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

�\e ;| 3}=\=?:T3aH�_L6 U�C-E�G�3R]^PT6I4>NsK�:?E�G�3RQRG0NR4>4-NSMI:T35CL6<]b:@C�NSG0:@N-�xEbULG0N`��;6 U^C-HYNR8�3a8�E!6IHY:DNRPT6<K�:LE�G03RQRG0NR4�X4>NSMI:T35CL6�:@C`A�6YG�N¦�xE^U�G0N`��eFgL:ZK�:@4-358�A�G0:ZH�_L6�NRC�H0_L6oP{y¨3RE^E!358�A�3�;6�=R6YG�3LO�358�8�:DNWH0_�6c3RQ5C^:ZE�G03R]^PT6I4-N:DC`A�6YG�3>E^Uu;3�6I8�8�6YG�6�G0:@HJ35C�KL3RA�A�39N-U�C�3RE�E3RG�A�U�C�3�6Ij\U�:T=SNRPT6ICVA�6sE�G�3R]^P@6I4-N�]^:@C�NSG�:T3Le

�t��� � � ¡ ����� � � �§¢Z  � ��¢�� 8� �� ��������Cwj\UL6I8�A�N�8�6YMI:T35C�6�8�A�U^K�:T6YG�6I473�PT6a=�NSG0:@6ah�NR8�:�KL6IP@P@N9473\K�6IP@P@NSMI:T35CL6aE6YG�U�Cw6I8�6I47Eb:T3cK^:dE�G03R]^PT6I4-N>G�6INRPT6�xE6YG�j\U�NRC`A�398�6I47E^P@:TpbHYNSA�3LO?E!6YG�3}=\=\:T6�6I8�:TQR6ICLMY6�K^:@K�NSA�A�:@H�_L6���ev C�E�G�3R]^PT6I4>N�j\UL3RA�:@K�:@NRC�3 KL6IP@PDN�HJ3547E^NSQ5C^:@N�6IP@6YA�A�G0:@HYN | � | % ;6�jVU�6IP@PT3 K^:VKL6IHY:DKL6YG�6[jVU�NRPD:`QR6ICL6YG�NSA�3RG0:

NRHYHJ6IC�KL6YG06RONc8�6IHJ35C�K^N9KL6IPDPT6+G0:@H�_�:T6I8�A�6�K�:r6IC�6YG�Q5:@N?e���CBEbNSG�A�:@HJ35P@NSG�6ROHY:�8�:@NRCL39A�G�6aQR6IC�6YG0NSA�3RG0:tã�Oä 6-�HJ35CWP@6+8�6YQ5UL6ICVA�:rHYNSG0NSA�A�6YG0:@8�A�:@H0_L6RÚ

� ����� ��� $���� �" %$�� � �� $!� � � " "� � �" %$������� ��! " � ��

� � # ������$!�%��� � � " "� ' � ' ��� "������� �"�)� � � ' � � # ��������� ��� � # � � # � ����� � � ' � �������� ����� � � ' �

ã � �M�M� �+�M� � � â(�M�ä � �M�M� ���M� � â����M�� â(�M�M� J �M� � � �M�M�

v C¦Q5:T3RG0CL3~;6�K^:T=\:D8�3W:@C¦K�UL69E!6YG�:T3\K^:{e v C�QR6ICL6YG�NSA�3RG�6RO�j\U�NRPT3RG0NnNRHYHJ6I8�3�CL6IP�E�G0:D473BE6YG0:T3?KL3LOtE^Uu;36I8�8�6YG06�U�8�NSA�3�C�6IPL8�6IHJ35C�KL3+E6YG0:@3\KL3s8�6IC�MIN+:@C�HJ3RG�G06YG�6�:@C7HJ358�A�:^K^:LNRHYHJ6IC�8�:T35CL6 NSQRQ5:@U�CVA�:T=\:fe�g?:LNR808�U�4-NsH�_L6RO:@CoU�C�KL6YA�6YG�4-:@C�NSA�37Q5:T3RG�CL3LO�:@PCVU^476YG�3-K�:476YQ5N���NSA�A�G0:@H�_�:T6I8�A�:CL6IPE�G�:@473�E!6YG�:T3\K�3�8�:DN �%J �M�?O!476ICVA�G�6+:@P8�6IHJ35C�K�3-E6YG0:T3?KL3aG�:@H0_�:@6IK�N �%J �M�>476YQ5N���NSA�AYe

N`�>º 808�U�476IC�K�3�H0_L6m:�HJ358�A�:<pb8�8�: 8�:@NRCL3�MY6YG�3LO�6wj\U�:@C�K^:[E!35808�NRCL3�6I8�8�6YG�6w:TQ5C�3RG0NSA�:{O�jVU^NRP@:<8�35CL3¦PT6=SNSG0:@NS]^:@PD:bK�:)K�6IHY:@8�:T35CL6�� C&U�NRPfyq;6aP@N�hi3RG�4aU�PDNSMI:T35CL6sK�:)�Z�~:@Coj\UL6I8�A�3>HYNR8�3o�

� ÑiØ�&?Ì�ØJÖfÎ��agL:�K�6ICL3RA�:@CL3�HJ35Cm± :?> :@P�CVU^476YG�3�K�:t476YQ5N��[NSA�A+E�G�3?KL3RA�A�:tK�NRPuQR6ICL6YG0NSA�3RG�6 1 ´$) ãa¬�ä9¬���*E6YG�6I8�8�6YG�6aU�8�NSA�:rCL6IPE6YG0:@3\KL3 6�¯ âS¬ � e���=?:@C�HJ35P@:K�:)HYNSE^NRHY:@A�;N>KL6I:QR6ICL6YG�NSA�3RG0:dK�:@=R6IC`A�NRCL3

��â}��±��d� � � â(�M� ±��!� � � â(�M�� � ��± . � � â����M� ± . � � â����M�� � ��±��u� � � �M�M� ±��� � � �M�M�

��=\:DC�HJ35P@:G�6IP@NSA�:@=\:)NRP@P@6�E3RA�6ICLMY6�G0:@H0_^:T6I8�A�6+8�NSG0NRC^CL3

� � ��± �r� ᦱ . � ᦱ �u� å �%J �M��{�5��±��b�Zᦱ . �Zᦱ �� å �%J �M�

�d6+=�NSG�:@NS]^:@P@:b± :?> 8�35CL37G�6INRP@:fOL358�8�:@N7NS]�]b:@NR473-:@P=?:@C�HJ35PT3� � ��± :?>+å0�?¬ 1 ´$) ã�¬�äc¬���* 6�¯ âS¬ �

�uN7hxU^CLMI:T35CL6&3R]^:T6YA�A�:@=R3>HJ35C�8�:@8�A�6+CL6IP)4-:@C�:D4-:TMYMINSG�6s:)HJ358�A�:{O^358�8�:@N

4-:DC<�L�x±��d��ᦱ��!�I�rá � �x± . �tá~± . �}�dá.�?�x±��u��ᦱ ��}�HJ35CW:=?:@C�HJ35PD:���â}��Ou� � ��O�� � ��Ot� � ��Ou�{�5�[69� � ��e

]!�sgL:�HJ35C�8�:@K�6YG0:@CL3c3RG0NBCL6IPZ473\K�6IP@PT3o:�HJ358�A�:�p!8�8�:�K�:t6I8�6YG�HY:TMI:T3Le C&U^NRP@:�8�35CL3BPT67=SNSG0:@NS]b:@P@:��X0â-H0_�6B;6CL6IHJ6I8�80NSG0:T3>:@CVA�G�3?K�ULG�G06��B2�35476+HYNR4a]^:@N-PDN�hxU�C�MI:T35CL6&3R]^:T6YA�A�:T=R3V� | :=\:@C^HJ35P@:i�

â(�

Page 11: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

� ÑiØ�&?Ì�ØJÖfÎ��<g?:)KL6Jp!C�:@8�HYNRCL37PT6&=SNSG0:@NS]^:DP@:;��X0â+¶ :@> E!6YG 1 ´ ) ã�¬�äc¬���*�6 6a¯ âS¬ � HJ35CB:@P8�6YQ5U�6IC`A�6�80:TQ5C�:qXpbHYNSA�3LÚ

¶ :@> ¯ � â 8�6a:@PQR6ICL6YG0NSA�3RG�6 1�=?:T6ICL6+U�8�NSA�39CL6IPE6YG0:T3?KL3 6� NRPTA�G�:@476ICVA�:

2�354-6�8�E^:T6YQ5NSA�39:@C�E�G�6IHJ6IKL6IC�MIN?O^:@P)PT6YQ5NR476�hiG0N7P@6s=�NSG0:DNS]^:@P@:b± :?> 6�¶ :@> ;6�KL6IP)8�6YQ5UL6ICVA�6�A�:@E!3LÚ��â ® ��±��d� � � â(�M�S¶��d� ±��b� � � â(�M�S¶��!�� � ® �[± . � � â����M�S¶ . � ± . � � â����M�S¶ . �� � ® ��± �u� � � �M�M�S¶��u� ± �� � � �M�M�S¶���

��CL35PTA�G�6RO�80:rKL6JpbC�:D8�HYNRCL37KL6IP@PT6&=SNSG0:@NS]^:DP@:;��X0â0+ : E6YG 1 ´$) ãa¬�äc¬��E*`O^HJ35CW:@P)8�6YQ5UL6ICVA�6a8�:@Q5C�:qpbHYNSA�3LÚ

+ : ¯ � â 8�6�:DPQR6ICL6YG0NSA�3RG�6 1�=\:@6ICL6+NRHYHJ6I8�3� NRPTA�G0:D476IC`A�:

��P�QR6ICL6YG�NSA�3RG�6�1u=?:T6ICL6�NRHYHJ6I8�3�8�6�=?:T6ICL6 U^8�NSA�3aCL6IP^E�G0:@4-3+3aCL6IPb8�6IHJ35C�KL3�E6YG0:T3?KL3Led��C9A�6YG04-:@C�:^PT3RQ5:@HY:{OP@N�G�6IPDNSMI:T35CL67A�G0N>+ : 6>¶ :@> ;6I+ : ¯È�x¶ : � � ! ¶ : �I��e-�&N � e � 8�NSE�E^:@NR4-3�H�_L6>j\UL6I8�A�NoG06IP@NSMI:T35CL67E^U�;3c=R6IC^:TG�6:@47E358�A�N�K�NR:r=\:@C^HJ35P@:

� �R��+ � å ¶ �d� + � å ¶ �!� + � � ¶ �d� ák¶ �b�� �5�@+ . 姶 . � + . å ¶ . � + . � ¶ . �uᦶ . �� J �@+ �¦å ¶��u� + �¦å ¶��� + ���§¶��u��ᦶ���

�d6+=�NSG�:@NS]^:@P@:b¶M:?>&6 + :t8�35CL3LO^HJ35476�K�6YA�A�3LO^]^:@C^NSG0:T6RÚ��â(�`�[¶ :?>+´ ) �?¬Iâ+*5¬ + :t´ ) �?¬Iâ+*5¬ E6YG 1 ´$) ã�¬�äc¬���*`¬46�¯ âS¬ �

�uN7hxU^CLMI:T35CL6&3R]^:T6YA�A�:@=R37pbC�NRPT6s8�NSGS;N4-:DC � �M�M�%+ �Bá � �M�M�%+ . á â(�M�M�%+ ��á

�+�M���x¶��d�tᦶ��!�I�)á ���M���x¶ . ��á~¶ . �}�rá J �M���x¶��u�tᦶ���I��á�L�x±��r��ák±��!�}�)á � �x± . ��ᦱ . �}�)á0�?�x±��u�tá~± ��}�

HJ35Cn:)=?:@C�HJ35P@:Z��âSy ��O�� � y ��O�� � y ��Ot� � ��O��{�5��Ot� � ��e�� �R��Ot� �5��Ot� J �<69��â(�`��e�gL:)G0:��^6YA�A�N>:@C?pbCL6s8�U^P)hxNSA�A�3�H0_�6a:=?:@C�HJ35P@:KL6IP)A�:@E!3+ : �§¶ : �uᦶ : ��E3RA�G�6Y]�]6YG�376I8�8�6YG�6s35476I8�8�:dK�NRPr473?KL6IP@PT3B�xE6YG0H�_;6�����e

� � 1t%(+*-/B'r/��b(80,a%/��a/

g?:[HJ35C�8�:DKL6YG0:[P{y¨6I8�6I47Eb:T3FKL6IP@P@Nn8�6YMI:T35CL6 � e �\ek��CkA�NRPT6oE�G�3R]bPT6I4-N?O�:@P[473?KL6IP@PT3nE�G�6Y=R6IK�6 J =�NSG0:DNS]^:@P@: ��X0âSeº�KW3RQ5C�:�NR8�8�6YQ5C^NR476IC`A�3oK�:dA�NRP@:u=�NSG0:DNS]^:@P@:)N9=�NRP@3RG0:K�969âSO)HJ3RG�G0:D8�E35C�KL6+U�CwE�G�3R]^P@6I4-N-K�:u�Z��Ob3RA�A�6ICVU�A�38�358�A�:@A�UL6IC�KL3�:!HJ3RG�G0:D8�E35C�KL6ICVA�:?=�NRPT3RG�:^CL6I:^=\:@C^HJ35P@:d��âSy ��Or� � y ��Or� � y ��e�g?:^C�3RA�:^H0_�6 E6YG�NRPDHYU�C�:�NR8�8�6YQ5C�NR476ICVA�:]^:@C^NSG0:{O�A�NRPT67���~EbUu;39G�:@8�U�PTA�NSG06�CL35CnNR4-4-:@8�80:T]^:@PT6Re v Cn473?KL3c8�6I47E^P@:@HY:D8�A�:@HJ3>K�:dE6IC�8�NSG�6�K�:rG�:@8�35PT=R6YG�6�:@PE�G�3R]bPT6I4-NoE3RA�G�6Y]�]69E!6YG0A�NRC`A�3n6I8�8�6YG�6�j\UL6IP@PT3WK^:�6IC\U�476YG0NSG�6cA�ULA�A�:�:��?â � ¯ ��� NR8�8�6YQ5C�NR476ICVA�:�]b:@C�NSG0:{OG0:@HYN}=�NSG0676-G0:@8�35P@=R6YG�67NRPTA�G�6YA�A�NRCVA�:��Z�ZO)6-G�6I8�A�:TA�U^:TG�6�HJ35476>8�35P@U�MI:T35CL6�pbC�NRPT67P@N�8�35PDULMI:T35CL674-:TQ5PD:T3RG�6�A�G0NB:=SNSG0:r�Z��G0:@8�35P@A�:{e�gL:=R6IK�N-P@N78�6YQ5U�6IC`A�6aA�NS]!6IPDP@N

âRâ

Page 12: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

¶ �d� ¶ �b� ¶ . � ¶ . � ¶ �u� ¶ �� µ � µ . µ � 3RA�A�:@473>K�6IP)�Z�

� � � � � � � � � CL35CBNR4>4-:@8�8Ye� � � � � � � � â CL35CBNR4>4-:@8�8Ye56565â â â â � � â â � � � � �M�56565â â â â â â â â â � â � �M�

��P?E�G0:@C^HY:TE^:T3&K�:?E�G�3�=�NSG06�A�ULA�A�:LQ5P@:�NR808�6YQ5C�NR476ICVA�:�E358�8�:@]^:@P@:�;6 CL3RA�3�HJ354767ÓJÒ �?Ï>ÓJË�Î}ÐJÑ{ÌSÒ!Ó �0ÌSÏ�& �@ÓYÖfÎSe ;|H0_^:@NSG�37H0_L6sA�NRP@6�E^G0:@C�HY:TEb:T3+G0:@80U�PTA�N+6I8�A�G�6I4-NR476ICVA�6+:@CL6Jl9HY:@6IC`A�6RO?E6YG�CL35CoK�:TG�6�HJ3547E^PT6YA�NR4-6IC`A�6�:D47E�G0NSA�:qXHYNS]^:@P@6RO�E6YG�A�ULA�A�:V:`E�G�3R]^P@6I4-:5N E^NSG�A�6[jVUL6IPDP@:RK�:`K^:@476IC�8�:@35C�:R4735PTA�3�G0:@KL3RA�A�6Re���CLhxNSA�A�:fO ª =�NSG0:DNS]^:@P@:R]3\35PT6INRCL6E358�8�35CL3cNR8�8�U�4-6YG�6 � · =SNRPT3RG0:dK^:T=R6YG08�:{O^6�j\UL6I8�A�3cCVU�4-6YG�39HJG�6I80HJ6�NR8�A�G035CL354-:@HYNR476ICVA�67NRP@P{yzNRU�4-6IC`A�NSG�6�K�:ª e�g?:LCL3RA�:�H�_L6�NRC�H�_L6<CL6IP@P@N�E�G03RQRG0NR4-4-NSMI:T35C�6<P@:@CL6INSG�6�:@PLC\U�476YG03&K^:L8�35P@ULMI:T35C^:\K^:?]^NR8�6�E358�8�:T]b:@P@:b�x=R6YG0A�:@HY:KL6IPZE!35PD:T6IKLG�3BKL6IPDPT6-8�35P@ULMI:@35C�:i� E^Uu;3W6I8�8�6YG�6�4735PTA�3w6IPT6Y=�NSA�3LO�NRC�H�_L6�4-NSQRQ5:T3RG�6�K�: � · e - ULA�A�N}=\:DNw:@C�A�NRPT6E�G�3R]bPT6I4-N?OS6I8�:@8�A�35C�3&4-6YA�3\K�:\G0:D8�35P@ULA�:T=?:5Eb:�;U�6JlcHY:T6IC`A�:?KL6IPDP{y¨6ICVU^476YG0NSMI:T35CL6[HJ3547E^P@6YA�N?etº�K�6I8�6I47E^:@3LO5CL6IP@P@N476IK�:DN?O�P{yzNRP@QR3RG0:TA�473WK�6IP�8�:@47EbPT6I8�8�3BKL6YA�6YG�4-:@C�NBU^CF=R6YG�A�:@HJ6c3RA�A�:@473nKL3RE3WNI=R6YG�6I8�E^PT3RG�NSA�3w8�35PT3nU�C�C\U?X476YG�3�4735PTA�3�G0:@KL3RA�A�3�K�:L=R6YG�A�:DHY:^=?:@N+=?:@Na4-:TQ5P@:T3RG�:{ed�ZU�G�A�G�3RE�E3LOVC�6IP^HYNR8�3�KL6IP@P@N+E�G�3RQRG0NR4-4>NSMI:T35CL6 PD:@CL6INSG�6ÑxÒ^Ö�ÓJË�ÎSOtNoA�ULA�AYy¨3RQRQ5:�CL35Cm6I8�:@8�35C�3W476YA�3?K�:�H0_L6>Q5NSG0NRC`A�:D8�HYNRCL3wK^:tE�G�3?K�ULG�G�6�U�C�No8�35P@ULMI:T35CL6�3RA�A�:@4>N?OuE6YG3RQ5C�:u:@8�A�NRCLMIN?O^:DCBU�CBC\U�476YG�39K�:E^NR8�8�:d8�358�A�NRCLMI:@NRPD476IC`A�6�4-:@CL3RG06+K�:)jVU�6IP@P@:)CL6IHJ6I8�80NSG0:dNRP@Pfy¨6ICVU�4-6YG0NSMI:T35CL6HJ3547E^P@6YA�N?e - NRPT6-G0:D8�U�PTA�NSA�3BCL6YQ5NSA�:@=R3~;69K�3}=?ULA�3WNRP�h�NSA�A�3wH�_L69:�E�G�3R]^PT6I4>:�K�:tE�G�3RQRG0NR4>4-NSMI:T35CL6>PD:@CL6INSG�6:@CVA�6YG0NmNSE�E^NSG�A�6IC�QR35CL3�NRP@P@NnHYP@NR8�8�6BK�6I:�E^G�3R]^PT6I4-:�E^:�;U¦K�:qlcHY:@P@:Z:DC�3RA�A�:@4>:TMYMINSMI:T35CL6BHJ354a]^:@C�NSA�3RG�:@N���CL3RA�:HJ35476+E^G�3R]^PT6I4-:���Ê����\ÎSË )}��e% 35CL358�A�NRCVA�6�j\UL6I8�A�3�G0:@80U�PTA�NSA�3�CL6YQ5NSA�:T=R3LOsP{y¨6IC\U�476YG0NSMI:@35CL6mE^Uu;3¦6I8�8�6YG�6�:@4-E^:T6YQ5NSA�NkHJ35C 8�U�HYHJ6I808�3LO

NRC�H�_L6�8�U E^G�3R]^PT6I4-:&K�:sC�3RA�6Y=R35P@:�K�:D476IC�8�:T35C^:{O�j\U�NRPT3RG0N 80:sNRKL3RA�A�:@CL3§K�6IP@PT6F8�A�G0NSA�6YQ5:T6~E6YGo6Y=\:TA�NSG06�K�:6I8�E^P@3RG0NSG�6cA�ULA�A�:�:�E^U�CVA�:�KL6IPDPT3n8�E^NSMI:T3FKL6IP@PT6c8�35P@ULMI:@35C�:{em��C¦E^NSG0A�:@HJ35P@NSG�6ROZ80:�HJ6YG�H0_L6YG�;NFK^:Z6IP@:D4-:@C�NSG�6cK�N3RQ5C�:sHJ35C�80:@KL6YG0NSMI:T35C�6nNRP@HYU^C�: 8�3RA�A�35:@C�8�:T6I4>:�K^: 8�35PDULMI:T35C�:{O 8�6ICLMINkNI=R6YG0P@6�CL6YE�E^ULG06W6I8�NR4-:DC�NSA�6RO E6YG0H�_;68�:@NR4-3-HJ6YG�A�:rH0_�6�CL35CoE358�8�35C�3-HJ35C`A�6ICL6YG06a8�35P@U�MI:T35C�:!3RA�A�:@476Re

�Zyz:@KL6IN�NRP@P@Nc]^NR8�67K�:tj\UL6I8�A�:tG0NSQ5:@35C�NR476ICVA�:�;6-j\UL6IP@PDN9K�:�Ë Ñ &LÎSË Ö�ÑxË�Ó�P@3�8�E^NSMI:T3oKL6IP@PT6�8�35P@U�MI:T35C�:�:@Cm8�3RA�XA�35:@C�80:T6I4-:)K�:@8�Q5:@U�CVA�:b6�=\:@N�=?:@N-K^:)K�:@476IC�80:T35C�:bE^:�;U�E^:@HYHJ35P@6Re % 6IP@P{y¨6I8�6I47Eb:T3�E�G�6IHJ6IKL6ICVA�6RObP{y¨6IC\U�476YG�NSMI:T35CL6HJ3547E^P@6YA�NWE^U�;3W6I8�8�6YG06>=?:@8�A�NnHJ35476cU^C�HYNR8�3FP@:@4>:TA�6-K�:�G�:TE^NSG�A�:TMI:@35CL6RO�:DC�8�3RA�A�35:@C^8�:T6I4-:�K�:ZU�C�6IPT6I476ICVA�3HY:@NR8�HYU^CL3Le�!�NSQ5:T35C^NRC�KL3-8�U�:K�NSA�:fO�8�:E358�8�35CL3�E6YG�;3�3RA�A�6ICL6YG�6�KL6IP@PT6�G0:TE^NSG0A�:TMI:T35C�:!4-:TQ5P@:@3RG0:{etº K�6I8�6I4-E^:T3LO8�:LHJ35C�80:@KL6YG0:@C�3&:?=?:@C�HJ35PD:\K�6IPLA�:TE36+��F¯ ¶��r� �2� ¶��!��et�Zyz:@C�8�:@6I476�K�:?A�ULA�A�:�:?E^U^C`A�:LPT6<HYU^:?E�G�35:T6YMI:T35C^:L8�U�P@PT6HJ3547E35CL6ICVA�:t¶ �r� ¬�¶ �!� ¬ + � C�35CF8�3\K^K�:@8�h�NRCL3cA�NRPT67G�6IP@NSMI:T35C�6ROrCL35CFHJ35C`A�6YG0G�;NBNRP@HYU�C^Nc8�35P@ULMI:T35CL67NR4-4>:@8�8�:qX]^:@P@6��x6>j\U�:@C^K�:uHJ6YG0A�NR476IC`A�6cCL6INRC�H�_L673RA�A�:@4-N`��67EbUu;3�E!6YG0A�NRC`A�3B6I808�6YG�67A�G0NRP@NR80HY:@NSA�3W8�6ICLMIN�6IC\U�476YG�NSG0CL6Q5P@:6IPT6I4-6IC`A�:{e�gL:)CL3RA�:rH0_�6+E358�8�:@NR473�E6YG0HY:�;378�HYNSG0A�NSG�6�:@CoU�Co8�35PrHJ35PTE3 ��� ¯ ��� NR8�8�6YQ5C�NR476ICVA�:dKL6IPA�:TE3��âS¬IâS¬ 5 ¬ 5 ¬ 5 ¬ 5 ¬ �?¬ 5 ¬ 5 � O�NRPTA�G0: ��� KL6IPuA�:TE3w� �?¬ �?¬ 5 ¬ 5 ¬ 5 ¬ 5 ¬IâS¬ 5 ¬ 5 ��O�6�HJ358 ; :�=\:@N?e ��CwG�6INRPTA�;NnO8�:@HYHJ354767PT6a=�NSG�:@NS]^:@P@:+m8�35CL3nKL6YA�6YG04-:@C^NSA�69CL35C¦NSE�E6IC�NWP@6>¶�PT3n8�35CL3LO�8�:�E^Uu;3WN �6YG04-NSG�6�H0_�6c:@PZE�G�3R]^P@6I4-NoE�G�6Y=R6IK�6cNRP�E^:�;U��� ¯ � � 8�35P@ULMI:T35C^:{O?358�8�:@N�A�NRCVA�6�j\U�NRCVA�:)Q5P@:)NR8�8�6YQ5C�NR476ICVA�:dNRP@PT6s=SNSG0:@NS]b:@P@:!¶be[g?:)CL3RA�:rH�_L6a8�:)8�35CL3>j\U�:@C�K�:6Y=?:TA�NSA�:^K�:�6ICVU�4-6YG0NSG�6 �R� ��E358�8�:T]^:DP@:VNR808�6YQ5C�NR476ICVA�:^:@C>U�C-8�35PbHJ35PTE3 ��g?E^:@CLQR6IC�K�3�A�NRPD:�G0NSQ5:T35C^NR476IC`A�:^E^:�;U:@CcKL6YA�A�NSQ5P@:T3LO�PfyzNRC�NRP@:@8�:bKL6I:K�NSA�:!hi3RG�C�:@8�HJ6�=\:DC�HJ35P@:!:@47E^P@:DHY:TA�:�H0_�6�E6YG04-6YA�A�35CL37K�:^6Y=?:TA�NSG�6sP{y¨6IC\U�476YG�NSMI:T35CL6K�:bU�PTA�6YG0:T3RG�:LNR8�8�6YQ5C�NR476ICVA�:{e���6YG�6I8�6I47E^:T3LO?8�:@HYHJ354-6 :@PLh�NS]�]^:D8�3RQ5CL3�K�:^6ICL6YG�Q5:@NaKL6IP^8�6IHJ35C�KL3�E6YG0:@3\KL3-;6�K�:�%J �M��Ù��¾O?6�C�6I8�8�U�C98�:@CLQR35PT3aQR6ICL6YG0NSA�3RG�6&E^U�;3�hx3RG0C�:TG�6�A�NRPT6 E3RA�6ICLMIN?O;6&3}=\=\:@3�H�_L6�C�6IPb8�6IHJ35C^KL3aE6YG0:@3\KL3KL3�=VG0NRC^CL376I8�8�6YG�6aNRHYHJ6I8�:rE6YG0PT354-6ICL3 � QR6ICL6YG0NSA�3RG0:fO�6�j\U�:@C�K�:bA�ULA�A�:)Q5PD:rNR8�8�6YQ5C�NR4-6IC`A�:dE!6YG<HYU^:

¶��!��ᦶ . �Zᦶ��� � â

CL35C E!3RA�G�NRC�CL3 HJ3RG�G0:D8�E35C�KL6YG�6�N 8�35P@ULMI:T35C�:�NR4-4-:@8�80:T]^:@P@:fe º�K 6I8�6I4-E^:T3 Q5P@:aNR8�8�6YQ5C�NR4-6IC`A�:�KL6IPsA�:TE3� 5 ¬ �?¬ 5 ¬ �?¬ 5 ¬ �`��E358�8�35CL3c6I8�8�6YG�678�HYNSG0A�NSA�:�� �9E!35808�:T]^:@PD:TA�;N`��e�º�C�NRPT3RQ5NR4-6IC`A�6-8�:t8�HYNSG0A�NRCL3BNRPTA�G0: ��� ¯ � ¼ �

â �

Page 13: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

NR8�8�6YQ5C^NR476IC`A�:fe | HYHJ3WH0_�6-:@PtCL358�A�G�3B8�EbNSMI:T3oK�:t8�35P@ULMI:T35C^:�80:�;6-U^PTA�6YG0:T3RG04-6IC`A�6�G0:@K�3RA�A�3�No8�35PT6 �R� E358�8�:qX]^:@PD:TA�;N�e % 6IP@P@Ns8�6YMI:@35CL6 � e@â�80:?6I8�NR4-:@CL6YGS;NsU�C�N&E�G�3?HJ6IK�ULG�NsCL3RA�N+HJ35476 #YË�ÎRÒ � �cÎRÒ ) #�Ì��?Ò )�H0_L6�hi3RG04>NRP@:TMYMINNRP@HYU�C�6<:@KL6Y6<j\U�:L6I8�E�G06I8�8�6<:@C-U^C-476YA�3?KL3+QR6ICL6YG0NRP@6<E6YGZP@N&G0:@8�35P@ULMI:T35CL6�K�:?E^G�3R]^PT6I4-:?K�:�E�G�3RQRG0NR4-4>NSMI:T35CL6P@:@C�6INSG�6s:@C`A�6YG�N?e

�&:TG�6+H�_L6+¶��!��ᦶ . �Zᦶ��� � â+K�6Y=R6+6I8�8�6YG�6�hxNRP@8�3LO);6�HJ35476�K�:@G�6sH0_L6

¶��!��ᦶ . �Zᦶ����å �KL6Y=R696I8�8�6YG�6>=R6YG�3Lec�uNBK�:@80ULQ5U�NSQ5P@:@NRC�MIN�¶��b�[ᶠ. �[á¶���9å � ;69E!6YG0A�NRC`A�3WU^CF6I8�6I47E^:@3WK�: )SÑiØ �5ÍM�

��ÎIÍ�� Ñ{ÎSÒ\ÐIÎ >SÎ(� Ñ )5ÎROtH�_L6980:�E3RA�G�6Y]�]6-NSQRQ5:@U�CLQR6YG069NR:�=?:@C�HJ35P@:fOd8�6ICLMINwNRPTA�6YG0NSG�6>P@3W8�E^NSMI:T3wKL6IP@PT6-8�35PDULMI:T35C�:NR4-4-:D8�8�:T]^:DP@:{e7��yzULA�:DP@:TA�;NoKL6IP@PfyzNSQRQ5:@U�CVA�NBK�:�=?:@C�HJ35P@:ZNRP�E�G�3R]bPT6I4-No8�:�_�NBj\U�NRPT3RG0NB80:ZKL6IHY:@K^NBK�:�ULA�:DP@:TMYMINSG�6HJ35476Z4-6YA�3\KL3 K�:SG0:@8�35PDULMI:T35CL6tP@N�NSE�E�G0358�8�:@4-NSMI:@35CL6�8�U�HYHJ6I8�8�:@=�N[A�G0NR4>:TA�6�E�G�3R]bPT6I4-:SK�:R�Z�ZeY��C+A�NRPT6�476YA�3?KL3LO:@P!E�G0:D473�E^NR808�37HJ35C�8�:@8�A�6sCL6IPA�G�NR8�HYULG0NSG�6sHJ3547EbPT6YA�NR476ICVA�6+:=\:@C^HJ35P@:bK^:!:DC`A�6YG�6YMYMIN7K�6IP@PT6�=�NSG0:DNS]^:@P@:^6�G�:@8�35PqX=R6YG�6-:@PuE�G�3R]bPT6I4-N-G�:@8�U�PTA�NRCVA�6o�xG0:@P@NR8�80NR476IC`A�3oHJ35CVA�:@C\UL3V� H0_L6o;6-U�CmCL3RG04>NRPT6�����e�C&U�NRPT3RG�NcPDN98�35PDULMI:T35CL63RA�A�6IC\ULA�N ,«§G0:@80U�PTA�:�:@CVA�6YG0N?O�8�NSG�;Nw8�6ICLMRyzNRPTA�G�3w3RA�A�:@4-N?eWº�PTA�G0:D476IC`A�:fOu8�:ZE^Uu;3WE6IC�80NSG�6>K�:�NSQRQ5:DU�CLQR6YG�6�KL6I:=?:@C�HJ35P@:uH0_L6�6IP@:@4-:DC�:@CL3 ,«kK�NRP@PT6�8�35P@ULMI:T35C�:uNR4-4-:@808�:T]^:@PD:!K�6IPdG0:DP@NR8�8�NR476ICVA�39HJ35CVA�:@C\UL3LO)4-N>C�35CW6IP@:D4-:@C�:@C�3NRP@HYU�C^NW8�35P@U�MI:T35CL69NR4>4-:@8�8�:@]^:@PT67:@CVA�6YG0N?e�g?:@HYHJ35476 ,«Â=?:T6ICL6 /�A�NSQ5P@:@NSA�Nn=?:@NM3wK^NRP@P@NBE^G�6I8�6ICLMINnKL6IP�CVUL3�=R3=?:@C�HJ35PT3LOZj\UL6I8�AYyzU^PTA�:@473F8�:[K�:TGS;NwU�C &!Ñ�ÎSÒ!Ì )SÑsÖfÎIÍ�� Ñ{Ì � �(�LÖ{Ö�ÑxÒVÍ9& �qÎRÒ!Ó���e���E^:@NRC^:�K�:�A�NSQ5P@:@3�8�35CL3FE6YG0HY:�;33RE�E3RG�A�U�C�6<K�:@8�ULQ5U^NSQ5P@:@NRCLMY6[=SNRP@:@KL6Re�2�35476 6I8�6YG0HY:TMI:T3LO\8�:LG0:DHYNI=?:^U�C�NsK^:@8�ULQ5U�NSQ5PD:@NRCLMIN&=SNRP@:@K�N&E6YGZ:@P�E�G�3R]LXPT6I4-N�KL6IP@P{y¨6I8�6I4-E^:T3LO5]^NR80NSA�Na8�U^PLhxNSA�A�3�H0_L6&8�6�C�6IP�E6YG0:T3?KL3-â<:@P�QR6ICL6YG0NSA�3RG�6+�°;6�8�E6IC`A�3LO?NRP@PT3RG�N+8�:@N+ã H�_L6äÆK�6Y=R35CL3�6I8�8�6YG�67NRHYHJ6I8�:{es��P�476YA�3\K�3�K�6IP@PT6aK^:@8�ULQ5U�NSQ5PD:@NRCLMY6+=SNRP@:@KL6a67KL6I:dEb:@NRC�:dK^:dA�NSQ5P@:@3n;676I8�NR4>:@C�NSA�3:@CoKL6YA�A�NSQ5PD:T3>CL6IP@PDN�8�6YMI:T35CL6 � e � e

����� � ��� � ����� � ��¢�� � ��� �Z¢��P #JË�ÎSÒ � �~ÎRÒ )"#�Ì��?Ò )B;6>U�C�N�E�G03\HJ6IK�U�G0NcE!6YGsG�:@8�35PT=R6YG�67E^G�3R]^PT6I4-:tK�:����r� OrKL6IP�A�:TE3 )SÑ�>}Ñ%)`ÓoÓYÖ�ÑiÏ�&LÓYË�ÎRO358�8�:DNB:@CFHYU�:ZE!6YG�G0:@8�35PT=R6YG06-U�CFE�G�3R]bPT6I4-NoHJ3547E^P@6I8�8�3LOuP@3W8�:�G0:DHJ35C�K�U�HJ6-NB8�3RA�A�3RE�G�3R]^PT6I4>:�E^:�;UF8�6I4-E^P@:@HY:�xE^:�;UB=\:@C^HJ35P@NSA�:{OL=SNRPT6aN-K^:TG�6+HJ35CwG�6YQ5:T35C�:rNR4>4-:@8�8�:@]^:@P@:bE^:�;U�E^:DHYHJ35PT6���e��r6�:@K�6Y6�NRP@P@N�]^NR8�6aK�:)A�NRP@6a476YA�3?KL38�35CL3

� ! :TE^NSG�A�:@G�6�P@3�8�E^NSMI:T37KL6IP@PT6&8�35P@U�MI:T35C�:!NR4-4-:@8�80:T]^:@P@:fOR358�8�:@N�8�E6YMYMINSG�6+:@P!E�G03R]^PT6I4-N�:@C�8�3RA�A�3RE�G�3R]bPT6I4-:Eb:�;U�=\:DC�HJ35P@NSA�:��x6RO^8�:d8�E6YG0N?OLE^:�;U�8�6I47EbP@:@HY:i��H0_�6�8�:E358�8�NRCL3

G�:@8�35PT=R6YG�6+NRPDP{y¨3RA�A�:@4-NRP@:@A�;N9O^3 K^:@H0_�:DNSG0NSG�6sCL35CBNR4-4>:@8�8�:T]b:@P@:{O53 8�E!6YMYMINSG06+G0:@HJ3RG080:T=�NR4-6IC`A�6>� #YË�ÎSÒ � �`ÑxÒVÍ��� v 8�NSG�6&A�6IHYC�:DH0_L6sH0_�6sE!6YG�476YA�A�35CL3�K�:KL6IHY:@KL6YG�6&j\U�NRC�KL3�U�C�8�3RA�A�3RE�G�3R]^P@6I4-N � � � � ��A� HJ35C`A�6ICL6YG06

U^C�N78�35P@ULMI:@35CL6&3RA�A�:@4-N?O^6sE6YG�A�NRCVA�3>CL35C�;6�CL6IHJ6I8�8�NSG�:T37G0:@8�35P@=R6YG0PT3B� #�Ì��?Ò )RÑiÒVÍ���eg?:HJ35C�80:@KL6YG0::@PbE�G�3R]^P@6I4-N�K�:!E�G�3RQRG0NR4-4>NSMI:T35CL6sP@:@CL6INSG06�:@CVA�6YG0N�E^U�G0N?O\HY:@3?;6>e�. 4-:@C[ÃR®q«�¬�ã «�å§Á�¬�«�å

æ)¬�« ´kµ · 0fe7g?:tKL6ICL3RA�:�HJ35C$D 2�:@P�E35P@:T6IKLG03>3RA�A�6IC\ULA�3WK�NRP�G0:@PDNR8�8�NR476ICVA�3oHJ35C`A�:@C\UL3LOr3�=V=R6YG03 D 2a¯ ) «§Úã «�åÂÁ�¬�«�å æ *5e��ZU�G�CL35CB6I808�6IC�KL3-hx3RG04-NRPD476IC`A�6aHJ3RG�G�6YA�A�3LO!E!6YG 8�6I47E^P@:DHY:TA�;N7CL6IPr8�6YQ5U^:TA�3>KL6ICL3RA�6YG06I473HJ35C$D : A�NRCVA�3BU�CnE35P@:T6IKLG03>jVU^NRC`A�3oP{yzNR8�8�3\HY:@NSA�3�E�G03R]^PT6I4-N9K�:u����O358�8�:DN . 4-:DC�ÃR®q«�¬�« ´ D : 0fe+º C^NRPT3RQ5N�X476ICVA�6RObKL6Jp!C�:TG�6I4737HJ35C/4 : A�NRC`A�3�P{yz:@C^8�:T6I476&KL6I:)E^U^C`A�:):@CVA�6YG0:rHJ35CVA�6IC\ULA�:d:@C<D : ��HY:@3?;6 4 : Ú ¯�D : 6 µ · ��Oj\U�NRC`A�39:@PE�G�3R]^P@6I4-N�K�:E�G�3RQRG0NR4>4-NSMI:T35CL6�PD:@CL6INSG�6s:@CVA�6YG0N . 4-:@C�Ã5® «�¬�« ´ 4 : 0fe

��6YG�G0:@8�35P@=R6YG�6>:@P�E^G�3R]^PT6I4-N 4 2SO�8�:�E^Uu;3WHJ354-:DC�HY:@NSG�6cHJ35C~:@PZG0:@8�35P@=R6YG�6 D 2�eng\6 ,«A2B;6�:@C`A�6YG03LO�NRP@PT3RG0N;6nNRC^H0_L6n3RA�A�:@473~E!6YG 4 2 e º�PTA�G0:@476ICVA�:{O�8�:@N 6~U^C�N�HJ3547E35CL6ICVA�6wA�NRP@6wH0_�6 ,± 2> ;6whxG0NSMI:T35C�NSG�:T3Le g?:@NRCL3D � 6 D � :tE!35PD:T6IKLG0:�D � ¯ D 2 6 ) « Ú± > �� ,± 2> � *96 D � ¯ D 2 6 ) « Ú± > å�� ,± 2>�� *5e�g?:�C�3RA�:�H0_L6cCL35C6I8�:@8�A�35CL3sE^U�CVA�:LK�: 4 2 E6YG�:Lj\U�NRP@:� ,± 2> � �§± > ��� ,± 2> � O5E6YG0H�_;6� ,± 2> � 6�� ,± 2> � 8�35CL3+K�U�6<:@C`A�6YG�:\HJ35C^8�6IHYULA�:T=?:{e

â �

Page 14: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

�dN�8�35PDULMI:T35CL6�3RA�A�:@4-N�K�:�4 2 8�NSG�;N�NRP@P@3RG0N9C�6IHJ6I8�8�NSG0:@NR4-6IC`A�6-P@Nc4-:TQ5PD:T3RG�6�A�G�NcP@6�8�35PDULMI:T35C�:�K�:�4 � 6'4 � eg?:@HYHJ354-6<CL35C�;6 N&E�G�:T3RG0:\E358�8�:T]^:DPT6�8�NSE6YG�6<j\U�NRPT6�A�G�N14 � 6 4 � HJ35C`A�6YG�GS;N�U�C�N&8�35PDULMI:T35CL6�3RA�A�:@4>N?OVK�:T=R6ICVA�NCL6IHJ6I8�80NSG0:T3cG0:@8�35PT=R6YG�P@:r6ICVA�G0NR4a]^:{e�2[:�;39E^Uu;3c6I8�8�6YG�6�h�NSA�A�3cG�:@HJ3RG08�:T=SNR476ICVA�6ROA�G0NR4-:TA�6�:t�Z��KL6JpbC^:TA�:rK�N D �62D � e�2[35476�8�:�=R6IKL6RO�E!6YGoG�:@8�35PT=R6YG�6mU�C E�G�3R]bPT6I4-N¦HJ3547E^PT6I8�8�3LO�PT3�8�:�G0:DHJ35C�K�U�HJ6mN�8�3RA�A�3RE�G�3R]bPT6I4-:E^:�;Un=?:@C�HJ35P@NSA�:fe���CFNRP@HYU�C^:�HYNR8�:{OrA�NRP@:Z8�3RA�A�3RE�G�3R]^P@6I4-:tE358�8�35CL3BK�NSG06-P@UL3RQR3BNo8�35P@U�MI:T35C�:t:@CVA�6YG�673RA�A�6ICVU�A�6h�NRHY:@P@476ICVA�6RO�C�6IP<jVU^NRP<HYNR8�3�P@N�8�U�K�K�:@=\:@80:T35CL6>CL35C ;6BE^:�;U�CL6IHJ6I808�NSG0:@N?e§º�PTA�G�6W=R35PTA�6BE^Uu;3�NRHYHYNRK�6YG�6wH�_L6U�Ck8�3RA�A�3RE�G03R]^PT6I4-NnG0:@80U�PTA�:ZC�35C�NR4-4-:@8�80:T]^:@PT6Re v C)yzU�PTA�:@4>NBE358�8�:T]b:@P@:TA�;NB80:�_^NwE35:�jVU^NRC�KL3¦;6oE!35808�:T]^:@P@6N �6YG04-NSG�6�H�_L6�U�CW8�3RA�A�3RE�G�3R]^P@6I4-N-CL35CoEbUu;37HJ35C`A�6ICL6YG06aU�C�N78�35P@ULMI:T35CL6s3RA�A�:D4-N-K�: 4 2SO�6sE6YG�A�NRC`A�3cCL35C=SNRPT6<P@N&E6IC�N�G0:@8�35P@=R6YG0PT3Letº K76I8�6I47E^:T3LO`80ULE�E35C�:@NR473&K�:LHJ35CL3580HJ6YG�6�U�C�Ns8�35P@ULMI:T35CL6�NR4-4>:@8�8�:T]b:@PT6 « ´ 4 2 eg?:@N9:@CL35PTA�G06 4 : U�CW8�3RA�A�3RE^G�3R]^PT6I4-N93RA�A�6IC\ULA�3BK�N 4 2�A�G�NR4-:TA�6�P{yzNSQRQ5:@U�CVA�N9K^:dU�CnCVU^476YG�39NSG0]^:TA�G0NSG0:@3>K�:=?:@C�HJ35P@:{eZg?:DHYHJ35476 4 :�� D : O^8�:)N}=VGS;N

à ® ,« : ¯�4-:DC�������

à ® « ��4>:@C�����

à ® «

3LO HJ354-6m80:�K^:@HJ6RO�ÃR® ,« : hx3RG0C�:@80HJ6nU�C �TÌ ��ÓJË #�Ì��?Ò )�NRP =SNRPT3RG�6n3RA�A�:@473�K�:�4 : eàg\6n3RG0N¦NI=\=R6IC�:@8�8�6FH�_L6à ® « �Èà ® ,« : O�E3RA�G�6I4-473~HJ35C�HYP@U�KL6YG06�H�_L6WP@NF8�35P@ULMI:T35CL6o3RA�A�:D4-NFK�: 4 : ;6W:@G�G0:@PT6Y=SNRCVA�6RO�:@C�j\U�NRCVA�3�CL35CE3RA�G�;N+4-NR:^6I8�8�6YG�6&4-:TQ5PD:T3RG�6�KL6IP@P@N�8�35P@ULMI:T35C�6 «WH0_�6 Q5:�;N�NS]�]^:@NR473Let��P�E�G03R]^PT6I4-N14 : E^Uu;3+E6YG�A�NRCVA�3�6I8�8�6YG�6G0:@4-358�8�3-K�N�3RQ5C�:dU�PTA�6YG0:T3RG06&HJ35C^8�:@KL6YG0NSMI:@35CL6ROL3LO^HJ35476�80:rK�:@HJ6+:@C�QR6YG0QR3LO /�U�HYHY:@8�3�3?e

�d6�:DKL6Y6cNSE^E!6IC^NB6I8�E358�A�6�A�G�3�=�NRCL3FP@NnPT3RG�3mhx3RG04-NRP@:@MYMINSMI:T35CL6�CL6IP@P@NWE�G�3?HJ6IK�ULG0NwCL3RA�NmHJ35476 #JË�ÎSÒ � �ÎSÒ ) #�Ì��?Ò )Sen��P�A�6YG04-:DCL6;#YË�ÎSÒ � �ohxNwG0:Thx6YG0:@4-6IC`A�3WNRP�h�NSA�A�3mH�_L6�U�C�E�G03R]^PT6I4-NWE^Uu;3B6I8�8�6YG�6cK�6IHJ3547E358�A�3:@Cw8�3RA�A�3RE�G�3R]^P@6I4-:{e B�G0N�pbHYNR4-6IC`A�6ROrNR8�8�3\HY:@NRC^KL3>NRKw3RQ5C�:dE^G�3R]^PT6I4-N7U^CWCL3?KL39K^:rU�CWNRP@]!6YG03>CL3RA�3�HJ35476Î(� #0ÓYË�Ì )SÑ�Ë Ñ � ÓJË �0ÎSObPT6�K^:TG0NR4-NSMI:T35C^:�� #YË�ÎSÒ � �`ÑxÒVÍSØ��[K�:j\UL6I8�A�3-NRPT]6YG�3�HJ3RG�G0:@8�E!35C^KL35CL3aNRPDPT6�80U�K�K�:T=?:@8�:@35C�:LK�:E�G�3R]bPT6I4-:�:@C�E�G�3R]^PT6I4>:�NRPTA�6YG0C�NSA�:T=?:�69E^:�;UF=?:@C�HJ35PDNSA�: ��8�:Z=R6IK�NWP@NBp^Q5ULG0N � ��eo��PZA�6YG04-:@CL6;#�Ì��?Ò )cKL6YG0:@=�N:@CV=R6IHJ6-K�NRPth�NSA�A�3WH0_L6-NRKm3RQ5C^:�CL3\K�3�K�6IP@P{yzNRPT]6YG�3cK�:�G0:@HJ6YG0HYNo8�:tHYNRP@HJ35PDNoU�CmPT3���6YG+]35U�C�KnNRPt=�NRP@3RG�6-KL6IP8�3RA�A�3RE�G03R]^PT6I4-N � j\U�NRPT3RG�NmA�NRPT6WPT3 ��6YG-]35U�C^K~hx358�8�6WE!6YQRQ5:@3RG�6��x358�8�:@N�4-NSQRQ5:T3RG�6RO[E6YG-U�CkE�G�3R]bPT6I4-NmK�:4-:@C^:@4-:TMYMINSMI:T35C�6���K�:!U�Cc=�NRP@3RG�6�NR4>4-:@8�8�:@]^:@PT6�Q5:�;N�CL3RA�3LO�:DPb8�3RA�A�3RE^G�3R]^PT6I4-N�=?:T6ICL6&U�HYHY:@8�3�8�6ICLMIN�QR6ICL6YG�NSG�6]�G0NRC^H0_�:@C�QLe� 3RG�4-NRP@476ICVA�6ROVP@N�E�G03\HJ6IK�U�G0N K^:`]�G�NRC�H0_7NRC�K�]35U�C�K�E^U�;3 6I8�8�6YG�6�G0:@NR8�80U�C`A�N�K�NRP?8�6YQ5UL6ICVA�6�NRPTQR3RG�:TA�473LÚ�?e «�� :@C�KL6Jp!C�:TA�3`e � � á�� e���� ) D 2+*âSe ��� ���� � ¯�� ���� e g?:)8�HJ6IPTQ5N-U^C�E�G�3R]^PT6I4>NED : ´ ��OL6�80:E!35C�Q5N���������D :� e g?:G0:@8�35P@=�N�D : HJ35476a���� e � D : ;6�NR4-4-:@808�:T]^:@P@6 � � � �ÂÁ �"!; ��\e g?:@N ,« : P@N78�35P@U�MI:T35CL6&3RA�A�:@4-N-K^: D :� e #� ÃR® ,« : � � � � � �§Á �"!; ��Ve #� ,« : ;6a:@CVA�6YG�3 � � � � «$� ,« : � � �¿ÃR® ,« :�\e ������� Á �"!; �J e g?:DN-©�U�C�N7HJ3547E35CL6ICVA�6+hxG0NSMI:T35C�NSG0:DN7K�: ,« : e

g?:)HJG06I:@CL3-K�UL6sE^G�3R]^PT6I4-:bp^Q5PD:)KL6IPE�G�3R]^P@6I4-N7D : OL358�8�:@ND :#% ¯ D : 6 ) «�Ú`±b³�� ,± : ³�� *�6GD :'& ¯ D : 6 ) «�ÚR±!³�å�� ,± : ³�� *

â(�?e g?:)NSQRQ5:DU�CLQ5NRCL3>NRPDP@N7P@:@8�A�N�KL6I:rE�G�3R]^PT6I4>:!K^N�G0:@8�35PT=R6YG06RÚ������ � ) D :#% ¬ D :'& *âRâSe � � � �������â � e � � � #�â � e � � � #�â � e � � � �(� ������CmjVUL6I8�A�3�NRP@QR3RG0:TA�473�8�:�;6�K�6ICL3RA�NSA�3BHJ35C «kPDN94-:@Q5P@:T3RG�6�8�35P@ULMI:T35C�6a:@CVA�6YG0NcHJ3RG�G�6ICVA�6W��NRP@P@N>pbCL6�8�NSG�;N

NRC�H�_L6�P{y¨3RA�A�:@473�Q5P@3R]^NRPT6�� � HJ35C � :@P�=�NRP@3RG�6�K�:�A�NRPT6�8�35P@U�MI:T35CL6 ��KL6YA�A�3§NRC�H�_L6�P{yTÑxÒ �0ÌRÏ #�ÓJÒ^Ö�Ó�� � HJ35C)�

â �

Page 15: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

P@N � ÑDØJÖfÎ )`ÓYÑ�&!Ë�Ì # �TÓYÏ�ÑaÎ &LÓYË Ö�ÑxO�35808�:@NmP{y¨6IPT6IC�HJ3FKL6I:�8�3RA�A�3RE�G�3R]^PT6I4>:�NRC^HJ3RG0NFK�NnG0:@8�35P@=R6YG�6Re~�uNn80HJ6IPTA�NFK�:j\U�NRPT6>E^G�3R]^PT6I4-NBG0:@8�35PT=R6YG06>NRPZEbNR8�8�3 � e�;6cNSG�]b:TA�G0NSG0:@N?Ou6cK^:TE6IC�KL678�35P@:TA�NR4-6IC`A�6�K�NWHJ354-6c8�:�8�HJ6YQ5P@:T6cK�::@47EbPT6I476ICVA�NSG�6sP@N7P@:@8�A�N�� e���CoE^NSG�A�:@HJ35PDNSG�6RO�8�:r_�NRC^CL3�A�:TE^:@HYNR476ICVA�6�PT6+8�6YQ5UL6IC`A�:rA�G�6+E358�8�:T]b:@P@:TA�;N>ÚâSe Ü�Ý���� ���dNR8�As��C � :TG08�A �&U�A���e���CwA�NRP@6-HYNR8�3LOd:@P�E�G�3R]bPT6I4-N9G0:@8�35PTA�3�NRKm3RQ5C�:tE^NR808�3m;6-jVUL6IPDPT3cH�_L6�;68�A�NSA�3>QR6ICL6YG0NSA�3>E^:�;UoK�:!G�6IHJ6ICVA�6ReZ��CoA�NRPT6+HYNR8�3LO!8�:)K�:@HJ6sH�_L6�� NSQ5:@8�HJ6+HJ35476�U^C�N$/�E^:@P@NM3o��8�A�NRHCBL��O!6H�_L6�P{yzNRP@]!6YG03�K^:G0:@HJ6YG0HYNo;6a6I8�E^PT3RG0NSA�3oÑxÒ &bË�Ì �JÌRÒ )SÑ�Ö��Î 3WÎ>Ø ��ÎSÒ )5ÎIÍ�� Ñ{Ì���KL6YE�A�_��5pbG08�A���e

� e ��Ý���� � � :TG08�A���C � :TG08�A �sULA���e���CBjVU�6I8�A�3>HYNR8�3LO!:@P!E�G�3R]^PT6I4>N�G0:@8�35PTA�37NRKW3RQ5C�:r:TA�6YG0NSMI:@35CL67;6�j\UL6IP@PT3H�_L6n;69G0:D4-NR8�A�3wC�6IP@P@NBP@:D8�A�NWKL6I:ZE�G�3R]^P@6I4-:�NSE6YG�A�:�E!6YGaE^:�;U�A�6I47E3Leng?:ZK^:@HJ69NRP@P@3RG0NWH�_L6�� NSQ5:D8�HJ6HJ354-6>U�C�N /�HJ3\K^NM3���jVU�6IUL6���Or6-H0_�6-P{yzNRPT]6YG�3�K�:�G0:@HJ6YG0HYNm;6-6I8�EbPT3RG0NSA�3mÑiÒ�ÎSÏ�&bÑfÓ0Ð�ÐIÎ73�Î/>SÓYÒ^ÖfÎIÍ�� Ñ{Ì�x]^G�6INRKLA�_��5p^G�8�A���e

� e ' � � � � �#+� � es��Cnj\UL6I8�A�3oHYNR8�3LOr80:�80HJ6YQ5P@:T6�K�:dG�:@8�35PT=R6YG�6�E6YG&E�G0:@473c:@P�8�3RA�A�3RE�G�3R]^P@6I4-N9NSE6YG�A�3oH�_L6_^N-:@P4-:TQ5P@:@3RG�6sPT3���6YG�]35U�C�KrO\CL6IPDP@N�8�E6YG0NRCLMIN7H0_�6�E358�8�N7HJ35CVA�6ICL6YG�6�PDN78�35P@ULMI:T35C�6sE^:�;Uc]^UL35C�N?e

v C>U�PTA�6YG�:T3RG�6<QRG0NRK�3aK�:bP@:T]6YG�A�;NsCL6IP@Pfy¨6I8�6IHYULMI:T35CL6 KL6IP�E�G06IHJ6IKL6IC`A�6&NRPTQR3RG0:@A�473a8�:b_�N+NRPbE^NR8�8�3 J O\j\U�NRPT3RG�N+HY:8�:@N-E^:�;UoK�:rU^C�N7HJ3547E35CL6ICVA�6�hxG0NSMI:T35C�NSG0:DN-CL6IP@P{y¨3RA�A�:D473 ,« : HJ3RG�G�6ICVA�6Re���CoA�NRP@6aHYNR8�3LO!P@N-8�HJ6IPTA�N>E^Uu;376I8�8�6YG�6h�NSA�A�NW:@C�4-3\KL3wHJ3547E^PT6YA�NR476ICVA�69NSG0]^:TA�G0NSG0:@3Le ;| HJ354�U�C�j\UL6>HJ35C^8�UL6YA�U�K�:DCL67P{yzU�8�NSG�6-HJ354-69HJ3547E35CL6ICVA�6E6YG<:@P]�G0NRC^H0_�:@C�Q�j\UL6IP@PDN�H�_L6+E^:�;Uo8�:)K�:@8�HJ358�A�N-K�N7U�C�=SNRPT3RG�6�:DC`A�6YG�3Le

��� � � � � � ¡� ��g?:�HJ35C�8�:@K�6YG0:u:DPu8�6YQ5U�6IC`A�67E�G03R]^PT6I4-N /�Q5:T3?HYNSA�A�35PT3�3?OuHY:T3L;67E^U�G0NR476ICVA�6�:DP@P@U�8�A�G�NSA�:T=R39KL6IP�476YA�3?KL3Le���CmU�C�NHJ3RE^:@8�A�6YG0:@N�8�:t=R3RQ5P@:T35C�3Bhi3RA�3?HJ3RE^:@NSG06767G0:@PT6YQ5NSG�6-K^:@8�E6IC�8�6�K�:�K�UL67HJ3RG08�:fe-gL:�_�NRC�CL3oNBK�:D8�E358�:TMI:T35CL6 ��� �QRG0NR4-4>:`K�:VHJ35P@P@N?OLâ(�M�M��hx3RQ5P@:VK�:`HYNSG�A�N 6 � 3RG�6�K�:5A�6I47E3Let�r6�K�:@8�E6IC�8�6�K�6IP5E�G0:D473<HJ3RG08�3�=�NRC^CL3�E�G06YE^NSG0NSA�6Nn4-NRCL3W6c_�NRC�CL3¦â(�M�WEbNSQ5:@CL6ROtG0:@H�_�:T6IKL35CL3 � �WQRG0NR4>4-:ZK�:�HJ35P@P@NW6c���n4-:@C\ULA�:�K�:�P@NI=R3RG�3Le C&UL6IP@P@6>KL6IP8�6IHJ35C�K�3�HJ3RG�8�3o8�35CL3chxNSA�A�6-:@CnNRULA�354-NSA�:DHJ3o6�_�NRC^CL3 � �M��EbNSQ5:@CL6RO � ��QRG0NR4-4-:�K�:�HJ35P@P@N96 � ��4-:DCVULA�:uK�:P@N}=R3RG�3Le���P�E�G�3SpbA�A�3aE6YG�3RQ5C�:bK^:@8�E6IC�8�NsKL6IPbE�G0:D473+A�:TE3>;6&K�:dâ J �M��P@:@G�6ROV476ICVA�G�6&jVU�6IP@PT6�KL6IP!8�6IHJ35C�K�3aA�:TE3G�6IC�K�35CL3Bâ(�M�M�>P@:@G�6ReZg?:=\U�35PT6+4-NR8�8�:D4-:TMYMINSG�6+:@PE^G�3Sp^A�A�3Le

g?:ZKL6ICL3RA�:@CL3BHJ35C�±r�+6-±!�7:@P�C\U�476YG�3BK�:ZK�:@8�E6IC�8�6�K�NoE^G�3\K^ULG�G�6�E6YG�HY:@NR8�HYU�C�HJ3RG08�3Le>��P�E�G03R]^PT6I4-NK�:T=R6ICVA�N7E6YG�A�NRCVA�3

4-N�� â J �M�S±r� á â(�M�M�S±!�

� �S±r� á � �S±!� � ��� �â(�M�S±r� á � �M�S±!� � â(�M�M����S±r� á � �S±!� � â����

« ´nµ �É�Zyz:@C�8�:T6I4-6WKL6IP@PT6n8�35P@ULMI:@35C�:�NR4-4>:@8�8�:T]b:@P@:�;6wG�NSE�E�G�6I8�6ICVA�NSA�3�:@C§p^Q5ULG0NÂâSe¾��6ICL3RA�:@NR4-3kHJ35C ÇR�x«u�9:@P

=SNRPT3RG�6�K�:)U^C�N-8�35P@U�MI:T35CL6&«�e��&N-U^Co6I8�NR476�KL6IP@P@Nap^Q5ULG�N?O^8�:)=R6IKL6aH0_L6�:)=R6YG�A�:@HY:rK^: D 2s8�35CL3 H ¯ � �?¬ �`��Oã ¯ � �?¬0�5��Obä°¯ ��âS¬ �� ��Ob� ¯ � � ¬ �� �Z6� ¯ � ��� ¬ �`��O�476ICVA�G�6+:!=R6YG�A�:@HY:)K�: D>��4F��8�35CL3 H�OLãaO� ¯°� � ¬ � ��O� ¯ � � ¬Iâ}�a6�� ¯½� � ¬ �`��e v Ck8�6I4-E^P@:@HJ6cHYNRP@HJ35PT3F:@C¦HJ3RG�G0:@8�E35C�K�6ICLMINWK�:�A�NRP@:�E^U�CVA�:ZHY:�E3RG�A�6YG�6Y]^]!6�NHJ35C�HYP@U^KL6YG�6+H0_�6���OLE6YG�:@P)j\U�NRPT6+ÇR�f�a��¯�� � �M�W;6aP{y¨3RA�A�:@473>K^: D7O^476ICVA�G�6� >O�E6YG<:@P)jVU^NRPT6+ÇR�� ��Z¯ � ���M�;6aP{y¨3RA�A�:D473-:@CVA�6YG�3-HJ6YG0HYNSA�3Le

g?U�E�E35C�:@NR4737K�:)NSE�EbP@:@HYNSG�6+:@Pd476YA�3\K�3-]�G0NRC�H�_WNRC�KB]!35U^C�K)OLHJ35CW6I8�E^PT3RG0NSMI:T35C�6 � � � � KL6I:)E�G03R]^PT6I4-:NSE6YG�A�:)N-j\UL6I8�A�3-6I8�6I47E^:T3LeâSe<��Pd4-6YA�3\KL39HJ354-:@C�HY:@N-G0:@8�35PT=R6IC^KL3 D 2 6a3RA�A�6ICL6IC�KL3 ,« 2 ¯ � ¯ � � ¬ �� ��e�g?:@HYHJ35476 ,± 2� ;6�hiG0NSMI:@35C�NSG0:T3LO80:�HJG�6INRCL3W:�K^UL6�=\:@C^HJ35P@:�±b����â�6>±b�-å � 6-K^UL6-CVU�3}=?:�E�G�3R]^P@6I4-: D � ¯ D 2 6 ) « Ú!±b��� â+*>6D � ¯ D 2 6 ) «�Ú5±!��å � *5e��ZyzNRPT]6YG�37K�:)G0:@HJ6YG�HYNc;6�KL6I8�HJG0:@A�A�3-CL6IP@P@Nap^Q5ULG�N � e

âI�

Page 16: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

P0

P1 P

2

P3

P4

P5

P6

x <=1 x >=22 2

x <=3 x >=41 1

x <=2 x >=31 1

� :TQ5ULG�6 � Ú�º PT]6YG�37K�:G�:@HJ6YG0HYN?e

� e�gL:<E^NR8�80N�3RG0N~N�G0:@8�35PT=R6YG�6<DZ�Ie ��C D � HJ354-E^NSG�6w:DP<CVU�3}=R3¦=R6YG�A�:@HJ6�� ¯ � � �� ¬Iâ}��O<E6YGc:@P<j\U�NRPT6ÇR���F��¯ �+� ���?e ,« � ¯�� ;6�3RA�A�:D473oE6YG D � O678�:@HYHJ354-6 � �� ;67hxG0NSMI:T35C�NSG�:T3LO)NSQRQ5:@U�CLQ5:@NR4-3cN D � :@CU^CBHYNR8�3>:@P=?:@C�HJ35P@3�± � � � O�3RA�A�6ICL6IC^KL3 D � OL6�C�6IP@P{yzNRPTA�G�37:@P=?:@C�HJ35P@37± � å � O�3RA�A�6ICL6IC^KL3 D��Re

� e�gL:�E^NR8�8�N�3RG0N�NRP@PDN�8�35P@ULMI:@35CL6BK�: D � e D � ;6nU�C E35P@:T6IK�G�3FN � � #��+ à � � � #+ � %�6IP HYNR8�3~K^:<U�CDÈP@:@4>:TA�NSA�3���HJ35476�CL35:ZNR8�80U�4-:@NR473V�sjVUL6I8�A�3nKL6Y=R6c8�U�HYHJ6IKL6YG06>E�G0:D4-N�3WE35:{e���y¨3RA�A�:@4-3wK�: D � ;6,« � ¯ �7O!K�:)=SNRPT3RG�6�ÇR� �a��¯ � �+�M�?e g?:@HYHJ35476 ,« � ;6a:@CVA�6YG�3LO � � � à � A� Á # � �dà � � ! K�N D � e���C�35PTA�G�6RO80:@HYHJ354767NS]�]^:@NR4-3>A�G�3�=�NSA�3BP@N9E�G0:D4-N ��� ���B�8�� � � � � ��#�� O)P@Nc476I473RG0:TMYMI:DNR473c:DC « � � � ¬Iâ}� 6�:@P80UL37=�NRP@3RG�6�:@C � � � �+�M�?e

� e ;| :@P�A�ULG�CL3�K^:;D��ROLH�_L6&G0:@8�U�P@A�N+=?UL3RA�3LO?358�8�:@N � � � � � � � � Á ���� eD���=\:@6ICL6�U^HYHY:@8�3�6&80:!HJ35C^HYP@U�KL6PDN78�U�N�6I8�E^P@3RG0NSMI:T35CL6RO�6RO�K^:rHJ35C�8�6YQ5UL6IC�MIN?O^NRC�H0_�6�jVU�6IP@P@N7K�: D � eZ�tNR8�80:@NR473>N7D � e

�\e<��C D � HJ354-E^NSG�6o:@P�=R6YG�A�:@HJ69H�¯ � �¬ � ��OZK�:�=�NRP@3RG�6oÇS� H?��¯ �+� �R� ² �R� ²Y²Y²�e - NRPT6�=R6YG�A�:@HJ6n;6c3RA�A�:D473

E6YG D � OL35808�:@N ,« � ¯ H^e�2�35CLhxG�35CVA�:@NR4737:@P)8�UL37=SNRPT3RG�6+HJ35CWP{yz:@C�HJ354a]6IC`A�6Re�gL:@HYHJ35476 �+� �R� ² �R� ²Y²Y²^¯Ã ® ,« � à ® «�¯ � �+�M�?O�� � � à � A� Á �3� � �� � ! ��8�:uG0NSQ5:T35C�:u8�U�P)h�NSA�A�3oH0_L6�3RG0N>8�A�:@NR473>G�:@8�35PT=R6IC�K�3>U�CE^G�3R]^PT6I4-N9K�:�4-NR8�8�:@4>:TMYMINSMI:T35CL6RO!E6YG�HYU�:�PT6�K�:@8�ULQ5U^NSQ5P@:@NRCLMY6�K�6IPd]35U�C�K^:@CLQ-8�35CL3�:@CV=R6YG�A�:TA�6���es�&ND � 8�:QR6ICL6YG0NRCL3c:)K�UL6+C\UL3}=?:)E�G03R]^PT6I4-:{O�D � ¯ D � 6 ) «�ÚR± � � � *a6GD � ¯ D � 6 ) «�ÚR± � å � *

� e�gL:�G0:@8�35P@=R6-3RG0N<D � OtNWHYU^:ZHJ3547E^NSG069:@P�C\UL3�=R3W=R6YG�A�:@HJ6�:@CVA�6YG�3� >O�H�_L6w;6cNRC�H0_L6cP{y¨3RA�A�:@473wE6YGGD � egL:@HYHJ35476 ,« � ;6a:@CVA�6YG�3LOK�N D � � � � à ��A� Á #�� �dà � � ! e&g?:rHJ35CLhxG�35CVA�N ,« � HJ35C «�e g?:@HYHJ354-6 � ���M�-¯Ã5® ,« � ÂÃR® «w¯ � �+�M�?Ob8�: � ! ! �$# � ����� �����+�� � OLE35CL6IC^KL3 «$� ,« � ¯ � � ¬ � �<6 � � � ���M�

�Ve�gL:rE^NR8�80N9:@CLpbCL6+N D � O!H�_L6�G0:@8�U�P@A�N � � � � � � ���� Á �� � e g?:@HYHJ354-6�P@N9P@:@8�A�N>K�:rE�G03R]^PT6I4-:rNSE6YG�A�:Z;63RG�N7=\U�3RA�N?O ��� � ��� ��� #�� �8�� � � � � #+� � � 6+P@N78�35P@ULMI:T35CL6s3RA�A�:D4-N�;6+3RA�A�6IC\ULA�N>NRP)EbU�C`A�3 ¾¯ � � ¬ � �

g?:�C�3RA�:^H0_�6 :@C-j\UL6I8�A�3a6I8�6I47E^:@3LOVNRK93RQ5C�:�G0:D8�35P@ULMI:T35C�6[K^:�U�C D : 80NSG�6Y]�]6�HJ3RG�G0:D8�E358�A�NsP@N+8�35PDULMI:T35CL6�K^:�U�C�Z�¦A�G0NR4>:TA�6�:DPd476YA�3?KL3�KL6IPu80:@47E^PT6I808�3Le ��:D8�A�N9PDN>8�6I47EbP@:@HY:TA�;N-K�6IP@P{y¨6I8�6I47Eb:T3>NS]�]^:DNR473>E�G06Yhi6YG0:@A�3>6Y=?:TA�NSG�6K�:�U�8�NSG�6cA�NRPT6�476YA�3\K�3Lew��P�P@6YA�A�3RG�6n;6�E6YG�;3n:@C`=?:TA�NSA�3mNWG�:TE6YA�6YG�69:ZE^NR8�8�:�KL6IP@P{yzNRP@QR3RG0:TA�473WU�A�:@P@:TMYMINRC�K�3W:@P8�:@4-E^PT6I8�8�3�E6YG�3RA�A�6ICL6YG�6�PT6s=SNSG0:T6+8�35P@U�MI:T35C�:!3RA�A�:@476 ,« : e

����� ¥�¡�  � �� &¢Z �� ��� � ��g?:uHJ35C�8�:@KL6YG�:r:@PrE^G�3R]^PT6I4-N>K�:rE�G03RQRG0NR4-4-NSMI:T35C�6�P@:DCL6INSG�6�:@CVA�6YG0N9:@CBhx3RG04-N98�A�NRC�K�NSG0KrÚ[4>:@C ) ÃR®q«�¬�« ´ 4�*KL3�=R6 4 ¯ ) «¦ÚLã�«�¯ ÁZ¬�«kå æ)¬�«�:DC`A�6YG�3�*5e&g?:@N?ObNRP�8�35P@:@A�3LO;D°¯ ) «¦Ú?ã «F¯ Á�¬�«¦å æ *5Ob6�8�:rG�:@8�35PT=SN7:@P�Z��NR8�8�3\HY:@NSA�3sN D7OR3RA�A�6ICL6IC�K�3&PDN�8�35P@U�MI:T35CL6Z3RA�A�:D4-N ,«�e�g\6 ,«w;6�:@CVA�6YG�3LO?;6�NRC�H0_L6[P{y¨3RA�A�:@4-3 E6YGt:@P5E�G03R]^PT6I4-N

â �

Page 17: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

3RG0:TQ5:DC�NSG0:T3Le�º�PTA�G0:@4-6IC`A�:{O�80:rHJ6YG0H0_�6YG�;N>K�:)NSQRQ5:DU�CLQR6YG�6�KL6I:)=?:@C�HJ35P@:N D HJ358 ; :dK�N-3RA�A�6ICL6YG�6aU^CoE35P@:T6IKLG�37Ds®HJ35C 4 � D+® � D 6 ,« 2 �´ Ds®xe Ds®�;6�3RA�A�6IC\ULA�39K^N D HJ35CwP{yzNSQRQ5:@U�CVA�N-K�:)K�:D8�ULQ5U�NSQ5P@:DNRCLMY6'>�Î(� Ñ )VÓ�4>N-CL35C8�3?K�K�:@8�hxNSA�A�6-K�N ,«�e�g?:ZK�:TG�;N�E6YG0HY:�;3BH�_L69Pfy¨3RA�A�:@473BhxG0NSMI:T35C�NSG�:T3F;6 /�A�NSQ5P@:DNSA�3�3wK�NBA�NRP@:ZK�:D8�ULQ5U�NSQ5P@:DNRCLMY6ROr3NRC�H�_L6�H0_�6+A�NRP@:rK�:D8�ULQ5U�NSQ5P@:DNRCLMY6�8�35CL3>KL6I: /�A�NSQ5P@:d=�NRPD:@K�:A3?e

����� ��  � � ����� ��� 8� ��� �k¢Z  ��� � � � �

v C�N�E�G03\HJ6IK�U�G0NFQR6ICL6YG0NRP@6wE6YG>QR6IC�6YG0NSG�6mK�:@8�ULQ5U^NSQ5P@:@NRCLMY6o=SNRP@:@KL6�;6mP@N~8�6YQ5UL6ICVA�6Re g?:@N � ´ ¹ 7 e¾g\6ã «n¯ Á¦NRP@PT3RG0N7NRC�H�_L6 � ® ã «n¯ � ® ÁZO�35808�:@N

·�> @ � �

7�:A@ �

� : ã :?> ��± > ¯ 7�:A@ �

� : � :! :@K�U�HJ6IC�K�3�:)HJ3\6Jl9HY:T6ICVA�:dN>8�:@C�:@8�A�G0N?OV6a:@C�=\:@G�AR;UoKL6IP@P@N�CL35C^CL6YQ5NSA�:T=?:TA�;N-K�:«�O�8�:r3RA�A�:T6ICL6

·�> @ �

7�:A@ �

� : ã :?> � ± > �7�:A@ �

� : � :g\6�« ´ 4�O�P@NWEbNSG�A�6o8�:@C�:@8�A�G0NWKL6IPDP@NWK�:D8�ULQ5U�NSQ5P@:DNRCLMIN�;6BU�CkC\U�476YG�3m:@CVA�6YG�3LO�6�E6YG�A�NRC`A�3FNRC�H�_L6oP@N

E^NSG�A�6aKL6I8�A�G0N78�:rE^Uu;37NSG�G�3RA�35C�K^NSG�6�NRKBU�CW:@C`A�6YG03LOL3RA�A�6ICL6IC�KL3>U^C�N7K�:@8�U�Q5U�NSQ5P@:@NRCLMIN�=SNRP@:@K�N�E6YG 4�Ú·�> @ �

7�:A@ �

� : ã :?> � ± > � 7�:A@ �

� : � : � �f�7â}�

- NRPT6�K�:D8�ULQ5U�NSQ5P@:DNRCLMINa80:rK�:TG�;N9)SÑiØ �5Í��LÎ}Í�� Ñ�ÎSÒ?ÐIÎ9)SÑ�! � >�ÎRÖfÎ(��� )RÑ�Ë�ÎRÒVÍ`Ì9!��tÍVÓJÒÓJË�ÎRÖfÎ )5Î � e����������� ß g?:)HJ35C�80:@KL6YG0:):@P8�:D8�A�6I4-N

� ±d� á ��±b� á ± � ¯ � �� ±d� X � ±b� á ±

�¯ �

HJ35C « ´ µ � e°g?:@N � ¯ � ��¬ ������ ��e°g?: 3RA�A�:T6ICL6RO�K�NSE�E�G0:D4-N � �� ±r��á

������ ±b�sá ��± � á

������ ± � ¯ � � �� eº G�G�3RA�35C�K�NRC^KL3WNB8�:DC�:@8�A�G0N�8�:�G0:@HYNI=SNw��±d��á±b� � � � �� ec��C?p!CL6ROuNSG�G03RA�35C�K�NRC�KL3wNBKL6I8�A�G0NW8�:�3RA�A�:T6IC�6>P@NK�:@80ULQ5U�NSQ5P@:@NRC�MIN�K^:d2[_`=SNSA�NRPd��± � ᦱ � � � �?e

�d6-K�:@8�ULQ5U^NSQ5P@:@NRCLMY6�K�:�2[_`=SNSA�NRP�8�35CL3o8�6I4-E�G�6�=�NRPD:@KL6RO)4-NoCL35CmCL6IHJ6I8�80NSG0:@NR476ICVA�6>KL6I:�A�NSQ5P@:tE6YGsU�C3RA�A�:@473 ,«�HJ3RG�G�6ICVA�6Re���6YG�3RA�A�6ICL6YG06�A�NRP@:)K�:D8�ULQ5U�NSQ5P@:DNRCLMY6ROLULA�:@P@:TMYMI:DNR4737:)HJ358�:@K�KL6YA�A�:ZÖfÎIÍ�� Ñ )SÑ��<ÌRÏ7ÌRËSe

����� ¥ � ��� � �¢Z ��;� �-���� g?:@N�ä P@N�4-NSA�G�:@HJ6�K�:5]^NR8�6�NR808�3\HY:DNSA�N NRP@PDN<8�35P@ULMI:@35CL6�3RA�A�:@4-N ,«9KL6IPDP{yz�d�wHJ3RG�G�6ICVA�6Re�gL:@N<:@CL35P@A�G�6�� P{yz:DC�8�:T6I476K�:b:@C�K�:@HY:LK�6IP@PT6<=SNSG0:@NS]^:DP@:?hxU�3RG0:�]^NR8�6Ret��6JpbC^:@NR473aã J ¯ ä ¸ � ã 6�Á J ¯ ä ¸ � Ám¯ ,«Ze�gL:^CL3RA�:!H0_L6RO?N�476ICL3K�:�U�C^N�E!6YG�4aULA�NSMI:@35CL6-KL6IP@PT67HJ35PT35C^CL6ROuP@No4>NSA�G0:@HJ6>ã�J�_�NBP@N�hx3RG04-Noã�J7¯ � H A!ä ¸ � ã��<��ecg?:@N ,±���U�C�NHJ3547E35CL6ICVA�6+hxG0NSMI:T35C�NSG0:DN7K�: ,«�e�g?:rHJ35C�80:@KL6YG0:P@N�G0:@Q5N���K�6IPr8�:@8�A�6I4>N7ã J ±o¯ Á J O�35808�:@N

±��Vá �> � � ã J� > ± > ¯ � J�KL3�=R6 � J� ¯ ,±���;6-O�HJ35476�KL6YA�A�3LO!CL35Co:@CVA�6YG�3Le�2�354-6+KL6I8�HJG0:TA�A�39:@CcE�G�6IHJ6IKL6ICLMIN?Ob8�:)E3RA�G�;N7NSG�G�3RA�35C^K�NSG�6

E�G0:D4-N�P@N�E^NSG�A�6�80:@C�:@8�A�G�N

±��\á �> � � xã J� > � ± > ��� J�

â �

Page 18: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

6+E35:)P@N7K�6I8�A�G0N?O�3RA�A�6ICL6IC^KL3>P@N7K�:D8�ULQ5U�NSQ5P@:DNRCLMIN�=�NRP@:DK�N

±��\á �> � � xã J� > � ± > � � J� � � �7â}�

- NRPT6�K�:D8�ULQ5U�NSQ5P@:DNRCLMINc;6�KL6YA�A�NWÖfÎ}Í�� Ñ�Ì9)SÑ �<ÌSÏ-ÌSËSO:@C��YÌSË Ï7ÎcÑxÒ^Ö�ÓYË�ÎSe<g?:)G�:��^6YA�A�N-8�U^PhxNSA�A�3cH0_L6���B�â}�NRPTA�G�39CL35C�;6�8�6�CL35CwP@N-K�:@80ULQ5U�NSQ5P@:@NRC�MIN7K�:u2[_V=�NSA�NRPdQR6ICL6YG0NSA�NcK�N-U�C � H0_L6>;6�P@N �iX�4-N>G0:TQ5N-K�:dä ¸ � e<g?:CL3RA�:rH�_L69��B�â}�âSe�;6 � � ���� � E6YG 4 �x6I8�8�6IC�KL3-U^C�N7K�:@8�U�Q5U�NSQ5P@:@NRCLMIN�K�:d2�_`=SNSA�NRPi�� e�;6 � �� � � ��� K�N ,«�eZ��CLh�NSA�A�:{O�E6YG ,«¦8�:r_�N ,±��!¯ � J� �xhiG0NSMI:@35C�NSG0:T3V��6 ,± > ¯ �-E6YG 6 ´ ��e<g\358�A�:@A�UL6IC�KL3:DC ��B�â}��O�8�:�3RA�A�:T6ICL6 � J� � � J� � OZH0_�:DNSG0NR476ICVA�6ch�NRP@8�3nE6YG � J� �´ µ e | HYHJ3Fj\U�:@C�K^:�H0_L6�,«¾;6o8�A�NSA�3A�NSQ5PD:@NSA�39K�NB��B7â}��ObH0_�6+E^Uu;376I8�8�6YG�6�NSQRQ5:@U�CVA�N-NR:)=?:@C�HJ35PD:!K^: D7O�3RA�A�6ICL6IC�K�3 D ® e

| 8�:@8�A�6�U�C)yzNRP@A�G0N�hx3RG04-N&KL6I:?A�NSQ5PD:\K^: B&35473RG *ROVC�3RA�NsHJ354-N �JÌRË�Ï-Î ��Ë�Î}ÐYÑ�ÌSÒ!ÎSË�Ñ{ÎSe�g?:@NRCL3&P@N�E^NSG�A�6�:@CVA�6YG0N6�P@N�EbNSG�A�6shiG�NSMI:T35C�NSG0:@N�K�:)U^CBCVU^476YG�37G�6INRPT6 �cKL6JpbC^:TA�6sK�N . ��0 � ¯ �� � 6 . ��0���¯ � À . � 0 � ��H0_^:@NSG0NR476ICVA�6� � . � 0 � � âsE6YG�3RQ5C�:��L��eZ�&NRPr=?:@C�HJ35P@3�±��Vá.> > � � ã J� > ± > ¯ � J� 8�:3RA�A�:T6IC�6

±��\á �> � � � . ã J� > 0 � á5. ã J� > 0 � ��± > ¯ . � J� 0 � á5. � J� 0 �358�8�:DN

�> � � . ã J� > 0 � ± > ¯ . � J� 0 � á � . � J� 0 � À �> � � . ã J� > 0 � ± > À ±��i� � � � �

% 6IP A�6YG�4-:@CL6nA�G0N¦E^NSG�6ICVA�6I8�:&NkKL6I8�A�G0N?O�G0:@HJ35CL3580HY:@NR473k: A�6YG�4-:@C�: KL6IP@P@N~hi3RG�4-N~:DC`A�6YG0NkKL6IP =?:@C�HJ35PT3kK�:B�35473RG�*ROb:@Pj\U�NRPT6+N �6YG04-N-H�_L6 . � J� 0 � å�±��?á.> > � � . ã J� > 0 � ± > e�2�35C�HYP@U^K�:@NR473�E6YG0HY:�;3-H0_�6

. � J� 0 � À �> � � . ã J� > 0 � ± > À ±��)å �v 8�NRC�KL3-j\UL6I8�A�N-G�6IP@NSMI:T35CL6+:DC���B � ��Ob8�:rG0:@HYNI=SN

�> � � . ã J� > 0 � ± > å . � J� 0 � � � � �

��B � �7;69KL6YA�A�3BA�NSQ5PD:T3wK�:B&35473RG *�:@Cmhx3RG04-NohxG0NSMI:T35C^NSG0:@N?e�gL:�CL3RA�:ZNRC�HJ3RG�NBU�C�No=R35P@A�NBH0_L6m��B � �sC�35C�;68�3?K�K�:@8�hxNSA�A�3nK�NRP@P@NW]^NR8�6oHJ3RG�G�6ICVA�6ROZK�NSA�3FH0_�6c± > ¯ �?O�E!6YG 6 ´ � CL6IP@P@NW]^NR8�6�HJ3RG�G�6ICVA�6ROZ476ICVA�G�6 � J� ;6hxG0NSMI:T35C�NSG0:@3Le

����� ¤�� � �A�A�` �� �-� ¢��^ �¡� 8� �Z �¢Z �� � ���  ���P)476YA�3\K�3>KL6I:)E^:DNRC�:K�:A�NSQ5P@:T3-HJ35C�80:@8�A�6�CL6IPEbNSG�A�:TG�6sG0:D8�35PT=R6IC�KL37D 2 O�6a:TA�6YG0NSG�6+P@N78�6YQ5UL6IC`A�6aE�G�3?HJ6IK�ULG0N

âSe �(� ���� ,« : CL35C�;6�:DC`A�6YG�3 ���� e gL:QR6ICL6YG0:rU�C�A�NSQ5PD:T3>K�:�B�354-3RG *oHJ3RG�G0:@8�E35C�K�6IC`A�6sN-U�C^N7HJ3547E35CL6IC`A�6�hiG0NSMI:@35C�NSG0:@N�K�: ,« :� e gL:)NSQRQ5:@U�CLQ5N7A�NRP@6+A�NSQ5P@:T3-NR:)=?:@C�HJ35PD:)K�: D : O�3RA�A�6ICL6IC�KL3?D : É �� e 1 � 1!á â�\e gL:G0:@8�35PT=SN�D : OL3RA�A�6ICL6IC�KL3 ,« :� e � � � �(� �� �

g?:�CL3RA�:�H�_L6wNRP�E^NR8�8�3k�\O<P@N�8�35P@U�MI:T35CL6BK�: D : E^Uu;3�6I8�8�6YG�6W3RA�A�6IC\ULA�N¦8�hiG�ULA�A�NRC�KL3�:DP�A�NS]^PT6INRUÂKL6IP@P@N8�35P@U�MI:T35CL6�K�: D : ¸ � e���CLh�NSA�A�:{OsNSQRQ5:@U�CLQR6YG�6~U�C =\:DC�HJ35PT3 K�:sK�:D8�ULQ5U�NSQ5P@:DNRCLMIN.> > � � . ã�J� > 0��u± > å . � J� 0���O

�

Page 19: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

HJ3RG�G0:D8�E35C�KL6�N�:@CVA�G�3?K�ULG�G06tU^C�N�CVU�3}=SN<=SNSG0:@NS]^:@P@6�NRU�8�:@P@:DNSG0:@N�± ·RÉ : �x35808�:@N�U^C�N�CVU�3}=SN�HJ35PT35C�C^N<CL6IP5A�NS]bPT6INRUb�6�U�C^NsCVUL3�=�N�6IjVU^NSMI:T35CL6a�x358�80:@N+U�C�NsC\UL3�=�N�G0:TQ5N`� > > � � . ã J� > 0���± > À ± ·SÉ :r¯ . � J� 0���e % 6IP@P@NsC\UL3}=SN�HJ35P@35C�C�N:�HJ3V6Jl9HY:@6IC`A�:t8�35CL3cA�ULA�A�:��?OA�G0NRC�CL6�U�C À âa:@CwHJ3RG�G0:@8�E!35C^KL6ICLMIN-NRP@PDN>C\UL3}=SNcG0:TQ5N?e���CL35PTA�G06RO!CL6IPDP@N-C\UL3}=SNG0:TQ5N?O?:^HJ3\6Jl9HY:T6ICVA�:!KL6IP@PT6�=SNSG0:@NS]^:DP@:LHJ3RG�G�6ICVA�6I476ICVA�6&:DC-]^NR8�6�8�35CL3�CVU�PDP@:{etgL:L3RA�A�:T6ICL6�E6YG�A�NRC`A�3�U�C-A�NS]bPT6INRUH0_�6>8�3?K�K�:@8�h�N�:�=?:@C�HJ35P@:�K�:t3RA�A�:D4-NRP@:TA�;N���HJ358�A�:�G0:@K�3RA�A�:�CL35C�CL6YQ5NSA�:T=?:i��O�4-NBCL35C�j\UL6IP@PD:�K^:�NR4-4-:@808�:T]^:@PD:TA�;N��:@CLh�NSA�A�:{OLP@N7HJ3547E35CL6ICVA�6s± ·RÉ : K�6IP)CVUL3�=R3-A�NS]^PT6INRU�G�:@8�U�PTA�N�CL6YQ5NSA�:T=SN`��eZ��C�A�NRPT6+HYNR8�3LO^]^NR8�A�6YG�;N7NSE�EbP@:@HYNSG�6:@P�476YA�3?KL3�K^U�NRPT6BKL6IP<80:@47E^PT6I808�3LOZE6YG73RA�A�6ICL6YG�6mHJ35C§U^CkE^:T=R3RAYO�U�C�NFC\UL3}=SN�8�35P@ULMI:T35CL6�3RA�A�:@4>N�E6YG-:@PA�NS]^PT6INRUWK�: D : e

����4 � � � � ¡� ��g?:)HJ35C�80:@KL6YG0:)P@N�E^G�3\K^ULMI:T35CL6&K�:)K�UL6sA�:@E^:K�:)E�G�3?KL3RA�A�3-ã¾6+ä A�NRP@:rH�_L6

� �&Q5C�:ZU�C^:TA�;NBK�:�ã�G�:@H0_�:@6IKL6 � 3RG069K�:�PDNI=R3RG�3n6>3RQ5C�:�U�C�:@A�;NBK�:�ä CL69G0:@H�_�:T6IKL69�\ewg?35CL3w:@C�A�ULA�A�3K^:@8�E35C�:T]^:DP@: � �73RG�6aK�:)P@NI=R3RG03Le

� v C)yzU�C^:TA�;N+K�:�ã QR6ICL6YG�N � E6YMYMI:bK�:�U�C-8�3RA�A�3RE�G�3?KL3RA�A�3LOL476IC`A�G06�3RQ5C�:bU�C�:TA�;N+K^:�ä HJ35C�8�U�4-N � E6YMYMI:K^:ZA�NRPT6o8�3RA�A�3RE^G�3\K�3RA�A�3Le��+E6YMYMI:�G0:@4-NRC�6IC`A�:�:@C~6IHYHJ6I8�8�3�K�:�A�NRPT6�8�3RA�A�3RE�G�3?KL3RA�A�3FE358�8�35C�3w6I8�8�6YG�6K�6YE!3580:TA�NSA�:�:@C�4>NSQ5NSMYMI:@CL3Le���PZ4-NSQ5NSMYMI:@CL3n_�NBU�C�NWHYNSE^NRHY:TA�;NBG06I8�:@K�U�No:DCFQRG0NRKL3WK^:�NRHYHJ3RQ5P@:T6YG�6cNRPEb:�;U � C\UL3}=?:)E6YMYMI:)K�:A�NRPT6�8�3RA�A�3RE�G�3?KL3RA�A�3

� ��P)E�G03Sp^A�A�3-KL6YG0:T=SNRCVA�6+K�NRP@P@N�=R6IC�K^:TA�N7KL6IPE�G�3?KL3RA�A�3>ã ;6�PT3-8�A�6I8�8�3>H�_L6+E6YG�:@P!E�G�3?KL3RA�A�3>äceg?:)KL6IC�3RA�:@CL3-HJ35Co± � 6+± � :@PC\U�476YG�3-K^:6IPT6I476ICVA�:dK�:)ã 6�ä E�G�3?KL3RA�A�:{et��P)E�G�3R]^P@6I4-N�K�:T=R6ICVA�N7E6YG�A�NRC`A�3

4-N�� ±r� á ±b�

� ±r� á ��±b� � � �� ± � X � ± � � �

« ´nµ �É- G0NR8�hx3RG04-NRC�K�3&:DP`E�G03R]^PT6I4-N�:@Cahi3RG04>N�8�A�NRC�K�NSG0K�6[A�G0NR8�HYU�G0NRC�KL3&:@C�:TMI:DNRP@476ICVA�6�:\=?:@C�HJ35P@:\K�:\:@C`A�6YG06YMYMIN?O

8�:3RA�A�:T6IC�6�:@P)8�6YQ5UL6ICVA�6�E^G�3R]^PT6I4-N4-:@C +

� ±r� á ��±!� á ± � ¯ � �� ±r� À � ±!� á ±

�¯ �

À ±r� À ±!� ¯ +

«FåÂæ:@P)HYU^:A�NS]^PT6INRUB3RA�A�:D473o;6�K�NSA�3>K^N� â �� �

¸ �� �� �� �

â � ���

���

� 2� �

� � ���

���

����� �

â J

Page 20: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

x^1

x^2x

^3

2 4 6 8

2

4

6

8

� :TQ5ULG�6��\Ú - NSQ5P@:dK�:�B�35473RG *�E6YG<P{y¨6I8�6I4-E^:T3

g?:DHYHJ35476sP@Na8�35P@ULMI:T35CL6 ,« 2 ¯ � � 2� � ¬� �� � ��CL35Cn;6s:@CVA�6YG0N?O�8�:bQR6ICL6YG0N�:@PbA�NSQ5P@:T37K�: B�35473RG *cHJ3RG�G0:@8�E35C�K�6IC`A�6NRP@P@N+A�6YG�MIN+G0:@Q5N?O`=SNRPT6�N+K�:@G�6<jVU�6IP@P@N&E6YGZHYU�:bP@N&E^NSG�A�6 hiG0NSMI:@35C�NSG0:@NsCL6IPDP{yzU�PTA�:@4>N�HJ35P@35C�C�N7;6 4>NR8�8�:@4-N?e - NRPT6

A�NSQ5P@:T398�NSG�;N��R� ± � á

��R� ± � å

â(�â �

- 6ICL6IC�KL3oE�G06I8�6IC`A�6-H�_L67± � ¯ � � À � ±d� À ��±b��67± � ¯ � À � ±d��á � ±b�SOu:@PtA�NSQ5P@:T3oE^U�;3c6I808�6YG�676I8�E�G06I8�8�3CL6IP@P@3�8�E^NSMI:T3�KL6IP@P@6<=�NSG�:@NS]^:@P@:?3RG�:TQ5:@C�NSG0:@6<± � 6 ± � HJ35476�± � án± � � �\e���C>p^Q5ULG0N���80:�E^Uu;3a=R6IKL6YG�6sP@N�E^NSG�A�6K�:G�6YQ5:@35CL6+NR4-4-:@808�:T]^:@P@6?/�A�NSQ5P@:@NSA�N>=\:DNM3-K�N7j\UL6I8�A�3-=?:@C�HJ35PT3Le

��C`A�G03\K�U^HJ6IC�KL3WP@NB=�NSG0:DNS]^:@PT67NRU�8�:DP@:@NSG0:@Nc± � 6IK�6I8�E^NRC�KL6IC�K�3B:@P�A�NS]^PT6INRU~E6YG+A�6ICL6YG�HJ35C`A�3mKL6IPZA�NSQ5P@:T3NSE�E6IC�N7NSQRQ5:@U^C`A�3LO^80:)3RA�A�:T6ICL6�:DP!8�6YQ5UL6IC`A�6aA�NS]^PT6INRU� â �� �

¸ �� � � � �� �â � ��

���� � 2� �

� � ¸ ���

¸���

â ¸ � 2� �

� � ���

���� ���

�� �º E�E^P@:DHYNRC�KL37:@Pr476YA�3?KL3>K^U�NRPT6+KL6IPr80:@47E^PT6I808�3LO�8�:)6 �6YA�A�UL6YG�;N9U�C)y¨3RE6YG0NSMI:T35CL6+K^:)E^:T=R3RA�80U�P@P{y¨6IPT6I4-6IC`A�3

� � � OL3RA�A�6ICL6IC�KL3cP@N78�6YQ5UL6ICVA�6+A�NS]6IP@P@N�3RA�A�:@4>N?Ú

� �

Page 21: users.dimi.uniud.itgiuseppe.lancia/psdir/ilp.pdf · 2003-01-17 · 6 e pb=?:@chj35p@3 k: :@cva 6yg 6ymymino; 6shx35cknr476icva nrpt6&6rohj35476s=r6iklg06i473lo cl35c ebuu; 3m6i8 8

� â � ¸ �� � � ���

â � � �� � � � 2�� � â � � ¸ �

�� � 2�

� � � � â �

H�_L6�hx3RG0C�:@80HJ6+P@N-C\UL3}=SN>8�35PDULMI:T35CL6 ,« � ¯ � � 2� ¬ � �� ��O!NRC�HJ3RG0N>U^C�N�=R35PTA�N-hxG0NSMI:T35C^NSG0:@N?e[g?6YG�=R6IC�KL358�:dKL6IP@P@NA�6YG�MIN>G0:TQ5N?O�8�:QR6ICL6YG�N-:@P)C\UL3}=R39A�NSQ5P@:T3-K�:�B�354-3RG *

�� ± � á

�� ± � å

��

HJ3RG�G0:D8�E35C�KL6ICVA�6RO`CL6IP�Eb:@NRCL3+K�:L±d�Z6�±!��OVN � ±d� À ±b� � � e �&HYHJ3RG0G�6�3RG0NaNSQRQ5:@U�CLQR6YG06 U�C�N�CVUL3�=�N�=�NSG�:@NS]^:@PT6NRU�8�:DP@:@NSG0:@Na±

�6IKW6I8�E^NRC�KL6YG06+:@P!A�NS]^PT6INRU)O�3RA�A�6IC�6IC�KL3

� â � ¸ �� � � � ���

â � � �� � � � � 2�� � â � � ¸ �

�� � � 2�� � � ¸

�� ¸ �� â ¸��

� � � � â � �

� NRHJ6IC^KL39U�C�Eb:T=R3RA�8�U�PDP{y¨6IPT6I476ICVA�3 �� �8�:r3RA�A�:T6ICL6�:@PC\UL3}=R39A�NS]^PT6INRUo3RA�A�:D473

� â � � ��

¸ ��

â � � � ��

��

� � â � À � â �

� � � â ��

¸ ��

� � � � â � �

�uN-8�35P@ULMI:@35CL6sHJ3RG�G�6ICVA�6 ,« � ¯ � � ¬ � �s;6a:@C`A�6YG�N76+E6YG�A�NRCVA�3o;6�P@N78�35P@U�MI:T35CL6s3RA�A�:@4-N>HJ6YG0HYNSA�N?e

� â