ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ...

31

Upload: others

Post on 23-Jun-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

��

�������

��� ��� ��

�������������� �� �

����������

����������� �������������������

������

Page 2: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

�������� ��!�������������� �� �∀ ��#�∃%�&��∋(�����������(������������ ���������������

������

������ ��

� )��∗+���−

� ��.����/���.

� 0�����������.

� �∃%�1��∗�−����������−��−

� &��2�/����� ���3��

Page 3: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

���� ��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

Page 4: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� ��� ��

� ���(�!����3�/�����+)����+�������,����

� ()�����!����������������������3�4��−�����+/����5���0��#������!������6��+�� ��� ���(�!���������3��/����� �����+��

Page 5: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

� ���������

� �����∀778�5���9������������ �!/�−�

� �����/�����−��∋��#.���#������+

� �%�/���:����2���−��.�������

� ����;��∀<����#=��−�����

� ��2���−���>�+���−−�����−�����+���?%��

� �−������������+����;�

� ���������(�5����������≅�Α=#����(�!��� Β/�����+)����+����������9��1�������Β

� �−�5����,�!������������!����−���� �����/�����Χ��;������9����/����������()��−�5������6��+�

� 5�����+�����4���−���

Page 6: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

� ������� �

Page 7: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

������� ���� !∀#������

� ���+−�#������:���−��1−�#�−�5��9��;�1�

� ������=��/��������9������/�����

� 9������/������; ��!��������9������−>�(��)��������.����−�����+

� �����������+�>������������������−������ �,�;���������∆���!�����6��������; �/�Ε; � �;���0��#�≅�Φ

Page 8: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ∃∃����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

���� ��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

Page 9: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� %%����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

&�∋� ������∋�

� ∀��4�∋��#.���#����Ε���������(�������Γ�7∀?∀��������Φ

� .�������� ������(��%�/���:�����!�>�/�

� Η−��/������−����� ������+�1����

� ��+��−�� ������−���5�;��4���+��+��1�����+�)����+��

� 4�≅�Ι��;����5��ϑ�������Ε−�+��!���∀� ���)����+��Φ

� %�4Ι�����������ϑ�������Ε−�+��!���%� ���)����+��Φ

Page 10: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ((����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

���� ��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

Page 11: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� )∗)∗����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

+��,�

� ������=��/�����!������� �−!���Η������(���������)����+��� �������−−

� �−�5��=��/����−−������.�����;��4�()+��+�������������Η����)����+��� �������−−��

� ��−��!���Ι��−−���−�5���/6���������.�������1(��+�������−���������()������−�5�����

Page 12: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� �������

� ���∋�(��)�

� ��∗��)������������������(���

� �����������������������∀∃�)� #�����������������∗�#���

� �)�����+�∗�����,�)∗��∋������������−�./#0��!������������!����������∗�1��������)�1����)�������(����+��������,�+����

Page 13: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� �������

� �∋�!�(��)�

� ��������������∗�#�∋�!���������������)�+��

� �������������)�����������)� #��,�#���−�),�

Page 14: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� �������

� ���� ����!����������∋���(��)�

� �����������!������∗�������)�+���������������,� −��!����/��������!��∋������������)�+���0���������������1����)����0�,�������������,2

� ������3������������∋�������)��0���������������4������

# �������������35�+��!��������������∋���0��6�∋−,��,

Page 15: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

��� ��� ����� �

� ���� ∋���

� ���������(����)∗���������,��−�∋�����.����/����0��� ����

Page 16: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

��� ��� ����� �

� ∋��!(���

� �����������)�����∗����������������������+������,��������!����

Page 17: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

�� ��������� ��

� ∋��������(�����)�∗∋�����+�����������������,�∗∗�− ��!��������+�������

� ��������#�����∋�.����∋�∗�∋������,���������0��1������ �����−21∗��!����∋��������

� ���−��3�� �!1∗��∋�−����)���∋�∗�∋�

� ������1�����)�∗∗���4��∋��− ��!����,��!���������0���∗∗��� .�∗���������!��− � �����5�∋����∋������∋��∋�����−�6������ 14������������(��1�����−����������−�∗����7��6������������6�!��������������������6�����

Page 18: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

���� ��� �

� ������∗�+����

� 8�������8�+�����������#9∗����

� ��.���∋�6������!��−�����������+����

� :����∋��∋����+���#(��6�����,���������)�������∗�,��;����∗�,����∗∗����������� ����<

Page 19: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

���� ��� �

� ,����0�∋∋����+����� 1�����������∗�,�#7�������������������−�∋���+������)�∋��

� �∗�,����� ��������� ������!��=�����������∗�����������∋�.����∋�.����������

� )�∗∗��1�����∗�,��=�����>����∋����������∗��������������!������?�����)��

� ≅�∋��������������7�∗∗��������)��������Α# �∗�,�����!�����������������

# ������ �!���∗��−�������1�∗∗������∗4��������!����∗��∋#0���∗∗�������������������������∗�∋���

� ≅����∗�Α# ��� ��−������,�����∗����������������3,�����14��������,�������� �����������,��∗�����������������������6)���−���>����

Page 20: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

���� ��� �

� � ����!�+����� �������66��,���5�!���������∗�+������������!��������Β����!�∗��−����∗��

� ��������,��������� ��������.!�∗�!��=��������������,�∗��∋����������������=�����,����������∗�,�����4��∋�

� ����������������������1������?�������������∗����∗�����)��

