Unit 17 Espresso minimization algorithm. • The ESPRESSO program ...


      
 
 ! " #%$'&)(*,+.-0/1*0+)+)243)5769895;:=A@:CBD(FEG:=AT;&)J@QTV@16=K\T;&)5;((X]^:=@;>AZ@7T;(3)@1Z:=IAIJ(_a` b *E.3^:CB)_ b Oc5;5;(_)d)B)_):=BeTZ6gf9(5W b /1(_)d)Z(CW #%hi*,+.3)-05;/169*08=5V+):=+)< 2pZ:=:=IAIA89IJ69(@D57>ATV+.&GOQJ@Y:fC:=>JIJ:=])IA(k69BlTV&G(B)(TYmP&)>AZn&o>A z @ ) d ) B U > z T , m { (  ( G B  Z 9 6 ) d e B ; T  ( 5 c T , m | 6 ) 3 7 5 9 6 ) ] J I  ( H < X @ P m ) & A > n Z } & = : ; 5 H ( ~ ]  (  Z 9 6  < J > G B r 8 7 @ J > 9 8 ) B U > ^ u  Z C :  B T mP>UTV&YOcBTV>V&)((H>AB)A(B):=>JJB)>J‚8€:CTVd)>A@769(zBk6C6=KKƒZ@;69>AJ@q‰>JB3)57>JB)Z>J3)IA(=q 3Š< 69d)@7J]G@7IJ69(IJd.TV6TV>J6=TV(B{@QTt&^:=:C@'IJI‹]Š3Š(69(@;BD@7>J6=])]GIA(Tn:=Z>A69B)AB^OT':CT;>J>J@'69B):CIJ@'@;6‡6CK3Š>J69B)@73G@;dG>J]GTVIJ@1(N:=T;B)6_DKw69f9IJ(IA6‘5;>AmlKŒˆx:=T;IJI~&^6=:CTPK’TVTV&)&)(t(@Q69TV3G(T;3)>U@ ]eˆYmP” &)&)>AZn(&DBT;T;&)&)(X(P69B3Gd)T;JJ69TV@ BY:=&^BG:C_H@169]Šd.(TV(3)BkdGT;69@ ].Tn6=:=K~>A:B)(„,_a6.W 69IA(:=B‡JBG>JJ‚:•TV>J6=B3G5;69]. IA]e(ˆyJ@‡d)J6=@;Ba:ˆ%qTV˜=&^™:CT 695‡TV&)AB)T;>J3)69dGByT;@69q0]G>ATnT‡:C>J>AB)@‡(_}B)6†>J@ IA69T;B)&)89(Y(5693G3ŠT;69>JJ])J69T;B(57WA6=Tƒ>—:=K0¡|I‰3)¡‹Z5;>U¥N6=TV])>A57(IJ69(@'dGJ_ @ W ¦ 695˜C™Z>ATV>A(@q T;&)(57(k:C5;(D§k¨l©g™=ª« 3~6=@;@;>A])IJ(Y5769dGT;(@€@;6>AT€>A@(žf…>J_)(BTTV&):CT€(f=(B Kw_G6=>J5P@7TVT;:=&)B)>JZ@P(@7KwATVT;>A((@'@q^:=>ABGT1_{>J@P]~B)(6H@;d)IJ6957B)(8=T;(&^5':CTƒ3Š69T;@;&)@7(N>J])6=IA3G(XTVT;>AJ(@'_ZW:CIJhoIJ(_x8=6.:D6…_{¯°;:=±=IA² 8969³n57´Š>ATVµ¤&G¶Œ·A69B€6=KaT;&)>J@ Tcˆ…3~(t6CK‹3)5;6=])IJ(JIJI^8=>Af9( @76=69]GIATnf=:=$'(>A_o&)B)(€(:=_€@7B^(]e:=ZˆIU6=ˆB)T;TV&)>J_yZ(P:=_)d)IJ>UIU@;¾ˆ%(PZ]6=d)ˆjK~IUTcZˆk&^69A_oT;dG&šT;:=(B)I—5 :=_l573)8957TV(69&)893):C5VTx57:C69ATV>JU&)69TV&IA(ždGˆ:TV>AZ69@;:C(B)BT,@{6=BGZK6D:=:=B¿IJIA8=696969B)B)5;89>UIA(TVˆÀ5&)JZn&Á&^:f=( ]Š((By@;&)6gmPByT;6k89>Uf9(896.6…_@;69IAdGTV>A69B)@X]eˆ†(FE…TV(BG@;>Af=( TV57>—:=IA@X69By6=T;&)(5 ©g™=§

