(egg@coli.uni-sb.de) and Alexander Koller (koller@coli . uni-sb . de)

R
¯s¥}¬&«FªžÂm¦‡§=ªÇ· f2‚mqw ¨©†¨9ª«Ó9ªú¯†«Fª­F¥„ª­FªÇ©†¹N¥}ª«•«FªžÂm¦‡§=ªÇ· f2‚—qw ¨©†¨9ª«Ç¼
f2‚mqw ¨©†¨9ª«Ó9ªú¯†«Fª­F¥„ª­FªÇ©†¹N¥}ª« «FªžÂm¦‡§=ªÇ· f2‚—qw ¨©†¨9ª«
ÏH¦‡¿À¿«FªžÂm¦‡§=ªÇ·
Å¡£¦¥§ º© º »=»¨ ¼¡¤£¦¥¨§ º© º »=»¨ ! " ¼¡£¦¥§ º© º© º »=»=»¨ © º »
E
¯s¥}¬&«FªžÂm¦‡§=ªÇ· f2‚mqw ¨©†¨9ª«Ó9ªú¯†«Fª­F¥„ª­FªÇ©†¹N¥}ª«•«FªžÂm¦‡§=ªÇ· f2‚—qw ¨©†¨9ª«Ç¼
¯s¥}¬&«FªžÂm¦‡§=ªÇ· f2‚mqw ¨©†¨9ª«Ó9ªú¯†«Fª­F¥„ª­FªÇ©†¹N¥}ª«•«FªžÂm¦‡§=ªÇ· f2‚—qw ¨©†¨9ª«Ç¼
pUrƒr¨w ¨©¨9ªN«9ªNú¯«Fª­F¥}ª­FªÇ©†¹N¥}ª« «FªžÂm¦À§=ªž·$# pUrur¨w ¨„©¨9ª«
ÏH¦‡¿À¿«FªžÂm¦‡§=ªÇ·$#
Å¡£¦¥§ º©Fº »=»¨(' " ¼¡£¦¥§ º©—º »=»¨ ¼¡¤£¦¥¨§ º©—º©°º »=»=»¨ ©°º »“©¬„·
&
º©Fº »=»¨(' " ¼¡£¦¥§ º©—º »=»¨ ¼¡¤£¦¥¨§ º©—º©°º »=»=»¨ ©—º ' " »
¡£¦¥§
¯s¥}¬&«FªžÂm¦‡§=ªÇ· f2‚mqw ¨©†¨9ª«Ó9ªú¯†«Fª­F¥„ª­FªÇ©†¹N¥}ª«•«FªžÂm¦‡§=ªÇ· dƒ‚„a)d^aFnsx°‚„aNw ¨©†¨9ª«Ç¼
f2‚mqw ¨©†¨9ª«Ó9ªú¯†«Fª­F¥„ª­FªÇ©†¹N¥}ª« «FªžÂm¦‡§=ªÇ· dƒ‚„a)d^aFnsx°‚„aNw ¨©¨9ªN«
ÏH¦‡¿À¿«FªžÂm¦‡§=ªÇ·
¯s¥}¬&«FªžÂm¦‡§=ªÇ· f2‚mqw ¨©†¨9ª«Ó9ªú¯†«Fª­F¥„ª­FªÇ©†¹N¥}ª«•«FªžÂm¦‡§=ªÇ· dƒ‚„a)d^aFnsx°‚„aNw ¨©†¨9ª«Ç¼
pUrƒr¨w ¨©¨9ªN«9ªNú¯«Fª­F¥}ª­FªÇ©†¹N¥}ª« «FªžÂm¦À§=ªž· dƒ‚„a{d^a=nWx°‚„aNw ¨„©¨9ª«
ÏH¦‡¿À¿«FªžÂm¦‡§=ªÇ·$#
‹6Œ[5)5 T P|ï T P6Š T9û ÕY4Q TmS[SUT Q÷/ð^ï T 0/ /¥0†Y,Pø/9PjQ @ T ï T 0†5Z: ¥ O TWV /9Îí SUT9û
B
T—T 0 T /9Q6Œ[P+8,5môõžPÎï2‹ T î60†5Çï û ï2‹ T Œ[P6Q T îjP6ŒUï T ŽV@ 4 / ¥ -+ÿ 2 ¦ ,ÿ2ý÷ï2/1 T 5
‹6/95{ï2‹+0
T 52ŠWY9í T Y}ù T 0ñ“Y9ï2‹Š S /9365 T 5–:h/íj/0†ï2Œ[Š—3 S /0 ñ“YY91 S ŒU1 T QZñóÔ.ö/0†óÌŒ[5 0 T /9QÔñ|ó
ŒoQ
C43 T Oô B ‹ T 5 T ŠWY,P6Qú/9P6QÕï2‹6Œ[0†QÕ/0†Œ[5 T ðà02Y, ï2‹ T 5ÇïÇ0†Œ[ŠWï L 5 S Y9í6íó
ñ“Y9ï2‹÷.¨/02óÕ/9P6Q
T Y9í T 0/ïÇY90 /†ÿ £¤ÇÿúY,3+ï25†ŠWY9í T 5Ôï2‹ T Œ[PjQ T îjP6ŒUï TFE
/9ñjŒU8,36Œ[ï°óÐï2‹6/ïÌY4Š—Š—3+0†5ÔŒ[ðbï2‹
ŒUï2‹ T 0bñ“Y9ï2‹ø0 T /9Q /Ôñ“YY91Îï2‹6/ï.¨/02ó S ŒU1 T Q û Y90 T /9Š†‹ 0 T /9Qø/!ñ“YY91Î52‹ TÊS ŒU1 T Q
T
¥)
¡£¢¥¤§¦©¨¢¥¤¤ !"¢¥#%$&')(*&$¤§
:h5 S Y9í6í|ó6Oô@ÓŒ[1 T Œ[5 T9û ¢¡:%
:G
OÇO¤Š—/9P¨ñ TÌS Œ[P+1 T Q T Œ[ï2‹ T 0ïÇY
:G
OÌ:h5ÇïÇ0†ŒoŠWïO û Y90
:G
ŒU/9Pòñ TÌS Œ[P+1 T Q ïÇYÎï2‹ T 0 T 5Çí T ŠWï2ŒUù T ù/ S 3 T Y9ð ¡9:E-426",:%
OÇOÇOÌ:h5 S Y9í6íó+Oô
C4YÕï2‹ T 0 T /0 T î6ù T í“Y,5252ŒUñ S[T ŠWY,ñjŒ[P6/ï2Œ[Y,P65Y9ð S Œ[P+14Œ[P+8!0 TmS /ï2ŒUY,Pj5 E
& O Å¢¡¤£¦¥¨§ º©=º »=»¨ ¼¡£¦¥§ º©—º »=»¨ ¼¡£¦¥§ º©—º©=º »=»=»¨ ©°º »•©¬„·
:
º© º »=»¨ ¼¡¤£¦¥¨§ º© º »=»¨ ¼¡¤£¦¥¨§ º© º© º »=»=»¨ © º »
¡£¦¥§
pUrƒr¨w ¨©¨9ªN«9ªNú¯«Fª­F¥}ª­FªÇ©†¹N¥}ª« «FªžÂm¦À§=ªž· f2‚mqw ¨©¨9ªN«
ÏH¦‡¿À¿«FªžÂm¦‡§=ªÇ·$#
Å¡£¦¥§ º©Fº »=»¨ ¼¡¤£¦¥¨§ º©—º »=»¨
" ¼¡£¦¥§ º©—º©=º »=»=»¨ ©—º »
%
) Å¡£¦¥§ º© º »=»¨(' " ¼¡£¦¥§ º© º »=»¨ *
" ¼¡¤£¦¥¨§ º© º© º »=»=»¨ © º »“©¬„·
¡£¦¥§ º© º »=»¨(' " ¼¡£¦¥§ º© º »=»¨ *
" ¼¡¤£¦¥¨§ º© º© º »=»=»¨ © º ' " »
0 T /9Q6Œ[P+8 ‹ T 0 T
û
:G O û /9P6Q¡ ¡ :G OÌ/0 T / S[S)S Œ[P+1 T Q¢ïÇY¢‰9Y,‹6P
/9P6Q
¢¡:%
:G
OÇOŒ[5 S Œ[P+1 T Q ïÇY"¤Œ S[S=û ‹6Œ[Š†‹¨Œ[5 íj/02ï2Œ[Š—3 S /0 S ó Q6Œ(J÷Š—3 S ïïÇY TWV Š S 36Q T Œ[P
Y9ï2‹ T 0)/íjí602Y,/9Š†‹ T 5 û Œ[5Œ[Õí“Y,5252Œ[ñ SUT ‹ T 0 T9û /95 ¢¡9:%
:G
OÇO!365Çïñ T–S ŒoP+1 T Q T ŒUï2‹ T 0
ïÇY£
:G
O–Y90ïÇY£¢¡9:G
Oô
J+ôJ+ô ¤ MGe Oso,+.- qrkolcrnk¨¢RMGq
Y; T ŠWY,P652Œ[Q T 0/9P TWV /9Õí SUT Œ[P|ù9Y S ù4Œ[P+8 7 36/9Pï2Œ[îjŠ—/ï2ŒUY,P û /9P6/íj‹+Y90†/ û /9P6Q
Ž
ŒUíj52Œ[58‹ T 0 T / SoS ï2‹+0 T—T íj‹ T P+Y, T P6/ÕŒ[P|ï T 0†/9ŠWï—ô
TmS[S
: ) O.ö/0†óú0 T /9Q¨/Èñ“Y|Y91 52‹ TÌS Œ[1 T Q ñ T ðàY90 T C43 T Q6Œ[Q•ô
‹ T 05 TmS ðô R ŠWY,P652ïÇ0†/9Œ[P|ïQ T 52ŠW0†ŒUñ-Œ[P+8!ï2‹ T 5 T ï2‹+0 T—T 0 T /9Q6Œ[P+8,5Œ[552‹+Y PòŒ[P : Oô
MTNPOQ¡R-SU¥W¡MX£W¡X¡M£M£MTS5Z U-]^Z6_TS`#N^Z6_