� )>�����+�∗∗�������������+�����>����∋��� �������∗∗���# �����������!��������.����)>�������+�����,�∋����

# ������,��������������������?��������������4!���6����������+���

� ≅����∗�Α# ���∋���=2����1���������!����∗∗��∋#0���∗∗������������≅�����∋��1�������(�������0���∗∗��−��,�∗����

Page 21: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

� �� �!∀#���� � ��∀∃� �∀#���%&

Page 22: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� �∋�∋����������������������������� �!���������∀ #�∃ ∀% �%%&

������

� �� � �! �����∀(∀� ��������

� �����������∗�,���+��∗�Χ� ���������������,�������∋�����������∋��∗����∗����# ����������)���∋����∗∗����+��∗����!�������������:����∋��∋���

� ��� ����∋����������)��#����.��������������9��!1���

� ��� �����+��∗�����∋����∗�Χ�;(��6�����3�����<

� �����∗�6��Β21∗������∗��∆�����∗�,������������>���������∋� 4��∗�!����5�!���������∗�+����������������+��∗����)∋����������

� �����!��������������������+��∗���)���������Χ

� �����∗���∗∗��3�������Ε� �������∋����+��∗�>�� �!���∋����

� ��)������66∗�!��������2������������� �������6�!�������∋���

Page 23: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� �)�)����������������������������� �!���������∀ #�∃ ∀% �%%&

������

∗ ����!

� ��)>���∋

� ��2��!�∗���2�

� =�������1���2�

� ����9��)�∋����������∋��∋�

� ����6��∗����������Φ��

Page 24: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −.−.����������������������������� �!���������∀ #�∃ ∀% �%%&

������

�/�∀0��1���������∀�������

� ��)�∋��������6�!�����������6�−�)�1���������

� 7������

� ��∋��∗��;−��>����∋������=����<�

� +��������

� �!����∗��∋#0���∗∗���−���6�−�)�−����

� �6�!��� ��������−�������������=��!�6�����+�∗��−������∗∗���;�=+<

� �����=+�1��������?�∗)��,���Γ�1−��∋������������!��9#9����)>����������∋�.����−��∋�� ����

Page 25: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

�/�∀0��1���������∀������� ∀∃�2�&

���������� ������

����� � � ����� ����������

���������������� ����������

����������������������

!����∀�#∃%&�∋�(�&�)���(��

∗�����∀�+�,!&��!!&�∃−!&�∃.!&�����

/

,�� 01��� ��∀�2&�)&�#∃%&�+�,!�

! 1��� ��∗�����∀��&�)&�#∃%&��!!�

! 1��� ��∀�3&�)&�#∃%&��!!�

���

,���4�(�� 0∀�2&�)&�∃−!&�∃.!�

,���4�(�5�6∀�2&�)&�∃−!&�∃.!�

∃−!+���−�(�∀�7&�)&�∃−!&�∃.!�

���

/

Page 26: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −−−−����������������������������� �!���������∀ #�∃ ∀% �%%&

������

�/�∀0��1���������∀������� ∀∃�2�&

#∃%�+(�∀�)8)�&�#∃%&���

! 1��� ��∗�����&�)�

! 1��� ��&���

/

∃−!�+(�∀�)8)�&�∃−!&�∋�

,���4�(�� 0&�)�

,���4�(�5�6&�2�

∃−!+���−�(�&��)�

/

���

/

� (���∗�6������

#∃%�+(������9��∋�(��

∃−!�+(������9��∋�(��

/

���

/

Page 27: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

∗ ����!

� ��)>���∋

� ��2��!�∗���2�

� =�������1���2�

� ����9��)�∋����������∋��∋�

� ����6��∗����������Φ��

Page 28: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

3 �%�� �4∀�����5�

Page 29: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

6�%��� �1�%%���

� ���)�!����Ε�1�����∋>����∋�������2����� )>�������Ε��1����� �����∋��� �������∗������2�����−���9��#����;�������∗������ �2<� �����������������7������1��������!��6������!�����������,���?��������������6�!�������∗�,����� ��������������=��������!��)�

� ������)��������������!�������7����������������������∗���������!��)���

� ������)�!���+��∗��1�����∋� +��∗�������∗��∋���)��� �����∋���������!��∋���!���;��������6�−�)�1��������!��� �������)�����<

� ����9��)�∋����������∋��∋��−���6�−�)�1����������∋������������2�����

Page 30: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

���� �

���!��+�∋��Χ

Page 31: ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚ 6!)! ˜ˆ !1 ∋( , ∀ Γ Β ˜˜Η( ˚ ! ∋∗∗ˇ 2 ˜ + − ∋!˜1ˇ≅ ∋

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

��� �����

� ∗��#������ �∋������6�!�)�!��������!1�∋��(�, �� ∀

� Γ �Β���������Η�( ��!����∋�∗∗�����2������������+��−��∋��!���1��≅�� �∋��%%&

� ���6ΑΗΗ ,�!��#��)�����1 ��Η,�Ι∗��Ι�����ϑ∀Κ ���∗

� ���6ΑΗΗ ��� )�#��∋∋����) ��Η1���Η��������,�Η��!���1Η��!���1∗�� ���∗

� ���6ΑΗΗ6�) ��� �)� !�Η�6∗����Η�����Η���#��� 6�)

� ���6ΑΗΗ 6����� ��1 ��Η������Η����,�����Η����,�����Η����,���,���Η���− �1�Η��)���Η,������∗�Η�������2����Η�∋−���� 6�)