g© ™= Ïº…¯ŠÄe±=· °ž¯^µ±=¸¬ÅX¶UÆ=¶Œµ±=¸ŠÇƒ¸J°nȞµ¤²V³•¯^¶½Èn¹zÉʇËP²F¶¤±=¯rÌa±=Í'¸J°n¹n¹ @;:=>J3)JIAIJ>J:=Z5:•TV3)>J6=5;B|69]G6=IJKƒ(ATƒZ(mP3G>JT;IJ(I~_89mP>Af=>A(XTV&896.T;&)6…(0_Y:=@;@;6=@7IJd)dGJ693.B)TV>J@'6=BX6=BxT;&^T;:C&)T’(X>UKG3)>U5;T‹(@;8e(:Bf9TN(03)895;6…6=6.])_IJ(@7J69BG@a69B@;>JJIJ:=5 … + k 6 ƒ m { ( = : ; 5  ( ) B g 6 [ m ¤ K = :  Z  ( y _ P m A > ; T † & V T G & { ( ; @ U > V T ^ d C : ; T J > 9 6 š B P m ) &  ( ; 5 { ( J I = : ; 5 9 8  ( ƒ „ … 6 9 6 A I  ( = : † B H < A > ) B J >  < J >  ‚ • :  TVZ>J696=J6=Kwd)BaIJW|IUˆk$'@7&)69(IAf=5;((Y_†&^:=:B)f9(Y_]Šm,(((BÎ&):gJ:=ZnJ>JBYZn&Ï@7d)>AZn@k&kJBSJˆ.69@7BG>J@@D>J@DTV&)(Î+…OQ+­£½+.(F Ѕ6=KdG(* BeIATV(>JZž:=TVIƒ5;>AOcZBe:=TVIv(5V* :=BGZžTV89>U>Jf9B)(D((+…57ˆ…>JB)Be8TV&):=(B)@;>A_s@n¥ Rƒ3^69:=J57(69B)89Z5V(x:CA&)69(xB:=:=IAIA898969695757>A>ATVTV&G&G֍dÀmXÕNWÙ@;>JAT;Z57(xZ=(BeWÙ:=d)TVB)>J(_^_ÎIJIJ:C>‰&)>J@€:=6)BGWÙ:(_šfC_):=d¬T;>A&)בI—:=(‡f.])IA3)@;IA(H>—57×C69Z>A89B}:=5V_ :C]~U(CTV@;WÚ&e]~(TVIA6CK0J69:C&)BÝ5;(Y5;>A+…(f9OQ_j(+¿5;@76=>JKwdG6969TYBÎ5|]eÒXmPˆÞ&)2X>J-+¿Zn&%:Cd)mP&^I&G:=+…>J@€ZnTV& :=]ŠIJ(IJ>A:=(@r5;Bs_TV&GqPd)(}@7Òt(_ÎÒX(3G2XKwTY69+¿56CKTV3Š&G69Rƒ(D576=TkÖB+  (ÒtB)(Z3G(=T\q’6=MK¬BG*>Af9IJ((Z5;T;@75;>A>JTcZˆ|:=I6C:=KƒB)„,_5;>J* @QTVIA(69ZžI¼TVWX5;6=*B)JZ,:=*>AI½`'B)893^>J:CBGd)(IŒ(ßt57>JZB)@8GWÚ]Gq95;+.>J6=@dGWØ:CTVZ=& WÙd)„vÑ|:=B):=BGÑ_šMÒBG>A:gf9f=((€5;@7->ATc5;ˆ96=q9T;* &)A(CI½q` 3)5;6=T;$'&)&G((k_^ßt+…fCOQ+}:•E~3GWÙ@;5;])69d89WØ5;:=:=ZCJ@‡5;(:=IJIUˆ†:š@7d)>AT;({6=KN:=IJ8=695;>UTV&)JZn&ÎZ:=BÎ]Š(Yd)@;(_%Kw6=5 @;:=69IJ89IUf.6=>A5;B)>AT;8€&)J]G@'IJ(>AB)J@':€dGZB)6=>ATPU69TV8=&x5V:=TVAIJI’89>Af=(: ]G5;>J(žK _)(@7Z57>J3GT;>J69B|6CKTV&)(‡*0+G- /1*0+)+)2Ž:CIJ896957>AT;&)JAd)B)@7>JT;JT;‚>J:C69TVBH>A696=B{K’3)TV&)5769(])TcIJˆ…(J@1:=@;IA&)89696957dG>AIJTV_|&GJ(XBkd)AB)_D_r>JBxT;&^@;:Cd)T1Zn&rTV&)Z>A69@NJ@N3):HdGT;3)(dG57>J])‚IJ(>A_ Z _)>JB}69JB‡mP3)&)57>J69Zn89&%5;:=:=Au^Be_)ˆÎ(Be:=TVB)>—:C_ÁI½qeT;3)(@757T;69>J3)B)5;8š>A(])TV:=d.57Tˆ‡mP3G&)5;69>JZn89&s5;:=:=JB)578(:=d)_)@;((5t_kTVTV6x6HZ_)6=(B)@7>J@;89>A_)Br(5tIJ69mP8=>J&)Z(ž@7TVˆ…&)@Q(TV5X(JZn3)&|d):C])5;IA(>JZ@;@769ZIA5;_rd.TVTV6€>JBeˆTV&G6C( K,3)_Gd)(]G@;IJ>A>J89ZCBšWƒOJTV@1&)IJ6…(ž_)KŒT1@T;>A6 @ :3)z5;&)6…(_):=d)IAT;Zž&Tkˆ>A@D@7>ATVBGd)6=:CTkTV>AÐ69d^B{:C:=IJ>ABGu)_ (_ÞmP&)Kw69(5xT;&)IJ(>AKw5v(š: ZAT;:C>JB…Zd.:=K¤I:=:=ZT;3)d)3G5;IJ(>JZ5:CâÙ@vTV>A:=69@7B)@;@Y(5QTV>A@r>A69B :ÎTVfC&):=:CIJ>AT'_¿:_G3^(:=Kw57(T;BG>J@;Z(yd)I—:=>AB 5 TVmƒ&)69(H5QTV(&f9(ZBe69T‡B)@;6=>AKP_)(:=57BÁ>JB):=8HZZmP>J_)&)((BT;&)T (Z5:=>UdGTt@;>J(@_}f=]e:Cˆ†IJ>J_x:rKw3G6955;69:H895;AB)58rTV6Y:r(ž])E.d)ZIJ8Gd)Wr_)(zOTzTV&)>J@z(‡:=d)IJ@7@76( 6=89K15;69:=dG_GB)fC_):=@'B)TVZ&^(_}:•T'>ATVB&)T;((X89A5;T;Zd)d)5;>A(T;5P@ZKw:=5769B)ABy5;:=IJBe>UTVKw(H((ZT;5;&)>UTV(X>JZ_):=(I0@7:=>J893)Ba3)W IA>JZ:CTV>A69B)@X69ByT;&)( ' $ G & v ( 0 * G +  / 0 * ) + G + ¿ 2 = : A I 9 8 9 6 7 5 A > V T G & S < J > \ @ = : z B ž ( G E = :  < ) 3 J I ( = 6 ¬ K  : N L * N M P / Q O . + ' $ Q O Á R ) 3 7 5 9 6 9 8 V 5 C : r < ‘ q V T ^ & • : T TV>J@v6:69].3GTn5;:=69>A89B{5;:=: J69Zn&x3.TVd)>JJE.69>JB V T ) & œ < J > X @ ^ ] = : 7 @  ( Á _ = 6 † B V T G &   (  Z G d ~ ]  ( ) B = 6 V T C : V T A > 9 6 † B G d ; @  ( † _ w K 9 6 z 5 7 5  ( . 3  57$'(&G@7((1BeKwTVd)>AB)BG8DZTV>A„ƒ696.B6=ZIJ(:=:CBHB|]~Kw(1d)ZB)69ZBGT;>J@;69>J_GBG(@5;W (_HRƒ69T;B)6z@;(F>AEG_)>A(@75XT,:x>JB„ƒ¡r6…69_GIA>J(J69B)B^Z:CT;>JI)69@;B3^:C&^Z:(Pf…mP>JBG>A8DTV&¡}69>AB)B)(3):•dGE.T;>J@@ W Kw6=5'(:=Zn&r6=K\T;&)(X¡>JB)3GdGTV@W ' $ ) & 1 ( C f = : J I ) d  ( , @ C 6  K V T G & N ( ƒ „ … 6 9 6 A I  ( = : ‡ B w K ) d ) B ž Z V T A > 9 6   B  Z = : H B Š ] 1 (  Z 9 6 ) B 7 @ J > ) _  ( ; 5  (   _ V T  6 . 6  Z  Z ) d e 3  ˆ Š 3 9 6 J > e B V T 0 @ J > B @73^:=Z(zZ695;57(@;3Š69B)_G>JB)8‡TV6‡T;&)(f=:CIJd)(@16CK™‡695X©Kw695'(:CZn&r6=K‰TV&G(>AB)3)dGT;@W › h Œ £ V T 7 5 A > … f — > = : — I  ¥ ƒ „ . 6 = 6 J I  ( C : y B ž ( . E ) 3 7 5  ( 7 @ ; @ J > = 6 % B C 6  K = 6 ) B   ( C f = : ; 5 J > = : ) ] A I H (  Z = : } B . 6  Z  Z ) d e 3 y ˆ  ( A > ; T ) &  ( z 5 = 6 ' K V T G & ( ¦ 3KwŠdG69B)>ABZT;T;>J@69™tB‡696=5vK^Tc©'m,>AB‡6X>J:B)©'3GdG_)TV>A@A_‡69B^6.:=ZIZ@;d)3)3e:=ˆ‡Z(1:CB:=ˆ @6=@7&)K¬6gTVmP&)(,BHKw>A69B d)53Š>A8969d)>J5;Be(T;@©‘:=ê.@WU©@7&)£¼:e6g¥FmPWBHhl>AB „,6.¦ 69>J8=IA(d):=5;B ( ©6CgKê.WATV©D&)(€£w]¬ë‘¥žìHWf=„,(ˆk57T;(ž>JZE…(TV@(B)6=@;K0>A69:=BaBkq’¡Á:Y_)„ƒ>J6…J6=B^(FE.:=I‹3)5;Z(dG@;]~@;>A(C69WBhp6=K05;(¡Á:=I>JB)„,3G6.dG69TVIA@(:=ZBr69d)(žIJE._3)6…57(Z@;Z@7d)>J693eBˆmP:=Be>AIJˆ I :CIJ@;6€B)6=5;JJ6=B^:=IZd)]Š(=W 110 10

11

111

100 101 010 011

¦ J> 98 )d 75 ( ‘© .ê UW 9© ` '$ )& A> P@ J> P@ ‡: ;5 ( ~3 ( C: 1T =6 \K )u 98 )d ;5 z( .ê ÚW Gí W  O X T A > t @ ) B g 6 p m Š 3 9 6 ; @ 7 @ J > ) ] A I ( V T { 6 … f A > ; @ ^ d = : A I J >  ‚ ‡ ( { :  B ) d  < Š ]  ( X 5 = 6 0 K J I g 6 , m  (  5 ) _ A > H <  ( ) B ; @ A > 9 6 ^ B = : ‰ I ; @ ) d  ]  Z G d ~ ]  ( @ PPmm GA&> JI J>PI nZ H&Š] |( Pm ZA> JI 96 .I eB Z VT g6 =: 9f J> ( )B ,5 ( À_VT G& 1(Pm …6A> ;T Z )& Z J> )d sB )3 A>=6 ( VT €_ G& ( 9f {5 ( Q5 7@ VT )d A> Z l] ( 0@ Z =6)d ~K Š] VT ( )&  @ P( =6 x¡ XK Z 98 )d ;5 Š]( C: =( VT W ( 7@ 5 96  1H(< C6 ( K)B VT;@ G&A> 96 ( aB ;@ 1(oW ;@ v$Gd  ] ƒm }6Z Gd 7@~] )d ( ] @ =fZ )d( Q5Š] VT ( ž( X@ ~E tW=: 75 Ýh ‡( Z )3 96 75 )BJ> < 7@ J> z()_ ( Z ;5 )d ( ~]š_ z( ;T {6J> @ J>  : eB ;T Z ( Gd ;5 ~]7@ ( ( žZ XT VT ^& A> KC: T VT G& Z ( C: |ˆ )B )B )& =6 g: NT =f ( ~] z( C: T ž( .E JI (^3 =: =: 7@ )B NT G_ 96 ( )B_ ‡( Pm Z A> 96 ;T H< )& 96 < Gd T96 kB J> )B ;T Z ( JI 75)d œ< G_ J> )B 96 8 5 ‡::  96 ñ HB =6 aK ;T )& ( 0* G+ - / 0* )+ G+ Ý2 =: AI 98 96 75 A> VT G& 4< VT )& ( {B Z =6 )B ;@ A> 7@ VT ƒ@ =6 ‹K VT )& 75 ( 1( wK )d )B ^_ •:  ­ h  Z ) d Š ] ‡ ( J > N @ F ( . E ^ 3 = : ) B ) _  ( † _ G d  B ; T J > \ I ) B { 6 w K ) d 7 5 ; T ) &  (  5 F ( . E ^ 3 = : ) B 7 @ J > 9 6 š B J > N @ ~ 3 9 6 7 @ ; @ A > ) ] J I ( PmA> ‹@ U> )3 VT )&;5 A> =6 H< Gd C(T \W J> GB '$ Z G& JI Gd J> ’@ )_ 96J> )B Š3 N8 ( V5 N: •: 9fVT J> ( =6 75 B VT F( J> €E eB 9f =6 96 ¬K UI VT9f G& ( \@'( Z =6 96 Šî H<  ;@ G3 ž( TJI ( =q < ;T ^& ( C: eB T ;T J> A> )B @ '8=q ;T ( )& =: '( nZ & Z )d A> )BŠ] )3'( Gd J> @T •q ž( A> .E B ^3 ;T =: )d )B ;5 G_ B ( •q _ ;T P6 )d ;TeB ( VT Q@ J> T.I A> U> TK ;Tvh )& 1T P( VT )B G& ( z( sm ( )B9f (|_ 75 VT =6 F( \K E VT )&J> @ A> 1@ : F( < .E ^3(  965 |B C6 ~K G3 ;T ;5 )& …6 P( Z ( =6 7@ Šî @ ¬q ;@ ƒm ž( T z( 96 ^& 5 : 96 9f .B (  ;@: ( T)3 75C6 J> ~K < ;T X()& P( Z g6ƒ„ 9f …6 ( 96 N5 JI (=6 =: \K ‡B VT )& ž( X(.E )3 wK )d75 ( )B ;@ žZ 7@ VT J> 96J> =6 B B W (a)

0

1

(b)

00

01

(c)

000

001

g© ™9í Ϻ…¯ŠÄe±=· °ž¯^µ±=¸¬ÅX¶UÆ=¶Œµ±=¸ŠÇƒ¸J°nȞµ¤²V³•¯^¶½Èn¹zÉʇËP²F¶¤±=¯rÌa±=Í'¸J°n¹n¹ @;@;d)d)Zn])&k@7(T;TN&^6=:CKTT;B)&)6(@73)( 5;>A3)J(XJ51_)(z3)5;:€>AU(=T W >J@ 3Š69@;@7>J])IA( ù ú û ù úÚû ùzúØû þ ùzú û üü úúØýý ™ þÿ
© þÿ þÿ
© ÿ ™ þ üü úÚú ýý
™©
™© ™™ þ

©© ÿ ™ ™ © ™ >Jø @1:C3~5;h¿69B^@7:=@;@;dG>AAAJZnB)& (6=@1TVm,>AmPB)698 &Gd)>JIAT;Zn_ &^&|89:CmP>UTf9q.>J(PIA(I‹f=Kwd)89(>AIJBDf=I^(zZ>JB 6gKwf9d)T;(&)IA5;I\>J:=@vZ896g@7(f9>JJ@05N3)@;>JIJ&)B|(16g@7:HmPˆ…B{@QB…TVdG(>AAî~(5;(BeT1mƒ:ˆ…@W ù ú û ù úÚû ùzúØû ùzú û üü úúØýý ™ þÿ © þÿ
© ÿ ™ þ üü úÚú ýý ™©
™© ™™ þ

©© ÿ ™ ™ © ™ añ  …÷ \ö‰÷‰õ) ö …ñ $'&)>A@z3)576.Z(_)dG5;(HmP>UTV&)>AB*,+.-0/1*0+)+)2 :CT7TV(AJ< >J69d)BJ(5;>A_DJ5;Bx( JBG>Uu^8‡(_|]~(ž>ATcBemƒTV6k((²VBk°ž¸UT;±=&)µ¤(¶ =Tc°žmƒ¸»Ê 6H°nøX¹n¹g:=°ž5;¯^B^µ¤:C¶¤±=d)¸89&xZdGJ@’¯^5;µ‰(Z_)d)d)]ŠB)(_)@\:=mPBeT&G>J@;Zn(ž& T Z:=:=B)BH_]~:(1A:=B)5Q>JTVAT;:=>J69I BG>A5;(5;_(_)>JBed)TVB)6z_)::=BeT;T,6=Tn3G:=5;IA6…IAˆ Z(5;_G(d)_G5;d)(1B):C_^T7:=TVBe(TƒJ:=JˆBG>J5;