F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ...

12

Transcript of F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ...

Page 1: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

����������� ����������������������� �"!$#%�����&��('������)��*!,+���-#�.��0/1����2��3+4!%25�6 7 ���8#

9":<;=;<:?>A@CB&DFE&GAHIHIJAKML8NAOPDRQ

ST>VU$:=WYX�GZJ[O�GZ\F]F;<:=^_J&`a$bc :=O�GZdI;=>VUYE&O�GfeghbST>VU$:=Wji�KPd�UAGZOIk4`a Q

l ;=Khd�dm>Ak%WFOIGnc GZO�oF:=WFKP;=;<:=p

Q�qrGZ\rHm]ts&KPd�H�u4KPdIKV>MOI^_]wvxk%d�Hm:yHm\%HIKAL z|{Z}A{~9�>M;=k[\%H�q$HhL�qr\F:<HIKT�[�A�%LFE&GZ\F;<WFKhOPL��5���Z{Z�A{t�b vxkFd�HI:<HI\%HmK�GA� l d)HmOIGAkFGZ@ a Lf�&]�>AO�;=Khd4�4kF:<UAKhOId�:<H a Lf��OI>A�Z\FKML�X���GZ;<KMedIG|U$:�e^PJ�`>A^_]��rL8z|�Z{�{Z{���Om>A�Z\%K��rL

� g KP^_]�u�Kh�F\Fo%;=:=^p ��oFdPD�W%K�;=>����GAHmK�W�� l g \FOhL�E�D��3D��t�Z�A�%L�{A�Z{Z�A��i4:=^hK��&KPWFK��j�FLFBfOI>AkF^PK

��OIKP��>AO�KhW ��GAO��� �¡£¢�¤8 _¢

��^PHmGAo¥KPO4�A�%Lf�A{A{%z

z¦�§��>A�AKhdhL��§¨��Z\%OIKhd�©�z�^PGZ;=GAO_ª

«T¬*­�®V¯�°±­�²�³&´�¯�°¦°¦µ$¶h·�¯�¸3¬�µ$¸3¹Zµ�²F¸3¬»º�°¦¯�¯f¼x¶A½9":=;<;=:=>A@CB&D�E&GMHIHmJMKAL¥NAOhDS�Kh�F>AO�HI@¾KPk[H�GM��qr�F>A^hK~q$Hm\%WF:=KPdqrGZ\rHm]ts&KPd�H�u4KPdIKV>MOI^_]wvxk%d�Hm:yHm\%HIKz|{t}M{¿9À>A;<k$\rH�q$HVLfq$\F:<HIK��t�A�E&GZ\%;=WFKPOhLf�5�Á�A{Z�Z{t�

Â*Kh;£Ã4©Ä�Z{Z�tª5}±�t�±Å��A{Z�Z�Bf>±�¥Ã4©Æ�Z{A�tª5}M�t�±Åx�Z�Z�tÇÈÉÅx@¾>A:=;ÆÃÉo�GAHIHIJAKVÊTo�GZ\F;<WFKhOPD�d)s�OI:ÆD�KPWF\

Page 2: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë � Ë

ÌY;ΠÏ�ÐYÌ ´ Ï

Â5]FKYGZO�oF:<Hm>A;�WF:=d)HmO�:=oF\%HI:=GZk%d�GA���%OIGZ@Ñ:=kFKPktH¿>Ad)HmKhO�GZ:=W1�Ä>A@¾:<;=:<Khd�>AO�KnHm]FGA\F�Z]tH~HIGo�K W%:=OIKP^PHÑo a Åx�FO�GrWF\%^PHmdÑGA��^V>MHm>Ad�HIOIGZ�F]%:=^jWF:=d�OI\F�%HI:=GZkÒK�UZKhktHIdY>A@ÑGZkF�ÓWF:?>M@¾K�HmKhOÔ(ÕÁzV{Z{nJ[:=;<GZ@¾K�HmKPO4o�G$WF:=KPdhD�È¥Ö�KP^PHm:<GZk×UZKP;=G$^h:yHm:=KPd�W%KhOI:yUZKPW×��OIGZ@Ød�HI\FW a :=k%�YGZoFdIKPO�UAKhW�Ä>A@Ñ:=;<:=KPdhLÙ]FG|s�KPUAKhOhLÚ>AOIKYd�\FOI�FO�:=d�:=kF�Z; a ]%:=�Z]Û^PGZ@¾�F>AOIKPWÒHIGÓOIKhd�\F;<HId¿��OIGZ@Ü:=@Ñ��>A^PHKÝ�%��KhO�:=@ÑKhktHmd�>AkFWjdI:<@§\F;=>MHm:<GZkFdhD���kFK�s&> a HIG¾O�Khd�GZ;<UAK�HI]F:=d4>A�F�F>AOIKPk[H�^hGAk[HIOm>AW%:=^PHI:=GZk�:<do a >MdIdI\%@¾:<kF�§Hm]�>±H�ÔßÞà»�A{§J[:=;<GZ@¾K�HmKPO��Ä>A@Ñ:=; a @¾KP@§o¥KPOIdPLFdI:<kF^hK�HI]FKh:<O&��GZO�@n>MHI:=GZk8Lr]�>VUAK\Fk%WFKhO��ZGZkFK4dIKP@¾:<@n>¦Ö�GAO�>±�r:=d�WFOI:y�áH�U$:?>�Hm]FK�Hm]%KhOI@¾>A;F��GZO�^hK4^V>A;<;=KPW�HI]FKÚâ�>AOIJMG|Urd�J a K�ã8KP^PHVDvxktHmKPOm>A^�Hm:<GZkFd4o¥K�Hxs&KPKhkÓWFOI:y�áHm:<kF�¿�Ä>A@¾:<; a @¾KP@§o¥KPOId�>AkFW OIKhd�GZk�>Ak%^hKhd�^V>Akw>A;=d�G¾�FO�GrW%\F^hK\Fk%:=ä[\FK~KP^h^PKhktHmO�:=^h:yH a >MkFWfåMGZO4:=k%^h;=:<k�>MHI:=GZk�^_]�>Ak%�ZKhdPD�Â3GA�ZKPHI]FKhOPL¥Hm]%KhdIK~GZ\%Hm^PGZ@ÑKhd�]%Kh;=�KÝ�%�%;?>A:<kÓ©Ä:?ª�s�] a �Ä>A@Ñ:=;<:=KPd�>MOIK�d�]�>AOI�%; a o¥GZ\%kFWFKhWYo a kFKV>AO�o aYæ :=O�J[s�G$GrWç�Z>A�FdhL ©Ä:=:?ª�s�] ad�GZ@¾K��Ä>A@Ñ:=;<:=Khd5]F>|UAK¿>Ad a @Ñ@ÑKPHmO�:=^�dI]F>A�¥KPdhL >MkFWÒ©Ä:<:=:?ª�Hm]FK�^h\FO�:=GZ\%d��FO�KhdIKPkF^hK¿GM�Ù�Ä>A@Ñ:=; a@ÑKh@§o�KhO�d5GZkjdI]FGZO)H�Å�;=:<UAKhW�GZO�oF:<HIdhD

�Ú>MHm>Ad�HIOIGZ�F]%:=^�^hGZ;<;=:<dI:=GAkFd5>A@ÑGZkF��;?>MOI�ZK�>Ad)HmKhO�GZ:=W%d4:<kjHI]FK�@n>A:<kYo¥KP;<H�>AO�K�o�Kh;<:=K�UZKhWjHmGÑ�FOIG$WF\F^PK>Ad)HmKhO�GZ:=W×�Ä>M@¾:<;=:=KPd§©�KADè�FDyL�éRzhê?ª�L ^P;=\Fd)HmKPOId�GA��>Ad�HIKhO�GZ:=W×��OI>A�Z@ÑKhktHmd�s�:yHm]�dI:<@¾:<;?>AO4�FO�GZ�¥KPOTdIKP@¾:<@n>¦Ö�GAO>±�rKhd�ë�L�KP^h^PKhktHmO�:=^h:yHm:<Khd�ìZL8>Ak%Ww:=k%^h;=:<k�>MHI:=GZkFd&í�éè�±ê�éî�Mê3>AkFWwd��¥KP^PHIOm>A;*dI:<�Zk�>MHI\FOIKPd�^PGZkFdI:<d�HIKhktH�s�:yHm] >AkGZO�:=�Z:<kç��OIGZ@ß>Ñ^PGZ@¾@ÑGZkY��>MOIKhktH�o¥G$W a éî�AêÆD l d4dI\F^_]8L��%OIGZ@Ñ:=kFKPktH4>Ad�HIKhOIGA:=WY�Ä>A@Ñ:=;=:<Khd�©ÄKADè�FDyL æ GZOIGZk%:=dhLÈ�GZdhL*Â5]FKP@¾:<dhL3È�\%kFGZ@Ñ:?>%L�X�KPd�H_>Zª�>AO�K�k�>MHm\%Om>A;�;=>Ao¥GAOm>MHIGZOI:<Khd���GZO�\Fk%WFKhO�d�H_>MkFWF:=k%� ]F:<�Z]ÓUZKh;<Gr^P:<H a:=@Ñ��>A^�H��%] a d�:=^hdPL�GZkFK§GA��HI]FK§�FO�:=kF^P:=��>M;3�ZKPGZ;=GA�Z:=^��FOIG$^hKPdId�Khd�>Mã¥Kh^PHI:=kF�ndI@¾>A;=;�o�GrWF:<Khd�:<kwHm]%K§dIGZ;=>AOd a d)HmKh@jD

l ;yHm]FGA\F�Z]�Hm]F:<d���GZO�@n>MHI:=GZkwdI^hKPk�>AO�:=G�:=dTd)HmOm>M:=�Z]tHI��GAO�s&>AOIW�L�HI]FKhO�KÑ>AOIK¿d)Hm:=;<;É@¾>Ak a >Ad��¥KP^PHmd�GA�>Ad)HmKhO�GZ:=WY�Ä>A@Ñ:=;<:=KPd�Hm]F>MH5s&K�WFG�kFGAH a KPH�\FkFWFKPOId)H_>AkFW8D�91K�;=:=d)H�>§��KPsïo¥KP;=G|s�Ãð�µ$³Ä¯ ¹t­á®Ýñ"¬*­Æ¶P®V°M­�ò3ó�®¦­�¯�¸3¶Mô����ÓHmGYkFG|s�L Hm]FK�KxÖ�Kh^PHI:=GZk×UAKh;<Gr^P:<Hm:<Khd�GM�&GZo%dIKhO)UZKPW�>Ad)HmKhO�GZ:=W×�Ä>M@¾:<; a@ÑKh@§o�KhO�d4]F>|UAK~o�KhKPkwWFKPOI:<UAKhW \FkFWFKPO4HI]FK~>MdIdI\%@¾�%HI:=GZk�Hm]F>MH�Hm]FK�dIKP@¾:<@n>¦Ö�GAO5>±�rKhd�GA�ÉHI]FKhd�K�o�GrW%:=Khd]�>VUZK�o�KhKhkjOIKP;?>MHI:<UAKh; a ^hGAkFd�Hm>AktH�d�:=kF^PK�Hm]FKT�Ä>A@Ñ:=; a s&>Ad4^hO�KV>MHIKhWÀé�}±ê�éè�MêÆD�Â5]FK�WF:?>M@¾K�HmKhOÚÔõà»�A{¿J$@��Om>M�Z@¾KPktH4UAKh;<Gr^P:<Hm:<Khd�:=kr��KhOIO�KhW���OIGZ@öHI]F:=d5HIKh^_]FkF:<ä[\FK§>AO�K�H a �F:<^V>A;<; a dIKPUAKhOI>A;�zV{Z{Ñ@÷dÝø�Q�D��&\FO�:=GZ\Fd�; a LHm]%KhdIKçUAKh;<Gr^P:<Hm:<Khd¿>MOIKç:<kF^hGZk%dI:=d)HmKPk[H~s�:<Hm]ÛKxÖ�Kh^�Hm:=GAk�UZKh;<Gr^P:<HI:=Khd�WFKhO�:<UAKhWÒo a GAHI]FKhO¿@ÑKV>Ak%dhDùB�GZOK��%>A@Ñ�F;<KALfk[\F@¾KPOI:<^V>A;�] a WFOIG$^hG$WFK~KÝ�r�¥KPOI:=@ÑKhktHIdhLfs�]F:=^_]�>MOIK�^V>A��>MoF;=K�GA��d�:=@§\%;?>MHI:=kF�¿] a �¥KPO�UAKh;=G$^h:yH a^hGA;=;=:<dI:<GZkFd*>A@ÑGZkF��;=>AOI�ZK�>Ad)HmKhO�GZ:=W%dhLt:=k%WF:=^h>MHmK�Hm]�>±H�@¾Kh>Ak§KxÖ�Kh^PHI:=GZk§UAKh;<Gr^P:<Hm:<Khd3GA�f@§\F;yHm:yÅ�J[@0��Om>A�Z@ÑKhktHId��OIGA@õ�Ä>A@Ñ:=; a Å���GZO�@¾:<kF��:=@Ñ��>A^PHId�>AO�K Þ z|{Z{ç@õd�ø�Q¿éèǦê4éî�MêÆD l ;<Hm]%GZ\F�Z]�;<:=@Ñ:<HmKPWwW�>±H_>ç:=d�>|UM>A:<;?>Ao%;=KHmG�UM>A;=:<W�>MHIK�HI]FKhd�K~^PGrWFKPd�GAkw;?>MOI�ZKÝÅxdI^h>A;=K�>Md�HmKPOIGZ:<Ww^PGZ;=;<:=dI:<GZkFdPLrHm]%K a ]�>VUZK�dI\F^P^hKhd�d���\F;<; a OIKP�FOIG$WF\F^PKhWOIKPdI\F;yHmdTOI>AkF�Z:<kF�ç��OIGZ@õ;?>Mo¥GZOI>MHmGAO a :=@Ñ��>A^�HTK��r��KhOI:<@¾KPktHmdhL�s�]%KhOIK�^P@�Å�dI: g KhWÓ�FO�G±Ö�Kh^�Hm:=;<KhdT>MOIK¿dI]%GAH:=ktHIG�Hm>AOI�AKPHmdPLFHmG�\FkFW%KhOI�AOIGZ\Fk%W k[\F^P;=KV>MO4KÝ�r�F;=GZd�:=GZk%d�©ÄKADè�FDyL*é�ǦêáªÝD

Page 3: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë � Ë

ú °¦ò3­�®|²F³&¬*­Æ¶P®V°M­�ò3ó�®¦­�¯�¸3¶Mô�cw>Ak a �FO�GZ@¾:<kFKhktH4>Ad)HmKPOIGZ:<W��Ä>M@¾:<;=:=KPd&]�>VUAK~>Ad a @¾@ÑKPHIOI:=^�>MkFWfåMGZO�]F:<�Z]F; a\Fk[\Fd�\�>A;4©Æë�û_ìZûIíxª�WF:<d�HmO�:=oF\rHm:=GAkFd�éî�Mê£D l d�>AkÓK��%>A@Ñ�F;<KAL�s�KÑd�]FG|sÁHI]FK æ GZOIGZk%:=d��Ä>A@Ñ:=; a :=k��FO�GZ�¥KPO©Æë�û_즪5>Ak%WÀ©Äë�ûmíxª�©ÆB3:=�FD¥z¦ªTéRzV{Mê£D�i4GAHmK�HI]�>MH�Hm]F:<dÚ�Ä>A@Ñ:=; a :<d5kFKV>AO�; a ^h\%H�:=kçHxs�GFL�s�:<HI]j;=>AOI�AK��FOIGA�¥KPO�ë@ÑKh@§o�KhO�d4@ÑGZO�KTWF:=d��¥KPOIdIKPW×>Ak%Ww>A^�Hm\�>M;=; a GAã¥dIK�H�:<k �%OIGZ��KhO�ì�HI]�>AkYHm]%GZdIK�s�:<HI]jd�@n>M;=;��FO�GZ��KhO4ë�D�vxk>AWFW%:<Hm:<GZk�L�o�GAHm] KhkFW%d�GA�3Hm]FK æ GAOIGZkF:<d5�Ä>A@¾:<; a >AOIK�dI]�>MOI�F; a oFOm>A^_JMKPHIKhW�o a �¥G|s�KhO���\%;3@ÑKV>Ak @¾GMHm:=GAkOIKPdIGZkF>AkF^hKPd�s�:yHm]1NA\F�F:yHmKhOPD l �F��>AO�KhktHm; a L ��KPs-GZoFdIKPO�UAKhWÀ�Ä>A@Ñ:=; a @¾KP@§o¥KPOId�]�>VUZKÑ^hO�GZdId�KhW�KP:<HI]FKhOOIKPdIGZkF>AkF^hKML8K�UZKhk Hm]FGZ\%�Z] HI]FKhd�K~OIKPdIGZkF>AkF^hKPd�>AO�K�O�Kh;=>MHm:yUZKh; a k�>AO�OIG|s0s�]FKPk×^hGA@¾��>MOIKhWjHmG�Hm]FK�dI�F>AkGA��HI]FK~�Ä>A@Ñ:=; a D�Â5]F:=d�dI\FO��FOI:<dI:<kF�ç^hGA:=kF^P:=WFKPkF^hK�^V>AkFk%GAHTKV>MdI:=; a o¥K~K��r�F;?>M:=kFKPW×:=kw>ndI:<@¾�F;<K�d�^hKPk�>AOI:<Gs�]FKPOIK�Hm]FKT�Ä>A@Ñ:=; a �èd&KxÖ�Kh^�Hm:=GAkjUAKh;=G$^h:yH a ¨�KP;=Wj]�>Ad4>Ak�\F�F��KhO�^P\%H�Å�GAãÉD

È�S�vxÂ4�Tu�Ãf��ü l �ÚÈýB3v)þ���u�È�z���È�u�È5D

ÿ ²���­Ä³�ñ��Àµ��Óò�µ[°±¶§¯�¸ ¶���¯f°|®��_³Ä­�¥µ$¬ ¯�°¦ò3­�®|¶Aô5qrK�UZKPOm>A; @ÑKh@§o�KhO�d5GA�3>Ad�HIKhO�GZ:=WY�Ä>A@Ñ:=;<:=Khd�>AO�KTKh:yHm]FKPO GZk×HI]FK�oFOI:<kFJ GA��KhktHmKPOI:<kF�j>�O�Khd�GZk�>AkF^PK ©ÄKADè�FDyL æ GZOIGZk%:=d��Ä>A@Ñ:=; a @¾KP@§o�KhOId���éRzZz�êáªÝL�>AOIK�>M;=OIKh>AW a:=k%dI:=W%K§>n��G|s&KPO���\F;ÙO�Khd�GZk�>AkF^PKj©ÄKMD��FDyL È�GZd��Ä>M@¾:<; a @ÑKh@§o�KhO�d���é z¦�±ê?ª�L¥GZOT>AO�K~��>MO�HTGA��HI]FK§O�Kh;?>±Hm:<UAKh; adI]%GZO�H)Åx;=:yUZKPWjk%KV>AO�Å�È�>AO�HI]wGZo[Ö�Kh^PH§©Æi�È���ªÚ��GZ�F\F;=>MHm:<GZkù©�X4Å�H a ��K~>Ad)HmKPOIGZ:<WFdhLFs�]F:<^_]w�FO�Khd�\F@n>MoF; a s�KhO�KGZkF^PK§��>AO)HTGA��Hm]%K~X�Khd)H_>n�Ä>A@Ñ:=; a o¥K���GZOIK�Hm]FK a Khd�^V>A��KhWÓHm]%K§@n>M:=kwo�Kh;yH���é z|�¦êáªÝD~q$:=kF^PK~Hm]FK§>A�ZKhd�GA��Ä>A@Ñ:=;<:=Khd&;=:=JMK æ GZO�GZkF:<dhLfÈ�GZdhL8>AkFWjX�Khd�Hm>ç>AO�K�HI]FGZ\F�Z]tH4HmG¾o¥KÑz¿þ a GZO�@¾GZO�Kçé zV�AêÆLf:<H4:=d4WF:� ¾^P\F;<H�HIG\FkFW%KhOId)H_>Ak%Wù]%G¦s HI]FKhd�K§�Ä>A@¾:<; a ��\%�Z:<HI:<UZKPd�O�KV>A^_]FKPWÓGZOIoF:yHmd4s�:<Hm]wdI\F^_]ÓdI]%GZO�H�W a k�>A@Ñ:=^V>M;3;<:<��KPHI:=@ÑKhd© Þ zV{¾c a GZO5;=KPdId��*é z¦}|ê�éRz|�±êáªÝD

Â5]FKPdIK~:<kF^hGAkFdI:<d�HmKPkF^h:<KhdPL¥>MkFW O�Kh^PKhktHT>AWrUA>MkF^hKPd�:<kjGA\FO�\FkFWFKPOId�Hm>AkFWF:<kF�nGM��>Ad)HmKhO�GZ:=W�W a k�>M@¾:<^hdhL]�>VUZK�@¾GMHm:<UM>MHIKhW�\Fd�HmGÑ^hGZk%dI:=W%KhO�>Ñ@ÑGrW%:<¨�KPWjd�^hKPk�>AOI:<GÑ��GAO4�%OIG$WF\F^h:<kF���Ä>A@¾:<;=:<KhdhÃ3�Ä>A@¾:<; a @¾KP@§o�KhOIdPLOm>±Hm]FKPO�Hm]F>Ak×o�Kh:=k%�nd�Hm>MHm:<^~>±�áHmKhO�K�Ö�KP^PHm:<GZk�L�:=kFd)HmKh>AW×\FkFW%KhOI�AGçdI;<G¦s o%\%H�d)HmKV>MW a @Ñ:=�AOm>MHI:=GZkçU$:?>�Hm]FKâ�>AO�JAG|U$dIJ a K�ã8KP^PHVD�Â5]FK�â�>AO�JAG|U$dIJ a K�ã8KP^PHT:<d4HI]FKhO�@n>A;*Om>MWF:?>MHI:=GZkY��GZO�^hK�s�]F:=^_]�^h>A\FdIKPd�GZo$Ö�KP^PHId�HmG\FkFW%KhOI�AG¾d�Kh@Ñ:=@¾>¦Ö�GZOÚ>¦�%:<d5WFOI:y�áH�>Ad�>§��\FkF^�Hm:<GZk�GA�3HI]FKh:<OÚdI: g KML�dI�F:<k�LFGZO�oF:<HhLF>AkFWj@¾>MHmKPOI:?>M;¥�FO�GZ��KhO�HI:=KPdé z¦Ç±êÆD l k�>A; a Hm:=^h>A;�>AkFW k[\F@¾KPOI:<^V>A;�OIKPdI\F;yHmd�dI]FG|s Hm]%:=d���GZOI^PK�^h>Ak×@ÑG¦UAK~>Mk×KhkFd�Kh@§o%;=K�GA��Ô�� }ÑJ[@>Ad)HmKhO�GZ:=W%dÉ:=kts&>AOIW~>AkFW§GA\%HxsÚ>MOIW¿>MHÉ@¾Kh>Ak~W%OI:<�áH*OI>MHmKPdÉGA��� �[ë�������� Þ ����z|{$ø�� l � c a ø�Q�LMs�]F:<;=K�;?>AO��ZKhO>Ad)HmKhO�GZ:=W%d&WFO�:<�áHÚ@ÑGZO�K�d�;=G|s�; a ©ÄKMD��%D<L%Ô Þ �A{�J$@ >Ad)HmKhO�GZ:=W%d&WFO�:<�áH&>MH�� �$ë�������� Þ � �×z|{ ø�! l �0c a ø�Q ªé z|�MêÆD5Â5]FKhd�K§Om>MHIKhdPL�s�]F:<^_]�>AO�K�O�Kh;?>±Hm:<UAKh; a :=kFd�KhkFd�:<HI:<UZK�HmGÑHm]FK�dI\%O��Ä>A^PK~�FO�GZ�¥KPO�HI:=Khd4GA�ÙHI]FK�>Ad�HIKhOIGA:=WFd:=kjHm]FK�dI: g K~O�Kh�Z:<@¾K�^hGAkFdI:<WFKhO�KhW�L8>AOIK�:=k HI]FK~O�:=�Z]tH�o�>A;<;=��>AO�JnHmG¾K��r�F;=>A:=kjHm]FK�GZoFdIKPO�UAKhWÓdIKP@¾:<@n>¦Ö�GAO>±�r:=d�WF:=d��¥KPOId�:=GZkFd4GA��@ÑGZd�H�>Ad)HmKhO�GZ:=Wj�Ä>A@Ñ:=;=:<KhdPL���>AO�HI:=^P\F;?>AO�; a HI]FGZd�K�s�]F:<^_]Ó>AOIK�][\FkFWFO�KhWFdTGA��c a HIGþ a GZ;=Wùé zV�AêÆD�c GZO�KhG|UZKPOhL�o¥KP^V>A\%dIK�Hm]FK�@¾>A�ZkF:yHm\FWFK�GA�3HI]FK�â�>AOIJMG|Urd�J a W%OI:<�áH�:<d5dI: g K�WFKh��Khk%WFKhktHVL�HI]FK¨�k�>M; dIKh@Ñ:=@¾>¦Ö�GZOÚ>±�r:=d5WF:<d�HmO�:=oF\rHm:=GAkYWFKh��KhkFW%d�GZkYHI]FK�dI: g K�GA�3HI]FK�GZo$Ö�KP^PHmdPL�>Ad�GZoFdIKPO�UAKhWw:<k1éè�MêÆD

Â*G~^_]FKP^_J¾GZ\%O�] a �¥GMHm]FKPdI:=dPLrs�K4HIOm>A^_JMKhWçHI]FK�W a kF>A@¾:<^V>A;�K�UZGZ;<\%Hm:<GZkÑGA� æ GZO�GZkF:=d��Ä>A@Ñ:=; a @ÑKh@§o�KhO\Fd�:=kF�wHI]FKçd a @Ñ�F;<Kh^PHI:=^ç:<ktHmKh�AOm>MHI:=GZkù^hG$WFK�q$9"v�B3Â&Å�u�cjX�q%�Òé z|�Mê&@¾G$WF:y¨�KhWùHmG�>A^P^hGZ@Ñ@ÑGrW�>±HmKâ�>AO�JAG|U$dIJ a Hm]FKPOI@¾>A;F��GZOI^PKhd�é z¦Ç±êÆDÉ9ÀK�^PGZkF^hKPktHmOm>±HmK4GZkÑHI]FK æ GZOIGZk%:=dÙ�Ä>A@Ñ:=; a :<k�HI]F:=d��F>A�¥KPO��FOI:<@n>AO�:=; a

Page 4: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë � Ë

o�Kh^V>M\FdIK�:<H�K��r]F:=o%:<Hmd�>A;=;3GA��Hm]FK¿d�:=kF�Z\%;?>AO4��KV>MHI\FOIKPd�W%KhdI^POI:<o¥KPW1>Mo¥G|UZKÑ>Ak%Wùo�Kh^h>A\Fd�KÑ:yHmd�;<G|sö©ÄìZûmíxªUM>A;=\%Khd4JAKhKP��:<H��Ä>AO���OIGZ@÷@ÑGZd)H���GAHIKhktHm:=>A;�:=ktHmKPOI;=GA�¥KPOIdhD5�T\%O��Ä>A@Ñ:=; a ��GZO�@n>±Hm:=GAkj@ÑG$WFKh;�OIKPdI\F;yHmd�>AOIKWFKPdI^hO�:=o�KhWjd�HIKh�rÅ�o a Å�d�HmKP�×o�Kh;=G|s�DÎ ®|µ[·#"�$*´�²%®|²F¶P®|°¦¯f·%�*­Æ¹�¬*­Æ¶h°±ó�·*®|­Ä¯�¸�ô-B�GZOnGA\FOnd)H_>AO)Hm:=k%��^hGZk%WF:<HI:=GZkFdPLÚs&KÓ>MdIdI\%@¾KwHI]FK^V>±H_>Ad)HmOIGA�F]F:=^�WF:<dIOI\%�%Hm:<GZkwGA�ÉHm]FK æ GZOIGZk%:=d4��>AOIKPktH�o�GrW a ©ÄÔ&�-zZz|�¾J[@'�Ùéè�A{Mê?ª�L¥>AO�oF:<HIOm>AO�:=; a �F;=>A^hKPW>MH�HI]FK§GZO�oF:<H�GA��©)z|}A�tª æ GZO�GZkF:<dhL8KxÖ�Kh^�HmKhWÓ@§\%;<Hm:RÅxJ[@¿ÅxdI: g KPWj��OI>A�Z@ÑKhktHmdT>±H�UZKP;=G$^h:<HI:=KPd Þ à �Z{¾@ d ø�Q D91K��F\FO��¥GZd�Kh; a ^_]%GZdIK�UAKh;=G$^h:yHm:<Khd�;=G|s&KPO&Hm]F>AknHm]%K�:=k%��KPOIO�KhWçKxÖ�Kh^PHI:=GZk¾UZKh;<Gr^P:<HI:=Khd�GA��GZoFd�KhO)UZKhW æ GZO�GZkF:=d�Ä>A@Ñ:=; a @ÑKh@§o�KhO�d¿© Þ àï�Z{Z{Ñ@õd ø�Q ��éî�Mê?ª4GZO�KPUZKPk�Hm]FGZd�K~GA��] a WFO�Gr^PGrWFK~dI:=@~\F;?>MHI:=GZk%d�© Þ z|{Z{Ñ@Ød ø�Q �éî�Mêáª5:=kjGZO�WFKhO4HmGÑ�t>A\F�ZK�Hm]%K~:=@Ñ��GZO�Hm>AkF^hKTGM�ÙHm]FK�â�>AOIJMG|Urd�J a K�ã8KP^PHVD4B�GZO5Hm]%:=d4OIKV>MdIGZk�L�kFGn>MHIHIKh@Ñ�%Hs&>Ad�@¾>AWFK§HIG @¾>MHI^_]ÓHI]FKw©ÆìZûmí�ªTd���>AkùGA� æ GAOIGZkF:<d��Ä>A@Ñ:=; a UM>A;=\%KhdTkFKh>AOhL*dm> a LÉ�rD��tÇ l ��L Hm]%GZ\F�Z]@ÑGZOIK¾OIKV>M;=:=d)Hm:<^Ñ:<kF:<HI:?>A;�^PGZkFWF:yHm:<GZkFd~^PGZ\F;<W�OIKh>AWF:=; a WFG×d�GFD×9ÀK¾HmOm>M^_JAKhWÛHI]FKçKPUAGZ;=\rHm:=GAkÀGA���rzV{HmKPd�H�>Md�HmKPOIGZ:<WFd�s�:yHm]Ò�ÀàÔ àC�t{wJ[@jDwÂ5]FK¾HmKhd)H�>Ad)HmKhO�GZ:=W%d�s�KhOIKY�A:<UZKPk�Om>MkFWFGZ@ dI�F:<kÛ>±�r:=dGZO�:=KhktHm>MHm:<GZkFdhLfd��F:=k×��KhO�:=G$WFd4o¥K�Hxs&KPKhkÓ�MÅ_z|�Ñ]�L8>AkFWwHI]FKhO�@n>A;*>Ak%W×@n>±HmKhO�:?>A; �%OIGZ��KhO)Hm:=KPd�^PGZkFdI:<d�HIKhktHs�:<HI]�OIKh�AGZ;=:yHm]rÅ�^hG|UZKPOIKhWj>Ad)HmKPOIGZ:<WFd�;=:=JMK æ GZOIGZk%:=d&�Ä>A@Ñ:=; a @¾KP@§o¥KPO�©£�M�Z�tª&vxW�> é��rz�ê�é��A�±ê£DÎ ®|µ[·)(�$+*çñ�¸�²���­Ä¹Z²�³�µ���¯�³Æó ®¦­�¯¥¸ï­Æ¸0¶Pµ��À­,�À².-P¯�° ²0/�­Ä¶Aô���\FOT��Om>M�Z@¾KPktHmd�s�KhOIKÑk[\F@ÑKhOI:<^V>A;<; a:=ktHIKh�ZOI>MHmKPW ��GZO Þ ÇM{Z{çc a L¥;<Khd�d�Hm]F>Ak HI]FK§>Ad�dI\F@ÑKhW×>A�ZK�GA�ÉHI]FK æ GZO�GZkF:=d5�Ä>A@Ñ:=; a ©Æ�rD }|Å��%D�{nþ a é zV�Mêéè�rzhê?ª�oF\rH�;=GAkF�¾KPkFGZ\F�A]wHmG¾WFKPHIKhOI@Ñ:=k%K~KPUAGZ;=\rHm:=GAk�>AO a HIOIKPkFWFd���GAO�d�;=G|s&KPO)Å�WFOI:y�áHm:=k%�¾o�GrW%:=Khd~©ÆB3:=�FD��ZªÝDl �áHIKhO�z|{Z{nc a L�@¾GAd�H4o¥G$WF:<Khd4]�>VUZK~@Ñ:=�AOm>MHIKhWj:=kjdIKh@Ñ:=@¾>¦Ö�GZO�>¦�%:<d�>M;=GZkFK�����KPs dI:<�ZkF:y¨�^V>AktH4^_]�>Ak%�ZKhd:=k1©ÄìZûmíxª5>AO�K�GAoFdIKPO�UZKPW�D5��\FO�;=>AOI�ZKPd�H5��OI>A�Z@ÑKhktHmdPL�o¥KP:=kF��;=KPdId4dI\Fd�^hKP�%Hm:<oF;=KTHmG�Hm]%KTâ�>MOIJAG|U$dIJ a KPã¥Kh^�HVLWFGçk%GAHT@ÑG¦UAK~UZKPO a �Ä>AOhD49ÀK§KÝ�r�¥KP^PHTHm]%Kh@ØHmGç�t>M:=k×d�GZ@¾K�;=:<@¾:yHmKhW�@ÑGZoF:<;=:<H a G¦UAKhO�HI]FK¿>A�ZK�GA��Hm]%K�Ä>A@Ñ:=; a U$:=>��%OIG$^hKhd�dIKPd�;=:<JAK�^PGZ;=;<:=d�:=GZkFd&>AkFWfå±GZO�^h;=GAdIKTKhk%^hGZ\FktHIKhOId4s�:<HI] >Md�HmKPOIGZ:<WFd�;=:<JAK�©�z¦ª��&KhOIKPdhL3©£�Aª�É>M;=;?>MdhL%GAO~©��[ª�X�Khd)H_> é��M�Mê�éè�M�AêÆD

È�S�vxÂ4�Tu�Ãf��ü l �ÚÈýB3v)þ���u�È ����È�u�È5D

Î ®|µ[·21�$43h¸¥®Vµ$°¦²�¹A®|­Ä¯�¸*¶65¾­�®7�85§µ[²:9 °¦µ$¶h¯�¸�²�¸3¹Zµ$¶ADjâ�>AOIJMG¦U$d�J a ��GZOI^PKhd§W%OI:<UAKn@¾>Ak a �Ä>A@¾:<; a@ÑKh@§o�KhO�d�Hm]%OIGZ\F�A]�k$\%@¾KPOIGZ\Fd�OIKhd�GZk�>Ak%^hKhd�s�]%KhOIK~OIKhd�GZk�>AktH&Ö�\F@Ñ�F:<kF�[å±HIOm>A�F�%:=kF��KPUAKhktHmd��FO�GrW%\F^hKkFGAHI:=^PKV>AoF;<KT^_]�>AkF�AKhd4:=kj�FOIGZ��KhO�KP^h^hKPktHmOI:<^h:yH a Lf��>AO)Hm:=^P\F;?>MOI; a GZkYHm]%K�O�:=�Z]tH�dI:<WFK�GA��B3:=�FDF�rD�Â5]%K�@ÑGZd�H^hGAkFdI�F:<^h\FGA\FdTKPã¥Kh^�Hmd�>AO�K§kFGAH�^V>A\Fd�KhWÓo a ^_]�>MGAHm:<^~WF:yã8\Fd�:=GZk8L8dI:<kF^hK�Hm]FK~s�:<W%Hm]%d�GA��Hm]FK���KPs�@¾Kh>Ak@ÑGAHm:<GZk O�Khd�GZk�>AkF^PKhd�KÝ�r:=d�HI:=kF�¾:=kjHm]F:<d�O�Kh�Z:<GZk×>AO�K�HI:=k a >MH�d�@n>M;=;�ì~UM>A;=\%KhdhD4u4>MHm]%KhOhL�Hm]FK�WFOm>M@n>MHI:=^Ö�\F@Ñ�Fd�>MOIK~^h>A\Fd�KhW�o a :<ktHmKhOI>A^PHI:=GZk%d4s�:yHm]×d�Kh^h\%;?>AO�OIKhd�GZk�>Ak%^hKhd¿©ÄKADè�FDyL<; =ý�7; �?> �@; ! >MH��rD��t� l ��ªs�]F:<^_]w:=k%^hOIKh>AdIK�ì�o%\%H�W%G¾kFGMH�d�:=�Zk%:<¨�^h>AktHm; a ^_]�>AkF�ZK�í�©ÆBÉ:<�FD�z¦ª�éè�Z}±êÆDÚi4GAHmKTHm]F>MH�:y�3HI]FKTâ�>AOIJMG¦U$d�J aKPã¥Kh^�H�WF:=WnkFGAH5KÝ�%:<d�HhL�>Ad�HIKhO�GZ:=WFd&:=k±Ö�KP^PHmKPW�:=ktHmG~HI]FKA;B=Û�@; �%> ��; ! OIKPdIGZkF>AkF^hKTs�GZ\F;<WY\FkFWFKPOI�ZG¿^ a ^P;=:<^ìnGZd�^h:<;=;?>±Hm:=GAkFd�\FktHm:<;�OIKh@ÑG|UZKPWÀ��OIGZ@(O�Khd�GZk�>AkF^PKço a >j^PGZ;=;<:=dI:<GZk�GZO�> ^P;=GZd�K¾KPkF^hGZ\%k[HIKhO�d~s�:<HI]�>;?>MOI�ZK�>Ad)HmKhO�GZ:=W8DÚ9":<Hm]�â�>AOIJMG|Urd�J a L�GZkjHm]FK�GAHm]%KhO4]�>AkFW�L�o�GrWF:<Khd4WFOI:y�áHm:<kF��:=ktHmGÑHm]FK�;=K��áH�d�Kh��>AOI>MHmO�:y�:=k%^hOIKh>AdIK�Hm]FKP:=O�ì�UM>A;=\%Khd4\FktHm:=;*OIKh>A^_]F:<kF�¾HI]FK~O�:=�Z]tH4dIKP��>AOm>±HmOI:R�¥L�s�]FKPOIK~HI]FK a ^h>AkÑÖ�\F@Ñ� GA\%H�GA�3Hm]FK

Page 5: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë } Ë

OIKPdIGZkF>AkF^hKMD�Â5]F:=d4GZ\%HI^hGZ@ÑK��Z:<UAKhd æ GZO�GZkF:<dÚ�Ä>A@¾:<; a @¾KP@§o¥KPOId4��>Ad�dI:=k%�ÑHI]FOIGZ\%�Z] HI]FK ;C=»�@; �D> ��; !OIKPdIGZkF>AkF^hKn>j��KhO�@n>MkFKhktH�o¥G$GZd�H�:<kÀìZDY�4;<HI:=@¾>MHmKP; a L¥Hm]FK¿â�>AOIJMG|Urd�J a K�ã8KP^PH§d��F;=:yHmdTHm]%K æ GZO�GZkF:=d�Ä>A@Ñ:=; a :<ktHmG¿Hxs&GÑWF:<d�Hm:<kF^PH ^h;=GA\FWFd :<kù©Æë�û_즪ÚdI��>M^hKAL�s�:yHm]YHm]FGAdIK�GZkYHm]FK�O�:=�Z]tH�dI:<WFKT�FO�KhWFGZ@Ñ:=kF>MHmKP; a^hGA@¾�FO�:=d�KhWwGM��dI@¾>A;=;ÆLF�Ä>Ad�H)ÅxWFO�:<�áHm:<kF��GZo$Ö�KP^PHmdÑ©�KADè�FDyL8BÉ:<�FD�z¦ª�D4Â5][\FdhL¥Hm]FK�\Fk[\FdI\�>M;5©Æë�û_즪�dI]�>M�¥K¿>MkFWdI: g KÝÅxGZO�oF:<H�WF:<d�HIOI:=o%\%Hm:<GZkYGA�*Hm]FK æ GZOIGAkF:=dÚ�Ä>A@Ñ:=; a L$HmGZ�ZK�Hm]FKPO5s�:<Hm]YHI]FK�k%GAH_>Ao%;=KT;?>M^_JnGA�ÉWF:=d��¥KPOIdI:<GZk�:=k©Æë�ûmí�ªÚdI��>A^PKAL��FO�G|Ur:<WFK�d�HIOIGZkF�ÑKPU$:<WFKhkF^PK���GAO�>Ad�HIKhOIGA:=W�@¾GAoF:=;<:<H a U$:?>~Hm]%KTâ�>MOIJAG|U$dIJ a KPã¥Kh^�HVDÎ ®|µ[·FE0$+3P¸¥®|µ[°¦²�¹A®¦­�¯�¸G5¾­á®7�À¶�®|°¦¯¥¸IHj°±µ$¶h¯�¸�²�¸*¹Zµr¶Mô5BÉ:=�%D[��dI]FG|s�d�Hm]�>MH æ GZO�GZkF:<dÙ�Ä>A@¾:<; a @ÑKh@§o�KhO�dWFO�:<�áHm:<kF�§�Ä>AO�Khk%GZ\F�Z]js�:<Hm]%:=k ÇA{Z{Ñc a o�Kh^PGZ@¾KTHIOm>A�F��KhW :=kYHm]%K���G|s&KPO���\F;3}rà ��GAO�Ç$à ��@¾Kh>Ak�@¾GMHm:=GAkOIKPdIGZkF>AkF^hKPdhD�E a W%KP¨�kF:yHm:<GZk�LfHm]FKPdIK¿GZo$Ö�KP^PHIdhL�s�:<HI]ÓÔ Þ �nJ[@ >AkFW�GZoF;<:=ä[\F:yHm:=KPd�kFKV>AO�{�J�GZO§z|�A{�JPL]�>VUZK§HI]FK§�Ä>Ad)HmKhd)HTWFO�:<�áH�OI>MHmKPd�:=k�GA\FO�d�:=@§\F;=>MHm:<GZk�D�S�KhdI�%:<HmK�Hm]F:<dhL8k%GZkFK�>AO�K§dIKPKhk�HmG�Ö�\%@¾�Ó>A^POIGZd�dHm]%Kn}$à �çGZO�ÇrÃ��%D§Â5][\FdPL3O�Khd�GZk�>AkF^PK¾^h>A�%HI\FOIK�KPUAKhktHmd�K��r�F;=>A:=k×s�] a kFG�^hGAkF^hKPk[HIOm>MHI:=GZk%d�GM���Ä>A@Ñ:=; a@ÑKh@§o�KhO�d&>AO�K�GZo%dIKhO)UZKPWYGZknHm]%K�;=K��áHÝåMO�:=�Z]tH�d�:=WFKPd&GA��HI]FKT}$à �ZåAÇrà ��OIKPdIGZk�>MkF^hKPdhLFO�KhdI��Kh^�Hm:yUZKh; a ©ÆBÉ:<�FD�z¦ª�D��kF^hKT^h>A�%HI\FOIKPW�L æ GZOIGZk%:=d&�Ä>A@Ñ:=; a @¾KP@§o�KhOIdÚ>AOIKT�F\%dI]FKPW GZktHIG¿�F;?>Ak%KPH�Å�^hO�GZdId�:=kF�¿GZO�oF:<HIdhL$s�]FKhO�K�HI]FK a�ZG�GZkÓHmG�d�HIOI:<JAK�Hm]FK¾qr\Fk8L3>��F;=>AkFKPHhL�GZO�>AOIK�KxÖ�Kh^PHIKhWù��OIGZ@õHm]FK�:=k%kFKhO�dIGA;?>AOTd a d)HmKP@(o a >�^h;<GZdIKKhk%^hGZ\FktHIKhO�s�:<Hm] NA\F�%:<HmKPO�©ÄKADè�FDyL*éRzV�±ê?ª�D

91K�o¥KP;=:<KPUZK�GZ\FOÚd�:=@§\F;=>MHm:<GZkÑOIKh�%OIG$WF\F^hKPdÚHm]FKTG|UAKhOm>M;=;�©Äë�û_ìZûmíxª�WF:=d)HmO�:=oF\%HI:=GZk8L$HI]FKT>A�F�F>AOIKPk[H�d�: g KdIGAO�Hm:<kF�YGA��Hm]%K æ GAOIGZkF:<d��Ä>A@Ñ:=; a L�>MkFW×Hm]FK���>M\F^h:yH a GA���Ä>A@Ñ:=; a @¾KP@§o¥KPOIdTGZk×HI]FK�;=K��áHÝåMO�:=�Z]tH�d�:=WFKPdGA��Hm]%KÑ}rà �ç>MkFW1Çrà �çO�Khd�GZk�>AkF^PKhdPL*O�Khd��¥KP^PHm:yUZKP; a L s�]F:<;=K¿>M;=dIGndI]FG|s�:=k%��HI]�>MHTd�GZ@ÑK æ GAOIGZkF:<d��Ä>A@Ñ:=; a@ÑKh@§o�KhO�d4^PGZ\F;<Wwo�K�KPdI^h>A�F:=k%�nGZ\%H4GA�Ù�¥G|s�KhO���\%;*O�Khd�GZk�>AkF^PKhd�HIGrWF> a ©Ä:£DèKADyL æ GZOIGZk%:=d5@ÑKh@§o�KhO�©£�M�t}A�tªX a d�]FKhd�;?>VU$:?>%L8>wz¦}ÑJ[@õo¥G$W a L¥:<d�;=G$^V>±HmKhW dIGç^P;=GZd�K�HIGnHm]FK§}rà �ÑOIKPdIGZkF>AkF^hK§HI]�>MH�:<H4s�:=;<;*o�K~KxÖ�Kh^�HmKhW��OIGA@ßHm]FK�@¾>A:=kYo�Kh;yH5s�:<HI]F:=kÓz|{¿HmG¾�A{¾c a �3é��A�±êáªÝD�E&>AdIKPWwGZk�Hm]FKPdIK�OIKPdI\F;yHmdhLFs�K�^hGZkF^P;=\FW%K�HI]�>MH�Hm]FKâ�>AO�JAG|U$dIJ a KPã¥Kh^�HVL�s�GZOIJ[:<kF�Y:=k×^PGZkF^PKhO�H�s�:<Hm]�O�Khd�GZk�>AkF^PKhdPL ^V>Ak�KÝ�%�%;?>A:<kwHm]FK¿@Ñ:=d�@n>±Hm^_]wo�KPHxs�KhKPkHm]%K�GZo%dIKhO)UZKPW�dI�FO�KV>AW GA��>Ad)HmKhO�GZ:=W��Ä>A@Ñ:=;<:=Khd&dI\F^_]�>Md æ GZO�GZkF:=d�>MkFW HI]FK�d�: g K�Å�UAKh;<Gr^P:<H a WF:<d�HmO�:=oF\rHm:=GAkFdWFKPOI:<UAKhWÓ��OIGZ@ ] a WFO�Gr^PGrW%KÑd�:=@§\%;?>MHI:=GZkFdPL >A;<;És�:<HI]F:=kÓ>Y^hGAkFdI:<d�HmKPktH~@ÑGrW%Kh;£D~Â5]FK¾W%Om>Vs�o�>A^_J×s�:yHm]Hm]%:=d���>AOI>AWF:=�A@ Lr\Fk%��GZO)Hm\Fk�>±HmKh; a L�:<d�HI]�>MH�Hm]%K�^P\FOIO�KhktH�GAOIoF:yH_>A;�W%:=d�HIOI:<oF\%Hm:<GZkFd5GA�ÉÔ àý�A{ÑJ[@÷o�GrW%:=Khd>A@ÑGZkF��@ÑGZd�H�>Ad)HmKhO�GZ:=WY�Ä>A@Ñ:=;<:=KPd&^V>MkFkFGAH�o¥K�WF:<OIKP^PHm; a \Fd�KhW HIG¾:<k%��KhOÚHI]FK��FOIGZ��KhO)Hm:<Khd�GA�ÉHI]FK�GZOI:<�Z:=kF>A;oFO�KV>AJ[\F��D

��\FO&O�Khd�\F;<HId&:=@Ñ�F; a Hm]�>±HÚdIGA@¾K�>Ad�HIKhO�GZ:=WFd�GZoFd�KhO�UAKhW�:=kÑHm]FKTcw>AOId�Åx^POIGZd�dI:=k%�¿>AkFWfå±GZO�k%KV>AO�Å�È�>AO�HI]OIKP�Z:=GAkFdTs&KPOIK¾�Ä>M@¾:<; a @¾KP@§o¥KPOId��FO�GrWF\%^hKhWÀoF:=;<;=:=GAkFd�GA� a Kh>AOId~>A�ZGjo a ^h>MH_>Md�HmO�GZ�F]F:<^¾W%:=dIO�\F�%HI:=GZkKPUAKhktHmdPD�Â5][\FdPL�dI:<kF^hK�â�>AO�JAG|U$dIJ a WFO�:<�áH&Om>MHIKhd5>AO�K�dI: g KÝÅxWFKP�¥KPkFW�>AktHVL�;=>AOI�AK�kFKh>AO)ÅxÈ�>MO�Hm]�>Md�HmKPOIGZ:<WFdÚ;<:=JAK©Ä�Z�Z�tª�È�O�GZd�^PGZ\F;=Ww]�>VUZK§H_>MJAKhk�o%:=;=;<:=GZk%d5GA� a Kh>AOId�HIGçKhd�^V>A��K~Hm]%K§@n>M:=kwo�Kh;yHVD�Â5]F:=d�^_]�>AOm>M^PHmKPOI:<d�Hm:<^��GAHmKPk[HI:?>A;<; a K��r�F;?>M:=kFd5s�] a dIG¾��K�s Ô Õ �A{�J[@÷kFKV>MO)Å�È�>AO)Hm]w>Ad�HIKhOIGA:=WFd4K��r:=d)H�>MkFW s�] a ©Ä�t�A�tªÚÈ�OIGZd]�>Ad�d�\F^_]×>¿]FKh>|U$:<; a Åx^POm>MHIKhOIKPW d�\FO��Ä>M^hKAD

vxkF:yHm:?>M;=; a L�HI]FK~â�>AO�JAG|U$dIJ a KPã¥Kh^�HTsÚ>Ad�:<k[HIOIG$WF\F^PKhWÓ:=ktHmGY�%;?>AkFK�H_>AO a W a kF>A@¾:<^hdT>Md�>���GZd�dI:=o%;=KHmOI>AkFd��¥GZO)H_>MHI:=GZk1@¾KP^_]�>AkF:<dI@ ��GZO~@ÑKPHIKhGZO�:<HmKPdhD�Â*GrWF> a LÙs&K�>MOIKço�Kh�Z:<kFkF:<kF� HIG�OIKh^PGZ�ZkF: g KnHI]�>MHHm]%K�â�>AO�JAG|U$dIJ a K�ã8KP^PHhL3HmGA�ZKPHI]FKhO�s�:<HI]1O�KhdIGAk�>AkF^PKhdhL�@¾> a o�KÑHI]FKnWFGA@¾:<k�>AktH�@¾Kh>AkFd�o a s�]%:=^_]

Page 6: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë � Ë

Ô Þ à �A{çJ[@ >Md�HmKPOIGZ:<WFd�O�Gt>A@ØHm]FK§@¾>A:<kwo�Kh;<H�>AkFW�O�KV>A^_]�Hm]%K~HmOI>AkFdI��GZO)H_>MHI:=GZk×O�Khd�GZk�>AkF^PKhd�s�]F:<^_]^V>MkjHm>AJAKTHm]%Kh@ßHIGÑHI]FK�:=kFkFKPO5dIGZ;=>AO5d a d)HmKh@ ©Ä>AkFW È�>AO�HI]fª�D

Page 7: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë Ç Ë

Ð µ$¼£µ$°¦µ$¸*¹Zµr¶é zhê�X§D4K�>A�F��>M;ML>%L¥�3D8E&KhkFW¦Ö�G a >%L l D��&Kh;<;=:=k%GFL��3D�Bf>AO�:=kFKP;=;=>%Lf>AkFWù��D8BfO�GrKPdI^_]F;�`KALINV PO�QSR.TU"V"�W�L �A�%z©)z|�A�t}Zª

éè�±ê l D�cj:=;?>MkF:Ù>Ak%WFKÉD æ kFKZeg K�Ur:�`^AL%N| PO�QSR�TX".Y4Z¥L*�rz|�ù©)z|�A�A�[ª[�\KÉD æ kFKZeg K�Ur:�`^AL l D�ü Kh@¾>A:yHmOIKML >AkFWl Dfcj:=;?>MkF:£Lr:=k6]^T[_x¢[Qa`±¡cb@TANPNdN�L%9 DfB&DFE&GAHIHIJAKML l D��&Kh;<;=:=k%GFLF�*Df�É>AGZ;<:=^P^_]F:£L�>MkFWwu�D�E&:<k g KP;£L�È�WFdPD©Æ�4kF:<U�D l OI: g GZk�>���OIKPdIdhLfÂ*\F^hd�GZk�L¥�A{Z{Z�Zª�LF:<kY�FOIKPdIdPD

éî�Mê���OIGZ��KhO�Kh;<Kh@ÑKhktHmd~>AOIK¾ä$\F>AdI:RÅx:=ktHIKh�ZOI>A;=dTGA�Ú@¾GAHI:=GZk ©Ä:ÆD�KMD<L*Hm]FK a >AOIK¾kFKV>AO�; a ^PGZkFd�Hm>AktH~s�:yHm]Hm:<@¾KVª�D�Â5]FK a >AO�K~GZo%Hm>A:=k%KhW×o a Kh;=:<@¾:<k�>MHI:=kF�§HI]FK§dI]%GZO�H�>AkFW×;<GZkF�MÅ£HmKhO�@÷�¥KPO�HI\FOIo�>±Hm:=GAkFd���O�GZ@GZdI^P\F;?>±Hm:=k%�¾KP;=Kh@ÑKhktHIdhD l k×\F�$Å�HmG±ÅxW�>MHIK�;<:=d)H�GA�ÙkFKV>AO�; a ÇA{rL {Z{A{n>Ad)HmKhO�GZ:=W �FOIGA�¥KPO�Kh;<Kh@ÑKhktHmd�^V>Ako¥K���GA\FkFW >MH5Hm]FK l d�H_S a qY:=k%��GAOI@¾>MHm:<GZkçdI:yHmKÑ©�][H�Hm��à åZåMk%KPs5HmGAk�D�W%@ Dè\FkF:<�F:£Dè:<H_ª�D

é �Aê�u�D��*D¥E�:=k g Kh;3>AkFW�q�DVe�\�L3�� �¡£¢�¤8 _¢f(VWVY L�z|�Z�w©)z|�A�Z�tª[� l D8S�GZO�Khd�dIGZ\Fk%WF:=OI>A@ L�cùD l D¥E&>AOI\F^P^h:ÆL>AkFWwc1DfB�\F;=^_]%:=�ZkFGAkF:£LVNV PO�QSR.T^"�1I"�L�z¦}j©)z|�A�Z�tª[�FS§Dfü*> ghg >MOIG�¢[_gO�h D LiN| PO�QSR�TC"�E<(�L zV�[}j©)z|�Z�A�tª[�X§DVK�>M�F��>A;jL> ¢[_kO�h D LVNV PO�QSR.T^"�E4l�L�� ©£�M{Z{Z{%D ª

éè}±ê�X§D4K�>A�F��>M;ML>%L l D8�&Kh;<;=:=k%GFL l D�S�KP;=;Æ� ��OIG%L¥B�D�c :<�Z;=:<GZOI:<kF:£LF>AkFW��*D��É>MGZ;=:<^h^_]F:ÆL+NV PO�Q[R�TU"�(:E*L3z¦}A�©)z|�A�Z�tª

éî�Mê l Df�&KP;=;<:=kFGw¢[_mO�h D�LiN| PO�QSR�Tn"�Eo"�L�ÇA�j©)z|�A�Z�tªéèDZê~q¥D¥ü�G|UAK�>AkFW�ÂTD N%D l ]FO�KhkFdPLoN| PO�QSR�TU"�(:E�LÉzh�Fz�©)zV�Z�Z�tªS�¥9 D�E�Khk g >Ak%WÓÈ�D l d��F]�>A\F�%LIN| PO�QSR�T"�E4(�Lf}j©)zV�Z�Z�tªS�FÈ5Dfu a >Ak�Li]�¤�¤�R0poq�¢[r@pIskO�Q[_tvuDh�OA¤8¢[_wp3�� �¡cpi(Vx�Lf�Z�tÇY©£�M{Z{Z{tª

éî�Mê��3Dfcj:=^_]FKP;£LF9 DfE&KPk g Lf�*D�ÂÉ>Ak%�t>%Lf>AkFWjS§D�u�:=^_]F>AOIWFd�GZk�L��� �¡£¢�¤8 _¢�Lr:=k��FOIKPdIdPDéî�Mê l D*c GAOIoF:<WFKh;<;=:£L¥X§DoK�>A�F�F>A;ML>%L*cùDÉcjGrGZk%dhL l D3�&Kh;<;=:<kFGFL >Ak%W�u�D*þ�GZk%^ g :ÆL\N| PO�QSR.T�"V"�x L�z|�t�©)z|�A�t}Zª

é z|{Mê�Â3G WF:=d)Hm:<kF�Z\F:<dI]1HI]FK æ GZO�GZkF:<d��Ä>A@Ñ:=; a ��O�GZ@(Hm]FK¾o�>A^_J[�ZOIGA\FkFWÛ��GZ�F\F;=>MHm:<GZk�L�s&KY>M�F�F;=:<KhWÀ>]F:=KPOm>AO�^_]F:=^h>A;�^h;<\Fd�HIKhOI:<kF�n@ÑKPHI]FG$WÛ©Æ���5cת�HIGnHm]%K~@ÑGrWFKPOIk �FOIGZ��KhO�Kh;<Kh@ÑKhktH�WF>MH_>AoF>AdIK���GZ\FkFW>MH�HI]FK l d�HmS a q�:<k%��GZO�@n>MHI:=GZk d a d�HIKh@ éî�MêÆD�Â5]FK�^hO�:<HmKPOI:<GZk×GA���Ä>A@Ñ:=; a @ÑKh@~o¥KPOIdI]%:=�ÓOIKPä$\%:=OIKPdHm]�>±H�>A;=;��Ä>A@Ñ:=; a @¾KP@§o¥KPOId�>AO�K§^hGAkFkFKh^�HmKPW1o a > ^_]F>A:=k L8s�]FKhO�K¿KV>A^_]ù@ÑKh@§o�KhO�:<d�;=G$^V>±HmKhWs�:<HI]F:=kù> �A:<UZKPk1UAKh;=G$^h:yH a WF:yã8KPOIKhk%^hK�©�^h\%HIGAã�ª�HmG :<HId�k%Kh:=�A]$o�GZO�:=kù�FO�GZ�¥KPOç©Äë�û_ìZûmíxªÝD�Â3Gjo¥K^hGZk%dIKhO)UM>MHm:yUZKAL¥s&K¿]�>VUAK¿^_]FGZdIKPk1}A{n@õd ø�Q >Ad�GA\FO�^h\rHmGAã1UZKh;<Gr^P:<H a ��GZO4�Ä>A@¾:<; a @ÑKh@~o¥KPOIdI]%:=��Di�GAHIK�HI]�>MH�>n;=>AOI�AKhO�^P\%H�Å�GAãùUZKh;<Gr^P:<H a GA��z|{Z{¾@ dÝø�Q�:<kF^hO�KV>Ad�Khd�HI]FK¿k[\F@§o�KhO�GM��GZ\%Hm;<:=KPOId�o%\%HWFG$Khd�kFGAH�dI:<�ZkF:y¨�^V>AktHI; a ^_]F>AkF�ZK�Hm]FKÑdI]F>A�¥K�GA��Hm]FKÑGZO�oF:<Hm>A;ÙWF:<d�HmO�:=oF\rHm:=GAk�L�@¾>A:=kF; a o�Kh^h>A\Fd�KHm]FK~o�>A^_J[�ZOIGA\FkFWÓ�¥GA�F\F;?>±Hm:=GAk×kFKV>MO�Hm]FK æ GZO�GZkF:<d��Ä>A@Ñ:=; a :=d�d���>AO�dIKAD�91K~¨�k%WÓHI]�>MHTGA\FO�kFK�sæ GZOIGZk%:=dÚ�Ä>A@Ñ:=; a ]�>Ad�z|�t�A��@ÑKh@§o�KhO�d5s�:<Hm]1z~à�Ô àý�t�ÑJ[@ ©Æ�0y Ǿà{z à z|��y }ZªÝD���kF; a >¿��KPsGZo$Ö�KP^PHmd�kFKV>AO�Hm]FK§;<G|s&KPOTÔ ;=:<@¾:yH�]�>VUZK¿o�KhKPk�WF:=d�^hG|UZKPOIKhW8D���\FO�OIKPdI\F;yHmdT>MOIK~^PGZkFd�:=d�HIKhktHTs�:<HI]�FOIK�U$:=GZ\Fd5s�GZOIJ�éRzhêÆD

Page 8: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë � Ë

é zZzhê l DÉc :=;=>AkF:�>AkFWÒ�*DÙBf>AO�:=kFKP;=;?>rL�NV PO�Q[R�T|"V"�l L��A{Z�Û©�z|�Z�t}ZªS�DKÉD æ kFKZeg KPU$:�`^AL l DÙc :=;=>AkF:£L3>AkFW�3D�Bf>AO�:=kFKP;=;=>%LVuDh�OA¤8¢[_}p*��~0O$ _¢T�� �¡cp�E<l L z|}A�%z¾©)z|�A�tÇZª

