Upload
others
View
2
Download
0
Embed Size (px)
Citation preview
书书书
!!""!!##
$%"&$#%
&!!'!!(!!)!!*
'()*+,+-./0*12.3'.45/6+0,789:!" *8:#
-;9<$%"&
!
+,-#!$%"#=%$=$%"./01-#!$%"#=""=$>:23456789:;)<=##"?@"%"$$#"$#"$""%&>?@9:;)<=
#!"#$%@$%&A7BCD);)EF<=GH#"%A*)%$>%&A7BCD)$%"#$IJKLMBNOPQR&STUVWQR:!"#$
X$">>$$Y$Z[EFY$A7&'()\#''3%\]$ _EF`abc\de&fghi&jklm&nopq:+=BCD9!E<F!G;E:
HI;:EJ:$%&$r$">>"$Y$Z[EFY$A7&'()\#''3%\]$ _EF`abc\&'&delm&9:stuv:'!(
#wfxy%$r$">K?$Y$Z[$z{$Z[Y|}$A7&'()\#''3%\]$ _EF~�b��de&��a�(&c\&':+=
BCD9!L9DCJM!G;E:HI;:EJ:)*+$r$">##$Y$Z[EFY$ _EF`abc\&'&jklm:
,-./01234567
!"#"%
!$%&$%
!'!($%
!)*+$%
"%#A7BCD)fgQ��v)�!>?!"%%&#$%
$%#A7BCD)fg)�&'(�!>?!"%%&#$%
8!9!Djk���$./c\de�B��Y�&�����x���bW�::�'fg��(�'fg��(
�Tb./c\de ¡¢£p¤¥¦�^_§¨VW$©ª«¬T£®�'fg¯°(�'fg±²(³W�´
µ4$¶·./c\de¸t¹º»¼½./c\defgY¾��¿�&ÀÁ£®�Â�ÃÄÅÆ:./c\d
e¸t¹ºÇÈÉfgÊfI¹ºEFËÌ$͸t�ÎÏÐÑ&ÒÓ�«ÄÑ& ÔÑ�ÕÖѳ×ØÙÚ5Û
�ÜÝfg¹ºÃÞ2¿ßà:<É�á$âãä./c\de¸t�<2åæ�×ØEF0p$çà<ÉHè&
éê�«ëìíÈÑ$çî./c\de¸t¹ºEF<2µ4�ïðñÐò$©óôEFAjkõö�è
÷�Ϊ`ø::ù$çàéΪúà�¢£ûü�./c\de¸t¹º`ø�¸t�¹º`øýþçî�
ÿ!:"ù$âã#$./c\de¸t¹º%&'(p¤¥¦�)*+,��Ê-�EF`a:
:;<!./c\de" t"ÜÝfg" t¹º" t�¹º"de!.çî
=>?@AB 65@""!!!!"#B "%:""&>#),5:-:"%"K:$%"&:%"K!&
$%&'%()*$+,)-!%.%/.')*)0"*1'*%2)/'314%.()-56
'(+*NCJ=3CJM"%!2)OPD=N;$%
!2)1*QA;J$%!R)-DJ=,PCJ$%
"%#!"#$$%$&'(&$)*+,-$(./0$1)"/2+(+3/*/(,$./(*-(4(-5/)0-,6$&7#-(+$8/-9-(3!"%%&#$%
$%#:/;+),*/(,$&7$*;1,/)!"-/("/$!"#$$%$&'(&$)*+,-$($./(*-(4(-5/)0-,6$&7#-(+$8/-9-(3!"%%&#$%
786.-3/.! .J9DJH,8EDC9*HST8GUV#.,*%CGHDJSHMGCSHIDJS8WH8W9H*V9DFH$HJSHGSCDJBHJSV$CJI
T8GUVTDSPSPHIHXH98WBHJS8FYDMICSC:(8THXHG$SPHDVV;HV8FDJF8GBCSD8J8XHG98CICJIDJF8GBCSD8J
W899;SD8JPCXHYHE8BH8JH8FSPHB8VSVHGD8;VWG8Y9HBVPDJIHGDJMSPHDBWG8XHBHJSV8FBCJ<
.,*CWW9DECSD8JV$IHEGHCVDJMSPHE8VS8FBDVDJF8GBCSD8JIDFF;VD8J$CJIGHV;9SDJMDJSPHTDIH9<
VWGHCIDJM8FG;B8GDJF8GBCSD8J$TPDEP BC<C9V8EC;VHDJF8GBCSD8JCJLDHS<CJIDJF8GBCSD8J
IDV8GDHJSCSD8JCB8JMWH8W9H:6P;V$.,*G;B8GIHSHESD8JDVCJHFFHESDXHTC<S8DBWG8XHSPHZ;C9DS<
8F.,*DJF8GBCSD8JHE898M<HJXDG8JBHJSCJI;VHGHLWHGDHJEH:68V8BHHLSHJS$G;B8GIHSHESD8J
YH98JMVS8SPHGHVHCGEPCGHC8FDJF8GBCSD8JEGHIDYD9DS<HXC9;CSD8J"P8THXHG$SPH;JDZ;HFHCS;GHV$
DJE9;IDJM;JEHGSCDJS<$SDBH<HFFHESDXH$V;Y[HESDXDS<$CJIGH9HXCJEH$HSC9:$8FG;B8GIHSHESD8J
BCUHCYDMIDFFHGHJEHFG8BBDVDJF8GBCSD8JIHSHESD8J:';GGHJS9<$SPHGHCGHSPGHHBCDJWG8Y9HBVDJ
G;B8GIHSHESD8J$JCBH9<SDBH9DJHVV$HLSHJIDYD9DS<CJIVEC9CYD9DS<$TPDEPCGHMGHCSEPC99HJMHVF8G
C99SPHGHVHCGEPHGVDJSPDVFDH9IS8SCEU9H:)JSPDVWCWHG$THFDGVS9<V;BBCGD\HIV8BHYCVDEE8JEHWSV
#G;B8G$8J9DJHG;B8GCJI8J9DJHV8EDC9JHST8GUG;B8G%CJISPHBCDJFHCS;GHV8F.,*G;B8G8J
FDXHWHGVWHESDXHV#TP8$VC<TPCS$DJTPDEPEPCJJH9$S8TP8B$TDSPTPCSHFFHES%:1JISPHJ$TH
《 计
算 机
学 报
》
IDVE;VVHISPHWG8Y9HBVSCSHBHJS8FDSVP8SGHVHCGEPS8WDEYCVHI8JIDFFHGHJSWHGVWHESDXHVDJE9;IDJM
IHSHESD8J8Y[HESDXH$IHSHESD8J8Y[HESCJIIHSHESD8JSDBHS8CJVTHGSPHSPGHH@]Z;HVSD8JVDJSPH
WG8EHVV8FG;B8GIHSHESD8J$JCBH9<TPCS$TP8CJITPHJ:)JCIIDSD8J$THVP8THIIDFFHGHJSTC<V
8FG;B8GICSCE899HESD8J#W9CSF8GB$E8JSHJS$Z;CJSDS<$WG8W8GSD8J$CJIBHSP8I%CJIICSCCJJ8SCSD8J
#BCJ;C9CJJ8SCSD8JCJIBCEPDJHCJJ8SCSD8J%$CJIV8BH8WHJ8J9DJHG;B8GICSCVHSV:*HLS$TH
E8BWCGHICJIIHB8JVSGCSHISPHXCGD8;VWHGF8GBCJEHV$VSGHJMSPV$THCUJHVV$CJICWW9DECSD8JVF8G
Y8SP.,*G;B8GIHSHESD8JYCVHI8JE8JSHJSCJIG;B8GV8;GEHIHSHESD8JYCVHI8JJHST8GU
VSG;ES;GHSHEPJDZ;HV:38G.,*G;B8GIHSHESD8J$E8JSHJSE9CVVDFDECSD8JCJIE8JSHJSE8BWCGDV8JCGH
B8VSE8BB8JBHSP8IVE;GGHJS9<$TPD9HF8G.,*G;B8GV8;GEHIHSHESD8J$B8IH98F8YVHGXDJM
VJCWVP8S8FV;Y=MGCWPIDFF;VD8JCJIB8IH98F8YVHGXDJMB8JDS8GJ8IHVCGHSPHBCDJVSGHCBBHSP8IV:
3DJC99<$THWGHVHJSHIVDLUH<EPC99HJMHVCJIF;S;GHT8GUV8F.,*G;B8GIHSHESD8JWG8Y9HB$JCBH9<
I<JCBDEDIHJSDFDECSD8J$9CGMH<VEC9HIDVSGDY;SHIIHSHESD8J$;JYC9CJEHIICSCVHS$SPHPHSHG8MHJHDS<
8FG;B8GDJF8GBCSD8JIDFF;VD8J$SPHGH9HXCJEH8FG;B8GDJF8GBCSD8JIDFF;VD8J$CJIB;9SDBHIDC
G;B8GDJF8GBCSD8JIHSHESD8J:.,*G;B8GIHSHESD8JSHEPJDZ;HV$CVSPHP8SDVV;HDJSPHGHVHCGEP
CGHCVDJV8EDC9JHST8GU$DJF8GBCSD8JIDFF;VD8J$HSC9$PCVYHHJDBWG8XHIC98STDSPSPHIHXH98WBHJS
8F.,*JHTS8WDEVIHSHESD8JBHSP8I$JHTS8WDEVIDFF;VD8JWGHIDESD8JCJIDJF8GBCSD8JEGHIDYD9DS<
WGHIDESD8J:1VSPHE;GGHJSGHVHCGEPSGHJIVP8THI$.,*G;B8GIHSHESD8JSHEPJDZ;HVPCXHEPCJMHI
MGCI;C99<FG8BVSCSDE$SDBH<IH9C<$VBC99=VEC9HCJIVDJM9H<V8;GEHS8I<JCBDE$GHC9=SDBH$9CGMH<
VEC9HCJIB;9SD=V8;GEH:6PDVSGCJVDSD8JGHZ;DGHVSPHF8998TDJM.,*G;B8GIHSHESD8JB8IH9YH
B8GHHFFDEDHJSCJIHLSHJVDY9H:.FE8;GVH$SPH.,*G;B8GIHSHESD8JB8IH9VP8;9IC9V8UHHWC
F9HLDY9HYC9CJEHYHSTHHJHFFDEDHJE<CJICEE;GCE<YCVHI8JSPHVWHEDFDECWW9DECSD8JVEHJCGD8V$
BHCJTPD9H$CEHGSCDJCB8;JS8FP;BCJFCES8GVVP8;9IYHDJSG8I;EHIDJVWHEDFDEHJXDG8JBHJS$SP;V
F;GSPHGDJEGHCVDJMSPHCEE;GCE<CJISDBH9DJHVV: CVHI8JGHXDHTDJMSPH.,*G;B8GIHSHESD8J
GHVHCGEP$SPDVWCWHGP8WHVS8MDXHCJHFFHESDXHGHFHGHJEHS8SPHF8998TDJMGHVHCGEPHGVDJSPH
GH9HXCJSGHVHCGEPCGHCV$SP;VE8=WG8B8SDJMSPHIHXH98WBHJSCJI8WSDBD\CSD8J8FSPH.,*G;B8GV
IHSHESD8JB8IH9:
9%:()-;6! 8J9DJHV8EDC9JHST8GUV"G;B8G"BDVDJF8GBCSD8J"G;B8GIHSHESD8J"G;B8GV8;GEH
IHSHESD8J"JHST8GUVSG;ES;GHCJC9<VDV
<!C!3
]HY$_%��/01Öd%&�p¤Ú5./
c\de#.J9DJH,8EDC9*HST8GUV$.,*%$2W3
_�fg4567#89��%���B��Y�&�
x�):�bW�:.2W67A$B�Î;<<»
fg�=>y$ª«?Tb@A#/VHGQHJHGCSHI
'8JSHJSV$/Q'%�L¬y+",:ÛB�ï¾CD./
cEdF#G3CEHY88U&BBd³%&./decß
#GHI%&./cEJ� #GMKLZ&6TDSSHG
³%&./$M&NOçP#G N8;6;YH&QR³%�
�STçP5UdF#G 39DEUG%³:VWX�&Y
Z&E[&é\&cßñ�×Ñ$./c\deDD]
^B�BVëfgE[�^I�_I$ͪ«`
�ab_c6!d.bB�Àefg�fgE[&1
0�ª«$?hiÎjfg�45T2$ý��
�p¤Tbde¸tklmY�no$Gpq�
' r(stuv:âuvw�c\deDËw45$
ý�xpy®zl{|&}~��&��@û³Îø
qê$©|�C���©{|�r$ä�¬T��
r�:
./c\deA' t��(�qê�3��
defgY¾������¾$Ú5B���.�
ú����&¿�X�Î��fgA�69��b
�Ê£fg$ä�hiB����fg�¿�: Û
»¡¢£pÑuv«#G9:¤¥&c\£pu¦&
§Y¨©u¦³%$./c\de�j«Ñ�fgÑ
ª«¬]¸t45�^I�I$ä�ýW®xp
Y��st�¯°$ ·�3��°±�c\²³:
>!K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
¯·Ê¢$./c\deAÃÕ¸t¹º�EFÎ
<-ÃÄ�¸ñdefgY¾��$a-¹RY�
º^�»àÃÄ�fg:ª«$�úc\de67�
�vy?-w�¬Ó67�fgÊfI(ÀÁ67
�£®¼I��½I:
H¾$./c\deA�¸t¹ºEF¡¿S
çb./c\defgÊfI�EFËÌ::�$ä
2¿á(À$ t¹º�fgÊfIÁ»Ã2¿
ßà�!ÃÄ$fgÊfIÁÂ�ÅÆ»Çàfg�
ÈÉ$͸tÎWлÝ�$ t»ÊËB�ÌÍÎ
8Ï53_�$uj'�Ðj�Ñ·#Ò¢$_$Ó%$
¯·$Ôy.¹º�HèáÃÕp�Ö:Û×$fg
ÊfI¹ºw±»<ÉØÙfg�$�¸t¹ºW
Ú<É\48uv$Û:ܾÝÃÎÞ¸t¹º�
EF�Øã2fgbéê:�LZ67bß$Wà
"!%á�@�âã2�Cã�fg�ªbÃä"�
ªWuv�LZåàæöWíå��çè$¹
º!U?éÃÀêëìéíîÈjûü:.4ïJ
�A$ð8?»<Éfgöî(ñÐâuvfg»
òb¸t+$,:¶·$Ôy.¹ºéêá?ó.�Ö:
ÿ�(À$H¾./c\de¸t¹ºEFÃ��
@íÅÆ�µ4b_ôõ!
#"%«ÄÑ
¸t�45Êö÷�Sçbøù#$úp#�
ûü#ìíýÆ: t.45�þA$Û¹º�ÿ«
«ë�¸t�Y!"##$%�/ÑÕ�+@,$ì¸
t45�«ë&'$&ÃÊ-¿J�8£®pq#
Û.úp#�Vù%+$,$Í·«¸tÊ-��¬T
WÐ�()Ñ:¶·$.¸tøù#jq*#oà»
+ç3_ì,_�$-.�À$-/06j«¹º
#w±12¹º3�«ë45.WÐ6�«�@%»
"bv7�::�$ ɸt.øù#�Àe�f8
×Ø»Ãä�$¶·H¾ .,* ¸t¹º�EFw
±�9¾jkö�:;ѹº<=#,SCSDE48IH9
0HSG8VWHESDXH9<%>¡$2ú<=?ø@ÞMLZ�
¬'�j«éM"¶·$Aé*#¹º�j«¹º%
&�EF»Ü¾�BùEF�3C`aVW$ �
22úµ4ï9b¸t¹º�DE0µ4:
#$%ÊF¤Ñ
.©GΪ78Ϊ�ß$B�.Ϊc\d
eáAéHWuv�Á$`ð��fg45�×Ø
I»ÃWÐ�Ö�:G27J� 6TDSSHG�7@�
MKLZýþéKÊ�pq!LÒÉ 6TDSSHGé£
®jkMN��OÑ$MKLZá�£®fgàÒ
bZP$¶�LééQ��:·J$ªW«ëRë@$
AéΪ\4�45×Ø&ã2×Ø��£®45
þb×Ø?ªS»Ã�Ö�$GT\4¸t�M\
4¸t&£pÑ\4¸t�Uÿ=\4¸t³:2�
<É×Ð��8×Ð~���Ö2\|�VWjk
öÃWÐ�X�$ä�hi¹ºY.jZ¢£A
�Ñ-:¶·$. .,* ¸t¹º�þA$éΪj
kö�õö�º[$é\]É\4×Ø�^_»Ü
¾EFAjk�×Ø.���^_�þA�3C
µ4:
#@%Ê`aÑ
¯É¸t¹º�ú=& ø8yH�ó.WÐ
��Ö$.B�¹º�þAÊ���jk�D6?
\ÃÒD�ßà:G£pÑuv¸t83_uv¸
t-.â«ë@bYD��jk£É¹ºjÂ$�
WÚÑ\4¸tjkàLéÒÞ:·J$ t45�
þA¹º«ë&*$jk&Ãä:×à�$.Dc<
jk�VWÙv�$<=»òdÃeQ�&'Ñ-$
.MйºfÏÑ�ª«$Îg¹º^I$h¹º<
=�Ê`aÑ?» .,*¸t¹ºEF�ÅƵ4
VW:"ù$ÕÉÊ`aÑ�EF$ �Î<<b_
äjk�iáýþj°$ab_äΪjkú=�
�îѵ4á0p$k&íîܾ����Ê`a
Ѹt¹º<=8`ø:
DEFG!GS"�l$b2ãùmnÓþã�
<2op:2ã!$Óéc\de¸t¹ºEFA
�q��<råæýþÿ!�sî"!@Óçàä
S"!$㶷!.
¸t¹º�HèÈÑ&éêÈÑ�«ëÈÑé¸t
¹ºµ4ýþïðñ�Ðò"!!Óéܾ¸t¹
º�q��jkõö�è÷µ4ýþçî"!?Ó
�!KÓàçàé<É@Açú�&éK�¸t¹
º`ø��<Éde!.�¸t�¹º`øýþ#
$�ÿ!$t0Ϊ`ø�^_×Ø&L1Õ���
¢£`a³ÅÆ@A"=Þ$2ã.!#Óéܾ.
/¸t¹ºEF�ó.�+,ýW®ýþÿ!$©
t0'(�EF¤u""ù$ �.!&Óé©ãý
þÿ!Ñå·:
%?K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
=!H:IJ
=><!,-./01
c\de#,8EDC9*HST8GUV%»Wív=���
de+!,$dCãWÐËw@B�BVë�Õ�:Û
AíBwêbdeA�ÓC$Õ�àwêbÓCV
ë�x=:./c\de#.J9DJH,8EDC9*HST8GUV$
.,*%»@Þ1Öd�yY�0q©��p¤�$
Û"*�ïðÊ�z;6B�w�+BCD9E{fg
�.|�Õ�de:¶·$.,* 2¿á»qjA�
c\de.Ü}deRëA�~�$»<É./c
EdF&./cß&./cEJ�³.|���d
e+?,:� ]HYdeÓ�@AΪ$.,*»¯£®h
T�$X�y]�deùÊ�p���@A©��
����ÃÖ��Û�£®bYx=+K,:.,*A�
<2_�çà»!/VHGV#£®$hX�6./c\d
eA��WíB%&2DJUV#x=$h�í£®�8V
ë|]�x=Õ�%&QG8;WV#å$£®�k×ÐÍ
Î�T�åh%:£®�£®&åh�åh&£®�å
hVëIÊ-bYx=$ì2�x=B��aÈ
Ñ+#,$S$»Wív=�c\de!.+&,:
S$!Wí�Ø�6=c\de!.Sß
ܾé .,* �EF^_öA. .,* !.ç
î&.,*�ñçî�� .,* A�£®þbçîì
í`¥:ÛA$!.çî^_»õ£6���'I&
�ú�j&Iç�³1jé .,* �9¾de!.
×ØýþI�:�ñçîà»ä0¾��IEF
.,*�<2�IXj&ÓCÕ���hÕ�@«ë
�ñ�c��Û@.�Ö�:� .,* A�£®þ
bçîàCD飮�\\&C�[³<2þbç
î&£®.cEdF¢£á�þbçî��£®þ
b�0��q�!U+>,:
=>=!23K,-./0123
$_$_"!¸!t
¸t»W�×��fg$?»W����c\
qê$'��(W�»B�Õ÷��CEFµ
4+"%,: txbWí)&åæ$�ï�EF�ÉÔ
,«#$·ùD���ì× �:*#$ tEF
^_�Éí�Æv$� JCWW+"",&199W8GS³B+"$,�
58VSBCJ³B+"@,b¡��¸tÆv)¢<B2¸
tçàÐòb!'£.ÚBLf�Àø$d�ܾ«
uÃÕ$.'�¤`Ðj�¥¦��[4:(&'»
W�b§BLf$ÕÉÜ«uv�´·$±�¨©
ïð.B�A45$ÍÙªÃʫЬèf:(&'W
�.B�Vë®�[4�$éY�ÌÍÎ�u¯&
uv8µ4�'�Ðj�Ñ·8°±:(9">K%$
Z�$@ÞEF�_�$&(&¡�)yZ�äc\
)�Ij²¸t�Ðò!' t».��<³«$å
��k�Ã�fg´T$éuvlò�ô±�|.$
».WåB#$�þAbY�hÍMµ+"!,:(&'.
c\A0q©[4�'�¤`YZÐj8y��¿
¤`¶¸�fg+"?,(&'.c\å�A[4�ÃÕÜ
¾«u�fg$·©w�¨4& ¸ªÃ��uj¹
k+"K,(��'�qB�éqjº»G�¼ �Ýk
�Y½45+"#,(:ý�$"º¾ù$ t�¿3CZ
��¯É¸t�c\À-$ÛAâ«#¸tEF~
��öDTy aD38J\8³B+"&,2¸tÐòb!'
t».<³8ÁÂ¥��bY�'�ÐjÃ.�
[4�Àø$d-¹RB�ÄÅuj©45ÆÂ(:
.A7$ t��ïEF"*Êz;6">@>$´Ç
ÈÉÊ�- t�Æv.+">,$�10! t»W��
��Ævc\qê#WV<EP8=V8EDC9WPHJ8BHJ8J%$d
�ÛdWËstãá�*Ì8´·#GMµ&4À
³%.j¿á»Ê�Lw�$ª»z·�Í�uj$
͸t��k�ujÒÞ$ Ô�ÎÏ�¼¬Ò¡:
éɸt�bY�450(�EF?^_öA.Æ
v)+"#$$%=$",�c\)+"@="!$$$,Ðí~�:äí�Ævb
ÑÒ¥$Ób¸t�bY»í�uÉÎÏÐ��Ab
ÔÕ@.�¯°�sÖýþ�×[:äå�Ò¥0
p$Ób»å�bôõµ4&©��5c\ÓnbH
��ýþ�W�ö�E«#E899HESDXHSGCJVCESD8J%:
¶á�·$Õɸt�Ðò�ÛbY0(EF
^_äÆv)�c\)ÐíN�¤Z$Û¿3C�
®��ä¸tbYs�6¸t45×Ø$"ù�
¯6¸t�bY�c\��á(:Û:äΪ«#&
ΪN�0p�50�!$ó.WÐ�X�$Íÿ
!�(¸t^_Ã��×C!#"% t»ÕÉc\
áHuHµ4�×�´·fg$WÚ(À»ÕÉH
uv�Øt#1VVHGSD8J%"#$% t\.BåA�
45:WÚ�\4�ïðw�¨4Jó.BåA[
4:Ü:2�EFy�u�«¡LÕ$Õ:$.ܾ
���$ t45�^_Jó�deJób^|"
"?K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
#@% t@A�ÈÉ»'�ÐjìÎÏÐ�$Û4
5@A"ÙÊ-ÇÐbÈ$Ê-ÇÐbÝ$aÊ-Ý
uÉÎÏÐ�¾"#!% tWÚ»Y�Ï5�9Ú
LÕìÌÏ3_�8»��ÌÍÎ�@A$ª«$2
�3_Ñ&Û$ t�[þI?&"#?% tw±
Cã¸t5¬y�íB^Ôl¢Ò¡$�UÔuj
àLéÒÞ"#K% tÿ»'ܤ`�($Î\.ÝÞ
8ßà�fg(.8íBVë45$�w±bYÉ
Ü°ð�\sRë$w�Ü°ðáâýþ45"
##% t�45BÃWÐ�H�Ñ$äí�Ò¥»
bãê@Æ�sÖ$äå�Ò¥»b�5c\
Ón8ôõHWµ4"#&% tª«B�«ÄÑ�
ä�Ñ$¶·W嶸TÀ$fÎ�ó.:
éɸt�45c�$199W8GS� 58VSBCJ+"$,
À0¸t45Yð!.b-c+=ÛA$.#0;B8G%b
¸t45�[þÑ$-#DBW8GSCJEH%b¸t�q�u
v�3_Ñ$+#CBYDM;DS<%bâuv�<³I:Û
A$ÕÉÔy�æ|Õ�ÃÐCb_À¬!#"%uv
&3_8&<³$à¸t���þI&D"#$%Ü3
_þI8<³Ñb%«$ t\üç45:.âYð
A$ t 4 5 » ? l o ^ � è 0 � ä ¢$é ·
'G8;VH+$@,.á·<rá]�B���¶�$ä�
2YðýW®é¼b.b-c+c"$ÛA"#EGDSDEC9
CYD9DS<%bY�êñ-ë$hY��êñ-ë&Ó$
à¸tbY�Ê-Ñë&6:ª«$08VJ8T+"#,àÓ
ba¢j°í��Æv1è$GíB�¯°�ìí:
·J$aÃ)yÓbÕÆv1è��$a¢j°c
\��_�:G7@)yîï+$@,À0uv�ä±¾
I¢â»¸tbY�^_¶�VW$ä±Ñ&D�
uv&A«xðB��ÍÎ$©Ðò¸t�45Y
ðb!.b+c+>c+?$ÛA. b¸t$+ bÕ÷I
#CSSHJSD8J%$+>�l<³I#CBYDM;DS<%$+?�lä±
I#CYJ8GBC9DS<%$âYðä¸t�45c�0p$
éñ$¸t45�j¿$h&»òóÑ�¸t&A
«xðB��÷l$45�^I?&ô:
é¸t45|<EF�É$%º¾K%$¡$
,;IY;G<+$!,�k¸t45�õö45�L%Ñ$2
<Éj)ï&�÷Ôj)<=!4�ö<=$£(é
¸t�45ýþ|<:GS@�l$<=A$�åí
�¿wêbì�ú=#�¾%!«Ì�#,;VEHWSDY9H$
,%&Ì�#)JFHESHI$)%&øù#0HE8XHGHI$0%:�k�
¾Vë� {Õ�$Ê.|,)+$?,&,),
+$K,�,)0+$#,
ì�<r<=:ÛA$,)<=<j°«Ì�Bå
�TÌ�BåìÎ\øù��¦:,),<=j°6
«Ì�Bå �TÌ�Bå��Ì�BåÙ�T
«Ì��¾��¦:�,)0<=à.,)<=á¬]
Ì�Bå {6øù�¾ì;?Î\¿Ì��¥
¦:·ù$)y��k¸t�Ì�å�+$&=$>,&Ì�`
ð+@%=@",�Ì�þI+@$,�ú=é¸t45�4�ö
<=ýþýW®�é°�·½:·J?Ã)yä
LÔj)0p$À0WR@(�þ`ø|]�a<
`¸tj)<=+@@,��<Éúûj)�üýþ9
0(<=+@!,:
S@!W�<É'4�ö<=(�¸t45<=#Û
A$,)))0çàé¢É«Ì�#,;VEHWSDY9H%&
Ì�#)JFHESHI%��øù#0HE8XHGHI%ú=$
1lÿ©á��j�lbÌ�!%
$_$_$!./c\de¸t
Jó�W×�ýñIl"Þ¸t45���#
$�ÎÏ$©��0q�M¡T�%&:ä¨'4
5&D�J�45&de45;6GBM�./c
\de45:fg45%&��45��� �(
»¼�¸t45�ï¾$�©'¼�¸t�j¿
@A:Ü:$Ϊ45ï¾�¸t?bYÉL¢�c
\)ü$ª«ä~WÐ�c\µ4$ä�Õl0
W�´M�×Ø:.,*¸tbYÉ .,*�Íð$È
Éde¸t�ËÌ$�de¸t?w±xb¸tE
F�Wíç�$©'p¤TbWí\]�EF~�:
H¾é .,* ¸t�v$EF¡<Éde¸tE
F$©!îLZ&6TDSSHG³�½� .,* 67¤Z
W�´�j*EF:¶·$�ã2w�+îde¸t
�Ðò&×C(çî.,*¸t�@,�×Ñ:
éÉde¸t�Ðò$D¡j)y¡äJó$
��I0p$hÓbde¸t(»45Jó¯4ï
�BZJó8D�Jó adeJó:G 8GIDC
�08VJ8T+@?,10de¸t�4ï¸t.2¿á»
Lª�#G×Ø&@A�¥Ì³%$Íde¸t�4
5`ð&45Ëw&45Ó-�4ï¸t»Ã�Ö
�:é·$"./+@K,Óbde¸tÕÓ�de�
45ÈÑJ$a¢Õ÷de¸txb¸tç��
×�ÈÑ$hÛ��c\45Ê-¬T�c\
��:¶·$02de¸tÐòbÊË1Öd.Û
bY&45&���HýÆ8©�þAð6�Õ1
x£�¸t$d��bY&45&���c\2Ë
$?K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
L3$d�Õ4c\µ4$ÇÈc\45$BÃc\
lò:
¶î�áçî$2ã2./c\de¸tÐò
b./c\de¸t»1./c\de.ÛbY&
45&���HýÆ8©�þð6�Õ1x£�$@
A'�Ðj�$ì¬TWÐc\5$���ѱ
8Ñ·:
.,*¸t67 .,* �¸t��3×C$ª
«?ÃßàÉ4ï¸t�íÑñ×Ø:�¥$2ã2
<Éfg45�?] _�+@#,$h TP8&VC<TPCS&DJ
TPDEPEPCJJH9&S8TP8B&TDSPTPCSHFFHES$é4ï
¸t�.,*¸týþéK$G�"�l:
L<!,-./0123KMN23OP
úà 4ï¸t ./c\de¸t
4¸å�×Ø 89ñ&fg:Ø ÍAÆñ&;�Ñ&<qñ
¸t@A×Ø uj�jkÎ=$@AÒ«é¼ 'Èj�¸t(&@A�ïðÒb>Ð&Ê;L¬
45áâ×Ø «Rä5&?ä?&��;� £(«Rä5&Ãä?&Ê;�&T2hi
>�å�×Ø ¿0Ñ �3Ñ&íÑñ&Ü}Ñ
45��×Ø Ëw@ä Ëw&��45
#"%4¸å�×Ø
ÕdeA(�Ü}ñ×Ø$.,*4¸å�"
D�×Ø�qbÍAÆñ:4ï¸t�(�^_»
fgYby#@AÀey%³89ñ8l¢~B�
C$GD�J�:Í. .,* ��A$ Éfgp�
y�;�Ñ$4¸å�Dú4ïJ��fg:Ø
�E$#qúû�ÍAÆñ�¾$ª« .,* ?¶î
BZJó�CéC�D�Jó�Cé¥��34
5×C:·J$@Þ4¸)ùLÕgFGH�'bI
x(�ÎØJD$WíMÍ�å�///c\deK
L$?¢¼�Y:c\deKLB�MwdeKL�
½Ñ×C!GHè¬Ï#D¡I»b���NgF
8¬TWÐ�de��%+@&,$@A×ØÖ±#Gó.
D�Ì&x=$¥ÌªÑÒÓ³%$þb<ðÖ±
#GÎ6OÕ÷=PQK%&Õ�<ðÖ±#GRSë
TUx=Õ�%+@>,³:ÍLÒÉÛddeKL#GV
WyX&Yv&$M³~��deKL%�t$c\d
eKLZ[ÑéÛ$é%ªÉ°±£®$Ö±<ðo
à�I?éD$w±b_!î@A&þb�Õ�³¶
î×Ø(ýþoà$2?»¸t¹º�þA��C
VW:
#$% t@A×Ø
.¸t@A×Øá$4ï¸t� .,* ¸t�
ßà^_�q.ìí`¥!!W$.,* ¸t@A#
$ì\È:LÒÉ4ï¸t$.,*¸tCã]O&
NO³D�¡J�fg��#$�uj�jk³ý
Ó$.ïðáýW®\$Èjûg:�4ï¸t¨¨
#]8GI8F48;SP%45�`ðw±»4¸yé>�
^78»Æ_�Ì�+!%,$ªÃ .,* ¸t#$�u
j¹k:ªS�uj.ÊfIEFA?ýo$hV
NJ�fgK`Jfgé§BÏ5Êf+!",:!Ô$
.,*¸t�@A.45�þAÒb>Ð$ÒÞ¿é
¼$hw±#q0�= p$8�53p³qê:4
ï¸t�@A.45�þAª«¯ÉB�ab&�
·&íB^Ô¥Ì�X��bY34$� .,* ¸t
@A.45�þA$£®(b�5¼ñ8 p$Û@
A»Ê�z;�:!ì$.,*¸t@AÊ;L¬:
É¡j.,*67� p]Á$À-Ú5 .,* 4
¸yÊ�.ü¸t@AÎ��<rá6mpc$
.Á$A]�íB�^Ôl¢ýW®d�¸t�5
$ew:
#@%45áâ×Ø
.¸t�45áâá$.,*¸t^_�q0f
C×Ø!!W$Û^j«�g��45: É .,*
�Ü}Ñ×Ø$ t�45£(«Rä5$.de
ájq?b¥é¥�j«E[<ð:!Ô$Ê;�
45:.4ï��A¸t»âh�qê$i�j�k
l$¶·$ªW¸tiA«.Ϊ«#ä�45+$$,:
Í../c\deA$fg»Ê�am©z;�$¶
·W嶸TÀù$ ti�bYÔ×���:
!ì$iT245:.1ÖdA$p���ÜÝ�&B
Ã3|Ñ�¸tI�5+çA«+!$,:.,* 67�
Ü}Ñ&<qÑ&Û£®�½I³×CIÚ5¸t
�45�T2DDhi:!f$j«�¶¸ä?:
.,*A£®Ê�é�Bp��ûgýþCÁ$¶·
.¸t�45�þA$@Þ«ë�n/$Á$A
&(&¡�¿oÚ5¸t�45�¶¸±±»ª«
pY�:
#!%>�å�×Ø
. .,* ���$>�å�w±¯4ï�¿0
=> �b^0X�$ìBÃ�3Ê-Úp:�.4
ï��A$ t�=>y(-¿0=>fg$��2
9��ÔCYVÉ�:Í. .,*���$£®Ê�
é=+�¸týþÁ$©�¬9Ú�]û$qr6
@?K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
�TbM�¸t45y:¶·. .,* A4¸å�
�>�å�»2ÎÊç�$ª«?»L1���:
#?%45��×Ø
.,*¸t45���×Ø^_�q.Ðí`
¥!!W$ÒÓ()ë�Ó&5$:4ï¸t�45
>6«Rä5$Ûs¥��LéÒ6: É .,*6
7��½IÒÛ$£®å�Òb2ö$fg4G�b
�6���Òâ$Ú5 .,*¸tW�45$2�ç
ti�^Iu�º»��$©ïTÒÓ�c\5$$
Û�v��BåV$��ËwVD$2A(é]�
�wº�ø.Á¥:!Ô$���45!.��4
5:ΪÉ4ï¸t�/=45!.&4ïD�J�
�x=45!.��de¸t�d�45!.$
.,*¸ty�ð�45<ð\#q0x�&z�&
P��&{|�³¡�45!.:��45<ðVë
�×Ø}ó.ª¿Ñ$?ó.ÒD��ÖÑ$¶·b
_AéΪ�45<ðk&ÃÄ�¹º`ø:
¶á�·$.,*¸t�4ï¸t��WÚ�d
e¸t.�ú×ØáIó.ÒD��à:¶·$b_
AéÑ�é .,* ¸t¹ºýþEF�çî$ä�
k&0×Ð�¹º<=$06-/é .,* ¸t4
5ýþÛÄ��v�45�H�:=�($2ã2é
.,*¸t�q��µ4ýþïðñ�~·$�#t
ùmEFyÀeÃÄ�çúXj:
?!"242345Q:;RST7
¸t¹ºµ4~·Ab_çî�@]$çà»
¹ºHè#]PCS%&¹ºéê#]P8%��¹º«ë
#]PHJ%:¹kéá·ì_��ΪԴhî$ä�
ïT�£ÉΪûü�EFµ4:b`fé .,*
¸t¹ºµ4ýþïðñ�0$2ã.�$At0
ãA�q��w£j��Û~·À¬:
L=!UBVW
�0 ~·
@b#A$B%@1.,*$A 1.,*A�ÓC#£®%$
B1.,*A��#�%
! ./c\deA�fg[
/-"B0/"$/$$1$/(2 .,*A�[þ\4uvöî
C-":0C"$C$$1$C(2 .,*A�ØÙã2fgöî
1-"401"$1$$1$1(2 .,*A�£®öî
&-"D0&"$&$$1$&(2 �¹ºéê�×Øöî
,-"E0,"$,$$1$,(2 45«ë³´
)-".0)"$)$$1$)(2¹ºG0�¸t!Uöî$ÛA)"0.$
F.2$.b0;B8G$F.b *80;B8G
?><!XYZ[\]QRS^_
.,*¸t¹ºHè�^_�õÉEFyé¸
t�Ðò��Û¹º�H��bÑ:H¾¸t�¹
ºHèD�ÊçbìDú!é¸t�¹º&é�3¸
t�¹º��éÜÝfg�¹º:
#"%.,*¸t¹ºµ4
!WúEFHè?»D�çEFy�^_$�
�Ób¸tÛ:?ïWÐò$ÍÛÅÆ×Øb''�
ÐjÑ(#!UbÈ&Ý8Ý?øÏÐ%:¶·$���
¹ºHèhbÊËuj�'ÏÐ�×�Ñ·:·«$
¸t¿ÐòbÈjÑ'�ÏÐ�fg$©2'�¤
`MµÐj��fgNb�¹º¸t��^G+!@,:
#$%.,*�3¸t¹ºµ4
!ÔúEFHè�ã�+!!=!#,³b¡�$Ób
�¿45Tb¸t�ÈjfgLK$ÊË�3�¸t
fgÁ¥éD:·«$EFy¡õ£'FC9VHG;B8G(&
'BDVDJF8GBCSD8J(�'IDVDJF8GBCSD8J(³��'G;B8G(
W�ßçZ($ä�×1ÊË"ù¿ÐjbÜÝ�
¸tfg:Gã�+!&,2�3�¸tfg�Mµf
gxbWéåæ$��Ób(9¤`áâ�Mµ¸
¸I»Êf�$�·w�ÔyéK(¹º�3¸t
fg:
#@%.,*ÜÝfg¹ºµ4
!ìúEFHèà�ã�+!>=?",³b¡�:�
�©'2¸t��Û"ÙÐj�!Uýþçú$�
»2¸tW�³ªÉÊË�3ÜÝ�fg:ª«©
Îßç'G;B8G(�'BDVDJF8GBCSD8J(&'IDVDJF8GBC=
SD8J(³�ó.��Ö:âúEF�=2¸t¹º
ñbÜÝfg&�3fg�oàµ48fgÊfI
Ô³µ4+?$,:ßG$ã�+?@,�=2�¤`MµÎ
���fgNb¸t$hÜÝfg:
¶á�·$éEFHè�ÏÐ^_ó.���
íµ4!!W$é¸t�¹ºÃÄb_�Ÿt�å
æ�2¿$��ßç¸t�ÜÝfg�ßà$Òýç
î¸t¹º�ÜÝfgoà&fgÊfIoà��
Ö:!Ô$Û:¸tAÊË�3fg()ÑÒD$Í
»éÉÊË"Ù°Ï�Ý?øÐjÈÉÑ�fg$
d��Á¥ÑÝÎA6�:¶¸»b�ÑÈL$�
�Üøfg��Y�N�$ä�.|eQ�fgY
¾��:!ì$�áì�çúA$�ÃEFy2¸t)
�3¸t)ÜÝfg�MµxbWéåæýþKÒ:
:�ܾdeJ��Yfë.����$bZ5
D��G$MµJ�±±aâûgÐj�Ó$Îj*
â@uÊ¢:¶·$¤`Mµ�ʫѪS»�5
!?K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
�o�:
?>=!XY`a\]QRS^_
¸t»WàB�ÌÍÎ8Ï53_�$ìuj
�'ÏÐ�´·8Ñ·:dw±bYÉWí8¡í
¸t5¬y$©.BåA�[4"ùïTÕÉâ
´·8Ñ·�¸tfgå:Ê¢$.,* ¸t�¹º
éê乺�IáÊçb<ÉØã2fg�ý�I
¹ºéê�<É¡ã2fg�ö�I¹ºéê$ª
«aCDfg��I�¸t�¹ºéê:
#"%Øã2fg.,*¸t¹ºµ4
Øã2fg� .,* ¸t¹ºú% .,* ÜÝ
fg8��fg¹ºµ4$��Øàdeûgb¹
ºéê:Û¹ºHè�جÏ$ª«×ØÒ«w�:
:�$2úµ4���?Õ�«¢!ÃÄ. .,*
A$Wàûg�Cã�fg�»ªbÃä�:¶·.
¹º<=�k&AÝbj°ã2öåAÃ���f
8×Ø$G��45×Ø&de!.×س$�·(
�ÎØWã2AÃä�f8×Ø:·J$AéØà
ûg�¹ºw±(�©ÎíîÈjûü�bÑ:
¶¸�x�éêWÚ»HW\4´·A�Øt
#1VVHGSD8J%$hw�HWuv8B¯�ñØÑ´·
s :£®�ÕÆ�?»â´·�Øt�ÜØàû
g:WåÏÐb¸t$�2W´·Lí�fg�2¿
£®Nb¸t$Ρõf:
#$%¡ã2fg.,*¸t¹ºµ4
<É¡ã2fg� .,*¸t¹º2éêcT
WíCã¡Ùã2fg�\48uv+$,:w±f
g�£®p�Wà´·fgù$LÕ£®ýþW
�´� p8CÁ$��áã2fgöî�»w�
âü�´·fg�:.,*¸t¹º<=w�é4G
ã2fgVë�Cã�@A×Ø&£®×Ø&de×
Ø��45×سýþ×Øw�ù$|]×Øa�$
ä�ýþçúoà:,;J³B+?!,Ã×À0<Éu
v�¸t¹ºµ4$©<É@A&<É£®�<É¡
J�ìí¢I½À�"?í×Ø$2<Éuv�¸t
¹º ñbWíçúµ4:
<É¡ã2fg� .,*¸t¹º.B�¢£
AWÚÊçbÐ�!AéMwuv�-±¸t��
Aé£puv�×�¸t:w±�t$£puvbY
ù#G�£$¤¥³%$\w�âuvbYÕÉΪ\
4�¸t$¶·Aé£puv�¡ã2fg .,*
¸t¹º¡2£puvxbWí��$:ùoà0
âuvA��ú¸t:Íâú¹º¸¸¹¦Éuv
�\4fg$ÎB�¹º�M�Ñ:
#@% t�¹ºµ4
¸t�¹º»1w�2 .,*¸t45dew
êbHWfg45<=#G4�ö45<= ,)&
,),&,)0%$:ù�k¸t45×Ø�0¸t45�
ü�ÓC$h¸t�:WÚÓb$ tÿ»ä6�ç
å�ubY�$¶�é¸t��¹ºÙçbظt
�¹º�¡¸t�¹º:.B�EFA$b�ñ¹
ºµ4w±<j°Ø¸t�¹ºµ4:
¶á�·$<ÉéêÈѵ4�^_$2ãÓb
¸t»ÕÉuv�´·$¢<É¡ã2fg�×Ø
(¹ºH´·»òb¸tfg:Û:Øã2fg¹
º2¸t¹º�ñbØã2fgÊfI¹ºµ4$
ìH¾EFÒbT§$Í2<<(-xb¸t¹º
�<r$�ܳ�µ4:
?>?!XYbc\]QRS^_
��.,*¸t¹º�«ëÈÑSç$Êçb:
;Ñ.,*¸t¹º#0HSG8VWHESDXH0;B8GaHSHESD8J%&
*# .,*¹º¸t#+CG9<0;B8GaHSHESD8J%�j
«.,*¸t¹º#0HC9=SDBH0;B8GaHSHESD8J%ì
úÅƵ4:
#"%:;Ñ.,*¸t¹ºµ4
:;Ñ .,* ¸t¹º^_Aé .,* á�T
¸t8.¸t�úp#�Ûù#é�¨�&9¾�
¸tjköýþ¹º$h<=�VW�º[I»<
ɸtúp#8ûü#V¾��¨jk$2?»H
¾EF"b��<=::;ѹº�Q&.ÉÊ
VW�jköÒ¡$ä�Ú5ÊÀ��f8×Ø?
é¡$ Û»45×Ø�j�#G pj&CÁj
³%:Í:;ѹº`ø©Î�£ÉÈj� .,*û
ü$Ü£puvúp«$©bª*�oà¸t©«5
Û45$�ª�¬¸t�A(�s¥��:
#$%*#.,*¸t¹ºµ4
*#.,*¸t¹º»1.¸t�uÉøù#
«éÛýþ¹º:*# .,* ¸t¹ºWÚ<Éu
vÒ×$h¡ã2�fg¹º:@Þ«ë�n/$â
uvÑ·�Cã�ã2fgÎج]$¶·.¹º
«âuvÑ·rÞCãWÙã2fg"ª«*#¹
º£.ª�aâÕÉâuvÑ·�!WÙã2fg
�¹º«.Vë�«ë�:Gã�+$,A$ÝkéÉ
W�´MµuvBb0/"$/$$1$/(2$�íuv/-L
¢�Cãã2ö:-b0C-$"$C-$$$1$C-$*-2$@Þ«
ë�n/$HWuv�Cã�ã2ö*-\Îج¡=
é·$2Huv.«ë,�ã2öÐòb:#,%b
0#C-$,-%$1$#C*$,*%2$ÛA,-#,-d"$1$,* $,=¶
??K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
·$*#¸t¹º®¯°j!#,%2HWuvã2ö
:#,%×Ø®¯ÐòbWí.jj� !*c&
% !&%
0"$%2á$.«ë,�& ¢�®¯a�$"ù~�b
Wí.«ë,á�ÊfIÔçúµ4!hñàbÈ
j#%%8y¸t#"%=
#@%j«.,*¸t¹ºµ4
j«¹ºh<ɸtj«jk[�¹º$w±
AéØã2fg$hfgW�p�ùëZ�¹ºâ
fg»òb¸t8¸t�^G=Gã�+!@,Óbã
±Wåp�ù'(ëÃÊ-Tb¸t$2fg[!
A., «.p��ã±C ab!0C%$C"$C$$1$
C(2$C,�LÕ×Øa�ab"C$,$ß3bG$ ta
b.!C$,b#6c"C$,$ t�wºà<ÉWí>Ð�
²�!$).!C$,&%$àûgC,b¸t$ÛAXjG
�!�"Q�¯VWö):56=·J$?ÃAéu
v�j«¹º$j¿á»2<É¡ã2fg�*#
.,*¸t¹º�<ÉØã2fg�j« .,*¸t
¹º!î:ßG$.ã�+??,A$2*# .,* ¸t
¹ºµ4ïðñ�lG�!Ýk .,* Aó.fg
[G0b:b0#C"$,"%$#C$$,$%$12$ÛAC-b,-«
.p��ã2fg$-"0"$$$12=j«¹º�!U
hb9,«.ð$�³",G0!U³´.,b0.,$"$
.,$$$1$.,$%2$ÛA.,$9b�í�ú´·^40,$9�
¹º!U$ì",@rÞbYÕÉâÑ·0�WÙ
fg=
¶á�·$éɸt¹º«ëÈÑ×ØÊ�å
Db��ìC!!W$:;ѹº&*#¹º�j«
¹º��2ßàb»òx�«ëXj,$ ɸt
BÃÒÓ�«ÄÑ$¶·*#¹º�j«¹ºéí
îqjbÑ$-ÃÄ�hi¸tÊ-bY�Îe�
�=!Ô$*#¹º&j«¹ºLéÉ:;ѹº�
tÊg£�¸tf8×ØÒÞ$¶�+,ÑÒD=!
ì$ë¸t¹º�fÏI�t$WÚi�jq"%%e
�fϹº=LÒV�$:;ѹº`ø¯ÉÊ��
f8×Ø"¡$¹ºfÏI"Q$WÚÊ06>%e
´µ+?K<?#,"Û×»*#¹º$;×»j«¹º=WÚ
(�$ t¹ºfÏ!�¸t¹º«ëÈÑVëó
.�=�Õ�$¹º«ë&*$¹ºÄ£&D#hª
*�«5¸tÊ-bY�Á¥%$͹ºfÏ!Lé
ÎÛ=äV$¹º«ë&ÿù$¹ºÄ£Lé&6$Í
¹ºfÏ!ÎØÀÁ=¶·$¶áÊn$ª�aâ¹
º«ÿ�*#¹º-ÒQ�6O¹ºfÏ!�«ë
ÿ¶Vë�·�$ì·«¸tbY�Îe��a'
PD$¶�é�î.,*¸t¹º�«ëÈÑ^_=
@!,-./0123defgK[h
@><!"2423degfg#?
jk+ö�÷±.¸t¹ºAܱ3_$�=
��6ù#¹º<=�8ÏI:jkõö�Hèb
_ÏÐjk�õö67&õö@A&õöj��Kß
��Õ1�jkõö`ø³�`¥�@A:
éÉjkõö67�t$7JEF<2öA.
6TDSSHGá$� NCJM³B+!>,Ã×.MKLZ67
áÀ0¸tçî�¹º�µ4ù$xbA7"D
cEJ�67�MKLZ?Z�Tb7@JEFB
]�3CEFéê:�6TDSSHGLK$MKLZé£
®�ZMNÎ/·½$Í2?Ú5EFB]Ê�
��é¡LZ£®��¨jk�j«0¾jk$ý
W®¬Ó<=wº�8fÑ:
éÉjk\4�^_$Aé 6TDSSHG�LÕE
F$�ã�+!>,b¡��EFyw±g£,J8WHVd
F#7Jð¸e£®Å¹©º»¸t�4µ�dF%
Y��¸t\4xb'�W(.¬¹¼ð. 6TDSSHG
á+ö¸tfg:�7@ÃÕMKLZ�EF$àg
£'!LZ¶¸(&'!¸tP´((³¤`¶¸�8
p��¸t\4xb'�W(½öLÕ¸tjk:�
·ª«$Ûé¢�Èjfgàw±�M¾c³¤`
Mµ¸®�fgb(�xbéK:
.jkõö�j��Kß`¥!jk�Hè�
ÏÐb_¬Ï¸t¿¬#h¸t\4%�j�$ t
ûg#h¸tLZ%�j���¸t�ܸtVë�
Kß:<ÉØã2¸tfg¹º�EFw±<^�
W6Ðí¸t\4ýþEF$GÕÉ�£&7Ƴ9
:¤¥¸t¹ºEF:éÉ¡ã2¸tfg¹º�
EF$EFy�w±½ö�+6áÀγ�¸t�
ܸt\4$ý�+öWÐjk��¸tûg:.¸
t�ܸtûgj��Kßá$�ã�+!@$!K$!>,
b¡��D¡jEFIõ�"f"�ç�Á÷$Í
»2jZá»ÎíîÈj¥¦�$ÂÃ. .,*A$
°±fgÄDɸtfg:é·ã�+?&,w�LZ
¤`¶¸�8��!%%Ù¸tLZ$:ùw�MK
¤`�¸\4nÅêX��@K%%ÙÈjfgL
Z$D��"f>ç�:
. .,* ¸tjk�B�õö`øá$D¡j
EFyI»ÃÄÏÐÌÍÎ�¸t$:ùw�Ú£
�¸tLZLÕ�Õ1áýþ�Æ+ö:ÛA�=�
£LZ15)=¨»Òb±¢�`ø:G RC\XDJDCJ³
K?K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
B+?>,Ú£ 6TDSSHG�½¼ 15)�°à�0ð¹Ç
+ö$%%>$6$%"%$#ë�jk::�$2�<É
×ÐÕ1�¹¼`ð���?Õ�«¢:
!W$â`ø»<ÉÄÂ�:ßG$éÉ.$%"!$
ȲgÖAbY�LZ$EFyÊ�w�½¼'Ȳ
gÖ(2WÕ1�(+ö�¸tLÕ�LZ:Í»2
_Ñ�#$�¸t»ÄÂ�n�$©ì2?ø½ö
6V¾ªÃÐò×ÐÕ1á�LÕ¸t:bãê
2Wµ4$ã�+K%,x�0¾«ë³´(¬Ó<
Éuv�¸t+ö�É:!:xyÀ0ÃÄÊËM
µð8t0ܾÊ-bY¸t�LÕuv$:ùg
£LÕèÌ�Õ1�j«+ö�uvLÕ��Ãj
k$©w� pnã�z;�6é*#p��ûg
�:=Þ2�ájk��«ëÍÔ³©Ëð8è÷$
â`ø-ÃÄ�ãê<É×ÐÕ1��¸tfg¹
¼�bY�jkΩ�µ4:
!Ô$â`ø?ø��LZ£®Vë�é\fg
��£®10Aá�ãVë�ÕÖ:bôõ2íµ
4$ã�+K",À090��é\!.z�jk+
ö`ø: É,J8WHVdFÃÀeðI�¸tÎ�Â
ÐêX:Ü6TDSSHG£®ÎÏÐHWfg�ÈjÑ
«$\.,J8WHVáÏÑÛ�£®ÂÐ���Ñ·8
Àe�âÑ·LÕ��nuj:âã�<É,J8WHV
�ÀµÀ-$g£VJ8WHV$#VJ8WHV$VJ8WHV:E8B �
!VJ8WHV³Õ1�ä6TDSSHGfg[A+ö¸té
\:g£MK15)�½¼À-$2�Wí,J8WHVÀ
µIxbWà�WLZ(3|é\!.:ú%�$ã
�+K$,àAéLZA� p�Á$ã2k&G�
�f®jk��Á÷!#"%w��6TDSSHGêXYÊ
�=>�"â«ëë³#W6«%pHËÑ$��C
ãâ«ëë³��Ãnã"#$% ÉcE�0w±
�#$�Õ1�xb^4$¶·w�pH¡íÕ1
��5·��jk"#@%w�kн¼Ëw$56
4&A&H ìíΪöî$ÛA4 ¡��Ã�ü��
pnãöî"A ¡�ü�nãöî$»4 �Wö"H
»¯��ÓÐ� 7)5£®p0�ü�nãöî$ì
»A �Wö"#!%<É�áÁ÷$w� 6TDSSHG15)
ª«�5�Ùnã� p�Á$= áÊn$ tj
k���Î<<CDÑÕ�LZã2@Afg�
<2£®fg$aÊ䣮� pã2&Á$ã2&
Á$A�é\ã2³áâ+öBÃÒÛ���×Ø
fg=
@>=!23deg[h#?
éÉ .,* ¸tjkö�è÷$H¾�^[`
øçbB�è÷�(Y90è÷Ð�ïð:B�è
÷øhé½ö(�jkË�íð8��#%)"8
g")"%ýþè÷$ _¹¦Éè÷]�íB�Â�
no:WÚ�t$EFB]\ÑRÉQ_�Mµay
(ÒRfgè÷:Í@Þde�C<ð�Íð$ÓÈ
ÔÕ'Û(YB#1BC\8J4HEPCJDEC96;GU$146%
b¸tè÷µ4Z¶M�ôõÖ�:146»W
í ]HYêX¢£þ³=¨#15)%$Zpyw�dÊ
�2B�ç-�î6Äþ�þ�£#05'%:EFB
]w�p0è÷ËÑ$¢£þ³ë\22WËÑp
Ht×þ�X�9:B$â`ø-ÃÄ�Ò�Ú£
Búçè(×þ&'(?øè6��X:éÉB�
è÷!U$WÚõ£ CWWC�jéè÷!UýþW
�ѹÂ$Gð#"%!
Ib5G#+%g5G#/%
"g5G#/%#"%
ðA$5G#+%bjZW�!$5G#/%bv$W�!=
(Yè÷øàw±g£J�fgQ�#G¤`d
Fp��Mµ%xbXj¹kýþè÷=Gã�+K@,
w�Ðí¤`LZ¶¸�8p��¶¸fg��¸
t�LZù$äØ��LÕLZAÙ^0c\MµL
Z==Þ+^0'èa�LZ$©w� 63=)a3À�
LZÕ1�£É.¬½¼Õ1�$:ù.MK�½Ú
A½¼âÕ1�$"ùg£ð#$%&''èaLZ�
Û:!UVë�L%Ñ$h<ÉMµ»Êf�2WÝ
k$(ýþéKè÷$ª«2ú`øÝ:\õ£B�
èaýþÜR$©Ú£ CWWC�jýþW�ѹÂ=
!0-*#*-$*9%b*-=I/6G$)C0'(9=I/6G$)C0!
*-=I/6G$)C0((9=I/6G$)C0!! #$%
éÉè÷�!Uïð$Õ±¢�%)"Ôçú
è÷ø#�kEF¹ºHè�Ϊ$¢@_"Ó$%�"
�l�ãò?ÃWÐ��Ö$w±%�lܸt)Ü
Üݸt)Èjfg$"�l¸t)Üݸt)ÜÝf
g%$aÃ2¸týW®ýç�¡çúè÷`ø$G
ã�+?>,A$ tjk¿è÷bìú!%#LZ�¸t
?Õ%&""#LZÝT¸t%&"$#LZòÓ8¿o¸
t$8M�A]¾I%=
@>?!ijdekl
áÓ^_é.,*¸tjk�½ö�è÷`ð
ýþçî�$·$2Ó2óô棃 .,* ¸t
¹ºEF�YZjkQ�:ܾ$棃 .,* ¸t
¹ºEF�YZjkQ�aKÒÞ:ª«$EF67
^_öAÉ 6TDSSHG�MKLZ:¹kEFéê�
Ϊ$çb<Éûg�<Éuv�Ð�ú=:G�@
#?K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
�l$bܾ.,*¸t±£jkö:<Éûg�j
kö<AéØã2jkýþ+ö©è÷# t8Ü
¸t%"<Éuv�jköà�\4�Cã�¡ã2
ýþ+ö$©Aé\4ýþè÷:
L?!ij"2423deg
ú= 67 LZj\4)ûgj�
#0)*0%£® jkx=
<É
ûg
6TDSSHG #?%# $K>?)!&"$ #?%# PSSWV!))JI8TJ98CIHG:FDMVPCGH:E8B)FD9HV)!>&&>>&
6TDSSHG ?&%$ ">#$)@&@% ) PSSWV!))TTT:WPHBH:H;)V8FSTCGH<I8TJ98CIV)
MKLZ ?"@# $K%")$?@K ?"@# PSSW!))CICWS:VHDHH:V[S;:HI;:EJ)$U\P;)G;B8G)
<É
uv
6TDSSHG)MKLZ
""%_$Þ#6%
@&%_?Þ#]%!>&)!>>#6%
$@"@)$@?"#]%!>Þ#6%
$#!Þ#]%PSSW!))C9S:ZEGD:8GM)$TMC8)ICSC)G;BIHES:\DW
6TDSSHG ?")K%PSSWV!))ICSCXHGVH:PCGXCGI:HI;)ICSCVHS:LPSB93WHGVDVSHJS)IbI8De@1"%_#>"%e$3a7*e$3 3Q17O
MKLZ ""Þ ?%)$#! &_&ÞPSSWV!))TTT:IG8WY8L:E8B)VP)>9B<!XH8YI$8UJU)11 +EJ##50(T
-E*-DSB#I%4C3)*))I9b% 2
,+5
<Éûg�YZjköCD5(+4+#ßàá
]\b#@$�EFGH<=$O;YDCMC³B+K!,%Y
Zjkö� ];³B+K?,çàAé6TDSSHG�MKL
Z+ö�jÂjk$jk��ÎD#"Þ��%:<É
uv�YZjkö�v=¡�» 4C³B+KK,ª«
Aé6TDSSHG�MKLZ+ö�Dc<jkö$C
D""%_$Þnã�@&%_?ÞLZ$ÛAq�!>&í
6TDSSHG¸t\4�$@"@íLZ¸t\4��!>
Þ6TDSSHG£®�$#!ÞLZ£®:LKV�$T8J
³B+K#,Aé6TDSSHG�-DJ³B+K&,AéMKLZ+
ö¸t\4jköLéÒÞ:
AéMKLZ¸tjÂ$Ònq�ÃÄ�YZ
jÂjköaCDžD)9:stuv�c\B
ã&'jÂâãäå&ænij|]�Aã¸tj
kÎ#PSSW!))G;B8G:SP;J9W:8GM%+K>,:jk�(�^
_CDìíÖ�!AãcEJ�¸tjkç�&Aã
cEJ�¸t90oà��£®ÀE:���¸t
jkö«ëgIb$%"$$?%6$%"K$K%$½
&@%%@&Ù¸tfg$H¾Ý.ÎØéM:
A!XYmnQ2345#?
<É@A�¸t¹º`ø^_»äLÔ��
I$w�Ô²¸t45�þAã2@A&£®@A&
45@A�×Ø��@«ë�ñ�%&(oà¸
t:H¾±¢<É@A�¸t¹º`ø$�kuv`
ð�ΪÊçb<É@Açú�(Y):`ø�<
É@AéK�`ø:¹kuv@A�ΪÙÊçb
<Éã2@A×Ø�oà`ø�<ÉÜã2×Ø
#h£®×Ø&45×س%�oà`ø"¹k«ëÈ
ÑÙÊçb0¾¹º`ø�Ü0¾¹º`ø:�
ã2ä<É@Açú�(Y):`ø�<É@A
éK�`øÐí¢Iéܾ�LÕEFã�ýþ
¶·:
A><!XYmn@AQopqr#?
<É@A�çú<=2 .,*¸t¹ºcTA
éfg[,A�Øã28¡ã2�(Y):çúµ
4:.(Y):A$çúµ4¡õ£<Éèé8êè
é�):'ø$hä�èa�VWjkAVWwº
°j��X:GS!�l$ �èa�.,*¸t#h
jköG�éê��#uG0�éê%hTVWj
k$À�×Øa�$:ùw�LÕ'øçîâjk$
©nØ0Ê¢£ÉñàèaMG�éê�wº<=
°j$"ù50#u�wº!U:
S!!çú<=wº[þS
.�¸EFA$ÕÉ .,* ¸t¹º�çú<
=��Ö^_CD���íÕ1C!G�ã2�I&
&?K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
jkö×Ø^�&çú'ø^���çúG0éê
ú=:#"%G�ã2�I$h@_$6Ó鹺éêÈ
ѵ4Ðò�Ñ·�@A$çb<Éö�I�¡ã
2G�éê#<Éuv%�<Éý�I�Øã2G�
éê#<Éûg%"#$%jkö×Ø^�$h�0¸t
�°±fg�×Ø�Öä�.|çúYG��×Ø
a�:H¾±¢�×Øa�^_CD@A×Ø&£®
×Ø&de×Ø&45×Ø�ÛL1hî×س"
#@%çú'ø�^_$H¾±¢�çú<=Ê�ç
bÐDú!<Écà�çú`ø#õÁz&ÕÖcà
�öëö³%�<Éï&�çú`ø#ì�íîï&
��a�(³%"#!%çúG0éê$h@_"6ÓÕ
ɹºHèÈѵ4Ðò�Ñ·�@A:éÔçú
µ4$G0éêhîCDÜÝfg)Èjfg$ t)
ܸt$�3¸t)Ü�3¸t³:·J$aáçú
!U�G0:
.çú<=��®ðA$çúY�8I�ÄI
iDþIṦÉG�×Ø�^_:é·$'CVSD998
³B+!!,.éfgÊfI�wºAÀ0<Éûg
�&<É£®�&<É\4��<É45�Òý×
Ø:RC\XDJDCJ³B+?>,À0<É@A�&<Éde
��<É×ÐLZ�×Ø(oà¸t:.ùm�¸
tçúwºEFA$D¡jEFyIw�.·×Ø
À�<ráýþ·��LM$ä�ÀÛçúY�f
ÏÑ:B��t^_CDã2×Ø�`ø�Üã2
×Ø�`ø:
?_"_"!ã2×Ø�`ø
ã2×Ø»1ûgã2@A�søb^�ÕÑ
×Ø&�sò&¥Ìb^�ZÑ×Ø��@Þ«ë�
ñ�q0�M×Ø:.ã�+K%$?#$#%$#",³A$j
Â!U��¬LZûg8uv�CãLZûgöî
�@A×Ø.çúÑ-á¬ÕQÉÛd<É£®&
<Éde8<É45�×Ø:
#"%�søb^�ÕÑ×Ø
�søb^�ÕÑ×Øçî^_CDûgã2
@A��s×Ø&í8×Ø&�Ø�¥Ì×Ø+#$,&<
¶+#@,#4HBHV%×س$G�!�l:ÛA�s×Ø&
í8×Ø��<¶×Ø^_w��Ø�B�ï&ý
þçî#G»òCã�¥í8�Ûíj%:��Ø�
¥Ì×Øçîà»KÒã2fgA|ª¥Ì�æ�
ûª¥Ì�æ�j�$ä�"ÙÏÐã2�¥Ìñ
a:ÛA¥Ì�æöî(� ]8GI*HS+#!,#9ã~�%
� (8T*HS+#?,#Aã~�%:
L@!XYs?Qt]uv@A
×Øú B�@A
�s×Ø áíò'I&�Ñ&D6Êáó³
í8×Ø èCí8×Ø&�¥í8×س
�Ø¥Ì×Ø |ª�ûª¥Ì�æj�³
<¶×Ø »òCãèÌ&»òCãx=³
<ÉÕÑã2×Øçú�(Y):¹º`ø»
*#£É .,* ¸t¹º�±¢`ø$G¸t¹º
�ZLÑEFy'CVSD998³B+!!,2ã2×Øýçb
áíò'I&�síj&»òCãèCí8#µ8&Ì
ô8³%&»òCã�¥í8#Lõ�ö÷³%&B9
¡�#!WB9&!ÔB9&!ìB9%&DÊáóí
j&p�«ë&|ª�æj�&ûª�æj�&»òã
ÃèÌ&»òãÃx=³:·J$6CUCPCVP³B+#K,
pq¸tûg��æç��ܸtfgÃWÐ�ß
à$¶·2¸t�ܸtfg��sç�K!xb
¹º¸t�ã2×ØVW:0CSUDHTDE\³B+#@,àg
£6TDSSHGáÝø¸t@AACã�èÌ&x=�
Àµxbã2×Ø$|] 6G;SP<V<VSHB (¹º
¸t:
¯�áÊn$*#<Éã2×Ø� .,* ¸t
oà^_�ÑÕ�ÕÑ×Øb^:2ú`ø�Øf
ø$Í<�£Éjkc<Ò6$ t\4×Ð#G<
AéÝø¸t&ùú¨©¸t³%«�¹º:¶b$×
Ðú=�¸t\4é«�q0Û\×�ÕÑã2×
Ø:Í�íçú<=�fÏ!�M�ÑÝÎûBü
l:é·$ã2ZÑ×Ø�À�Tb .,*çúEF
A�3CEF`aVW:
#$%�sòb^�ZÑ×Ø
<Ésòb^�ZÑ×Øçî^_Aéûgã
2._Ò×�sòÒ¥ýþ×ØÀ�8wê�l$
ä���ûgã2�ø.sò×Ø&¥Ì×Ø&ûg
ëL1ÕÖ×Ø��Ûdã2×Ø$G�?�l:
LA!XYs_Qw]uv@x#?
×Øú �Ã`ø
_Ò×sò×Ø �ý<=&��de³
¡�I¥Ì×Ø þÿL]YT<=&�a�&¥ÌçúY³
ûgëÕÖ×Ø sòL%Ñ&'
%_Ò×sò×Øçî
éÉ_Ò×sò×Øçî$qÃ`øw±!÷
sø�s³×Ø$w�sò�l):(wê�l
ûgã2$ý���Û_Ò×�sò×Ø:±¢�`
øCD�ý<=+?>$##,&��de<=+KK$#&=&%,³:
�ý<=�<2^7»ÝÐéÉWíã2$!
>?K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
÷Û�³&sø& ø×Ø$<<2Ûcx»WË�
æ�öî#ìã2A�í�æI»\]�%"ý�2
�íã±�lba�RëA�WíØ�a�$ÚB
ÃL%@A�ã±BÃL%�a�+&",:â�söî
A�ØíØ�8¡í3mØ�ÙÊ�lbã2��
ý×Ø$ÛAW"×Ø#;JDMGCB%&Ô"×Ø#YDM=
GCB%�ì"×Ø#SGDMGCB%b±£��ý×Ø:�ý
×Ø.ã2�ÔClm&¥Ìçî³`¥»Wíª
bÃÄ�×Ø:Gã�+?>,2ã2×ØB�ýçb
W"�æ×Ø&Ô"�æ×Ø&W"�Ñ×Ø�Ô"
�Ñ×Ø$06ÒQ�çúwºÄU:ã�+&$,Ú
£�ý<=���dest<=#]8GI$XHE#"%%%
� ]8GI$XHE#!%%%%Ð�ã2�l<=ýþéKº
[$.éMKLZ"%%%%í#W�º[Apq$�ý
<=�"$çú8ÏI%�%�>%e$��des
t<=�"$8ÏI06K%e�á:
��de&.(Y):~�q¿D'$ͯÉ
ÛA«�}îìXjVW^IÒ($ì4ï�B�
��de»WíÑÒ�!.$�B�w#�B�ç
-L)qÄ$¦���*0B�N�+&@,::�$@Þ
&'(uv^I�ó+-ë�ÀÛ$_Ò��de
�jq��TbÊ-$G,���de#0**%)"
|��de#'**%³Îªïð:_Ò��de�À
0»é4ï×Ø^_�À�<ð�£($¶�±£
É9:stuvAã2�sò×Øwê:Gã�
+KK,»Ã×õ£_I):<=¹ºLZ¸t�E
F:<É,���de#0**%�<=LÒÉ<ÉÅ
0Ø�×Ø�Ä():'øÃÒD�¼ý$w�ì
í�Ú£�-.Ø"!SCJP°j&'â#ab
#2,64%�¸ä-.Ø"#Q0/%$):ûgë�Z
Ò�0$KqÃ�¹º`ø06éÛ�fÏI:
'PHJ³B+#&,.·<ráÀ0W�<ÉMN(5
�M=,���de<=$w�䫳ã2A��
ø.s��ñ×Ø(jq*#�¸t¹º:2D³+&!,
à��a�xbG�$¼£"|��de<=
#'**%éÁ$ã2ýþsò×Øwê$ä�£ÉÜ
ÝÁ$�oàEF:_I��de|<`øõ£3
mña��lã2$ãê×Øþÿ�µ4$ì.W
ÐþIá<}B/�^¢<ð$fÏ!¸¸ÒÛ"
Í»â<=XjÒ¡$):+0Ò(ìb_D��
s1Îýþ&':
&¥Ìçî
¥Ìçî?ÇÈÉã2sòçî�W�`ø$
hä¥ÌªÑ��Içîûgã2�sò×Ø:
ɸt.45�þAiDþIá>Æv�¥2¶�
�30$ìLK°¥¥2$40s¥¥2é«]^¸
t45$¶·ã2�¥Ì×Ø?xb3_×ØVW
¿5¡EFy6�¸t¹º�ã2×ØýþEF:
.9:stuvA$¥Ìçî?Ê9bÔClm$¹
klm��IWÚCD7nÒi& WÒi��s
Òi�¥Ìçî:.B�EF`øá$L%Ñ&'&
(Y):³`øÝ»^[$Gã�+&?,g£�a�
&'ã2�æ�¥Ì�v�æ�L%I$ã�+&K,
<É(Y):�¥ÌçúY&'¸tã2�¥Ì
ña:
.çîéêá$LKLZ^�@A�¥Ì×Ø$
.,*å�� p@A�Á$@A�ã2¥Ì×Ø
?8>Õ÷+&K=&#,:Gã�+&K,.9,¾B2¹º�
Xxbçúµ4Ñô�op<rVá$3CÕ÷L
ZÁ$A�¥Ìä?$À02Á$�ÿ�¥Ì°s
ña#Îj°ÓI$<çb°a&A]�sa%xbW
GM�×Ø$£É.,*¸t¹º�çú�XA:B
��t$xy<ɸtLZ�Á$ÿ�áKMwL
ZéñaÉs¥¥Ì�Ýk$À0<É�O×Ø�
çúYéØÙÁ$ýþ¥Ìña�ÃÄoà$ä�
56ÿ�¥Ìña×Ø�:"ù<ÉLZs1Îý
þjÂÂÐ$�¬�À0�M×Ø.qÃ×Ø<r
áéçú!UÃÊÔ�ÀÁ:
'ZÑÕÖçî
éÉLZfgVë�ZÑÕÖEFà^_1û
g�ûgVë�sòÕÖ&¥ÌÕÖ&¥�ÕÖ³ç
î`ø:éÉsòÕÖçî$sòL%Ñ&'»Òb
±¢�`ø$Gã�+&&,ÝkÊÔ²6��:g�
s�sòRë-hT W·��sò×Ø$:ùÚ
£¯Q;8³B+&>,À0�sòã2L%Ñ#,HBCJSDE
6HLS;C9,DBD9CGDS<$,6,%<=À� W�ø.sò$
ä�L|�ÙLZ�ø.a��l#6THHS2CSHJS
7HES8G$627%:,6,»w�èa�ÎÏ(é�íâ
ã2ýþwuv$:ù;Õα£�Ø�$©õ£
63=)a3<ß$"ùÀ�ø.sò$©ïT"%%¢�
ø.sò×Øa�:ã�+>%,À��¸\4�L
ÕÑ&@��J��W�Ñ#hûg@A�Û /02
x=�\4@A�sòL%Ñ$&L%$à&ÎÊ-
»¸t%&¥ÌªÑ��£®Á$A�=>þIfí
ZÑ×Ø:©2<É�áZÑ×Ø.|�çú<=
�<ÉÕÑ×Ø#»òà /02$»òáJ�fg$
»òÃ!Ûd£®×س%.|�çú<=LK$f
ÏÑÀÛ"%_?e$É:!ÀÛ!_#e:
%KK" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
éÉ¥Ì×ØÕÖçî��¥ü×ØÕÖç
î:�Ø�çî`øCDWRJ�ÜRfg$GèÌ
8x=Õ�:ã�+K",À0@AA�ÐíZÑx
=#èÌx=� ]HYx=%(çîBÃÃø.ÕÖ
�ã2fg$hª«ãêWèÌx=8 ]HYx=
�LZã2BÃWÐ�L%Ñ:éb_Ò×�lm
`øàõ£é¸tuv45de|<�`ð$.=
�í\4¸t���íûgÒi��Ò@�ø.
ÕÖ:
ã�+>",�GS?�ÜÝMµjß.|Wí
GSK�<ÉìÒ×�ÊfIde45<=!ûg
Ò#4HVVCMH2C<HG%$WuvÒ#,;Y=HXHJS2C<HG%�
uvÒ#+XHJS=2C<HG%:âìÒÊfIdeÙïT
f�ú=�dex��ä~deÓCVë�ZÑÕ
�$hSKÜ/�l�Ò@x=#ûg6ûg$Wu
v6Wuv%�j/�l�Òëx=#ûg6Wu
v$Wuv6uv%:
“"#$%&'”)*+,-./01
“"#$%&'”)*+,-./01
Sub event-
Sub event-
Sub event-
Sub event-
Sub event-
@zoujiatianyou……����������3456789:;<=>?
@fanhuacheng@AB9CD…
@kuizhoujinrui!"#$%&'()
*+…
…
EF9GH<
IJKLEFMN
OPQRS<TUVR
IJWLXY
S?!Wí<ÉìÒÊfdejß$�$%"@$ÜÝMµ
'4_>"?X@*tA�BC�BDE(bß
!"# $%&# %&#
m1
m2
m3
m4
m5
s1
s2
e1
p(s , e )2 1
h(s , s )2 1
p(s , e )1 1
g(m , s )5 2
g(m , s )4 2
f(m , m )4 1
f(m , m )5 1
f(m , m )3 1
f(m , m )2 1
g(m , s )3 1
g(m , s )2 1
g(m , s )1 1
SK!<ÉìÒ�çÒÊfdewê$*¡�ûg$0¡�W
uv$/¡�uv$b�ñwêSF÷�çx=
ÛAÒ@x=ä~ªWÒi@j�Vë�Õ
�$�Òëx=àä~Òi�ÒiVë�Õ�:é
ÉtÐMµuv�ÛLÕLZ$w��ú'øYT
Wuv$©g£WuvÒG�x�ë�ZÑsòf
g:.jÂ�þA$âãçà<É@A×Ø&<É4
5×Ø�<É£®×ØYTìí\]�<=
!E8JSHJS&!WG8WC&!;VHG$ª«aõ£HI:.(¶î�á
ìí\]<=56Wí¶î<=$"ù.|ÊNñ
�!U:jÂ!U�¬!E8JSHJSQÉÛdÐí\]<
=$ì¶î<=Ñ-"Q:
¶á�·$éûgã2sò×Øçîw�lm
ã2�_Ò×sò×Ø&¥Ì×Ø��ÕÖ×Ø$.
wº�fÏ!áLK<Ésø�ÕÑ×ØÀ�ÃÒ
D�ÀÁ:���de<=b¡�$w�a��ïð
éã2ýþsòwê�×ØÀ�$»'(<É_I
):�¸t¹º�MÍEF`ø:ÍH¾éã2@
A�EF$¡�ûgã22Ú�@Ab^$éûg�
Á$ã2& pã2�sòçî��ÕÖçîÎ=$
2?»'(b_ýW®·½��`:
?_"_$!¡J�fg×Ø`ø
..,*¸t45�þA$¡J�@A#GS
T&]O�NO³³% ¸KØ\�ãáfgéA
«xB÷l$BÃéÓ�Ì�ë�Àêë$,;J³
B+?!,.EFA10&%e�uv¸tICãÃST:
¯·Ê¢..,*¸t¹ºA¡J�@A×Ø»é
ã2@A×Ø�ÃÄÎÏ::�$.ܾ�ÃEF
A$é¡J�fg@A×Ølm_IÎ=$D¡j<
2Ã?#%)"%¡J�xbã2×Ø�ÎÏ+&?$&K$>$,$�
Aé¡J�fg2Úxb¸tJó�¹ºEFàÒ
Þ# Û»AéNO8]Ofg�_Içî%$ßG$
<ÃÞ�AéST×Ø�À�çî+?!$>@,$ì�»g
£ST�@AèÌ8J�no#G½¼xJ%(KÐ
ST@A$�'lmST2Ú�@A×Ø:G,;J
³B+?!,^_EFSãÎí�¸tú=$©10
&%e�uv¸tICãÃST$ìb_ST»Ãä
�$ÛA&Ke�ÜÝSTI»w� p56�:.
B�EFA$��2¸tSçbf�ú=!Ü.û
g&�«ûg&L¼ûg&SãÎíûg$©g£¡J
�×ØA�ST×Ø(¹ºSãÎ��ú�¸t:
B�jq�þA$xy2LZ�STÀE6J�½
¼xJ(¹¼ST0u$G?Û:!Uà�lâL
ZSãLí$òà2�kdF�ÊfI�ü�ST
�p�«ëéam!Uh³Ô³$:ùØ�Ôq«
¾�dF@A$©õ£-CEECGI�j&'LZ@A
�Ø�dF@A�L%Ñ$GUL%àЬâL
Zbܸt$òàhbSãÎ��¸t:Q;WSC³
"KK"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
B+>@,à»�=é,CJI<MÆ#ë 6TDSSHGá45
�ÜÝSTýþ¹º$Í⹺`øÝ»w�çà
À�ûg�ã2×Ø�£®×Ø$:ùÚ£õÁz
çúYýþéK¹º$EF!Upq@A×Ø.ç
úwºÜÝSTnã�ÄU¬ÕQÉ£®×Ø:ý
W®�$ã�+>!,À0äST�NÏ×Ø�ï&
×ØÐí�IoàSTúÜÝMµ:ÛA$NÏ×Ø
CDSN�ÅOI&L%Ñ&W�Ñ&¡SÑ&�új
Pí×Ø"ï&×ØCDuvMµASNíj&Cã
SN�ÎCãSNLZ�K!&SNj��nãj
�Kß³Qí×Ø:jÂ�¬$�±¢�<f×ØL
K$SN×Ø.�úçúYáI�5éQ�¹º
ÄU:
¯�áçîÊn$¡J�@A���Tb¸t
45�þAÎÊ���W�ç$:�ܾ<É¡J
�×عº¸t�EFÃ+çRU$ì^_�q.
Ð`¥!ÃÄ$ܾEFÛ:j°6STJ�èÌ
�Sã�#$fg$ÍÈ°g£�ÃÄfg�3Î
=:ujá$WT£®á4�ST»CãÃD�"j
kfg�!�Tè4&)a&UV«ë&UV�C��
UVy�LÕíBfg³+>?,:Û×$ܾEFA<
É¡J�@A�_IlmÒbW¢$h'Ú£LÕ
�¡J�@Auv%&oàÛ@.sò×Ø:¶·$
.'(EFA$b_ýW®Ïç�2¡J�èÌ@A
��¡J�sòlm%&¢£6¸t¹ºEFA:
?_"_@!£®þb×Ø`ø
<É£®þb×Ø� .,*¸t¹º`øWÚ
CDfgp�yþb×Øçî&fg4-yþb×
Øçî&fg=+yþb×Øçî���í£®V
ë�E1þb×Øçîf�ú=:
éÉfgp�yþb×Øçî$w±�½ö£
®$Æ«ë@�pã�& p�&Õ÷j�&PQj
���pãÖ±<ð³×Øxbñà¹k$2?»
�ÃEFA"±Õ÷�£®þb×Ø!h¸tp�
y�þb×Ø:Gã�+>K,w�oàª�£®(¹
º6TDSSHGá�Ýø¸t$ _CD£®óô»ò
Cãª�Õ1�&£®"Mp��"%%7nãA»
òCãª�Õ1���£®PQ³Ûd±¢£®×
Ø:â`ø�@ä.ÉB�kÐXj�¹¦ÑÒÓ:
jÂ�¬!Ϊjkö&Ϊú=¸t�"$cà»
Ϊ�:¶·éÉtÐ�MjköÊ-?ø5nX
Ëcà»"Q�:Û×$Ú£ª�Õ1�oàª�£
®.âã�Ýø¸tjk¹ºAÄUÒQ$Í.Û
dú=¸tAª�£®ÎWÐÚ£ª�Õ1�:
éÉfg4-yþb×Øçî$WÚ� p£
®�þb×Ðb¹k$G p£®�ÈÑ×Ø#PQ
�&Õ÷j³%& p£®�Ö±<ð³:w±<É4
-y�þb×Øçî?¿9b<É45×Øçî$
hçî<É p��ïT�45!.:ã�+!K,w
�é¸t45c��çî$¬Ï10¸t�ܸ
t.45�þA$ py<ð�ßà! tw±¯M
w£®p�$:ù¿l¢~B p$"ù;¿D�M
w£® p:�ܸtàw±¯l¢~Bp�$:ù
�=¿Mw£® p:.B�EFA$xy2 py
þb×Ø�fgp�yþb×Ø&ûg@A×ØL
!î$g£Yî,74 çúY(wº¸t:
éÉfg=+yþb×Øçî$WÚ�£®�
Á$þbbË�C(À�3_×Øýþñà:Gã
�+K$,�¯ÉZ©¥¦�£®�:¢þb(oàM
KLZ¸t:w�À�£®� p�Á$ã2×Ø$
:ùýþ�úçî(ÂÐ×Øö^_�ÃÄÑ$"
ùõ£(Y):çú%&jq¸t¹º:jÂpq$
.�Í¿Nb'¿�ü£�&èCí8��WË�
0Bå�¢¥Ì��s8í8.¹ºApc3_
x£:
éÉ£®Vë�E1þb×Øçî:ujá$é
¡�£®þb×Øçî»À�£®þb<ð�E1
<ð�¶î×Ø:Gã�+>#,¹kLZp�y�L
Z[\y�`£®�×Ø|]¸t¹ºçúY:
À0ßàÉ�¸EF�PíM×Ø$B�CD<
ÉLZp�y�@íþb×Ø!6��]Õ÷j�
#ÿÕ÷j�)÷^]j%&6��]pã�&p��
×ÐLZL%�Båj�#ãnÝk¸tÿ»äÞ
jqrWíB40(�$�°±fgàÊ-áí
ûg�%$�<ÉLZ=+�$íþb×Ø!¿oÁ
$j�_K& °Á$j�#,PDGCD³B+>&,10
"!_#e �B8(..pq¸tù\�«�p�¶
¸fg%$jÂ!U�¬M^�×Ø.¸t¹ºAÄ
UÕp:
¸t�45»Wí�a��þ$.�í¸tf
g45Y¾xáó.! tYby& t4-y#
py%& t=>y& tçôy#¶¸y%³Îª£
®::�.�ÃEFA^_Õ÷C.¸tYbyþ
b×Øá$�ujá$ t4-yþb& t=>y
þbISãÃD�ÃÄ�ø.fg£É¸t¹º:
GáãÀ6�¸t pyþb×C& t=>y�
:¢þb×C��Ôy�E1þb×C³:¶·$.
'(EFA$é¸t45A£®þb�EFb_ý
$KK" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
W®¶îYby&4-y�=>yìy�þb×C
�ÛE1×C:
?_"_!!«ëÈÑ×Ø�`ø
@Þ«ë�n/$ t�45<ð��ÃÄ�
¹ºf8×ØIÊ-pY�ñ+>>,:��Ã�EFD
¡jI»<ÉWí�lkÐ�ØíÔ²a¨$äW
í>ÐÔ²C�5�!U¸¸���lWÚ�¸t
45<ð:é·$ã�+K#,2£®$!.$st�«ë
×Ø©¥!î$çîä¸t45�¾ì]6$Ð
í%$.Ϊ«ëa¨á$ tçú¹º��qK
6:ï&çîpq$!.�«ë×Ø.'#a¨Aß
çÄUÒQ$Í.b�45ýÆλiv7:LKV
�$£®�st×Ø.45b�ýÆA«�5$?»
¸tb�45ýƹº�eQ1è: ·Ê¢$«ë
ÈÑ×Øé¸t¹º�3_Ñ:ujá$0¾wº»
ܾ.,*¸t¹º¥¦�3_+,VW$B�6
jZEFµ4A$.,*¸t¹º�0¾Ñ^_ÃÐ
DÖ�!%éj«�[jkýþ¹º$& é«�f
g&£®8de!.<=ýþ¹º:AéÖ�%$-
.�(c$È°lòá<É0¾[jk�¸t¹º
ÒÞõ£<É@Açú�(Y):`ø$¶bâ`
øb_WÐj��b�jkýþVW`-E0º
[:é·$ã�+$,w�]�fg�Ê«Ñ�£®¾
IÐDúM×Ø$çàé��Ϊj�j«jk
#?Ù&"%%Ù�!%%Ù%��Ϊ«ëÿ¶ù#"6«
ù$"$6«ù$#$6«ù%�çúfÏ!ýþéK$
EFpq$@Þ«ë�n/$Ê�5�b�jk&
¡$çú�fÏ!&Û:
AéÖ�&$ T8J³B+"%%,Ã×10¸t4
5�þA«ëÈÑ�3_Ñ$©À0nãj�@
«ë�ñ�«ë³´}î<=$jÂÕl-��é
Q�¹ºÄU:·ù$4C³B+"%",. T8J³BE
F�<ráýW®F¤@«ë�ñ�×Øöî$
g£0¾«ë³´(Ô²cE¥ü×Ø@«ë��
ñ$B�CD@«ë�ñ�ã2×Ø&£®×Ø�4
5×Ø$"ùg£<É0¾«ë³´�,74 çú
Yçà.6TDSSHGjkö�MKLZjköá�5
ÒQ�¹º!U:
¯É¸t�¹º¸¸b_¹¦ÉWÐ�\4&
de<=³J.¶�$È°lòáM�Ñ�<=i
�jq:¶·.Ú£(Y):çú`ø«$bÃÄo
à¸t$b_WÐ��VWö(VW<=$�2?T
b¸tj«¹º���VW: ·Ê¢$<É(Yç
ú�¸t¹º£É:;ѹº�ÄU»"Q�$w
�]�WÐ�«ëÈѼýù�<=?Ê£É*#
¹º#Gã�+"%",Ú£�<É0¾«ë³´�
,74 çú<=%$ÍÝTi�jqj«¹º:éj«
¸t�¹ºab¹¦�ã#$�<É@AéK�
`ø:
?_"_?!�vEÐ×Ø�`ø
WÚ�$.¸t45�þAó.ì�ú=��
vEÐ×Ø!45de�.�C& tuvpY�C
��fgp�y�C#8fg45yp�ûg��
C%:.©GΪ�ß�.,*de#G 6TDSSHG�M
KLZ%A$ûg�45×Ø��B��fgþb`
ðIÃWÐ��Ö$¶·¸t45deRë?\�
�¹ºÑ-:é·$ã�+"%$, �(9©º»Î
ª�`pY�cí¸thT�jÂjkö$.|
Wí�^4?Õ�¸tçúY$:�çúÄU©Î
v7:jÂÕl! toà�D¡j×Øç�»<É
×Ð���$�uvpY��C#Ϊ78&Ϊc
\å�&Ϊãñ×Ø%ð6Õ1Ñx£:¶·$.
'(¸t¹º<=A$¢.Ϊde��A&Ϊú
=�jköáýþº[$�MÐ<=�qjÊ£Ñ:
ª«$ tuvpY��)ú?\��¸t�
45:Gã�+!>,À0<ÉuvpYEÐ��û
gp�U®��ÐíMÜã2×Ø:<ÉuvpY
EÐ�×Ø»1ûgÀ�uv�pY�C$ãAç
b7@�7JÐ�ú=:<ÉU®��×Ø»1£
®p�ûg«�Ú£�U®�$çbç-U®��
Üç-U®�:jÂpq! tfgéñaÉÚ£d
dp�$ì¸tfg�q�uv��C¡.7@:"
ù$xy2EÐ×Ø�U®�×Ø!î<Éûg&�
®�45�ìú×Ø#½&">í%VW 0 3Å°j
�,74 çúY(oà¸t$�5ÒQ�ÄU:
éÉfgp�yEÐ×Ø$@Þ ]HY$_%�E
ÐÌn%&�p¤$c\dee5B�fJ�g]
«ëh��vEÐxbèÌ$Úá4�ãv8p�
�@AéA«�k«Rfgýþ½P�½¼+"%@,:
ßG$39DEUGáÃ%�!%%%ÞT�T&5CJ8GCBD8
áÃ%�!%%ÞT�TI»I»Ã�vEÐèa
�$2ËÊ�YZiµ��TÎ<Cã#$��v
fg$�ìa40��B¨)ü�B�¥Ì�Ô
C+"%!,:2Ëè̪BíÑñ$Õ±¢��qÐE
#G>?&'j³%$aÊ-CãÃ-#&]k&L(X
j$qr£®íB�Æ¥³:¢£.¸t¹ºA$f
gp�yܾ�ß�EÐ8Ûp�ûg�B�EÐ
��p�yEÐ�¸tuvEÐ�)ú+$,I»�5
@KK"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
Õ÷�3_fg:é·$ã�+"%?,pq£®p�y
�EÐfg.Ýøuv`¥éÛd£®�ÊfI
ÌnÃÒD���$Í»B�G���$ãn�'
Ь:
�vEÐ×Øb .,*¸t¹ºÀeWíM
�ÃÄf8×Ø$ ÛAé£pÑ9:¤¥8c\
3Du¦bY�¸t$fgp�yEÐ�uvpY
EÐTb¸toà�3_×Ø:H¾éEÐfg�
lm¡@äÉ<É 2 ,%&�J�èÌÐEfg$
ujá$£®á4�STÈÑfg?\CãÛûg
p��EÐfg$ÍH¾�'ÃEFÏçg£2W
ÃÄfg$ ·ýW®À¬¡J�fgé¸t¹º
�3_Ñ:
A>=!XYmn`OQ45#?
<É@AéK�¹º`øw�^�WíÊfI
�n�éêxbØÙ¸tfg8¸t´·�K�é
ê$ä�06éü�fgýþñà�H�:B�éK
`øCD��n�¸tfgýþéK8��n�°
±fgýþéK:
?_$_"!��n¸tfgéK�`ø
��n¸tfgýþéK�`øb^���¹
ºã2\4LÕ��n¸tfg$CD�k¤`¶
¸(.p��¸tfg|]�¸tÎ8�n¸t�
@A<ð8£®þb<ð$©�kâ<ðxbX�
éêýþKé:
#"%��n¸ts1Î��éK:â`øw±
¹¦ÉÅ�8ê90|]�¸ts1Î$b_B]
ÎØ�éM�¢N+"%K,:Gã�+"%#,w��,J8WHV
á�Y��¸tfgýþ��$(¹º$%"K$?7
ÿï^l#ëÕÉÐE�^B�¸t:.B�EF
Aõ£"±¢���ã2��'øýþéKº
[!<É 63=)a3�ã±L%I&'& 4$?'ø&
_I):A��a�<=#<ÉØ�� ]8GI$7HE
<=�<ÉÆm�a8E$7HE<=%���v��`
ø$ÛA¾f�w�2ã2 ñbj�a�ýþ�
�$"ù<É�v���`øÈ»<ÉÕ1���
�<ð$"ù!UÕl 4$?'øÄU"Q::�$
<É�n¸tã2���`øÃÐí¬Õ���!
no¥Ãäìó.WÐ�«pÑ:WÚ¸t(Ã.
45WÆ«ëìbYWÐ��ùN\xðLÕ
¶¸(.�÷l$:ùýþÂÐ�¹º:¶·$<ð
���éK`øéb±¢$ _ä¸tûg8ܸ
tûg�ûg@Aã2<ð&ûg45<ð��£
®þb<ð³`¥�Å$�FÔyVë��ÖÑ$©
�·b¹kýþéK��:
#$%ûgã2<ð��éK:w�çî©À�
0¸tã2ßàÉ°±ã2�Õp×Ø:EF"¡
�¸tã2<𻯠4CGEH98³B+?%,À0�¿o&
q̳Õ1�×Ø$xy10¸tûgK°±ûg
w±éA«>6B��¿o$¶·éÉûgã2A
0q��¿oLÕ�×Ø�»¹º¸t�3_f8
×Ø:<É�á^7$ã�+"%&,g£<ÉqÌÕ1
����`ðÀ0'aHBCSSHG(�ï(¹º�3¸
t:â�ï�¹º�þçbìíýÆ!ÃÄ$dõ£
4H'CY#-ãï¾çîY%ä�¹º�ã2AÀ�Õ
1�":ù¹¼CãâÕ1��nã©2Ûó+b�
ÂÐnãfg$GU¹¼!UÎ/$2w�¬ÞÕ1
�(FD¹¼Á÷�6��=/�LÕnãbç:"
ù$aHBCSSHG�ïw�&'�ÂÐnãfgAãÃ
qÌnã�Kß(ñØ¿¹ºã2»òb¸t$G
'IHBCM8M;HG<(&'FC9VHDJF8GBCSD8J(&'MCVH8;V(³$
â`ø�Tr.É?ø¹º6Ü�¸¸t:×à
�$ܪÃ=/j��LÕnã«$�ï2G0
'ÎÊñÐ(:
·J$2��Ø�Õ1���ó.sòTr$ª
Ãj°ªò�³sòL%ѵ4:é·$Ê�õ£½
q&2�8�ú³`ðôõsò��µ4:�ã2f
8×Ø<ðéKú%$ã�+??,2LZfgACã
£®oµ�`°�fgxb¸t�f8×Ø$©k
&éb©¥�°à�0ð(ýþ��#G�K�
l%:B����þGS#!éÉ+ö56�jk$�
f8×ØçbVDMJC9STHHSV�J8J=VDMJC9STHHSVÐ
íöî:w�2VDMJC9STHHSV�ú©À�0LÕ�
´·öî$:ù;2V�J8J=VDMJC9STHHSVýþ�
�$"ù2��TÀ�J8J=VDMJC9STHHSV.�L¢
�´·öî$©é2Ë´·öîÔ³xbø.¸t
öî:Í»$©Ü�Ãó.¿o�fgI»¸t$¶
·âã©'t0"Ù�¸t¹º!U$(»t0
ø.�¸töîxbeXj��^G:âú<ɸ
tã23_f8×Ø#GqÌ�æ%�¹º`ø�8
ÏIÒÛ$Í»É:!w±Òi$¶baó.ÎÞÎ
CãÃGqÌ�æ³ã2f8×Ø�¸t:
LB!23yBuvz{L|}
°à�0ð ú=
)V#SPCS+SPDV+DS%SG;H ¿o
]P+C,,S+35,+3",, ¿o
#GHC93+GHC99<3+;JE8JFDGBHI% ¿o
#G;B8G+IHY;JU% `°
#SPCS+SPDV+DS%DVJ8SSG;H `°
!KK" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
&'()
2. !&'(),-./01
&'()1
3. 2/01345
"#
6789
!"#
1. :;&'()
&'()1<"#
=>89
%��'&()
4. !"#$%&'()*+
?@ABC%&'
()
5./01DE
S#!f8nã�Üf8nã��`ø
#@%ûg45<ð��éK:w�wê¸tf
g45de�°±fg45deýþéKçî$ä
�oà0¸t:ã�+?&,2¸t¹º ñbWí¸
tfg45de�Èjfg45de��éK�µ
4$©2¸tÐòbCãÕÉHuv8uj��
3fg�[þLZ:.<=.|A$Þ3j°£®�
pþb$©wê0VWGHCIHG�VSDF9HGÐú£®
VWGHCIHG1ÊËäÕ÷yu+6ûgùýþ p�
£®$VSDF9HGà1ÊËäÕ÷yu+6ûgùÎý
þ p�£®:xyÝk£®=>LZfgù p
�ò�å!Î<¹¦ã2×Ø$a¹¦£®×Ð�
ÈÑ$G$s&zP)ü³:<É�áÝk$xyAé
¸t¹º$õ£Ö¿£®�Ø|]Èjfg45
<=�¸tfg45<=:Èjfg45<=ÃÐ
íÅƶ�!!W$£® pLZña�£®�Íì
í% pLZj��Û_KLÕ:!Ô$£®Õ÷B
å�ú=éûgÈjÑÃ��: tfg45<=!
Õ�¸EFA±£�w£×Ø$aõ£�#�×
Ø~·£®Çàfg�-ë:.B�jÂ�þA$é
É�WíVWGHCIHG8VSDF9HG£®$ÃÄôîd�4
5de$:ùçà&'Û�Èjfg45<=�¸
tfg45<=�L%ÑJ)�J"$=ÞKÒÔy
�D6ä�ñØâfgb¸ta»Èjfg:
LC!E~+AD,��uv��
É8 ×Ø É8 ×Ø É8 ×Ø
&" $s!! &K LZ³i &"" »òbLZð8
&$ ÷^«ë &# �½]j &"$ zP)ü
&@ PQj� && ft5ç &"@ »òÃíBdF
&! Õ÷j� &> èÌj� &"! �x~·
&? QSj� &"% »òb7)5 &"? íB~·
#!%£®þb<ð��éK:ã�+!&,2£®
¾I�45!.<ð!î$Aéj«jk[���
(¹º¸t:�kã�+"%>,�ã�+""%,À0�±
¢LZ�I!.×Ø#GS&%$10Õ<2�Ð
C�I!.$6$#,@%� 6!#,!%»"±¢�òi!
.$©22Ðí<2!.xbûg[�WS!.:ª
«$xy2£®�¾IxbèÌ<¡45!.A�
�íÓC©��S>�ðó+:.EF�þA$G�
éêbB!b0/"$/"$/@$12�JEb0;"$;"$;@$12=
ÛA�Ù�/CãÐíÓC��45�«ë©Ðò
b/b6(VSCG$(HJI$,-*/7$WS<ð;çbu=#,@%�
/=#,!%Ð�<ð$�S"%bß�ÐíWSÊÐò
G�!;b0>!,+)>$(G88S=%+K/%b:BFL$(9HFS=%+K/%b
!4JJM.E$(GDMPS=%+K/%bN4B!E'MF2�;b0>J+,#>$
(G88S=%+K/%b!4JJM.E$(;W=%+K/%b!4JJM.E$
(I8TJ=%+K/%b:BFL2=w�G����ÎØéMÎ
Ïfg45<ð$"ù<É 63=)a3À�0¸tf
g[A"±¢�45<ð$ä�£É��¹º¸t=
T1 T2 T3 T4 T5 T6
S1 S2 S3 S4 S5 S6 S7
!"#$
S&!LZ45�±¢�I!.
NodeID Support_in Support_out Deny_in Deny_out Question_in Question_out
S>!ÓCfgó+�ð
!"
#$
%&
S"%!Ðí¸t<ð�ßW
?_$_$!��n�°±fgéK�`ø
��n�¤`fgýþ��b^���¹ºã
2\4LÕ8Cãâ\4��Ðjfg:WÚ�t$
EFy\^�¤`dF#GMKMµ&½ÚMµ³d
F%�MµfgxbÊffg$:ùw�^4w�ý
þ��¹º:Gã�+?@,À0Ýk!6TDSSHGá�Â
Ð�¤`Mµ�8�fgK'�ÂÐ�Mw£®�
fgéÊf:xy<É2WÝkõ�GS""�l
���[þ!ÃÄÚ£^4èÌ2j«�C\4�
�nã�ú$:ù��nã�(�#�ÂÐ�¤`M
µ�®8'�ÂÐ��®%çbÐú$=Þõ£sò
�¥Ì&'(KÒCãªW^4$(9Ϊú=�
®nã���¥¦$"ù2Î��!�Ûɲ��
\4è÷b¸t:â`øjq�þ�Ø$-ÃÄ�o
à0ø.¸t$Í»8fÑoàÄUÎv7:
?KK"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
!"#"#
$%&'()*+,-
!"
./01234567
" !6 89:7;()<=>?@
89:<=>?@567A
89BC?@567A
DE123%&567 CFGHIJKL/
M$%&5DE1267
LM$%&'
S""!��ÐjûgéK�¸t¹º[þS
A>?!�!F
¶á�·$<Éçú(Y):`ø-/¥a¸
tjkö�¡í×Ø$BÃÒÛ�8ÏI$Í2Ë×
ØD¡j(-.¿£®D� pù�¸túp#8
ûü#N-��:¶·$.jZ¥¦A$2�`ø?
ø�«ÃÄ�v5¸tÊ-bY�Îec\��:
<É@AéK�`ø-ÃÄ�ôõ¹º«ÄÑ�µ
4$ìLéçú`øÊwxÑéÓ$Íâ`ø¡<É
ØW8Þ��ÈÑ×Ø$.¹º�8fIá�5y
x$Û¹º�!Ué¡�»yo¸tûg:
B!XY01FGQ23l45#?
¸t¹º�"ÙH�»�«©ÃÄ�zØ'�
Ðjûg�45$�çÛÊ-bY�Îec\��:
ÛA$ t��oà�45rÕ3_$d-ÃÄ��
6¸t45��!�.$©-"ÛÄ�45ÛýW
®45:<Éde!.�¸t¹º�¯É¸t��
¹º$ìÇÈÉfg�nص4$d�S�ïðwê
�~·c\de�I!.$ª«wê0fg.c\
deA�45<=$:ù¹kÌ�45WSô�.
|¸t�ÓCÂ&Y$ä�ÚÂ&�fÏ!"D:
.<Éde!.�¸t�¹º<=A$Ðí
ÃÄb_�Å�<2<=ç໸tfg45<
=�fgde<=:éɸtfg45<=$Õ
2ã$_$_"Ó10,)&,),�,)0ìD4�ö<=$
añ¢�\]iÖ<=#)JIHWHJIHJS'CVECIH
48IH9%+""", � / Ñ ² � < = #2DJHCG 6PGHVP89I
48IH9%+""$,
:éÉfgde<=$Bá�Ñ�<=
^_CDcàde&@(de&6º»de&?èI
de�jZde$ÛAcàde»EFy�Ã^�
fgde<=:
.B�oàéêá$ t��¹ºçbظt
�¹º�¡¸t�¹º:ظt�¹º»¸t�¹
ºµ4��ñïð$?»EFy�Õ÷�¯C:�¡
¸t��¹º?w±Ê� ñbé¡íظt��
¹º$Gã�+""@,AÀ0.jZ¢£A$ tÿ»
úp9WíÓCöå$ ¡í¸t�p0:ÛA^i
¸t�»Wú^_�¸t�ÓC�ÓC$¶bÛB
Ã{D���ë8#$�3=Ñ�Tb"3_��
ÓC$¶·¡�¹ºµ4Ê� ñbé^i¸t�
ÓC�¹º:.B��¹º`øá$<Éde!.�
¸t�¹º^_çb<É45WSô��¹º`ø
�<É�|Ô²C�¹º`ø:
B><!XYM��>��Q45#?
<É45WSô��¹º`ø»1w�W×8
¡×��©�8�çÓC»ò+6¸tûg#h»
òTbÌ�ÓC%��¾WS$:ùéHWde�I
ÈÑI�×ØÂ&$;n'0deA"DÊ-Tb
¸t��ÓC$2?»H¾Õɸt�¹º"±¢
�`ø:ÛA45WS�de�IÈÑI�×Ø�
,PCP�OCBCJ³B+""!,À0�¸tAÆÑ#G;B8G
EHJSGC9DS<%"b±¢$h<Éhîj"D%:Â&
��CÂ&�:·JaCD45¦»�}å!&<}
Ì���³Ûd45WS¹º`ø:
éɸtAÆÑ�À0$¢<ÑEFTU�É
,PCP�OCBCJ³B+""?,��x:��Ýk�íÓC
»¸t��å!Lª$:ù�kdeAÔ²6�Ì
�ÓChT�45WS(&'äܾÓC6Ûd�
Ì�ÓC���Ùj����0q�å!$ä�|
]%:°j:"ù$çà&'�íÓC�"D%:Â
&�$ÛA"D%:Â&�"D�ÓChbde�
fg�:.·�þA$��Aé¸t�¹ºÀ0W
ípq��IÈÑI�1è! tAÆÑ: tAÆ
Ñ»Wí'Sçj(°j$�2de@#A$B%#@ bc
\de$A ¡�deA�ÓC$B ¡�deA��%
xbG�$©Ýk�íÓCb�ÓC«$ �ÓC6
"ùÌ�ÓChT���³´�j�b�íÓC�
5ç�h¸tAÆÑ$ÛA5ç"Û�ÓChb¸
t�$Ù9b¸tAÆ= tAÆÑ�YðñïðG
�ð#@%!
.#1$@%bA 5
-G"A
E1G
#@%
KKK" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
ÛAE1G�lWzE
1GA«Ì�ÓC�íj$GS"$
�l$û1bÓC"$à+A+b?$Wz�c<çàb
E""b?$E
"$b@$E
"@bE
"!bE
"?b"= ·ÊnÓC"
�¸tAÆÑ!.#"$@%b&$ªv .#$$@%b"$$
.#@$@%b$$.#!$@%b@$.#?$@%b@=¶·$ÓC$
b�nØ0�¸t�=.jZ&'�þA$éÉWí
BÃ(íÓC�WÚz@($Ê�Ú£Wíûg4-
'ø&'@(A�ÃÓC�¸tAÆÑ0.7#0$@(%$
!"@(2$ì��IbM#(%$ tAÆÑ"D�ÓC
hb¸tAÆ=
S"$!¸tAÆÑ&'jß
·J$,PCP³Ba�kde�I!.éde!
.ýþSç$çà|].°àz&WÚz�WÚS
A�%:°j$Ú�À0�'øéBM�Ñ+""K,:Í
â`ø�Tr?Õ�«¢$ _CD!% EFÝk
Ê�W×Ô²6�ídeAÌ�ÓC�45!.
S$Í.qj¥¦A$ �i�W×Ô²6�íde
��¾$ìW×ÑÔ²6�deÌ��¾ÎWл
Èj�Ì��¾$ó.�çÓC¿Ì�Í'¿�0
0(�¥¦"&EFÝk�íÓC»¸t��å!
»Lª�$:�ujá(Ã�çÓCNÊ-»¸t
�"'â`ø»<É9¾de¹º�$'j°«ë
ÈÑ×Ø"(â`øÝk¸t45<ó.ØW�¸
t�$'j°¡¸t��¥¦") â`øw±Ýk
®Ò�de45<=»>Ð?�n�$DD�ä5
Û¢£Ëw:�áµ4?»¸t�¹ºEF�þ
A�íÕ1Ñ�ÅƵ4$.ùm�EFA$.�®
��¼�¼ý:
Aéµ4%:H¾�ÃÐ�ôõ`~!!W$
ñb<É¡×\]fg�45�þÔ²�Øí¸
t�¹ºµ4$©õ£Wí<ÉÖî¸tAÆÑ
#;JD8JG;B8GEHJSGC9DS<%�ïWnvop+""#,:!
Ô$Ýk�íÌ�ÓCI�W�å!¿Ô²6#hj
°6ÓC¿Ì�ͪ�00(�¥¦%$:ùg£�
çÊÔ²6�ÓCfg(nº¸t�+""&,:�áÐ
�`~w�x�¡S2Ô²�å!�`ðÏçg£
�Ã�9¯I$��ØWS2#hW×ÑÔ²%
��Ô²6�íde�¾���$ÍÝó.WÐ�
@äÑ:éÉ`øW$Û:¹ºfÏI@ÞÔºS2
j�deÓC�I¬]�¬]$h#$�3wÑ�
¡SÑIÊ�¬]¹º�Ñ-:Í@ÞÔº×j�
¬¡�deÓCI�¬]$&'�«ë�RëZ�
?@V¬]:éÉ`øÔ$EFpqéÉcàz$Ü
;Dɲ�«$ tAÆÑÂ&Y¹ºÑ-%aÉ
�n·�Ì�ÓCfg¥¦��"Q¹ºÑ-"é
É��z$.��;&%�¥¦�$Â&Y<2-j
q;b"¥¦��¹ºÑ-"Í»²��QñÝ»
�5Bù6m�#�µ4:
Aéµ4&:WÚ(À.?ÄÂno�¥¦
�Ýk�íÓCTb¸t��å!Lª�Ýk-
ÒQ��ñ<=$ÍjZ¥¦A$ �¸¸-w�
WÐ�ÄÂnoÏÐ�çÓCéÊ-»¸t�:K
Gc\deAftÒi�ÓCéÊ-45¸t:é
·$ã�+"">,À0@�¸tAÆÑ#98EC9G;B8G
EHJSGC9DS<%�åæ#h.Ib"�±cz�Ãä��
$ß�AÔ²(íÌ�ÓC��Â&Y�°Ï¹º
å!%$(EF.,)<=�ÜÃyoBÓCöî�
ÄÂno�>Ì�ÓCô�¥¦��Øfg¸t�
¹ºµ4: ·Ên$ÃÕyoÓC�ÄÂnob¸
t�¹ºµ4x�M�^�$ýW®¬6¹º
�þA�&'Z�":�$ÕÉyoÓC�ÄÂno
¸¸¶Îª¥¦�Ö$¡j¥¦�ÝT¹¦Éð8
�^Ô�Â$鹺!UÃWÐ���:·J$yo
ÓC�Ϊ3=<ð?\��6¹º�Ñ-:
Aéµ4':H¾�Ã�¸t�¹º`øw±
b_de�I!.#Gzï!.A%$ÓC�ÓCV
ë�>Ð3=$�f¹ºyÊ��ÞÏÐ�x=z
;6¸t�#hz���%$�á�þÏ繦É9
¾de: É0¾j«deÔ²�þ���Ñ�Î
ÏÐÑ$b¬Þ¹º�b�&'Z�$H¾�Ã�ô
õ`~ÃÐú!!W$ë=ø:2Ì�ÓC�«³f
gxbWíM�9¯I(ÀeéfϹº¸t��
Ê-$hõ£Ì�ÓC�Äù�³(¡�Ì�«.$
©�2ËÊ�ä?Ì��³��Ì�ÓC9Vb
'�ÓC(+""@,:Í.Ϊ�jZ¥¦A$Ê��Ì�
«³fg�'�ÓC(.�Ì�ÓCA�_K��
'�ÓC(Vë�x=Õ�I2�=��6¸t�°
Ϲº�å!:!Ô$�=ø: É�=¹º3mÑ
0¾de×Ø+,ÒD$é·$ã�+"$%,w�x�
«ë|ça¨2«�de ñbW�´9¾de$
:ùõ£äa45Á÷(1ÐWhÈj¸t(��
yo�$ä�ýW®a6¹ºËw�&'Z�:Íâ
`ø»<Éúû«ë��îa¨$.H�lòáÎ
#KK"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
'�é�«�de¹º:¶·$'(é3m«ëa¨
A�¸t�¹º2\»WíM�^��`a: �
áÊ�c0$<É45WSô��¹º`øhÚ¼
ýù$ÝÒ�È°ü=Èjj«0¾deA�¸t
�¹º$2?»â`ø�TrVW:
Aéµ4(À0�¡¸t�¥¦:.jZ¥¦
A$ t�bY¸¸Ã¡í�©$GÃÕ(2fgÊ
-äΪ�(�¿��$@V�bY�¸t?Ê
-09Ϊ�(�:éÉ¡¸t�¹º$D¡jEF
I.ØW¸t�¹º�<rág£çß�^7(¹
º¡¸t�$ìÝk¡í¸t�I».ªW«ëZ
�Fû�:hÃÄéÌ�deýþçß$:ù.�í
ß@ç๺Wí¸t�+"$"="$$,:Íâçß`ø�
��?Õ�«¢!ÃÄ$(9Ϊ¸t��¿Ì�Ó
CÊ-\î©$©@V.Ϊ�çß\]�Ì�F
û$ì<Éçß�^7iÊ-|�⥦¿¹ºb
Ðí\]�¸t�:Û×$Ϊ�¸t�Ê-.Ϊ
�«ëZ�Ì�Fû$.¹º�þA¢j°2�j
Z�¦��ÖÑ:j°6�í¸t�.Ϊ«ëZ
�Ì��¡¸t�¹ºµ4$ã�+"$@,g£no�
^7¡�çß�^7$e5ç�tΪÌ���
Ì�ß�Vë�3�3�#GS"@�l%$©x�
3AÆ#PHCX<EHJSHG%�åæ(~·ÜÌ�»�'
n�^!ÏЫ$¿ØíÌ��Ì��WS:
S"@!çß^7�no^7Vë�ßàllS#Ýk1�
5»¸t�:çß^7# %t0¯þ%ç³�Ðíß
�":�$¬Õ¿1Ì���ç.¹ºA¿ç�t
5:GU.5�ß�A¢£Ø�¹º'ø$à�5�
Â&EÐÊ�äÛÈjEÐ/065h:�no^7
#µ%e53�$ª«ÏMß�¿'°Ï�(ç�tÐ
íÓC1#_�Cß�%�5#Ñ�Cß�%%
Aéµ4)$ܾ<É45WSô��¹º`
øw±Ýkde®Ò�45<=»�n?>Ð�$
G±Ú£�,)<=&,)0<=³$8çàj°Îª
45<=��¹º`ø:Í.jZ¥¦A$oà°Ï
�45<=ÿ»b_WÐ�ÄÂno$ßG$i�b
M�¸t^_�Ü�45<=$·J$i�.wÄ^
_�®Ò45<=A��Xj�Èj�:�áID
D�ä5â`ø�¢£Ëw$¶·$.ÎÅ�<r
45<=�¥¦�¹º¸t�»+ç,_?ÃWÐ
+,Ñ�µ4:é·$éã�+"$!,À0�©£0
#V8;GEHWG8BDJHJEH%�^7#h¿ÒDKß>Ì�
ÓCCw�ÓCéÃÊ-»¸t�%$W`¥$.>
Ì��ß��}$ÓC¸¸Ì�ÒÞ��>:�W`
¥$.Ì�ß��AÆ$ÓC¸¸Ãé¡�Ì��
>:=Þ$xyÀ0<ÉèÌ45��èo#25=
,)%�¡�¹º`ø$©.qjjkö��jÂá
Ьâ`ø�ÃÄÑ�ÛÄÑ:Û:â�£0�
^7ÝÃWÐ�TrÑ$GΪ«ëZ�Ì��¸
t�$ùFû�ÓC"w>Ì��ÓC?Ê-ÒÞ:
Íw��áçî`�ÝÊ�c0$�0>Ð45<
=5��op$À0éBM�¢�¡�¹º`ø»
'(¸t�¹º�3_%&VW:
Õ¸tAÆÑ!î"D%:Â&(ÐE¸
t��`ø$Ûd`ø$ßG<ÉSïAÆÑ�
#MGCWP=EHJSGC9DS<%I�`ø?ÃLÕEF$Gã�
+"$?,À0)úAÆÑ#aDVSCJEH'HJSGC9DS<%�å
æ$Ób.fg45WSA$6ÛdÓC�)úV�
"6�ÓC»de�fg�C:ã�+"$K,àÀ0
«=�Ñ#1EEHVVDYD9DS<%�åæ$2«=�Ñ"D�
ÓCÐEbde�fg�:ã�+"$#,Ðò¸t4
5�»å!$.Ì�45WS�ô�A$w���4
5�»�}å!"D�ÓC(ÐE¸t�C:Í2
ú<ÉSïAÆÑI��¹º`ø¸¸b_·��
45WS$2é«�c\deÒ�jq:ª«â`ø
.¡�¹º`¥?ó.WÐ�@äÑ$ÎgÉjZ
bÑ�ü=:
B>=!XY����Q45#?
.K_"Ó<É45WSô��¹º`øA�À
�¯É.,*de�c<{Dì��$45SAÓ
C�ÈjÌ��¾»i�·����:ª«$.
.,*deA$ É�íÓC�3_þI»Îª�$
GUédeA��ÃÓCIýþEF&,\¬]?
��&'Z�:¶·$éÉtÐ�de$.Îôd
eÓCÌ��¾�ÓCÕ��¥¦�$Ê�^�
��j��3_EÐ�ÓCxb�íde�Ô²
CýþEF:<É�|ÓC�¹º`ø°»¹k2
W^7$.c\deA�|��ԲC#8YVHGXHG
J8IHV%89èºY#B8JDS8GJ8IHV%(amd�Ã×
+6�>ÓCpH(�ûg«�«ë�`a$:ù
w�ï&&'nØ0ܾde�¸t�:
ßG$.GS"!�l�¸t45de@ A$.
&KK" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
'n«ë,b,, «$fg�0, Z�Ì�Fû$ÛAj
/�l�Ì��}=SAó.$"&$$&$@ìíÔ²C$
Û^_x£»Ô².�«äXí�>ÓCu=+f
g©ýþam$ä�¹k2Ëam�ï&fgÂ&
de@AXíÓC»fg�=
!"#
$%&
v2
v1
v4
v5
v3
tv o2 1,
tv o3 2,
tv o4 3,
tv o5 3,
tv o1 1,
o1
o3
o2
S*
S"!!<É�|Ô²C��lSá�fg�Â&
<É�|ÓC�¹º`ø.B�wx�þA^
_Cãìí®ð!�|Ô²C$Â'fg�$"ù2
Â&�"D��^�xbܾde�¸t�+"$&,=
B�[þGS"?�l=
!"#$%&'()!*+
)!*+#$%,-
$.)!*+#$%
/)!*+0123456
789:+
S"?!<É�|ÓCÈÑI��¸t�ÐE®ð
â`ø�Ééfg��nØEF$ã�+"$>,
w�.deAþÿ��|Þ��Ô²C$��Ô²
Cam�45fg$:ù&'deA�ÓC»Èj
fg��å!$ä�jqfg��ÐE=.é¸t
�¹º�jZ¢£A$ã�+"@%,éK�úAÆÑ
I��Ô²C^�`ø$©2Ô²Cçb|ªÔ
²C#58VDSDXH.YVHGXHG%�ûªÔ²C#*HMCSDXH
.YVHGXHG%Ðú$:ùçà&'�ÓC62ÐúÔ²
C�Ê�Ñ#0HCEPCYD9DS<%�)ú#aDVSCJEH%$ý�
ïTÐí1è!���öîD6#QGHHI<,8;GEH,HS
,D\H$Q,,,%���fg45�"D)ú#4CLDBC9
aDVSCJEH8FQGHHI<)JF8GBCSD8J5G8WCMCSD8J$4aQ)5%$
"ù!î2Ðí1è$w���'ø(ÐE¸t�:
�ã�+"@",àõ£\]iÖ<=(.=c\deA
�fg45$©Ðò¸t��#G;B8GZ;CJSDFDHG%$
hWí<Éå!�j�$£ÉÔ´ÓC2Tb¸t
��Ê-Ñ:·«$xyÝk!iÖéÊ-ä¸t�
456|ª�Ô²C#h=+6ûg�Ì�C%$�
Î�Ê-456ûª�Ô²C:jÂ�¬$ÜÃîv
j��Ô²C«$xyw�ÊF¤�0,a'ø(&
'�íÓC�¸t��$-ÃÄ�oà0¸t�:ã
�+"@$,ä�íÔ²C(änfg60ÛdÓC�
«ë$:ù&'¡íÔ²Cän�50«ë��`
�$"6�`��é¢�ÓChbfg�:
¯�ᶷÊn$<É�|Ô²C�`ø<b
_���ԲC�45fg$�?b���
íde45�¾$.jZ¢£A�ÊþÑÒÛ:Í
»$â`ø¹º�fÏI�'øZ��õÉÔ²C
.deA��|�EÐ�j�:é·$EFy�0T
�½o».deAéfg45��ë&D�ÓC$
Û.fg45�þA=+¸tfg�Ê-Ñ&D$
am�¸t45fg?&ÃÄ:.H¾�LÕEF
A$AÆÑ»deÓC3_þI�WíÃÄI�1
è+"@@,$B�CDIAÆÑI�#aHMGHH'HJSGC9DS<%$
ójAÆÑI�#HSTHHJJHVV'HJSGC9DS<%�Z2Ñ
AÆÑI�#'98VHJHVV'HJSGC9DS<%:ÓC�IAÆ
Ñ1âÓC��>ÓCíj$ _~·ÓC.de
AbY��=��:Z2AÆÑ1âÓC�deA
ÛdÓC)ú�äK$�&D$à�¬âÓC�Ûd
ÓC&$:ójAÆÑ1deAÐÐÓCë�"â
����âÓC�×j$ _~·ÓC.defg
[0A�3_Ñ:
ã�+"@!,.Ô²Céfg�ÐEfÏ!��
�EFA$<ÉÓC�AÆÑI�çîK�±¢
��|Á÷éÐEfÏÑ���$hI&ój&�ú
�j&×Øa�&I<Å�@(Á÷$pq2��Á÷
éÐEfÏ!���<2Lª""ùxyÀ0<
É)no!�Ô²C�|Á÷$�Ô²C!î�)
no!bHè°j$jq)no!QÄÔ²C^�
'ø=.H¾<ÉÔ²C�|�¸t�¹º�±¢Á
÷A$ _�I�ójÐíI�1è>¡+"@%$"@@$"@?,=
Gã�+"@%,çàKÒ@(Ñ�&Ô²C�L1
)ú#)JSHG=48JDS8GaDVSCJEH$aDVS%&ÓC��j�
#*;BYHG8F)JE8BDJM+IMHV$*)%&*)� aDVS�h
î$ójAÆÑ #HSTHHJJHVV'HJSGC9DS<$'%$'
�aDVS�hî$½��AÆÑKÒ`ø^_�|�
Ô²C:
B>?!�!F
��á$<É45WSô��¹º`ø�<É
>KK"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
�|Ô²C�¹º`øQ��Ö:<É45WSô
��¹º`øÛ-ÃÄ�ÐE¸t�$ÍÛ¸¸b
_¸tÌ��þAD�&0¾�Ì�de�I!.
�¾S#G�íde�Ì��¾&¡×Ô²�Ì�d
eô�&ÓCÌ��¾ÊÔ²�å!³%$ìâ`ø
¸¸»<É9¾�de�IS$¹º�«ÄÑ�0
¾ÑÒ�:¶·.ܾDc<0¾�c\dejZ
¢£A�IÒD:�W`¥$<É�|Ô²CÈÑI
��¹º`ø$?b���íde�Ì��¾$<b
þÿ�|�Ô²C��Ûä?fg$¶·deQ�
&'Z�Ò6$ͻԲCj��EÐ�îv�|
ݻܾEFA�ÅÆ+,:
C!��������
@Þ./c\de�º^p¤$£®c<ÎØ
FD$4ï .,* ¸t¹º%&¥¦ÞWËM�+
,$ª«?b .,* ¸t¹º%&�p¤L¬M
�Ùv�(¡:é·$�ã2óô .,*¸t¹º%
&'(¥¦�+,���5ýW®Õ÷8�#�
µ4:
#"%0¾oà
¯É¸tÑ·�ÎÏÐÑ\@Þ«ë�n/�
¼�$·.ÎÏÐ�ujiÊ-.WÆ«ëù56
Ðj: ·Ê¢¸t©ÜWTÎ��$HW«ëÆ�
¸t¹º!U?Î-o�Ð$:¶·éÉä�Ѹ
t$Î-·©¹¦�¸tnoÎéK�¹º`ø:ª
«$£pÑuv#G9:¤¥&c\3Du¦% t�
ø.()ëD$��$¦�b_�«ÃÄ�¹ºÅ
Æ:�Í�EFA$¡»<É�¨¸tjkö8»9
¾de�IÕ��EF$ Û.¸t�¹ºEFA$
éÉ�k«ë�ñ�«�de��¸t�nص4
EFÎ=:¶·$G�g£./(Y):&«ë³´
<=³0¾wº<=uv .,*¸t45�þA�
��"G�g£[jké .,*¸t£®þb|<"
G�EF«�de�I!.Õ�� .,*¸t45
<=I»�5Bù6mlm�µ4:
#$%Dc<ç�ð¹º
H¾.,*¸t¹º^_�¯.<=�fÏÑ
á$jÂjk¡����Þià�6jkb^"Íq
jc\debY�jkc<�£®c<+ç{D$
¤��jktqÃ�&'(��!.�'øA(
{D�+,$qÃ<='ø.Dc<&'��
«ë�RëZ��:Tb���µ4:¶·$'(
¸t¹º'ø.Dc<&'����Ä!Ã�ý
W®ÀÁ:
#@%Î6Ojkö
qÃEFA$jÂjköA¸t�ܸtjk
öi¡b"f"$8ܸtjk�¡É¸tjk$2»
ÎíîjZ .,* ¸t45�¦�:qj .,* A$
¸tfgÄÞÉ°±fg$ t45å�j�?Ä
ÞÉ°±£®j�$»v=�Î6Ojköçúµ
4+"@K,:é·$ã�+"@#,EF�¬$Î6Ojkö�
Î6OþI&åæ��I��VWjkc<³¶�
\é4ïçú'øÑ-bYÒD���:¶·�Ã
�5¡(Y):<=$.jZ¹º�þA$iÊ-¯
ɸtfgRëAY�ÞD��°±fg$ä�<³
Ûçú�»$|�çúfÏ!Òi: ·Ê¢$.'(
<Éçú�¸t¹º`øEFA$Êg£,4.6++"@&,
³õS`ø��¸tjköA�úëç�$82¡�
fg]�64ïçú'øA$ä�2�Ãçú'øé
¼b¡� Ì):'ø#'8VS,HJVDSDXH2HCGJDJM$
',2%+"@>,$h.<=.|�þAj°�íúà��
3çú¡�»Îª�$ä�ÀÛ¸tú�oàf
Ï!:
#!% tfg45�Ö.Ñ
¸t45�þA�Ö.Ñ�q.ìí`¥:Ã
ĸtfgBÃÖ.Ñ$¡ÙfgÊ-(9Ϊ�
¸t�$©ìΪ�(�VëWÚó.¡¢8îx
�Õ�+"!%,$�H¾EF�ظt�EF>¡:!
Ô$ t45<=?BÃÖ.Ñ$Ϊ�¸tfgÊ
-õ�Ϊ�45<=�(5"ªW¸tfg�4
5(5?Ê-@Þ«ë0¾�ñ+"!",$�H¾EF
�zï45!.>¡:!ì$ t45deBÃÖ.
Ñ$fgÊ-\.Ϊ�de8y67Aª«ýþ
45$ßGHÙfgÊ-.MKLZ&£¤LZ&L
fRS¥³Îª67ª«45:¶·$'(EFA$
b_22ËΪ�I�Ö.Ѷîj°$ýþ_�
�EF:
#?% tfg45�ÕÖÑ
xb.,*5¥45�W�$.,* ¸t.45
�þA©Ü¦]�$ tVë�ÕÖqêM§ó.:
HWà¸tÍð«$ ¸\w�½ª^�8½ª^
4ÕÖÛd¸t$G¨z�£¸t�©ª�£¸t:
2WÕÖ}CDØW�CuvA�¸tö$?CD
¡í�CuvVë�¸tö:�.H¾EFA$�W
%#K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
à¸t45de&�WíÓCI»¦]ó.�$ª-
j°¸t45�þA�«îÑ&ÕÖÑ×Ø��d
eAL�ÓC�¡íÓC¬Vë�îx�çP:¶
·G�Ð��çî¸t45Vë�ÕÖÑ&ÓCV
ë�îx�½P$ý�éQ�1|¸t¹º`ø�
j£Ñ$»WíÃ�6m_��µ4:
#K%¡J�¸tfg¹º
¡J�fg#ST&NO&]O%�Tb .,*¸
t45�þA3_�ÎÏfg$qrTb¸t^�
@A:ܾ$ÎÞ¸t(9ÉéSN�5,&]O8N
O�I�îT:H¾EFA^_�¸tã2fg
b^$Þ�EFyg£SN�èÌ�J�no(Ü
R¸t¹º$�éNO&]Oúfg�lm+çW
¢:¶·$2ST&]O�NOuv%&îv�¼£
6¸t¹ºA»'(EF�ÙW%&:
D!F�s
./c\de¸t¹º»c\de&fg45
³EF~���Cµ4$@Þ./c\deMÍ\
4¹º&45wº�fgÊfIwº%&�ÎØp
¤$âµ4W�>6EFB]��Õ÷:Aé2W
EF�C$2ãÃÄ®v./c\de¸t�<
2åæ�2¿×C$:ùçî./c\de¸t
¹ºEFAHè&éê�«ëÈÑìí¢Iá��
ÖÑ$©Ñ·./c\de¸tjkõö�è÷
�Ϊ`ø:=Þ$2ãéΪúà�./c\de
¸tfg¹º`ø�./c\de¸t�¹º`ø
ýþ_�çî�KÒ$©çà10d��Q&&Î
=�Û�£ûü:"ù$2ã#$ܾ./c\d
e¸t¹º~�¥¦�+,�'(Ê-�EF
`a:
äܾ�EF%&(c$./c\de¸t¹
º�oà�®ä9¾�$«p�$6c<���Ø�
�a0¾�&j«�&Dc<��¡�� �:2�
�_Ñùm<=�&'Ä!éÛ$ÊF¤ÑéQ$
ßGÊ�g£ØW<=�î¡�¸tjký�jq
8f�oà:Ü:$./c\de�¸toà<=a
¢â�kB��¢£ûü_���Ä!�fÏ!V
ë�Õ�$ª«.×Ð����x�WÐ��Bb
_�$ýW®�¬]è4�fÏÑ��«ÄÑ:2ã
¯u.éܾ./c\de¸t¹º`øýþ¶·
�<rá$tùmLÕ~��EFy�L¢�Xj$
½ªn0./c\de¸t¹º<=�p¤�
Qñ:
� � E ~
+", .*GHD99<6:]PCSDV]HY$:%!aHVDMJWCSSHGJVCJIY;VDJHVV
B8IH9VF8GSPHJHLSMHJHGCSD8J8FV8FSTCGH:,8EDC9,EDHJEH
+9HESG8JDE5;Y9DVPDJM$$%%#$>###%!$?@=$?>
+$, 2D;A$*8;GYCUPVP1$2DR$HSC9:0HC9=SDBHG;B8GIHY;JUDJM
8J6TDSSHG))5G8EHHIDJMV8FSPH$!SP1'4)JSHGJCSD8JC98J
'8JFHGHJEH8J)JF8GBCSD8J CJI J8T9HIMH 4CJCMHBHJS:
4H9Y8;GJH$1;VSGC9DC$$%"?!"&K#="&#%
+@, 6GDWCSP<0 4$ CMEPD1$4HPSC,:1 VS;I<8FG;B8G
E8JSG89VSGCSHMDHV8JV8EDC9JHST8GUV))5G8EHHIDJMV8FSPH
">SP 1'4 )JSHGJCSD8JC9 '8JFHGHJEH 8J )JF8GBCSD8J CJI
J8T9HIMH 4CJCMHBHJS:68G8JS8$'CJCIC$$%"%!"&"#=
"&$%
+!, ]CVVHGBCJ,$3C;VS`:,8EDC9*HST8GU1JC9<VDV!4HSP8IV
CJI1WW9DECSD8JV:.LF8GI$+JM9CJI!'CBYGDIMH/JDXHGVDS<
5GHVV$">>!
+?, (;NCJ=2D:0HVHCGEP8J H<6HEPJ898MDHV8F5;Y9DE.WDJD8J
+X89;SD8JDJ.J9DJH,8EDC9*HST8GUV+5P:a:IDVVHGSCSD8J,:
*CSD8JC9/JDXHGVDS<8FaHFHJVH6HEPJ898M<$'PCJMVPC$$%""
#DJ'PDJHVH%
#î°±:./c\deA�5$�ñÕ1%&EF+Z[)
E$ã,:7�;%D)$'²$$%""%
+K, 4DV98XH1$4CGE8J4$Q;BBCID`5$HSC9:4HCV;GHBHJS
CJICJC9<VDV8F8J9DJHV8EDC9JHST8GUV))5G8EHHIDJMV8FSPH
#SP1'4,)Q'.44 '8JFHGHJEH8J)JSHGJHS4HCV;GHBHJS:
'C9DF8GJDC$/,1$$%%#!$>=!$
+#, GHDMHG0 2:6PHI;C9DS<8FWHGV8JVCJIMG8;WV:,8EDC9
38GEHV$">#!$?@#$%!"&"=">%
+&, QCGS8J2$(C<SP8GJSPTCDSH'$]H99BCJ :,S;I<DJM8J9DJH
V8EDC9JHST8GUV:-8;GJC98F'8BW;SHG=4HIDCSHI'8BB;JDECSD8J$
">>#$@#"%!#?="%K
+>, A; H$OPCJM,CD$'PHJ (C8$2D(CD=6C8:4HCV;GHBHJS
CJICJC9<VDV8F8J9DJHV8EDC9JHST8GUV:'PDJHVH-8;GJC98F
'8BW;SHGV$$%"!$@##"%!"K?="&&#DJ'PDJHVH%
#³´$Tµ$´¶$·¤¸:./c\de�º��çî:
&'()*$$%"!$@##"%!"K?="&&%
+"%, a8J8XCJ5:(8TDI9HDVDI9HSC9U3 .JHP;JIGHI<HCGV8F
G;B8GGHVHCGEP:aD8MHJHV$$%%#$?!#"%!?>=&$
+"", JCWW0(:1WV<EP898M<8FG;B8G:5;Y9DE.WDJD8JR;CGSHG9<$
">!!$&#"%!$$=@#
+"$, 199W8GSQ ]$58VSBCJ 2:6PH 5V<EP898M< 8F 0;B8G:
.LF8GI$/ !(HJG<(89S$">!#
+"@, 5HSHGV8J]1$QDVS*5:0;B8GCJIW;Y9DE8WDJD8J:1BHGDECJ
-8;GJC98F,8ED898M<$">?"$?##$%!"?>="K#
+"!, ,PDY;SCJD6:)BWG8XDVHI *HTV!1 ,8ED898MDEC9,S;I< 8F
0;B8G:.LF8GI$/ ! 8YYV=4HGGD99$">KK
"#K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
+"?, CWFHGHG-*:0;BH;GV!2H59;V7DH;L4HIDCI;48JIH#DJ
3GHJEP%:5CGDV$3GCJEH!2H,H;D9+IDSD8JV$">&#
+"K, 48GDJ+:0;B8;GDJ.G9HCJV:*HT N8GU$/,1!5CJSPH8J
88UV$">#"!""
+"#, 08VJ8T 0 2:0;B8GCVE8BB;JDECSD8J!1 E8JSHLS;C9DVS
CWWG8CEP:-8;GJC98F'8BB;JDECSD8J$">&&$@&#"%!"$=$&
+"&, aD38J\8 *$ 8GIDC 5: 0;B8G 5V<EP898M<!,8EDC9 CJI
.GMCJD\CSD8JC91WWG8CEPHV:]CVPDJMS8J$/,1!1BHGDECJ
5V<EP898MDEC91VV8EDCSD8J$$%%#
+">, 'PHJA;H<5DJM:0;B8GV8F5V<EP898M<:6CDTCJ$'PDJC!
1GSVCJI2DSHGCS;GH,HGDHV+IDS8GDC9aHWCGSBHJS$">@>#DJ
'PDJHVH%
# ÇÈ: t�Æv:7¹$A7!ºã»¼ÉI�$">@>%
+$%, 199W8GSQ ]$58VSBCJ2:1JCJC9<VDV8FG;B8G:5;Y9DE
.WDJD8JR;CGSHG9<$">!K$"%#!%!?%"=?"#
+$", -;JM'Q:'8JSGDY;SD8JS8SPHWV<EP898M<8FG;B8;G:)JIDCJC
1VV8EDCSD8JF8G (HC9SP 5P<VDEC9+I;ECSD8J 0HEGHCSD8J i
aCJEH-8;GJC9$">%>$"&#"%!"=$K
+$$, 8GIDC5$aD38J\8*:5G8Y9HBV89XDJMDJV8EDC9DJSHGCESD8JV
8JSPH)JSHGJHS!0;B8GCVV8EDC9E8MJDSD8J:,8EDC95V<EP898M<
R;CGSHG9<$$%%!$K##"%!@@=!>
+$@, (;N;:6PH+FFHES8F4CVV'8BB;JDECSD8J!5G8Y9HBVCJI
'8;JSHGBHCV;GHV: HD[DJM!ADJP;C5;Y9DVPDJM(8;VH$$%%%
#DJ'PDJHVH%
#îï:D�45ÄU!µ4�éÁ:>?!M¾01c$
$%%%%
+$!, ,;IY;G<1:6PHWG8W8GSD8J8FSPHW8W;9CSD8JJHXHGPHCGDJMC
G;B8;G:-8;GJC98F1WW9DHI5G8YCYD9DS<$">&?$$$#$%!!!@=
!!K
+$?, (;G9H<4$-CE8YVQ$QD9YHGS4:6PHYCVDE,)B8IH9:*HT
aDGHESD8JVF8G6HCEPDJMCJI2HCGJDJM$%%K$"%K#K%!""=$$
+$K, 5CVS8G=,CS8GGCV0$7HVWDMJCJD1:+WDIHBDEI<JCBDEVCJI
HJIHBDEVSCSHVDJE8BW9HL JHST8GUV:5P<VDEC90HXDHT +
,SCSDVSDEC9*8J9DJHCGi ,8FS4CSSHG5P<VDEV$$%%"$K@#K%!
"@&="?&
+$#, 48GHJ8 N$5CVS8G=,CS8GGCV 0$7HVWDMJCJD 1:+WDIHBDE
8;SYGHCUVDJE8BW9HLPHSHG8MHJH8;VJHST8GUV:6PH+;G8WHCJ
5P<VDEC9-8;GJC9 $$%%$$$K#!%!?$"=?$>
+$&, AD8JM3$2D;N$OPCJMO$HSC9:1JDJF8GBCSD8JIDFF;VD8J
B8IH9YCVHI 8J GHSTHHSDJM BHEPCJDVB F8G 8J9DJH V8EDC9
BHIDC:5P<VDEV2HSSHGV1$$%"$$@#K#@%%!$"%@=$"%&
+$>, OPC82$]CJM-$'PHJ N$HSC9:,)(0G;B8GVWGHCIDJM
B8IH9DJV8EDC9JHST8GUV:5P<VDEC1!,SCSDVSDEC94HEPCJDEV
CJI)SV1WW9DECSD8JV$$%"$$@>"##%!$!!!=$!?@
+@%, CTCEPD`$,HUD4$N8VPDIC($HSC9:1G;B8GSGCJVBDVVD8J
B8IH9TDSPXCGD8;VE8JSCESDJSHGCESD8JV:-8;GJC98F6PH8GHSDEC9
D898M<$$%%&$$?@#"%!??=K%
+@", OPC82$';D($RD;A$HSC9:,)0G;B8GVWGHCIDJMB8IH9DJ
SPHJHTBHIDCCMH:5P<VDEC1!,SCSDVSDEC94HEPCJDEVCJI)SV
1WW9DECSD8JV$$%"@$@>$#!%!>>?="%%@
+@$, 08VPCJD3$*CDBDN:+FFHESV8FIHMGHH<YDCVHISGCJVBDVVD8J
GCSHCJIJ8J9DJHCGDJFHESDXDS<8JG;B8GVWGHCIDJMDJE8BW9HL
V8EDC9JHST8GUV:5P<VDEC90HXDHT+$$%"$$&?#@%!%@K"%>
+@@, aC9H<a-$ HJIC99aQ:,S8EPCVSDEG;B8;GV:)41-8;GJC9
8F1WW9DHI4CSPHBCSDEV$">K?$"#"%!!$=??
+@!, A;CJ(;D=N;$OPCJM3C:'8BW9HL,<VSHB,DB;9CSD8JCJI
1WW9DECSD8J: HD[DJM!6VDJMP;C /JDXHGVDS<5GHVV$$%%&#DJ
'PDJHVH%
#½è¨$Tp:���ï¾È�¢£:>?!žD)01
c$$%%&%
+@?, 8GIDC5$08VJ8T02:0;B8GGHVSVS8WV8JSPHDJF8GBCSD8J
PDMPTC<SGCJVBDVVD8JWCSSHGJVDJCE8BW;SHG=BHIDCSHIG;B8G
EPCDJ:(;BCJ'8BB;JDECSD8J0HVHCGEP$">>&$$?#$%!"K@=
"#>
+@K, OP8;N;=RD8JM:1,S;I<8JSPH.J9DJH0;B8GVDJ'8JSHBW8GCG<
'PDJHVH,8EDHS<: HD[DJM!6PH'8BBHGEDC95GHVV$$%"$#DJ
'PDJHVH%
#"./:Ü¡A7c\�de¸tEF:>?!yXK¼
¿$$%"$%
+@#, 2CVVTH99(a:6PHVSG;ES;GHCJIF;JESD8J8FE8BB;JDECSD8J
DJV8EDHS<:'8BB;JDECSD8J6PH8G<CJI0HVHCGEP$$%%#$$!
#&%!$"?=$$&
+@&, 48RDCJ$NCJM H:.XHGXDHT8F]HYVWCBBHGIHSHESD8J:
-8;GJC98F,8FSTCGH$$%"!$$?##%!"?%?="?$K#DJ'PDJHVH%
#ÀÁ$ÂÃ:deKLoàEF:Äv)*$$%"!$$?##%!
"?%?="?$K%
+@>, 4;GBCJJ 1 -:+JPCJEDJM ,WCBBHG aHSHESD8JDJ .J9DJH
,8EDC9*HST8GUVTDSP6G;VS=CVHI4HSGDEV+4:,:IDVVHGSCSD8J,:
,CJ-8VH,SCSH/JDXHGVDS<$,CJ-8VH$/,1$$%%>
+!%, *HU8XHH4$48GHJ8N$DCJE8JDQ$HSC9:6PH8G<8FG;B8;G
VWGHCIDJMDJE8BW9HLV8EDC9JHST8GUV:5P<VDEC1!,SCSDVSDEC9
4HEPCJDEVCJI)SV1WW9DECSD8JV$$%%#$@#!#"%!!?#=!#%
+!", 4HS\MHG4-$39CJCMDJ1-$+<C9`$HSC9:'GHIDYD9DS<F8GSPH
$"VSEHJS;G<!)JSHMGCSDJMWHGVWHESDXHV8JV8;GEH$BHVVCMH$
CJIBHIDCEGHIDYD9DS<DJSPHE8JSHBW8GCG<BHIDCHJXDG8JBHJS:
1JJC9V8FSPH)JSHGJCSD8JC9 '8BB;JDECSD8J 1VV8EDCSD8J$
$%%@$$##"%!$>@=@@?
+!$, ,;JVSHDJ'0:.J0;B8GV!(8T3C9VHP88IV,WGHCI$]P<
]H H9DHXH6PHB$CJI]PCS'CJYHa8JH:5GDJEHS8J$/,1!
5GDJEHS8J/JDXHGVDS<5GHVV$$%"!
+!@, RDJN$];G\HGa$2CXGHJU87$HSC9:,W8SSDJM0;B8GVXDC
*8XH9S<aHSHESD8J:CGADXWGHWGDJSCGADX!"K"":%K@$$$$%"K
+!!, 'CVSD998'$4HJI8\C4$58Y9HSH :)JF8GBCSD8JEGHIDYD9DS<8J
6TDSSHG))5G8EHHIDJMV8FSPH$%SP)JSHGJCSD8JC9'8JFHGHJEH8J
]8G9I]DIH]HY:(<IHGCYCI$)JIDC$$%""!K#?=K&!
+!?, 'PHJ]$NH8'`$2C;'6$HSC9: HPCXD8GIHXDCSD8J!1J
CJ8BC9<IHSHESD8JXDHT8FG;B8GWGHHBWSD8J))5G8EHHIDJMV8F
SPH $%"K )+++ #SP 1JJ;C9 )JF8GBCSD8J 6HEPJ898M<$
+9HESG8JDEVCJI48YD9H'8BB;JDECSD8J'8JFHGHJEH:7CJE8;XHG$
'CJCIC$$%"K!"=#
$#K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
+!K, ];`$NCJM,$OP;` R:3C9VHG;B8GVIHSHESD8J8J,DJC
]HDY8Y<WG8WCMCSD8JVSG;ES;GHV))5G8EHHIDJMV8FSPH$%"?
)+++@"VS)JSHGJCSD8JC9'8JFHGHJEH8J aCSC+JMDJHHGDJM:
,H8;9$ 8GHC$$%"?!K?"=KK$
+!#, .UC\CUD*$*CYHVPDBC`$]CSCJCYH`$HSC9:+LSGCESDJMCJI
CMMGHMCSDJMFC9VHDJF8GBCSD8JFG8B 4DEG8Y98MV))5G8EHHIDJMV
8FSPH]8GUVP8W8J2CJM;CMH5G8EHVVDJMCJI'GDVDV)JF8GBCSD8J:
*CM8<C$-CWCJ$$%"@!@K=!@
+!&, ]CJM,$6HGCJ86:aHSHESDJMG;B8GWCSSHGJVDJVSGHCBDJM
V8EDC9BHIDC)))5G8EHHIDJMV8FSPH$%"?)+++)JSHGJCSD8JC9
'8JFHGHJEH8J DMaCSC:,CJSC'9CGC$'CJCIC$$%"?!$#%>=
$#"?
+!>, NCJM3$2D;N$N;A$HSC9:1;S8BCSDEIHSHESD8J8FG;B8G
8J,DJC]HDY8))5G8EHHIDJMV8FSPH1'4,)Q aa]8GUVP8W
8J4DJDJMaCSC,HBCJSDEV: HD[DJM$'PDJC$$%"$!"@
+?%, 4HJI8\C4$58Y9HSH $'CVSD998':6TDSSHG;JIHGEGDVDV!'CJ
THSG;VSTPCSTH063))5G8EHHIDJMV8FSPH"VS]8GUVP8W8J
,8EDC94HIDC1JC9<SDEV:]CVPDJMS8J$/,1$$%"%!#"=#>
+?", NCJMN`$*D;`$(HOR:+LW98DSDJMSPHS8W898M<WG8WHGS<8F
V8EDC9JHST8GUF8GG;B8GIHSHESD8J))5G8EHHIDJMV8FSPH"$SP
)JSHGJCSD8JC9-8DJS '8JFHGHJEH 8J '8BW;SHG ,EDHJEHCJI
,8FSTCGH+JMDJHHGDJM:,8JMUP9C$6PCD9CJI$$%"?!!"=!K
+?$, 2DCJM'$2D; O$,;J 4:+LWHGSFDJIDJMF8G 4DEG8Y98M
BDVDJF8GBCSD8J DIHJSDFDECSD8J))5G8EHHIDJMV 8F SPH $!SP
)JSHGJCSD8JC9 '8JFHGHJEH 8J '8BW;SCSD8JC9 2DJM;DVSDEV:
4;BYCD$)JIDC$$%"$!#%@=#"$
+?@, -CDJ,$,PCGBC7$ C;VPC90:68TCGIVC;S8BCSHIGHC9=SDBH
IHSHESD8J8FBDVDJF8GBCSD8J8J6TDSSHG))5G8EHHIDJMV8FSPH
$%"K)JSHGJCSD8JC9'8JFHGHJEH8J 1IXCJEHVDJ'8BW;SDJM$
'8BB;JDECSD8JVCJI)JF8GBCSDEV:-CDW;G$0C[CVSPCJ$$%"K!
$%"?=$%$%
+?!, ,;J,$2D;($(H-$HSC9:aHSHESDJMHXHJSG;B8GV8J,DJC
]HDY8C;S8BCSDEC99<))5G8EHHIDJMV8FSPH]HY6HEPJ898MDHV
CJI1WW9DECSD8JV!"?SP1VDC=5CEDFDE ]HY'8JFHGHJEH:,<IJH<$
1;VSGC9DC$$%"@!"$%="@"
+??, OPC8O$0HVJDEU5$4HDR:+JZ;DGDJMBDJIV!+CG9<IHSHESD8J8F
G;B8GVDJV8EDC9BHIDCFG8BHJZ;DG<W8VSV))5G8EHHIDJMV8F
SPH$!SP)JSHGJCSD8JC9'8JFHGHJEH8J ]8G9I ]DIH ]HY:
398GHJEH$)SC9<$$%"?!"@>?="!%?
+?K, NCJM($OP8JM-$(Ca$HSC9:0;B8GWG8WCMCSD8JIHSHESD8J
V<VSHB DJ V8EDC9 JHST8GU VHGXDEHV))5G8EHHIDJMV 8F SPH
)JSHGJCSD8JC9'8JFHGHJEH8J'8BW;SCSD8JC9,8EDC9*HST8GUV:
(8'PD4DJP'DS<$7DHSJCB$$%"K!&K=>&
+?#, NCJMO$]CJM'$OPCJM3$HSC9:+BHGMDJMG;B8GDIHJSDFDECSD8J
F8GV8EDC9BHIDCTDSPP8SS8WDEIHSHESD8J))5G8EHHIDJMV8FSPH
"$SP]HY)JF8GBCSD8J,<VSHBCJI1WW9DECSD8J'8JFHGHJEH:
-DJCJ$'PDJC$$%"?!?@=?&
+?&, 2D;N$A;,$68;GCVVDQ:aHSHESDJMG;B8GVSPG8;MPB8IH9DJM
DJF8GBCSD8J WG8WCMCSD8J JHST8GUV DJ C V8EDC9 BHIDC
HJXDG8JBHJS))5G8EHHIDJMV8FSPH&SP)JSHGJCSD8JC9'8JFHGHJEH8J
,8EDC9'8BW;SDJM$HPCXD8GC9=';9S;GC948IH9DJM$CJI5GHIDESD8J:
]CVPDJMS8J$/,1$$%"?!"$"="@%
+?>, RC\XDJDCJ7$08VHJMGHJ+$0CIHXa0$HSC9:0;B8GPCVDS!
)IHJSDF<DJMBDVDJF8GBCSD8JDJ4DEG8Y98MV))5G8EHHIDJMV8FSPH
'8JFHGHJEH 8J +BWDGDEC9 4HSP8IVDJ *CS;GC9 2CJM;CMH
5G8EHVVDJM:+IDJY;GMP$/ $$%""!"?&>="?>>
+K%, O;YDCMC 1$2DCUCSC 4$5G8ESHG 0:2HCGJDJM GHW8GSDJM
I<JCBDEVI;GDJMYGHCUDJMJHTVF8GG;B8;GIHSHESD8JDJV8EDC9
BHIDC:CGADXWGHWGDJSCGADX!"K"%:%#@K@$$%"K
+K", ,CBWV8J-$48GVSCSSHG3$]; 2$HSC9:2HXHGCMDJMSPH
DBW9DEDSVSG;ES;GH TDSPDJV8EDC9BHIDCF8GHBHGMHJSG;B8G
IHSHESD8J))5G8EHHIDJMV 8F SPH $?SP 1'4 )JSHGJCSD8JC9
'8JFHGHJEH8J)JF8GBCSD8J CJI J8T9HIMH 4CJCMHBHJS:
)JIDCJCW89DV$/,1$$%"K!$@##=$@&$
+K$, 'CDQ$];($2X0:0;B8GVIHSHESD8JDJ'PDJHVHXDCEG8TI
GHVW8JVHV))5G8EHHIDJMV8FSPH$%"!)+++)1'4 )JSHGJCSD8JC9
'8JFHGHJEH8J 1IXCJEHVDJ,8EDC9*HST8GUV1JC9<VDVCJI
4DJDJM: HD[DJM$'PDJC$$%"!!>"$=>"#
+K@, 2DCJMQ$NCJM-$A;':1;S8BCSDEG;B8GVDIHJSDFDECSD8J8J
,DJC]HDY8))5G8EHHIDJMV8FSPH"$SP)JSHGJCSD8JC9'8JFHGHJEH8J
*CS;GC9'8BW;SCSD8J$3;\\<,<VSHBVCJI J8T9HIMHaDVE8XHG<:
'PCJMVPC$'PDJC$$%"K!"?$@="?@"
+K!, O;YDCMC1$2DCUCSC4$5G8ESHG0$HSC9:1JC9<VDJMP8TWH8W9H
8GDHJSS8CJIVWGHCIG;B8;GVDJV8EDC9BHIDCY<988UDJMCS
E8JXHGVCSD8JC9SPGHCIV:528,.JH$$%"K$""#@%!"=@!
+K?, ];`$NCJM,$OP;` R:3C9VHG;B8GVIHSHESD8J8J,DJC
]HDY8Y<WG8WCMCSD8JVSG;ES;GHV))5G8EHHIDJMV8FSPH@"VS
$%"?)+++)JSHGJCSD8JC9'8JFHGHJEH8J aCSC+JMDJHHGDJM:
,H8;9$ 8GHC$$%"?!K?"=KK$
+KK, 4C-$QC8 ]$4DSGC 5$HSC9:aHSHESDJMG;B8GVFG8B
4DEG8Y98MVTDSPGHE;GGHJSJH;GC9JHST8GUV))5G8EHHIDJMV8F
SPH $?SP )JSHGJCSD8JC9 -8DJS '8JFHGHJEH 8J 1GSDFDEDC9
)JSH99DMHJEH:*HTN8GU$/,1$$%"K!@&"&=@&$!
+K#, T8J,$'PC4$-;JM`:0;B8GIHSHESD8J8XHGXCG<DJMSDBH
TDJI8TV:528,.JH$$%"#$"$#"%!H%"K&@!!
+K&, -DJO$'C8-$-DCJMNQ$HSC9:*HTVEGHIDYD9DS<HXC9;CSD8J
8J 4DEG8Y98M TDSP C PDHGCGEPDEC9 WG8WCMCSD8J B8IH9))
5G8EHHIDJMV8FSPH$%"!)+++)JSHGJCSD8JC9'8JFHGHJEH8J
aCSC4DJDJM:,PHJ\PHJ$'PDJC$$%"!!$@%=$@>
+K>, 2D;OPD=N;CJ$OPCJM2H$6;';J='PC8$,;J 4C8=,8JM:
,SCSDVSDEC9CJIVHBCJSDECJC9<VDV8FG;B8GVDJ'PDJHVHV8EDC9
BHIDC:,EDHJEH'PDJC)JF8GBCSD8J,EDHJEHV$$%"?$!?#"$%!
"?@K="?!K#DJ'PDJHVH%
#ænÄ$T�$Åó%$ãäå:AãcEJ�¸tï&s
òçî:A7;)!fg;)$$%"?$!?#"$%!"?@K="?!K%
+#%, aC<CJD0$'PPCYGC*$ CIDCJ6$HSC9:0;B8GIHSHESD8JDJ
6TDSSHG!1JCJC9<VDVDJGHSG8VWHES))5G8EHHIDJMV8FSPH$%"?
)+++)JSHGJCSD8JC9'8JFHGHJEH8J1IXCJEHI*HST8GUVCJI
6H9HE8BB;JDECSD8JV,<VSHBV: 89UCSC$)JIDCJ$$%"?!"=@
+#", (CBDIDCJ,$aDCY4:0;B8GIHSHESD8JCJIE9CVVDFDECSD8JF8G
6TDSSHGICSC))5G8EHHIDJMV8FSPH"?SP)JSHGJCSD8JC9'8JFHGHJEH
8J,8EDC94HIDC6HEPJ898MDHV$'8BB;JDECSD8J$CJI)JF8GBCSDEV:
CGEH98JC$,WCDJ$$%"?!#"=##
@#K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
+#$, 1JIGHHXVUCDC1$ HGM9HG,:4DJDJM ]8GI*HSF8GCF;\\<
VHJSDBHJS!,HJSDBHJSSCMHLSGCESD8JFG8B ]8GI*HSM98VVHV))
5G8EHHIDJMV8FSPH""SP'8JFHGHJEH8FSPH+;G8WHCJ'PCWSHG
8FSPH1VV8EDCSD8JF8G'8BW;SCSD8JC92DJM;DVSDEV:6GHJS8$
)SC9<$$%%K!$%>=$"K
+#@, 0CSUDHTDE\-$'8J8XHG4$4HDVV 4$HSC9:aHSHESDJMCJI
SGCEUDJMSPHVWGHCI8FCVSG8S;GFBHBHVDJ4DEG8Y98MVSGHCBV:
'8BW;SDJM0HVHCGEP0HW8VDS8G<$$%"%$$%"%#"%%!$!>=$?$
+#!, 4D99HGQ 1: ]8GI*HS!1 9HLDEC9ICSCYCVHF8G +JM9DVP:
'8BB;JDECSD8JV8FSPH1'4$">>?$@&#""%!@>=!"
+#?, a8JMO$a8JMR:(8TJHSCJISPH'8BW;SCSD8J8F4HCJDJM:
,DJMCW8GH!]8G9I,EDHJSDFDE5;Y9DVPDJM$$%%K
+#K, 6CUCPCVPD6$)MCSC *:0;B8G IHSHESD8J 8J 6TDSSHG))
5G8EHHIDJMV8FSPHKSP)JSHGJCSD8JC9'8JFHGHJEH8J ,8FS
'8BW;SDJMCJI)JSH99DMHJS,<VSHBV$CJISPH"@SP)JSHGJCSD8JC9
,<BW8VD;B8J1IXCJEHI)JSH99DMHJEH,<VSHBV: 8YH$-CWCJ$
$%"$!!?$=!?#
+##, 4C $2DJa$'C8a:'8JSHJSGHWGHVHJSCSD8JF8G4DEG8Y98M
G;B8GIHSHESD8J))5G8EHHIDJMV8FSPH1IXCJEHVDJ'8BW;SCSD8JC9
)JSH99DMHJEH,<VSHBV:*HTN8GU$/,1$$%"#!$!?=$?"
+#&, 'PHJ6$];2$2DA$HSC9:'C99CSSHJSD8JS8G;B8GV!aHHW
CSSHJSD8JYCVHIGHE;GGHJSJH;GC9JHST8GUVF8GHCG9<G;B8G
IHSHESD8J:CGADXWGHWGDJSCGADX!"#%!:%?>#@$$%"#
+#>, 0;EPCJVU<*$,H8,$2D;N:',)!1P<YGDIIHHWB8IH9F8G
FCUHJHTV:CGADXWGHWGDJSCGADX!"#%@:%K>?>$$%"#
+&%, 'PHJM2DCJM$RD;N;J=3HD$,;J2;$0HVHCGEP8JIHSHESDJM
BDEG8Y98MMDJMG;B8;GV:'8BW;SHG 1WW9DECSD8JCJI,8FSTCGH$
$%"@$@%#$%!$$K=$$&#DJ'PDJHVH%
#þÆ$ÇÈÉ$ãÊ:LZ¸t¹º`øEF:&'(¢£
�Äv$$%"@$@%#$%!$$K=$$&%
+&", 2DJa$2XN$'C8a:0;B8GIDFF;VD8JW;GW8VHCJC9<VDVFG8B
V8EDC9CSSGDY;SHS8V8EDC9E8JSHJS))5G8EHHIDJMV8FSPH$%"?
)JSHGJCSD8JC9 '8JFHGHJEH 8J 1VDCJ 2CJM;CMH 5G8EHVVDJM
#)125%:,;\P8;$'PDJC$$%"?!"%#=""%
+&$, 4C $2DJa$'C8a:'8JSHJSGHWGHVHJSCSD8JF8GBDEG8Y98M
G;B8GIHSHESD8J))5G8EHHIDJMV8FSPH1IXCJEHVDJ'8BW;SCSD8JC9
)JSH99DMHJEH,<VSHBV:*HTN8GU$/,1$$%"#!$!?=$?"
+&@, -DC82D='PHJM$NCJM,P;=N;CJ$2D;3CJM$HSC9:,HXHJS<
<HCGVYH<8JIJH;GC9JHST8GUV!0HSG8VWHESCJI WG8VWHES:
'PDJHVH-8;GJC98F'8BW;SHGV$$%"K$@>#&%!"K>#="#"K#DJ
'PDJHVH%
# ·T$ÂËÌ$æͳ:��deQ+$!:Î�¤u:
&'()*$$%"K$@>#&%!"K>#="#"K%
+&!, 2D2$0HJ]$RDJ $HSC9:2HCGJDJMI8E;BHJSGHWGHVHJSCSD8J
F8GIHEHWSDXH8WDJD8JVWCB IHSHESD8J))5G8EHHIDJMV8FSPH
"!SP 'PDJC *CSD8JC9 '8JFHGHJEH$''2 $%"? CJI 6PDGI
)JSHGJCSD8JC9,<BW8VD;B:Q;CJM\P8;$'PDJC$$%"?!@>@=
!%!
+&?, 4C8+G=,8JM$'PHJQCJM$2D;ADJ$]CJM 8:0HVHCGEP8J
IHSHESDJM 4DEG8Y98M G;B8GV YCVHI 8J IHHWFHCS;GHVCJI
HJVHBY9HE9CVVDFDHG:1WW9DECSD8J 0HVHCGEP 8F '8BW;SHGV$
$%"K$@@#""%!@@K>=@@#@#DJ'PDJHVH%
#ÏÔå$´Ð$æÑ$Òu:<É_Ò×Ø�öTçúY�
LZ¸t¹ºEF:&'(¢£EF$$%"K$@@#""%!@@K>=
@@#@%
+&K, Q;8 CD:6PHGHVHCGEP8F4DEG8Y98MG;B8GVIHSHESD8JYCVHI
8JE8BBHJSVVHJSDBHJS+4:,:IDVVHGSCSD8J,:aC9DCJ/JDXHG=
VDS<8F6HEPJ898M<$aC9DCJ$2DC8JDJM$$%"!#DJ'PDJHVH%
#ÓÔ:<ÉÁ$¥Ì�LZ¸t¹ºEF+Õ[)E$ã,:
D3v�D)$Ö×$D3$$%"!%
+&#, ];(C8:0HVHCGEP8J0;B8GaHSHESD8J CVHI8J'G8TI*V
,HJSDBHJS3HCS;GHVDJ6PHBH6THHS+4:,:IDVVHGSCSD8J,:
Q;D9DJ/JDXHGVDS<8F+9HESG8JDE6HEPJ898M<$Q;D9DJ$Q;CJMLD$
$%"?#DJ'PDJHVH%
#ض:<É^4LZAå�¥Ì×Ø�¸t¹ºEF+Õ[
)E$ã,:ÙÚVW;%D)$ÙÚ$Û$$%"?%
+&&, (CBDIDCJ,$aDCY 4 6:0;B8GDIHJSDFDECSD8JCJIYH9DHF
DJXHVSDMCSD8J8J 6TDSSHG))5G8EHHIDJMV8FSPH"?SP 1JJ;C9
'8JFHGHJEH8FSPH*8GSP1BHGDECJ'PCWSHG8FSPH1VV8EDCSD8J
F8G'8BW;SCSD8JC92DJM;DVSDEV!(;BCJ2CJM;CMH6HEPJ898MDHV:
,CJaDHM8$/,1$$%"K!@=&
+&>, Q;8]HDTHD$aDCY 48JC:48IH9DJMVHJSHJEHVDJSPH9CSHJS
VWCEH))5G8EHHIDJMV8FSPH ?%SP 1JJ;C9 4HHSDJM 8FSPH
1VV8EDCSD8JF8G '8BW;SCSD8JC9 2DJM;DVSDEV!28JM 5CWHGV=
789;BH":-H[;)V9CJI$ 8GHC$$%"$!&K!=&#$
+>%, OPCJMR$OPCJM,$a8JM-:1;S8BCSDEIHSHESD8J8FG;B8G8J
V8EDC9JHST8GU))5G8EHHIDJMV8FSPH!SP *CS;GC92CJM;CMH
5G8EHVVDJM CJI 'PDJHVH '8BW;SDJM: *CJEPCJM$ 'PDJC$
$%"?!""@="$$
+>", -DJO$'C8-$-DCJMNQ$HSC9:*HTVEGHIDYD9DS<HXC9;CSD8J
8J 4DEG8Y98M TDSP C PDHGCGEPDEC9 WG8WCMCSD8J B8IH9))
5G8EHHIDJMV8FSPH$%"!)+++)JSHGJCSD8JC9'8JFHGHJEH8J
aCSC4DJDJM:,PHJ\PHJ$'PDJC$$%"!!$@%=$@>
+>$, ]CJMOH<(;D:+CG9<aHSHESD8JCJI1JC9<VDV8F0;B8GVDJ
,8EDC9*HST8GU+4:,:IDVVHGSCSD8J,:OPH[DCJM /JDXHGVDS<$
(CJM\P8;$$%"K#DJ'PDJHVH%
#ÒÜè:cEde¸t��«¹º�çî+Õ[)E$ã,:
ÝÞD)$ßà$$%"K%
+>@, Q;WSC1$2CBYC($ ;BCGCM;G;5$HSC9:3CUDJMVCJI<!
EPCGCESHGD\DJMCJIDIHJSDF<DJMFCUHDBCMHV8J6TDSSHGI;GDJM
P;GGDECJH VCJI<))5G8EHHIDJMV 8F SPH $$JI )JSHGJCSD8JC9
'8JFHGHJEH8J ]8G9I ]DIH ]HY:0D8IH-CJHDG8$ GC\D9$
$%"@!#$>=#@K
+>!, -DJO$'C8-$OPCJMN$HSC9:*8XH9XDV;C9CJIVSCSDVSDEC9
DBCMHFHCS;GHV F8G 4DEG8Y98MV JHTV XHGDFDECSD8J:)+++
6GCJVCESD8JV8J4;9SDBHIDC$$%"#$">#@%!?>&=K%&
+>?, ,;,$]CJ'$(; N$HSC9:'PCGCESHGD\DJMMH8MGCWPDEC9
WGHFHGHJEHV8FDJSHGJCSD8JC9S8;GDVSVCJISPH98EC9DJF9;HJSDC9
FCES8GVDJ'PDJC;VDJMMH8=SCMMHIWP8S8V8JV8EDC9BHIDC:
1WW9DHIQH8MGCWP<$$%"K$#@#K%!$K=@#
+>K, 'PCJM'$OPCJMN$,\CY8'$HSC9:+LSGHBH;VHGCJIW89DSDEC9
G;B8G IHSHESD8J 8J 6TDSSHG))5G8EHHIDJMV 8F SPH "$SP
1IXCJEHI aCSC 4DJDJM CJI 1WW9DECSD8JV: Q89I '8CVS$
1;VSGC9DC$$%"K!#?"=#K@
!#K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
+>#, 2DCJMQ$(H ]$A; '$HSC9:0;B8GDIHJSDFDECSD8JDJ
BDEG8Y98MMDJMV<VSHBV YCVHI 8J ;VHGV*YHPCXD8G:)+++
6GCJVCESD8JV8J'8BW;SCSD8JC9,8EDC9,<VSHBV$$%"?$$#@%!
>>="%&
+>&, ,PDGCD6$,CUCUD6$68GD;BD3$HSC9:+VSDBCSD8J8FFC9VH
G;B8GIDFF;VD8JB8IH9CJIHVSDBCSD8J8FWGHXHJSD8JB8IH98F
FC9VHG;B8GIDFF;VD8J8J6TDSSHG))5G8EHHIDJMV8FSPH$KSP
1JJ;C9 '8JFHGHJEH 8F -CWCJHVH ,8EDHS< F8G 1GSDFDEDC9
)JSH99DMHJEH:NCBCM;EPD$-CWCJ$$%"$!"=!
+>>, 3GDMMHGD1$1ICBDE21$+EU9HVa$'PHJM-:0;B8GECVECIHV))
5G8EHHIDJMV8FSPH&SP)JSHGJCSD8JC9111)'8JFHGHJEH8J
]HY98MVCJI,8EDC94HIDC:4DEPDMCJ$/,1$$%"!!"%"=""%
+"%%, T8J,$'PC4$-;JM`$HSC9:5G8BDJHJSFHCS;GHV8FG;B8G
WG8WCMCSD8JDJ8J9DJHV8EDC9BHIDC))5G8EHHIDJMV8FSPH$%"@
)+++"@SP)JSHGJCSD8JC9'8JFHGHJEH8JaCSC4DJDJM:aC99CV$
/,1$$%"@!""%@=""%&
+"%", 4C-$QC8]$]HDO$HSC9:aHSHESG;B8GV;VDJMSDBHVHGDHV
8FV8EDC9E8JSHLSDJF8GBCSD8J8J BDEG8Y98MMDJM THYVDSHV))
5G8EHHIDJMV8FSPH$!SP1'4)JSHGJCSD8JC98J'8JFHGHJEH8J
)JF8GBCSD8J CJI J8T9HIMH 4CJCMHBHJS: 4H9Y8;GJH$
1;VSGC9DC$$%"?!"#?"="#?!
+"%$, 6898VD2$6CMCGHX1$QH8GMDHXQ:1JCJC9<VDV8FHXHJS=
CMJ8VSDEFHCS;GHVF8G G;B8;G E9CVVDFDECSD8J DJ 6TDSSHG))
5G8EHHIDJMV8FSPH"%SP)JSHGJCSD8JC9111)'8JFHGHJEH8J
]HYCJI,8EDC94HIDC:'898MJH$QHGBCJ<$$%"K!"?"="?&
+"%@, 4C[DI1$'PHJ2$4DG\C( 6$HSC9:1V<VSHBF8GBDJDJM
DJSHGHVSDJMS8;GDVS98ECSD8JVCJISGCXH9VHZ;HJEHVFG8BW;Y9DE
MH8=SCMMHIWP8S8V:aCSCi J8T9HIMH+JMDJHHGDJM$$%"?$
>?#"%!KK=&K
+"%!, 2D,$OPCJMN-:,HBD=V;WHGXDVHIE9CVVDFDECSD8J8FHB8SD8JC9
WDES;GHVYCVHI8JFHCS;GHE8BYDJCSD8J))5G8EHHIDJMV8FSPH
,5)+/SPH)JSHGJCSD8JC9,8EDHS<F8G .WSDEC9 +JMDJHHGDJM:
HD[DJM$'PDJC$$%""!$#
+"%?, 19CIPCIP,$OPCJMA$,CJIHGV8J4:6THHSC;SP8G98ECSD8J
DBWCESV 8J 6THHS EGHIDYD9DS<))5G8EHHIDJMV 8F SPH $%"!
1;VSGC9CVDCJa8E;BHJS'8BW;SDJM,<BW8VD;B:4H9Y8;GJH$
1;VSGC9DC$$%"!!#@=#K
+"%K, 'PHJMOPD$]CJMRD=a8JM$OPHJM2D=(;D$HSC9:aHVDMJCJI
CWW9DECSD8J8F8J9DJHHCGSPZ;CUHG;B8GB8JDS8GDJMV<VSHB:
,8;SP'PDJC-8;GJC98F,HDVB898M<$$%"$$@$#$%!#>=&K#DJ
'PDJHVH%
#þá$ÒEâ$ãäå ³:de�£¸tèº�ï�k&
�¢£:¾æ�£$$%"$$@$#$%!#>=&K%
+"%#, -DJO$'C8-$Q;8($HSC9:0;B8GIHSHESD8J8J6TDSSHG
WHGSCDJDJMS8 SPH $%"K /, WGHVDIHJSDC9 H9HESD8J:CGADX
WGHWGDJSCGADX!"#%":%K$?%$$%"#
+"%&, 68GD;BD3$,PDJ8IC`$ CJH<CBCQ:1EE;GCE<HXC9;CSD8J8F
IHBCM8M;HIHSHESD8JV<VSHB;VDJMV8EDC9BHIDC:)5,-aDMDSC9
5GCESDEH$$%"$$"$#@%!$%"=$%&
+"%>, OP8;O$ CJICGD0$ 8JM-$HSC9:)JF8GBCSD8JGHV8JCJEH8J
6TDSSHG!TCSEPDJMDGCJ))5G8EHHIDJMV8FSPH"VS]8GUVP8W8J
,8EDC94HIDC1JC9<SDEV:]CVPDJMS8J$/,1$$%"%!"$@="@"
+""%, 3CJ5$2D5$-DCJMO$HSC9:4HCV;GHBHJSCJICJC9<VDV8F
S8W898M<CJIDJF8GBCSD8JWG8WCMCSD8J8J,DJC=4DEG8Y98M))
5G8EHHIDJMV8FSPH$%"")+++)JSHGJCSD8JC9'8JFHGHJEH8J
)JSH99DMHJEHCJI,HE;GDS<)JF8GBCSDEV: HD[DJM$'PDJC$$%""!
@>K=!%"
+""", 6GDWCSP<0 4$ CMEPD1$4HPSC,:1 VS;I<8FG;B8G
E8JSG89VSGCSHMDHV8JV8EDC9JHST8GUV))5G8EHHIDJMV8FSPH
">SP 1'4 )JSHGJCSD8JC9 '8JFHGHJEH 8J )JF8GBCSD8J CJI
J8T9HIMH 4CJCMHBHJS:68G8JS8$'CJCIC$$%"%!"&"#=
"&$%
+""$, HBWHa$ 9HDJYHGM-$6CGI8Vj:4CLDBD\DJMSPHVWGHCI8F
DJF9;HJEHSPG8;MPCV8EDC9JHST8GU))5G8EHHIDJMV8FSPH>SP
1'4 ,)Q aa )JSHGJCSD8JC9 '8JFHGHJEH 8J J8T9HIMH
aDVE8XHG<CJIaCSC4DJDJM:]CVPDJMS8J$/,1$$%%@!"@#=
"!K
+""@, ]CJM'PC8=A;:0HVHCGEP8J)IHJSDF<DJM)JF8GBCSD8J,8;GEH
DJ*HST8GUV+5P:a:IDVVHGSCSD8J,:/JDXHGVDS<8F,EDHJEHCJI
6HEPJ898M<8F'PDJC$(HFHD$'PDJC$$%"K#DJ'PDJHVH%
#Òçè:fg45deAfg�nص4�EF+Z[)E
$ã,:A7;)%&D)$îé$$%"K%
+""!, ,PCPa$OCBCJ 6:0;B8GEHJSGC9DS<!1 ;JDXHGVC9V8;GEH
IHSHES8G:1'4 ,)Q4+60)',5HGF8GBCJEH+XC9;CSD8J0H=
XDHT$$%"$$!%#"%!">>=$"%
+""?, ,PCPa$OCBCJ 6:0;B8GVDJCJHST8GU!]P8*VSPH
E;9WGDS3:)+++6GCJVCESD8JV8J)JF8GBCSD8J6PH8G<$$%""$
?##&%!?"K@=?"&"
+""K, ,PCPa$OCBCJ6:3DJIDJMG;B8GV8;GEHV8JGCJI8BSGHHV:
.WHGCSD8JV0HVHCGEP$$%"?$K!#@%!#@K=#??
+""#, ]CJMO$a8JM]$OPCJM]$HSC9:0;B8GV8;GEHIHSHESD8J
TDSP B;9SDW9H 8YVHGXCSD8JV! 3;JICBHJSC9 9DBDSV CJI
C9M8GDSPBV))5G8EHHIDJMV8FSPH $%"! 1'4 )JSHGJCSD8JC9
'8JFHGHJEH8J 4HCV;GHBHJSCJI 48IH9DJM 8F '8BW;SHG
,<VSHBV:1;VSDJ$/,1$$%"!!"="@
+""&, CGCBEPCJICJD*$3GCJEHVEPHSSD4:0;B8GV8;GEHIHSHESD8J
;JIHGWG8YCYD9DVSDEVCBW9DJM))5G8EHHIDJMV8FSPH$%"@)+++
)JSHGJCSD8JC9,<BW8VD;B8J)JF8GBCSD8J6PH8G<:)VSCJY;9$
6;GUH<$$%"@!$"&!=$"&&
+"">, a8JM]$OPCJM]$6CJ']:088SDJM8;SSPHG;B8GE;9WGDS
FG8BV;VWHESV))5G8EHHIDJMV8FSPH$%"@)+++)JSHGJCSD8JC9
,<BW8VD;B 8J )JF8GBCSD8J 6PH8G<:)VSCJY;9$ 6;GUH<$
$%"@!$K#"=$K#?
+"$%, -DCJM-$,PHJM]+*$N;,$HSC9:0;B8GV8;GEHDIHJSDFDECSD8J
DJ V8EDC9 JHST8GUV TDSP SDBH<XCG<DJM S8W898M<:)+++
6GCJVCESD8JV8JaHWHJICY9HCJI,HE;GH'8BW;SDJM$$%"K$
>>#"%!"="?
+"$", OPCJMO$A;]$];]$HSC9:1J8XH9CWWG8CEPF8GIHSHESDJM
B;9SDW9HG;B8GV8;GEHVDJJHST8GUVTDSPWCGSDC98YVHGXCSD8JV:
-8;GJC98F'8BYDJCS8GDC9.WSDBD\CSD8J$$%"#$@@#"%!"@$=
"!K
+"$$, 5GCUCVP^1$7GHHUHJ-$3C98;SV8V':,W8SSDJME;9WGDSVDJ
HWDIHBDEV!(8TBCJ<CJITPDEP8JHV3))5G8EHHIDJMV8FSPH
?#K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》
$%"$)+++"$SP)JSHGJCSD8JC9'8JFHGHJEH8JaCSC 4DJDJM:
G;VVH9V$ H9MD;B$$%"$!""=$%
+"$@, -D3$6C< ] 5:1JC9M8GDSPBDEFGCBHT8GUF8GHVSDBCSDJM
G;B8GV8;GEHVTDSPIDFFHGHJSVSCGSSDBHV:)+++6GCJVCESD8JV
8J,DMJC95G8EHVVDJM$$%"#$K?#"%%!$?"#=$?@%
+"$!, ]CJMO$]CJM'$5HD-$HSC9:4;9SDW9HV8;GEHIHSHESD8J
TDSP8;S UJ8TDJM SPH ;JIHG9<DJM WG8WCMCSD8J B8IH9))
5G8EHHIDJMV8FSPH @"SP 111) '8JFHGHJEH 8J 1GSDFDEDC9
)JSH99DMHJEH:'C9DF8GJDC$/,1$$%"#!$"#=$$@
+"$?, +JSGDJMHG0 '$-CEUV8J a +$,J<IHGa 1:aDVSCJEHDJ
MGCWPV:'\HEP8V98XCU4CSPHBCSDEC9-8;GJC9$">#K$$K#$%!
$&@=$>K
+"$K, '8BDJ'($'8VSC23:)IHJSDFDECSD8J8FVSCGSDJMW8DJSVDJ
VCBW9DJM8FE8BW9HLJHST8GUV:5P<VDEV$$%""$&!#?%!"="#
+"$#, OPHJM2$6CJ' ]:1WG8YCYD9DVSDEEPCGCESHGD\CSD8J8FSPH
G;B8GMGCWPY8;JICG<DJG;B8GV8;GEHIHSHESD8J))5G8EHHIDJMV8F
SPH$%"?)+++)JSHGJCSD8JC9'8JFHGHJEH8JaDMDSC9,DMJC9$
,DJMCW8GH$$%"?!#K?=#K>
+"$&, A;'PC8:6PH0HVHCGEP8F,8EDC9*HST8GU,8;GEH28ECSD8J
CVHI8J5CGSDC95G8WCMCSD8J5CSPV+4:,:IDVVHGSCSD8J,:
*8GSPHCVSHGJ/JDXHGVDS<$,PHJ<CJM$$%"!#DJ'PDJHVH%
#³%:<É�ç45���cEde45�CÐE`øE
F+Õ[)E$ã,:â>D)$êë$$%"!%
+"$>, 5DJS85'$6PDGCJ5$7HSSHG9D4:28ECSDJMSPHV8;GEH8F
IDFF;VD8JDJ9CGMH<VEC9HJHST8GUV:5P<VDEC90HXDHT2HSSHGV$
$%"$$"%>#K%!%K&#%$
+"@%, ,H8+$48PCWCSGC5$1YIH9\CPHG6:)IHJSDF<DJMG;B8GVCJI
SPHDGV8;GEHVDJV8EDC9JHST8GUV))5G8EHHIDJMV8FSPH,8EDHS<
8F 5P8S8=.WSDEC9 )JVSG;BHJSCSD8J +JMDJHHGV '8JFHGHJEH
,HGDHV: C9SDB8GH$/,1$$%"$!"="@
+"@", A; ]$'PHJ (:,EC9CY9HG;B8GV8;GEHIHSHESD8J ;JIHG
DJIHWHJIHJSECVECIH B8IH9DJ 8J9DJH V8EDC9 JHST8GUV))
5G8EHHIDJMV8FSPH$%"?""SP)JSHGJCSD8JC9'8JFHGHJEH8J
48YD9H 1I=P8ECJI ,HJV8G *HST8GUV:,PHJ\PHJ$'PDJC$
$%"?!$@K=$!$
+"@$, CVSDCJ4$(H<BCJJ,$-CE8B<4:QHWPD!1J8WHJV8;GEH
V8FSTCGHF8GHLW98GDJMCJIBCJDW;9CSDJMJHST8GUV))5G8EHHIDJMV
8FSPH@GI)JSHGJCSD8JC9111)'8JFHGHJEH8J ]HY98MVCJI
,8EDC94HIDC:'C9DF8GJDC$/,1$$%%>!@K"=@K$
+"@@, QP8VP0$2HGBCJ`:5GHIDESDJMDJF9;HJSDC9;VHGVDJ8J9DJH
V8EDC9JHST8GUV:CGADXWGHWGDJSCGADX!"%%?:!&&$$$%"%
+"@!, OPCJMN;=8$OPCJMAD=OPH$OPCJM DJ:.YVHGXHGIHW98<BHJS
BHSP8IF8G98ECSDJMSPHDJF8GBCSD8JV8;GEHDJV8EDC9JHST8GU:
-8;GJC98F,8FSTCGH$$%"!$$?#"$%!$&@#=$&?"#DJ'PDJHVH%
#TìZ$Tíî$Tï:¥acEdefg�ÐE�Ô²C
�|`ø:Äv)*$$%"!$$?#"$%!$&@#=$&?"%
+"@?, 5DJS85'$6PDGCJ5$7HSSHG9D4:28ECSDJMSPHV8;GEH8F
IDFF;VD8JDJ9CGMH<VEC9HJHST8GUV:5P<VDEC90HXDHT2HSSHGV$
$%"$$"%>#K%!%K&#%$
+"@K, 2;68JM=RDCJM:0HVHCGEP8J 0;B8GaHSHESD8J8F ]HDY8
CVHI8J,HBD=,;WHGXDVHI 2HCGJDJM+4:,:IDVVHGSCSD8J,:
,PCJMI8JM/JDXHGVDS<$-DJCJ$$%"?#DJ'PDJHVH%
#�ªÓ:<Éêèé):�LZ¸t¹ºEF+Õ[)E$
ã,:ðâD)$Næ$$%"?%
+"@#, -CWU8TDE\*$,SHWPHJ,:6PHE9CVVDBYC9CJEHWG8Y9HB!1
V<VSHBCSDEVS;I<:)JSH99DMHJSaCSC1JC9<VDV$$%%$$K#?%!
!$>=!!>
+"@&, 'PCT9C*7$8T<HG`]$(C992.$HSC9:,4.6+!,<JSPHSDE
BDJ8GDS< 8XHG=VCBW9DJM SHEPJDZ;H:-8;GJC9 8F 1GSDFDEDC9
)JSH99DMHJEH0HVHCGEP$$%%$$"K#"%!@$"=@?#
+"@>, +9UCJ ': 6PH F8;JICSD8JV 8F E8VS=VHJVDSDXH 9HCGJDJM))
5G8EHHIDJMV8FSPH"#SP)JSHGJCSD8JC9-8DJS'8JFHGHJEH8J
1GSDFDEDC9)JSH99DMHJEH:,HCSS9H$/,1$$%%"!>#@=>#&
+"!%, 4<HGV,1$2HVU8XHE-:'9CVP8FSPHE8JSCMD8JV!'88WHGCSD8J
CJIE8BWHSDSD8JDJDJF8GBCSD8JIDFF;VD8J))5G8EHHIDJMV8FSPH
$%"$)+++"$SP)JSHGJCSD8JC9'8JFHGHJEH8JaCSC 4DJDJM:
G;VVH9V$ H9MD;B$$%"$!?@>=?!&
+"!", 3CGC[SCYCG4$Q8BH\=08IGDM;H\ 4$]CJM N$HSC9:'8=
HX89;SD8JCG<I<JCBDEV8FDJF8GBCSD8JIDFF;VD8JCJIJHST8GU
VSG;ES;GH))5G8EHHIDJMV8FSPH$!SP)JSHGJCSD8JC9'8JFHGHJEH
8J]8G9I]DIH]HY:398GHJEH$)SC9<$$%"?!K">=K$%
EFG4 H3*IJ3*K$Y8GJDJ">>$$
5P:a:ECJIDICSH:(HGGHVHCGEPDJSHGHVSV
DJE9;IH V8EDC9 JHST8GUV$ DJF8GBCSD8J
8GMCJD\CSD8J$ICSCBDJDJM$CJIUJ8T9HIMH
IDVE8XHG<:
L#MN'IH+$Y8GJDJ ">>"$5P:a:ECJIDICSH: (DV
GHVHCGEPDJSHGHVSVDJE9;IHV8EDC9E8BW;SDJM$]HY BDJDJM$
CJIJCS;GC99CJM;CMHWG8EHVVDJM:
L#74OP+*$Y8GJDJ">K?$5P:a:$WG8FHVV8G$5P:a:
V;WHGXDV8G:(DVGHVHCGEPDJSHGHVSVDJE9;IHJH;GC9JHST8GUV$
V;WW8GSXHES8GBCEPDJHCJIV8EDC9E8BW;SDJM:
Q#R'*I2N3*$Y8GJDJ">##$5P:a:ECJIDICSH:(DV
GHVHCGEPDJSHGHVSVDJE9;IHV8EDC9E8BW;SDJM$ICSCBDJDJM:
K#K" &!!'!!(!!)!!* $%"&$
《 计
算 机
学 报
》
S3/5K-)+*;
.J9DJHG;B8GPCVMGHCSW8SHJSDC9YCIHFFHES8JWH8W9H*V
CEZ;DGDJMDJF8GBCSD8J$HVWHEDC99<DJ.J9DJH,8EDC9*HST8GU
#.,*%TPDEPPCVYHHJC9GHCI<DJSHMGCSHIDJS8WH8W9H*V9DFH$
HJSHGSCDJBHJSCJIT8GU:,8$DSDVHVVHJSDC9F8G;VS8IHSHES
G;B8GDJF8GBCSD8JDJ.,*$SP;VDBWG8XDJMSPHZ;C9DS<8F
.,*DJF8GBCSD8JHE898M<HJXDG8JBHJSCJI;VHGHLWHGDHJEH:
)JSPHHGC8FYDMICSC$SPHGHCGHSPGHHBCDJWG8Y9HBVDJG;B8G
IHSHESD8J$JCBH9<SDBH9DJHVV$HLSHJIDYD9DS<CJIVEC9CYD9DS<$
TPDEPCGHMGHCSEPC99HJMHVF8GC99SPHGHVHCGEPHGVDJSPDVFDH9I
S8SCEU9H:
)JSPHWGHXD8;VVS;I<$BCJ<GHVHCGEPHGVSPDJUG;B8G
IHSHESD8JDVCWCGS8FDJF8GBCSD8JEGHIDYD9DS<IHSHESD8J$CJI
V8BH8JHV#HVWHEDC99<DJ1VDC%HXHJV;WW8VHG;B8GDVVDBD9CG
S8BDVDJF8GBCSD8J$TPDEPSGHCSV'G;B8G(CVCJHMCSDXHSHGB:
19SP8;MPBCJ<XCGDCSD8JV8FSPHIHFDJDSD8J8FG;B8GVPCXH
YHHJWG8W8VHIDJSPH9DSHGCS;GH8FV8ED898M<CJIE8BB;JDECSD8J
VS;IDHV$SPHGHCGHST8UH<W8DJSVTPDEPHLW9CDJP8TDSDV
IDFFHGHJSFG8BBDVDJF8GBCSD8J:3DGVS$SPHSG;HXC9;H8FG;B8G
DV;JEHGSCDJ$TPDEP BHCJV8J9< 'FC9VHG;B8G(#HXHJS;C99<
F8;JIS8YHFC9VH%YH98JMVS8BDVDJF8GBCSD8J:,HE8JI$G;B8G
DVCVSCSHBHJSCY8;SCJ8Y[HES$HXHJS$8GDVV;H$DJ8SPHG
T8GIV$DSDVCY8;SCS8WDE:4DVDJF8GBCSD8J$Y<E8JSGCVS$DV
[;VSCWDHEH8FDJF8GBCSD8J:
CVHI8JIDVE;VVHICY8XH$DJSPDVGHXDHT$FDGVS9<$TH
V;BBHG<SPHE8JEHWSCJIV8BHYCVDEFHCS;GHV8F.,*G;B8G:
6PHJ$THE8JE9;IHCJIHLW9CDJIDFFHGHJSWG8Y9HBVSCSHBHJSV
YCVHI8JSPGHHCSSGDY;SHWHGVWHESDXHV#8Y[HESDXH$8Y[HESCJI
SDBH%$TPDEPPCXHIDFFHGHJSCWW9DECSD8JVEHJHV:)JCIIDSD8J$
THC9V8E8BWCGHCJICJC9<\HXCGD8;V.,*G;B8GIHSHESD8J
B8IH9#E9CVVDFDECSD8JB8IH9YCVHI8JE8JSHJSCJIBCSEPDJM
B8IH9%CJI.,*G;B8GV8;GEHB8IH9#B8IH98F8YVHGXDJM
VJCWVP8S8FIDFF;VD8JV;Y=MGCWPCJIB8IH98F8YVHGXDJMB8JDS8G
J8IHV%$DJE9;IDJMDSVVSGHJMSPVCJI THCUJHVVHV:)JSPH
F;S;GH$THP8WH8;GCIXDEHVE8;9IPH9WC98SDJSPDVFDH9I:
6PDVT8GUDVV;WW8GSHIY<SPH*CSD8JC9*CS;GC9,EDHJEH
38;JICSD8J8F'PDJC#QGCJS*8V:#"?@"%"$$#"$#"$""%$SPH
*CS;GC9,EDHJEH38;JICSD8J8F HD[DJM#QGCJS*8:!"#$%@$%$
SPH .;SVSCJIDJM )JJ8XCSDXH 6C9HJSV ';9SDXCSD8J 3;JIHI
5G8MGCBV$%"#8F0HJBDJ/JDXHGVDS<8F'PDJC:
##K"## ´µ`³!./c\de¸t¹º¶·
《 计
算 机
学 报
》