Electronic Colloquium on Computational Complexity, Revision 02 of Report No. 059 (2001)
!"
#$%!& '
(&)*
#+ ,- +)/.0
!1 . "&)!0&
I*JLKM:B8OND:PFGJLQNRA cdCEJQV2476ST5QV365JLUW8D79AB8;aO8;:=7[FYCV<>::PX CeNR:@7[?ZLCE:ABJ`8DJfgCEAB:BSTQVFG8;:B\BA\BJ]HAQVh]79JL: 8@^X :CEJ`_7[abN;JLF :Ba
isEtBPugjBjMvlwVklixyBfgzM:P{V8D|~:P}V\x4ABh]:M€‚gm_Vv~ƒEnpxPoqw„Sbbr sV|
KV…”E2‡ND†/:~N;ˆŠ76AQ‰/‹dI/_gŒ…!AB39F=A\BA8RA~5`ŽABFGKV39JE76Nb?BmSTQEUWAB8;F :~NR79ABQ ‘’VJ]AB8;?BmB“*:P”Ma;CEA8O•eI*79F=J]QMaR76AQ–m‘’MJLAB8;?#ABU—ŽAF=˜
™ š–›Gœž‡Ÿ( >¡£¢„œ‡¤Ÿ›
JL7[–¥ a5”VJL:BNR8;hQ?®¦:PaR§@J]”V¨¯\’©”VF=:BJ]J]aQMQZ8RN;J=Jl:~ZN;°²JL76AQQª±N;36?ªAP³´UdCE:e¥—J]5BJLZJL¾«A39J]ABQMaRK«ab\BN;J]”V8RC”©J(Z¬:FGNR795BZJlAJ=:BQMaRCE”VaO79NR8RF=8;J”Mm‡J]Z¬QM:PN;aRQM76576CªAJQ795BQªCEJ]798;N;F£aR’V79ABJeµ¶°*Qªa;·!:PAPFG±¸U/J“d¦ jV:P¿¹L”©k:@aR¨»?%CEº#AZLŽ8OAB•Š3[QM:BaOa;CENRaO8;797[FGZL”M:BZJL3¼NRQM79“d5BaR76J:BA”MQ–CEa;m­79CEFG”MABJLaR8RQM79•QVaR\79CVAB76Q76FGNGJL:BNRQ©”VA%aO\B79:FGABaRQJLaR79Q\B¦ ND½~Q a¨
NR79<>Q’MN;:BJ„JL8O8;Z]N;KV:B76QE8;aRJJ4˜T¥4N;AP:PABÀ U©NRUž79QVAB8DABQ:PQEQ©˜79CE8DQ:PABQMFGNRJLCEQV8;AF JlFaRa#a]aOºŽABJlodU¯”M7936QEÁJLUWQM<>AZL8R:PJ]F až8RNR:~:Ã79N;QEÄM76˜TAQV¥4QJ]ABÀ 8‡UžZCEA8DQ79:PaOQMN;NRJL79CVQMQABN]ZFÂmÁNR79aRABaR76Q`QMJ]¯ZL7[ažJ”VJ]AB:"QM¾EZNDaRJl:PJ]aÃ79¯QV”V’MJ]JL:@C–Q©5º¼ZJ!<>JZLAB:B°ÅQM8ON;aO7[76NRa#QE8;˜T”M8D¥4:PZABQ©ÀNRUV79CE5B8;ABJ#:BFÆQMCECE797ÇFGAUqF=JL:BQMQMQMaRJ]C76a;Aa—QAB’MQVk 39:?Èm©a¼¿Ã:*7ÇU’V”MNR76aR39’MJ#JJLUW8;79”VQ J 3
7[Za*AFG:(KVZL36ABJLQMEaO7ÇN;Nb:B?QºÁN*“dÉJL8;aOJ”©ZD¿Ž’"JNRZD’M’M:P:BN*8;:ÊZ¬N;µ¶JL°`8;76¦ jVh]J*Ë9 Ì"ZA͸QMaOk NR¨Î8;·d”MÏZ¬N;76Ì"5J!Í CVÉ~76FGm«¿ÃJLQ©’VaOJL798;ABJ`Q®ÊДMaR767[QVaÃ\(N;’V…!J`A”©36FGaO”MA:B\B3žABaR8;JLA~365GUΘTCEZABJLFG3976FGKV3976JNR79EQV76Nb\e?Bº…!A36FGA\BAB8;A~5
¥–¦ äV”Vm NRk]h¸j ¨V¦ Ñ@:B¨QMC`’M:‹Ãa?:PKM¾V8RA~å5AJL¦Q¸æ@¨VNRab’©N;”M:~N£CE?`3679aRF079F=79QE793[UD:PÒB8žÓ#76QVÔÖJl¯Õ/”M×6:P؞39Ù7ÇÚLN;Ò ÛÜ76JlÒEa¼ÝpUWÞTABßÜà8‡Zá 3[:Ba;CEaO7[79ZLF>:B3µâ°/“*· :P”Má a;CEAB36798RF¸•(aOCE”V79F=K ÒBJ]Ó#QMaRÔ 76AQÕ/×6:P؞Q©Ù CÚ]Ò ÛÜUWÒABÝp8ÁÞTZßãàAº²FGKV_”ENDN;:P:B79\B¾VJ]39J8
F :P8RNR79QV\:B36JlaLº
ˆÈ79QEUWJÈAB8;AF ¾E:~N;:BNR7976ABQçQ£NRZ’VAJÈQNRUWJLAQ369NlA~ºÁ¿ÃèM76QMAB8Ã\J]UW5B”VJL398;#?ZD’MaRJ]:P¯8D”V:BJ]ZNRQMJ]Z8RJ79h]°#:PNRm©79ABCEQŠ76F"APµ¶U=°*·4ZABéêQ©ab36N;79FY8R”MZ76QENR79U 5BÒBJÓ#ÔCE79F=Õ/J]×6QM؞aRÙ Ú]76AÛÜ QçÒÝp79ÞTQçßãà º N;JL8;FGa®ABU:P39\BA8R76NR’VFG7[Z
Ò
ë ì흇îdïL¤]ðñ¤]›£ò­¤îqó
ˆÈaRJ]¯J”V¿„JLQ©ABZ8;J#å>°õ76Q±%NR’V³öJ®7[„aÃ:BNRQ’MNRJ`AB8abN;aO8RKM79QV:\(ZJ®°³ô¦ jMË6ZÌeAQM͸aR79kaO¨žNR79±QV\"÷ jMAP¹LUqkB:Bø 36H ŽZL76QEABÄ©QMQVaR797ÇaON;NRJ79QV¾V\G79QMAP:BUÁ8RN;?ȒVaOJJlÄM¯8D”MabJLN QMÌZLJ]a]¾Vº£76N;ad‘AP’MU‡J °#Ì º˜»¾MˆÈ7ÇN=J`KVCE8RJLJLQMÄVAP%NRJABUq¾?:
ùúû NR’VJ!Uâ:Z¬NÃN;’M:~Nd:GaONR8;76QV\ ù 7[aq:=KV8;ABK«JL8KV8;JÄV®APUž:GaONR8;76QM\ û º
‘¥–7¼’V:PJGQMCECeJÄ©ýdQV76N©7ÇN;:BX 76QA?Q%74:B¦ þ~QM¨C"º ¾M:aO7[Z`KM8RAK©J]8ON;76JlaqAPU„…!AB39F=A\BA8RA~5ZLABFGKV39JE76Nb?£Ê0µWüg·¬m–ZL:BQ¾«J`UWA”VQMC76QNR’VJ=¾©AA宾?
ÿ 祗JN õŒ ´¾©J":%UW”VQMZNR79ABQ–m„¿Ã’VJL8;
J
7[a®÷ jV¹]kPø H A8 Žº ê79
a
!
"#"$&%(')$&*,+-&./*(0
"!214325/6$(7ÇU„7ÇNDa*”MKVK©J]8!\B8D:PKV’87:9;=<?>#@õAp·déCBžµWü ¹)D ·±EGFHJII DLK ÁµWüg·=MÈ7[a/8RJlZ”V8DaR765JL39?®J]Q”VFGJL8D:P¾V39JBºN
I
OQPSR=TVUSWXYUAX[Z)WA\4R^]Z)USUA_``ba&WcAXYdeTVfg`/Z)WcShjiek
`/Z)fTVURLlanmjXYWfopXYfqcsr:tvu`WAa)wXY\xcAUSy?zv{&|Q}~&{&j€n}u~))}‚~&ƒpZ)fdeP„uv{&|Q}~&{j€)Q}
uv~&Q}~&ƒ=…„†cS]vZ)Usda&f=X]sR=TV‡VXm=TVUT cATVf=ˆ‰„‚an]Z‰kqc4ZQcX‹ŠsfT mjXYWAUT c‚ij…
k
ISSN 1433-8092
7[JLapQ”V6‚. FGJ]$)8;% :B'&¾V$)36*Jº +-&./*L" !21A3#5/6‚$76U‡7ÇNDaq39A~¿ŽJ]8Ã\B8D:PKV’7:9/;=< > Ý µp·„é B Wµ ü ¹)D ·±EGFHJIII D Á µWüg· M 7[aÃ8RJlZ”V8DaR765JL39?
ˆÈZAJ®FGKV\3676JL5NRJ®J:È76Q¯NR8;”VAE7[ZDCEå”MZaONR”V79ABFGQ>F :P:PQ©8;C"?ª’VAP7[U/abN;ZABAB8;Q©79Z]ab:PN;8R3—”M8;ZJNRUW79J]5B8RJ£J]QMCEZ79JlF=adJ]:BQMQMaRC®76ANRQ–A®º0èM‘:P3[’VZJ£AQV8;JLJ]8=:CE¦ ~JL¨¼8=UW79Aa=8*8;:JUW\BJ]A8R8;AEJ]C£CA~NR5BA¸JL8;¦ 5§@76¨dJ]¿:PQMABCU­¦Zi 3[¨„:Ba;UWaOA7[8 ZL:B: 3
“d:B”Ma;CEAB8R•CE79F=J]QMaR76AQ–º
ÿ † ¥–JN D ±È¦ jV¹ ·º
oqQ D 0'
!
"$)% 3/6$!7[aq:UW”VQMZNR79ABQ ŒE÷ jV¹]kPø H ¦ jM¹ ·­N;’M:~Nda;:~N;79aOÄMJla„NR’VJ#ZLABQMCE76NR79ABQ
©µ *·Ï Ý ¦ ©µ j · «µ k ·¨
µ B·
UWAB8q:P39 ±%÷ jV¹]kPø H º
oqQ D 0 3/6$7[aÃ:PQ D ˜aR”VK«JL8;\:P39J*NR’M:PNdaR:PNR7[abÄMJlaµ B·„¿Ã7ÇN;’®Jl¯”M:P397ÇNb?(UWAB8q:P39 ±%÷ jV¹]kPø H º
o *(3b%
1+ 3/6$7[aq:BQ k ˜»\:P39JBº
ˆ%Jda;:@?#N;’M:~N:PQ D ˜TaO”VK«JL8;\:B36J ,'q!2-q-&$
$ 'AQ(:aOJl¯”VJLQMZLJd°±³76U–3976F¸aO”MK ÒBÓ#Ô «µâ°`¦ jVË9 Ì`Ík ¨Î·‡é º
‘’VLJ 'q! -
-&$j'n'p'&$1­ABUÁ:BQ D ˜TaO”MK©J]8R\:P39J 7[a Ô ¦ B¨gJé B«°±³ III (aR”MZLZLJLJ]CMaABQ£° M¼º
ÿ ¥–JN ê³(º
µ %·Ž79aÃNR’VJ#aRJNÃAPU‡:P39 D ±ª¦ jV¹ ·„aR”MZD’N;’M:~NÃN;’VJL8;J7[aÃ:PQ D ˜»\:P39J GUWA8ÿÒV7[ZD’ Ô ¦ B¨»º
µ %·Ž79aÃNR’VJ#aRJNÃAPU‡:P39 D ±ª¦ jV¹ ·„aR”MZD’N;’M:~NÃN;’VJL8;J7[aÃ:PQ D ˜aR”VK«JL8;\:P39J UWAB8ÿÒV7[ZD’ Ô ¦ P¨º
UWAB8ÿÒV7[µ ZD%’ ·„7[a„NR’MJ`Ô aOJL¦ NqB¨APº U‡:P39 D ±ª¦ jV¹ ·aR”MZD’®NR’M:PNÃNR’VJ]8RJ7[aq:=39A~¿ŽJ]8qaOJ]F=7[ZAFGKV”EN;:B¾V39J D ˜TaO”MK©J]8R\:P39J
‘Z3[’V:Ba;J aO7[eZL:B3 3g! CV' JÄM.%QV76NR79AB+ Q£*¾$ #?'[‘+. ’VJ]ABAP8;U JLF´7[½Ma*º klCVj 76F ABU¦ µ i %¨º ·Ãéõ76QVU µ %·qé79QEU µ %·¬º!‘’V7[ad7[a*J]¯”V795@:B36J]QNdNRAeNR’MJ
‘’V,J -&. 'q1%
! -=1+ $ + *$ #'n+‚. eABU Æ7[aÃZLCE79F>µ %·‡éê76QVU µ È·¬º
‘’V,J -&. 'q1%
! -=1+ $ + *$ #'n+‚. eABUÁ:GaRJ]¯”VJ]QMZJ°±³Ö7[aqCE79F£µ¶°*·4éçZLCV76F"µT÷@° ø ·¬º
ò#¤L› œ £îqŸ`‡î*ð
/ SÃèVAB8ÃJ]5BJ]8R?(aRJ]¯”VJ]QMZJ°±³m
CE79F£µ¶°*· á 3976ÒBFYÓ#76Ô QVU ʵⰦ jMË6Ì Ì®Í0k ¨Î· Ë
$#
/.) %
@?
PGQ
+%,'>!
"!
: 8A*
+%,'-!
0
B
C%
B
F G
H
B
F G
H
ED %
I%
1%2'!
=
M
&%('
*) %
4.) 36587:9;< %
L
) %
%
ON
J.) 3657K9;< %
4R TSU#
.) %
Ž¥–JN‡°±>H ³ºž¥—JN D :PQMC D ¾«J8;:PNR79ABQM:B3BQ”VF¾©J]8;aÁaR”MZD’#N;’M:~N DLK D vK 397 F079QEU ÒÓ#Ô Õ/×6؞٠ÚLÒ ÛÜ Òݖށßãà ºÁ¥–JLN
é ü>±÷ jV¹]kPÒ ø III Ê6µWÒEügÝ · á ÒPD à ü M º¼rqABNRJ‡N;’M:~N Š7[a–8;J]Z”M8;aR765JL39?dJ]Q”MF=J]8;:B¾V39JBº „?!‘’VJLA8RJ]F½Vº ½Vº k 79Q¦ þP¨¿„J
’M:Ba„:@5UWAJd36N;9A~’M¿q:~Na]º á Õ/× @ „UWAB8q:GZLABQMaON;:BQNqÉ/:PQMCUWAB8ÃJ]5BJ]8R? Ì ±Žºdˆ%J#CEJLÄMQVJ ŒV÷ jV¹]kPø H ¦ jM¹ ·
Ý
©µ *·Žé × DÝ 9à
× WݖÞbà × Ý à
S:PN=Q Z]D :P˜»Q\:P¾«39JBJ£mpaO:P’VQ©A~C ¿Ã£Q7[N;a!’M36:~A~N ¿„ÈJL8!79aaRJL¿ŽFGJ]7936ZLABCEFGJLKVÄM”EQVNDJ]:PCç¾V39µ J"«µ µâ«aR76· Q©Zá J Ò ¿„:Ý a*Õ/8;J]× ÒPZLà”V@ 8DaO795Bá J]36?£#JLQ¾”V?ÈFGNR’VJ]8;J£:B¾V…!36J@8D:~·¬º=UÎN`èV79ABQV8!J]¯Jl”M:B:BZD36’ 7 Nb?V·¬m ± %(79a m
«°íµ *± ·Ï Ô ¦ P¨Á× ;:PÝ QMC"6à CE79F>ºõµâ‘°/’V· JL8;J>D JLºd_7[aO79NeQMZL79JQEÄMNR’VQV7[76a*NRJ]’V36?¸AB3[CVF a:PUWQA? 8dJ]Ì :ZDUW’£A88;:P¿ÃNR79’VAB7[QMZD’ç:B3 °D,¦ KjMË6 36Ì79FYÍõ76QEk UD¨(ÒBÓ#± Ô²Õ/mq×6aO؞AÙ Ú]ÛÜ7ÇNeÒÝpUWABÞTßã39à6A~¿„¿qJ#a(’MNR’M:@5:PJN
Ò
KV8;A~5BJ]Q(NR’MJ!NR’VJ]AB8;JLF£º á
³ / S†bèMAB8ÃJ]5BJL8;?(aRJ]¯”VJLQ©ZJ°±>³(m
CE79F>µâ°/·­éŠ3976ÒBFYÓ#79Ô QEU ʵ¶°`¦ jVÌË9 Ì®ÍYk ¨W·
/ n‘’VJKV8;AAPU¼UWAB396A~¿qa„UW8;ABF´‘’MJLAB8;JLF½Vº k :B¾©A~5J!:BQMC®‘’VJLA8RJ]FöþMº k ½76Qª¦ Ñ@¨º
cd¯”VaRJL79QVQ©\`ZJ]N;až’VAB7[a„U©:PZD’©8;¾V:P768DNR:B8DZ¬:PN;8;JL?/8;76CEhl79:~FGN;76JLAQMQ aR79¿ŽABQeJ*\BµâKVJLQM8;A~JL58D:P7[CE3976Jlh]C!J!NRŽ’M’M:P:BN¼7ÇN;N;’V76Q JÃaCE79ŠF=J]ZQMAQMaR76aOANRQ`8;”M7[ažZ¬N;:*76A39QA~¿Ž¦ kJ]¨g8¼NRaRA=JLFGAB¾E79ZLNDAB:PFG79Q(KVQV”EJLND¿ç:P¾VJ39J„V:P8RJlFG:PKV339QJ]”Ma„F`AP¾«UžJLaO8¬JL·˜
NR’©:~Nd:P8;J!ZABFGKV”VN;:P¾M36J8;JL3[:~N;765JdN;A(:8;J]ZL”V8DaO795BJ]36? J]Q”MF=J]8;:B¾V39J/aRJNlº
/n
B
=R
G
)+
!
-,
.
!
' " )(*
" $# "&% 0
C
/
1
4R 2 2)3R&4-#
=R
1
65 87
GF8;³ J]JLaRJL8D/:PQ ¾VN;:P39J#NR79ABaRJQNdSµâAB¿Ã U‡7ÇN;aO’VNR8;AB¥–79”EQVJLNÃN\a]79D QEmMÄM:P±Q©QVCe76¦ NRjMJ]39¹L36Jk?eN ¨­Fí¾«J:P¾©Q:£J`?(Z:(ZAA”VFGQMQVaOKV79Jl5B”EZJLN;”E8D:BN;a;¾V76:P5393–JJq‘¼N;8R”V8;Jl:B:P8R79763­QV3976Q\QM”V\F Fh]:B¾©JLZD8;J]’MA8]76aDm¼QV·‡36JJLAPº„NU¼¥—NR°²’VJNJ!¾©8;JeØJ]:B:P3©¾©QQJ#76”VQVNRF’VÄMJ#QV¾©76J]79NRQE8 J(ÄM8;QMJ]7ÇN;ZLJ`”V8;¾Và aR7979QM5BJL:P398;?"?Ý JL8;QJL”EKV˜˜ º
× Ø
‘’VJ]Q£CV76F"µ Ø ·4é D º
/ n„ˆÈJ/KM8RA~5JqNR’©:~NNR’VJ]8RJ!:P8;J!ZABQ©abND:PQN;a„É ¹ aR”MZD’NR’M:PN„UWA8J]:BZD’ e
± „m D Í É á ʵ Ø ¦ jVË9 Ík ¨Î· á
D ©º
¥–JLNG°`m D m4:BQMC ¾©J":Ba=:P¾«A~5BJº¥–JLN ç± „º ‘’VJÄ©QV7ÇN;J®aRJN é B < III < D ¹ Ý µ <«·„±£° M ZL:BQ¾«J
ZZLA:BFGQ®KVZLAB”EFGNRJlKVC"”EUWN;8;J#ABF:PQ®N;ü ’VJ=±£aONR°8;79QV¿Ã\ 7ÇN;’"Ø ¦ÊjVË9µWü Í緄Ïk ¨mgD aRp79QMº­Z‘J ’VJLØ8;J¦ UWjVAË98RJ*ÍêNR’VJ]k 8R¨ J7[aÃ:GØ ZAQMabØND:P¦ jVQNqË9 É!ÍçaO”MkZD¨’eNR’©:~N º#èV8;ABF ¿„J
D á Ê0µWü B· á Ê0µ Ø ¦ jVË9 ÍYk ¨W· É
:PQ©C D Í É á ʵ Ø ¦ jVË9 ÍYk ¨W·ŽUWAB8ÃJ]5BJL8;? gº
èVA8NR’MJ APNR’MJL8#79QVJ]¯”M:B367 Nb?Bm¼QVAPN;J NR’©:~NUWAB8`J]:BZD’ 0± „mŽNR’VJeabN;8R79QV\ Ø ¦ jMË6 Íçk ¨ŽZ]:PQ¾©JeZABFGKV”VNRJ]C%UW8;ABF
NR’MJ>ZL:P8DCE79QM:P3ÃABUdN;’VJaRJN é B <EIII < D ¹ Gµ <«·„±£,° MžmŽNR’MJL8;JUWAB8;J®NR’VJ]8RJ£7[a(:ZAQMabND:PQN aR”MZD’YNR’M:PN
ʵ Ø ¦ jVË9 ÍYk ¨W· á D Mº
„?®ŽAB8;AB39[:P8;?G½Mº VmVCE79F>µ Ø ·­é D º
½
4R 2 2)3R&4-# $#
<; :9
=R C E9
H; F
.C
C
F
; C
C
C
E% F
CG B; I; C
C
; DC
F
C
B; C
E%GF
; C
; C
T C 9
C
4> F
; ? A8
,>= @? B; % F
JC
T
KC
C 9
L; C
1
¢ ›£Ÿ ïîq îdð î*›=œ
SÁK«ABNR’©79Q:PN;QVJLå8Da„NR:BA=ZDåGNR’M¥–J”E36N;7 NRhdJ]UW8;A:P8ŽNR”V58;JLJB8;º?’MJL39KEUW”V3pCE7[aRZL”MaRaR79ABQMa„:PQMC:PQ:BQVABQ?FGAB”Ma48RJLUWJL8;JLJÃUWA8Ž’VJ]36KVUW”V3paO”V\\BJlabN;76AQMa4:BQMC
î Pîd‡îd›£¢Ãîqó
¦ k ¨ =k äBº 橧EºMº Ž’M:P76NR79Q–º !"$#&%$(')!#+*,-./~ºŽ„:BF`¾V8;79CV\BJ*cdQV795BJL8DaR7ÇNb?(n48RJlaRa]mrdJL¿ç†­AB8;å«mEr`º †=º6m
¦ @¨#…GºVè©:P3[ZABQMJL8l0º *,1-2-.(-$)/34%567'8$9';:,-<!=¬ºŽ„:PF¾V8;79CE\J/cdQV795BJL8DaR7ÇNb?n48RJlaRa]m k äæ i º
¦ ½~¨#脺M“*:P”Ma;CEAB8R•ÁºÁI*79F=J]QMaR76AQe”VQ©Cª:PÀ ” >JL8;J]a„<>?: >©Aº @B'?1CD#1#,C9m«§~äMŒ k@i &§ E k §PäVm k ä k äMº
¦ þP¨#<ª_KMº«8R79¥–QV7Á\B:PJ]8OQM˜C"ý‡JLnÁ8;º«3[:P<ª\Mm º „*JLº«8;ýd3679Q–76N©m :BX k QäB?ä7»§Eº ºÁ_E#J]Z"A#1QM)C®7G24FH1CE<76NRI!79?AB#BQ–º 9KJ?L(77?MONPQRS-UT8I/'#,F3!=VWQXQRY!U'?I!?#=¬º
¦ i 0¨ ©NPº‡“##G%$º­-$U¥–-$”V#,NRU-hBcº0?#dId79NPFGJLQMQRaR76HeA9Q')79!QY#,ZL'ABfFGNPKV39JEQR76SNb-U?T8ZI/~3[:Bma;KMaO:PJl\aLºJ]a STk@[Q i gæ ZWE 7k GÑU-äV.-.ºlFSb24#24=2\Ž%]AF=KM-^”E5NRJ] %.8Ž9-U_-<AE#1Z79_JNb?`#1n4#`8RH1JlaR'a]am "7bPjBbjBj b º
‘¼J]ZD’VQM79Z]:P3–‹ÃJ]K©A8ONqZLa]ºãÃi h j j ½ jVk §Emod„<ЍŽABFGKV”EN;76QM\(‹ÃJ]aRJ]:B8;ZD’®‹ÃJLK«AaR7ÇN;AB8;?Bº
¦ Ñ~0¨ ©j`ºk “`_ºNP¥—”ENRlh&Dºm<He!He:Pn39J]a„:P#QMC=N;He’Vo?J!KZAB'?Q©o'abprN;8RqD”M'?Z#NR79X5BH1Jq'<CE79-FG=sJL'?QM#RaRFK79ABZWQ(7ABUU–?U76QM'CV76s57[CE#”MP:Pm«3gKMaR:PJ]\¯J]”VaÃJLQ©ä Zj J]Ga]EEºpä STk ]Q ½VºEZW_UKV&8;.-76.QV-.\FJL#8q?¥—=cJ]4Z¬%N;”V8;JrdAPNRJla76QŽAF=KM”ENRJ]8d_EZ79JLQMZLJBm jBjj º
¦Ü§l0¨ Z]©aLº>ºãÃ“#i ºÈh j ¥–”Ej N;½ hBjVº k §mB‘od’V„Jö< CVŽ76FGABFGJLQ©KVaO”V79ABNRQM79QVa\ AB‹ÃUYJ]aR79J]QM:BCE8;79ZD5’®79CV‹Ã”MJL:PK«3AaOaRNR7ÇN;8;AB79QV8;?B\majB:BjQMVC ºÁ_EaOJl”V¯¾V”MFGJL7ÇQMNRZLNRJ]Jla]Cpº º ‘—JlZD’VQV7[ZL:P3‹qJLK«AB8RN
¦ æ~¨ /klj º]Œ †4Pæ :Vk º~E ‹ÃB?ä :Bi ¾Vm åBk A©äBºäB‘þMº’VJZAFGKV36JLE7ÇNb?#:BQMCJ•gJ]ZNR795BJ]QVJ]a;a—ABUMKV8;J]CE7[Z¬N;76AQ`KV8;AB¾M36J]FGa],º t?He#R'?e4%VNa?Q,S-UTX)/~m
¦ ä~¨#¥4klj ºpE_Œ N;kl:Pi 79gä \BE J]k8]äPº!þ©…!m ABk ä39FGäB½MABº \AB8;A~5eZAFGKV36JLE7ÇNb?":PQ©C“d:B”Ma;CEAB8R•CV76FGJLQ©aO79ABQ–º "$#&%$?K'?I!?#u'#,FvNa?Q,Heo'?I!?#Mm
¦ k]j ¨#¥4*,ºM_-.?N;:B/376\JL\%K8lºžNPoNR79QR\BHe’)NÃ#”V^KVK«:RJL/g8Ã=.9¾«-<AB”M=¬QMmVC®½ kABŒQ£kl…!i EAB39F=BäVAm\BAk äB8RA~ä5=æVº ZABFGKV39JE76Nb?:PQ©C”VQM7ÇUWA8RFG39? ABKEN;76F :P3pKM8RJlCE79ZNR79ABQ–º
!
J
4
þ
ECCC
ISSN 1433-8092
http://www.eccc.uni-trier.de/eccc
ftp://ftp.eccc.uni-trier.de/pub/eccc
[email protected], subject ’help eccc’