é z¦�±ê�X§DVK�>M�F��>A;jL> ¢[_kO�h D LVNV PO�QSR.T^"�E4l�L�� ©£�M{Z{Z{tª

é z|�Mê�B&Dfc :<�Z;=:<GZOI:<kF:Ù¢[_kO�h D8L4�1¢[_x¢�`@QÝ¡_wpouDh�OA¤8¢[_}p3�� �¡cp<1V(�L��Z{Z�j©�z|�Z�tÇZª

é zV�Aê�B&Drcw>AO g >AO�:£LrS§D%ST>VU$:=dPL%>Ak%WnX§D[X�>Ak g >AkF:£L0N| PO�QSR�T�"V"�1 L¥z|�Z�n©)z|�Z�Z}Zª[�rB&D%cw>AO g >AOI:ÆL%�*D%Bf>AO�:=kFKP;=;=>%L>AkFWjS§D�u�DfST>VUr:<dhLVNV PO�QSR.T^"�E4(�Lf�Z�j©�z|�Z�Z�tª

é z¦}±ê�E�DfN%D�þT;?>AW%@n>Akù¢[_kO�h D L8�� �¡£¢�¤8 _¢g(<ZVZ8L8z|�tÇ�©)z|�A�tÇZª

é z|�Mê�9 DfB&DfE&GAH�HmJMKAL�u�D�NAKPWF:=^_JMKAL l D¥c GZO�oF:=W%Kh;=;<:£L%N%D��3KPHI:<HhLf>AkFW×E�D�þ�;=>AWF@¾>Ak�L¥�� �¡£¢�¤8 _¢g(VxVx L¥�rzV�Z{©£�A{A{Z{tª[�$9 DfB&D�E&GMHIHmJMK�¢[_mO�h�p���N| PO�QSR�T�LF:=k��FO�KhdIdPD

é z¦Ç±ê�S§D��*D u4\%oF:=kF^h>A@jL%�0pB��¢�`�~�t���T�p�q�¢�T�p�".YVY L�z¦}A�t}�©�z|�Z�t}Aª[���3D�B�>MOI:=k%Kh;=;=>%L�S§D8X�GZJ[OIGA\F]F;=:<^_JÚ`a L>AkFW×9 D æ D8��>AO)Hm@¾>AkFk�LINV PO�QSR.T�"�1V( L��ZÇA�Ó©)z|�A�Z�tª[�¥9 D B&D�E�GAHIHIJAKAL*S§D8�3D�u�\FoF:<kF^V>M@ L >MkFWN%D l DÙE&\FO�kFdhL?NV PO�QSR.T�"�l:E*L��A{%zÓ©£�M{Z{Z{tªS��S§D�X�GZJ[OIGA\F]F;=:<^_JÚ`a :<k��+t�¢|q�¢�T[_ch=¢�T�T���¤�¡rA¢[QaT|¢��]k~�~ih ¡£ PO�_Ä¡}`±¤0T�`j���kQdO�r|¡_}O�_Æ¡}`±¤iO�h%�A�}�^`�b��v�C�±¤iO��¿¡£ �TX_�`'uDh�OA¤8¢[_}O�QS�7�4�V_x¢[hh�O�Q�OA¤ibF�fO�h�O$ [_Æ¡£ �V�7T[_x¢[��T�L*©ÆE�D l D8q[HmKPUAKhdT>MkFW l D N%D¥cw>M^h:=KxÖ�KPs�d�J$:ÆL8È�WFdPD ªÝLfvxkFd�HI:<Hm\rHmK�GA����] a dI:=^PdhL8E&OI:<d�HmGA;£LF��D¥}A�©£�A{A{%z¦ª�D

é z|�Mê��3D�Bf>AO�:=kFKP;=;=>§>AkFWjS§DFX�GZJ[OIGA\F]F;=:<^_JÚ`a L¥�� �¡£¢�¤8 _¢f(VxV1�L�z¦}A{tÇ�©�z|�Z�Z�tª

é z|�Mê~N%D*9":<dIWFGA@ >Ak%WÒc1DÙ�4GZ;=@¾>Ak�L�]^T[_cQa`±¤ipg�0pg".Yi( L&z¦}Z�A�Û©�z|�Z�%z|ª[����DÉB&D3ü�K�U$:=dIGAkÒ>AkFWÒc1DN%D�S�\FkF^h>Ak�LiNV PO�Q[R�T^"�Yix�L z|�j©)zV�Z�A�[ª

éè�A{Mê��3DrÂÉ>Ak%�t>%L l D��&Kh;<;=:<kFGFLr�3Dfc :<^_]FKh;ÆLrX~DVK�>A�F��>M;ML>%Lr�3D��3>AGZ;<:=^h^_]%:£Lr>AkFW l D%S�Kh;=;Æ� ��O�GFL:NV PO�QSR.TA"�Eo"fL�t}�©)z|�A�Z�tª

éè�rzhê�u�D�þ�O�KhKhk[o�KhO��Ó¢[_mO�h D�LiN| PO�QSR�Tn"�(�Y L z|{Z�j©)zV�Z�Z�tª

éè�Z�±ê�9ÀK¾>Ad�dI\F@ÑKhW1GZ\FO~�rz|{Y�Ä>AJAK æ GZOIGZk%:=dT�Ä>A@Ñ:=; a @ÑKh@§o�KhO�d�]F>AW1HI]FKÑ��GA;=;=G|s�:<kF�çHm]FKPOI@¾>A;�>AkFW@n>±HmKhO�:?>A;8�FOIGZ��KhO)Hm:<KhdhÃ&oF\F;=JYW%KhkFd�:<Hm:<Khd4GA���Z}M{Z{ÑJ[�¾@ ø p�L¥d�\FO��Ä>A^PK~WFKPkFdI:yHm:<Khd4GA�5z¦}A{A{ÑJ[�n@ ø pVLHm]FKPOI@¾>A;8^PGZkFWF\%^PHm:yU$:<H a�� �ï{0y�{Z{%z�9 @ ø�Q æ ø�Q L�d��¥KP^h:<¨F^T]FKV>MHB���A� �Z�A{¾N¿J[� ø�Q LFKP@¾:<dIdI:yU$:<H a� � {0y��%L�>Ak%WÀE&GAkFWÀ>M;=o�KhWFG����{0y<zV{%D�Â5]FKP:=OTdI�%:=kù�¥KPOI:=G$WFd�s�KhO�K¾d�KPH�HmG�Om>Ak%WFGZ@ UM>A;<\FKhdo¥K�Hxs&KPKhk���� �MÅmz¦�×]�D5z¦�Z}×GA��GZ\FO�GZo[Ö�Kh^PHId¾]F>AW,�,àõÔ àØ�1J[@jLÚ}M{Ó]F>AW,o�KPHxs�KhKPk��àýÔ÷à»��J$@jLf�Z}§]�>MWwÔ ��z|��y }§J[@ LF>AkFWùz|{¿]�>AW Ô¡���tÇ¿J$@jD

éè�A�Mê�S§D�i�KPd�UZGAOIk4`a L l D3c GAOIoF:<WFKh;<;=:£L�S§D X�GZJ[O�GZ\F]F;<:=^_J&`a L39 D3B&D�E&GAH�HmJAKML�>AkFW�c1D3E&OIG�eg N| PO�QSR�T�LdI\Fo%@¾:yHIHmKPW1©£�A{Z{rz¦ª

éè�M�Aê�X§Df�Ú>MOIOI\%o�>%L�N%DfE&\FO�kFdhLf>MkFWj9 DfB�D�E&GAH�HmJAKMD<]^T[_x¢[Qa`±¡cb@TC¢0£�£�¤X]n¥[T[_,QdO$ [_T�LF�[Ç�©£�M{Z{%z¦ª

Page 9: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë � Ë

éè�Z}±ê~qrKh^P\F;?>MOTOIKhd�GZk�>Ak%^hKhd�>AO�K¿WFKP¨�k%KhWÀ\%dI:=k%�j�%OIKh^PKhd�dI:=GAk1OI>MHmKPdhÃ�Hm]%GZdIK�GA��Hm]FK�o�GrW a GA��:=ktHmKPOIKPd�H©�HI]FK§;=GAkF�Z:<HI\FWFK�GA���¥KPOI:=]%Kh;=:<GZk6;w>AkFW�;<GZkF�Z:yHm\FW%K~GA��kFG$WFK�¦¦ª�>AkFW×HI]FGZd�K¿GA��UA>MOI:=GA\Fd��F;=>AkFKPHId©ÄKMD��FDyL�; ! >AkFW§¦ ! >AO�KnHm]FK¾��\FkFW�>A@ÑKhktHm>A;���O�Khä[\FKhk%^h:=KPd¿GA��q%>MHI\FOIk8LÙHm]FK��MHI]��F;=>AkFKPH_ª�D*Â5]FK;C=»��; �?> ��; !?> ;�¨�O�KhdIGAk�>AkF^PK¿>MH Þ ��y��%z l ��L¥Hm]%KU; =»�7; �D> �@; ! >MH Þ ��y �t� l ��L¥>AkFWwHI]FK;U=�; �k> ��; !k> ;�¨TOIKhd�GZk�>Ak%^hKÑ>MH Þ ��y �A� l � >MOIK¿OIKPdI��GZkFd�:=oF;<K§��GZO�@¾>Ak a GA��Hm]FK Ö�\F@¾�%d :=kùìnGZo%dIKhO)UZKPWÛ:=k1BÉ:=�FD �rD Â5]FK�Ö�\%@¾�Fd�d�KhKhkÀkFKV>AO~�rD�� l �>AO�Kn>Ad�dIG$^h:=>MHmKPWùs�:yHm]1HI]FKjz¦�rà }@¾Kh>Akw@ÑGAHI:=GZk�OIKPdIGZkF>AkF^hK�s�:<Hm]×NA\F�F:yHmKhO�>AkFW dIKPUAKhOI>A;ÙG|UZKPOI;?>M�F�F:=k%�¾d�Kh^h\%;?>AO�OIKhd�GZk�>Ak%^hKhdPD�Â5]FKOIKPdIGZk�>MkF^hKPdTOIKhd��¥GAkFdI:<oF;=K���GZO�HI]FK4Ö�\F@Ñ�FdT>MHT�rD��Z� l �Á]�>VUAK§kFGAH a KPHTo�KhKPkÓ:=WFKPk[HI:<¨�KPW×o a GA\FOHmKh>A@ L[Hm]%GZ\F�Z]çHI]FK a @n> a o¥KT>MdIdIG$^h:=>MHmKPWns�:<HI]çUM>AOI:<GZ\Fd&d�Kh^P\F;?>AO&OIKhd�GZk�>Ak%^hKhd4>Ak%WçHm]FK�s�KV>MJç�%Ãyz@¾Kh>Ak�@¾GMHm:=GAkçOIKPdIGZk�>MkF^hK�s�:<HI]wqr>MHm\FO�k�D

éè�A�Mê�S§D%X�GZJ[OIGA\F]F;=:<^_JÚ`a L�c1DfE&OIG�eg Lf�3DfBf>AO�:=kFKP;=;=>%L%>MkFW6KÉD æ kFKZeg KPU$:�`^ML4NV PO�QSR.T^"�lVY L�ÇA�j©Æ�A{Z{%z¦ª

éè�ZDZê�9ÀK�Hm]F>AkFJ×X§D3�Ú>AO�OI\FoF>%LÙü�D*S�GZkFKPdhLÙS§D*S�\FO�W�>%L%KÉD æ kFKZeg KPU$:�`^ML���D*ü KPU$:=d�GZk�LÉB&D3cw>AO g >AOI:ÆL�3DAc :=^_]%Kh;£L l Dtcj:=;?>MkF:£L±B&DAi�>A@ÑGZ\FkF:ÆLAB�DAu�GZ:=�%LZ>AkFW§S§DAu�\FoF:<kF^V>A@ ��GZO*UM>A;=\�>MoF;=K�^hGZktHIOI:=o%\%Hm:<GZkFdhD��\FO�s�GZOIJÑsÚ>Md5d�HmO�GZkF�Z; a :<kFdI�%:=OIKPWYo a �É>MGZ;=G¿Bf>AO�:=kFKP;=;=>%L[>§;=Kh>AWF:=k%�~v�H_>M;=:?>Mkn�F;=>AkFKPHm>AO a dI^P:=KPk[HI:=d)Hs�]FG�^_]�>A@Ñ�F:=GAkFKhWÓHm]FK�:<@¾��GZO�Hm>AkF^PK§GA��Hm]FK§â�>AO�JAG|U$dIJ a KPã¥Kh^PH�o�KP��GZO�K¿]F:=d�\FktHm:<@¾KP; a WFKV>±Hm]GZk�c >AOI^_]ù�Z}$L��A{A{Z{%D�9ÀK~�ZOm>MHIKP��\F;<; a >M^_J$k%G¦s�;<KhWF�AK~Hm]FK~^hGZ@Ñ�F\%Hm>MHm:<GZk�>A; O�KhdIGA\FOI^PKhdT�FO�G¦U$:<WFKhWo a Hm]FKj�&GAOIkFKP;=;ÚÂ5]FKPGZO a �&KPktHmKhOPD�u4KPdIKV>MOI^_]Ò��\FkFWFd¿s�KhOIKj�FO�G¦U$:<WFKhW o a i l q l þ�OI>AktHmdi l þ�}¦Å��A�t}A{%L%i l þ�}¦Å��Z{A�t�§>AkFWjÈ�q l �&GZktHmOI>A^PH�zV�t{%zV�tåZ�A{Z{A{tåAB�åMÂ�E�D

Page 10: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë z|{ Ë

ÿ5­©H¥ó�°¦µ1´�²F·�®¦­Ä¯�¸*¶

ÿ5­©H*ôm"�ô��TO�oF:<Hm>A;&W%:=d�HIOI:<oF\%Hm:<GZk�GA��z|�Z�Z� æ GZOIGZk%:=d~�Ä>A@Ñ:=; a @¾KP@§o�KhOIdj©�oF;?>M^_JÀWFGAHId_ª~:<kÛ�FOIGZ��KhOd�Kh@Ñ:=@¾>¦Ö�GZO�>±�r:=d�ëYU$dhD��%OIGZ��KhO�KP^h^PKhktHmO�:=^h:yH a ì�>Ak%W�:=kF^P;=:=kF>MHm:<GZk íTéRz|{¦ê£DTÂ5]%K¿�ZOIK a WFGMHmdT>AO�K@¾>A:=k�o�Kh;yH�>Ad�HIKhO�GZ:=WFd�]�>VU$:=k%� �FO�GZ��KhO�ìjàÁ{0yyzn>Ak%W1�FO�GZ��KhO�dI:<k5íTà-{0y�{t}rD�Â5]FK��Ä>A@Ñ:=; a :=doFOI>A^_JAK�HmKPWùo a Hm]FK§}rà �¾>AkFW�Çrà �¾@¾Kh>Akw@ÑGAHm:<GZkjOIKhd�GZk�>Ak%^hKhd�s�:<Hm]�NA\F�F:<HIKhOPD�Â5]FK~;=KP�áH�dI:<WFK�GA�HI]FK�}rà ��>AkFW�Hm]%K�O�:=�Z]tH4dI:<WFK�GA�*Hm]FK~ÇrÃ���d�]FG|s kFGÑdI:<�ZkF:<¨F^V>AktH4^hGZk%^hKhktHIOm>MHI:=GZkFd�GA�Ù>Ad�HIKhO�GZ:=WFd�:<ko�GAHm]1©Äëfûm즪�>MkFW1©Æë�ûmíxªÚd���>A^hKMD

ÿ5­©H*ô�(�ô�È�UAGZ;=\rHm:=GAkjGM���rz|{�dI:<@§\F;=>MHmKPW æ GAOIGZkF:<d5�Ä>A@¾:<; a @ÑKh@§o�KhO�d�U$:=>�HI]FK�â�>AOIJMG¦U$d�J a KPã¥Kh^�HVD�Â5]FKHIKhd�H��Ä>A@Ñ:=; a @¾KP@§o�KhOIdÑ©�oF;=\%K¿;=:=k%Khd_ª�s&KPOIKÑd�H_>MO�HmKPW�s�:<Hm]%:=k Þ �A{�@ d ø�Q GA��©)z¦}M�tª æ GZOIGZk%:=d©��FOIGZ��KhO4Kh;<Kh@ÑKhktHmd�ë�� ��y��tÇ l ��L¥ìU�2y�{A�[}rLfdI:<k5í?�ªy {Z�A�tª4>MkFW s�KhO�K§:=ktHmKP�ZOm>±HmKhWj��GZO Þ ÇA{Z{c a L3d�]FGZO)H�^PGZ@Ñ��>AOIKPW�s�:<Hm]ÓHm]%KÑKPd�HI:=@¾>MHmKPW1>M�ZK�GA��HI]FK¿�Ä>A@Ñ:=; a © Þ ��y } þ a ªTo%\%H�KhkFGZ\%�Z]HIGYWFKPHIKhOI@Ñ:=k%K§KPUAGZ;=\%HI:=GZk HmOIKPkFWFdPD~Â5]FK¿GZO�oF:<Hm>A;�HmOm>M^_J$dTs�KhO�K�>|UAKhOI>A�ZKhWùG|UZKPO�>çOI\FkFk%:=kF��z|{c a s�:=kFW%G¦s�:=kwGZOIWFKPO�HmGY^PGZ@¾�F>AOIK~HI]FKh@õs�:<HI]×Hm]FK§�%OIGZ��KhOÑ©Äëfûm즪�GA��Hm]FK æ GAOIGZkF:<d��Ä>A@Ñ:=; a@ÑKh@§o�KhO�dÑ©Ä�ZGA;=W�WFGAHId_ªÝD�qrk�>A�%dI]FGAHId�GM��HI]FK�:=ktHmKP�ZOm>±Hm:=GAkwHmOI>A^_J[dhL*dI]FG|s�k1>MH�z|{Z{jc a OhL*�Z{A{c a OPL3>MkFW1ÇA{Z{�c a OhL�:<kFWF:=^h>MHmK�Hm]FKPdIKÑo¥G$WF:=KPd�:=ktHIKhOm>M^PHTs�:<HI]�dIK�UZKhOI>A;�OIKPdIGZk�>MkF^hKPd�o�KPHxs�KhKPk�rD��Z� Ë �rD �A� l �÷éè�Z}±êÆL¥s�:yHm]wHI]FK§dIKP^h\F;=>AOA; =ý�7; �D> ��; ! O�KhdIGAk�>AkF^PK�>MH��rD��t� l ��o¥KP:=kF�ç@ÑGZd)H�FO�GZ@Ñ:=kFKPk[HhDçÂ5]FKPdIK�Ö�\F@Ñ�Fd�>A;=;<G|sÁHm]%K¾d�:=@§\F;=>MHmKPWù�Ä>M@¾:<; a @ÑKh@~o¥KPOId�HmGwO�KV>A^_]1Hm]FKw©Æë�û_즪��GZdI:yHm:<GZkFd�GM��@n>Ak a OIKh>A;3�Ä>A@Ñ:=; a @ÑKh@§o�KhO�dhD�Bf>Ad�H)ÅxWFO�:<�áHm:<kF�Ño¥G$WF:=KPd�>AO�K§dIKPKhkÓHmGçKPdI^h>A�¥K§HI]FK@¾>A:=kYo�Kh;yH5U$:?>~Hm]%K~}$à ��>AkFW ÇrÃ��¿@¾Kh>Ak @ÑGAHI:=GZkçO�Khd�GZk�>AkF^PKhd4s�:<Hm] NA\F�%:<HmKPOhD

Page 11: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë zZz Ë

BÉ:<�FDÚzZD «

Page 12: F]F;VUYE&O Gfesirrah.troja.mff.cuni.cz/~mira/mp/publications/Koronis...Ë ú ò3 ®|²F³&¬* Æ P®V M ò3ó ® ¯ ¸3 Mô cw>Ak a FO GZ@¾:Ad)HmKPOIGZ:

Ë z¦� Ë

BÉ:<�FD��rD «