S2:细化 第二章第5节 法一:解方程(cock为己知) 同时满足: chick=(2*cock+200)*3/8 令→∫( chick>0)&&( (chick-(int)(chick=0 hen=(100-7*cock)/4 l(hen>0)&&(hen-(int(hen))==0) 法二 21取hen=0→33,sep1细化S2,1 chick=100-c0 ck-hen s22求符合条件的 kick s222条件 算法: 15*cock+g*hen+chick300 hen=0 当(hen<=33时执行: 求满足条件的 Chick; hen=hen+l chick=100-coke-hen 15*cock+9*hen+chick=300 hen=0 F 当hen<=33 输出 求符合条件的 chick cOc hen hen=hen+ chick法二 : s2.1 取 hen =0 → 33, step 1 s2.2 求符合条件的 ckick 第二章 第5节 法一: 解方程(cock为己知) chick = (2*cock+200)*3/8 hen = (100-7*cock)/4 S2: 细化 算法: hen=0 当(hen<=33)时,执行: {求满足条件的chick; hen=hen+1; } 细化 S2.2.1 chick=100-cock-hen s2.2.2 条件: 15*cock+9*hen+chick=300 hen=0 求符合条件的chick hen=hen+1 当hen<=33 同时满足: (chick > 0)&&(chick-(int)(chick) ==0) (hen > 0)&&(hen-(int)(hen))==0) chick=100-coke-hen 15*cock+9*hen+chick=300 T ? F 输出: cock hen chick