Algorithmic Mechanism Design: Eine Einführung GERMAN

Informatik im Fokus

Herausgeber: Prof. Dr. O. Günther Prof. Dr. W. Karl Prof. Dr. R. Lienhart Prof. Dr. K. Zeppenfeld

Informatik im Fokus

Rauber, T.; Rünger, G. Multicore: Parallele Programmierung. 2008 El Moussaoui, H.; Zeppenfeld, K. AJAX. 2008 Behrendt, J.; Zeppenfeld, K. Web 2.0. 2008 Hoffmann, S.; Lienhart, R. OpenMP. 2008 Steimle, J. Algorithmic Mechanism Design. 2008 Bode, A.; Karl, W. Multicore-Architekturen. 2008

Jürgen Steimle

Algorithmic Mechanism Design Eine Einführung

123

Jürgen Steimle Technische Universität Darmstadt Fachbereich Informatik Hochschulstr. 10 64289 Darmstadt [email protected]

Herausgeber: Prof. Dr. O. Günther Humboldt Universität zu Berlin

Prof. Dr. R. Lienhart Universität Augsburg

Prof. Dr. W. Karl Universität Karlsruhe (TH)

Prof. Dr. K. Zeppenfeld Fachhochschule Dortmund

ISBN 978-3-540-76401-4

e-ISBN 978-3-540-76402-1

DOI 10.1007/978-3-540-76402-1 ISSN 1865-4452 Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.d-nb.de abrufbar. © 2008 Springer-Verlag Berlin Heidelberg Dieses Werk ist urheberrechtlich geschützt. Die dadurch begründeten Rechte, insbesondere die der Übersetzung, des Nachdrucks, des Vortrags, der Entnahme von Abbildungen und Tabellen, der Funksendung, der Mikroverfilmung oder der Vervielfältigung auf anderen Wegen und der Speicherung in Datenverarbeitungsanlagen, bleiben, auch bei nur auszugsweiser Verwertung, vorbehalten. Eine Vervielfältigung dieses Werkes oder von Teilen dieses Werkes ist auch im Einzelfall nur in den Grenzen der gesetzlichen Bestimmungen des Urheberrechtsgesetzes der Bundesrepublik Deutschland vom 9. September 1965 in der jeweils geltenden Fassung zulässig. Sie ist grundsätzlich vergütungspflichtig. Zuwiderhandlungen unterliegen den Strafbestimmungen des Urheberrechtsgesetzes. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Text und Abbildungen wurden mit größter Sorgfalt erarbeitet. Verlag und Autor können jedoch für eventuell verbliebene fehlerhafte Angaben und deren Folgen weder eine juristische Verantwortung noch irgendeine Haftung übernehmen. Einbandgestaltung: KünkelLopka Werbeagentur, Heidelberg Gedruckt auf säurefreiem Papier 987654321 springer.com



                                             ! "  #   $! 

     %   & 

 '!        (  )      #     #   

  *            "                      ! )      +  #     !      ! "  , !  

    -  

&.  /     /  !          0   !  !  1   )   2     "     3     1                    !      





        1     "  & !     2- ! .     2     - ,   1    #   -     3  -            2   (             "(        -  "  - 

    1                  #    2     -           3  - !  /               "   #         /   0 4    / 2  2   -         5 )      !       5      #   -!      6778

  

   



 9

                                               

69 ; $       66  / B  C 1         6>9 3         B                   6>6    BC1   6>=  /   3 !      6:  ,(E)           6:9 ,(E) -  6:6     /                        



                                  

?? ?@ ?> ?: ?D @= @> @D @D >6

>@ =9  "(       >> =6 ,(E)           :9 =69 4( 2&   (  2 !                      := =66 " )    (!)        :> =6= (( E                   :: == ,(E)  0 (            8@ ==9 1( 

                  8: ==6 #                8D =? , (E)               D= =?9 1(                     D? =?6 # (     (       977 =?=  ,                   979                   97= ?9 #  ??9 $! (E)               9=> ??6      - #  L <    / ( $!  K?? D6 ?7L        -   1- K@@ ?= DL         Q  ( R ! A)   (      (                    !          !  ui(o2 , ti) A     

     -   $  !   (  !

   !    $ !        0 (         0 (      )   $ !                      ! 

     #     !      B          $)    V   $ !     $ !  1 N    A)  O        

( !  



!        $ !   1!    pi   $ vi N P   O   -         o      1    V   $ !        P ui (o, pi , ti ) = vi (o, ti ) + pi

 vi : O×T → R  A    -     o ∈ O -   i   pi    !         ½ en Nutz

–

Aufwand

+ Finanzielle Entschädigung

   !  7    * 

(  ( $(   2  8    9 

:;  2/          *  # "(   / |vi |   $  ! ( G  ( I     %     ;     6:      A          $          7   #     $ !      -   !

           $ !   A                    -     -   (!   V           "   P   $ !              -    ! !    A   !   !       )   ,  .     % "

&"    .  "!  pi T    A  vi    Q   o     -   ( A  vi          pi ! R ( -         &  #   

       vi =

( !  



(( &   s

A           !     A       0 (  )  $    0 (    &%                    !        $ ! ! 

&.  A )   A     U ;         0 (                                           / (   P ( i )     si ∈ Σ    -          A      )      0 (  W ,       F )       -   (       ( i           ) .     &%    (  ,  A I          )

     0 (  N(O      -   ( P si : T × Σ n−1 → Σ  #  )              "( -   " )       0 (       I  P si : T → Σ   " -       -   (   $  "  1  &   !  6@ #       )        0 ( ) I (!       )     !  si ! "  /"(       Σ !  %     ! "   0 (    1       



          ! 

     A  /  a  b          " '     !             0 (  tˆi = si (ti ) A ! P Σ = T   0 (    ).         0 (         i    A    ( ( ,  F&  >     0 ( ti = 6  &        &  , !  

 ! " tˆi = 8   / I ! 

&.  1 )!  -  (E        0 (    "   !  "(          1     N   O  

    # 1 ! !           " ! "        1             F   "   % 1    &   ! 1    "   - A          ;       (  "   & 1   !      " -           1     !  

  n     ;     i  0 ( ti = 100        E 977 -  1  ! !  pk    & 1(   pk+1,i  1    i      

   p1 ≤ p2 ≤ . . . pn      si &  (     P

⎧  pk+1,i = pk + 1 ⎪ ⎪ ⎪ ⎨

( !  



 pk ≤ 99     " si = ⎪  pk+1,i = pk  pk   1 ⎪ ⎪ ⎩    ; $P #   !    

( I    (s1 , . . . , sn )  s    (  I     .   i (s1 , . . . , si−i , si+1 , . . . , sn )    s−i !  B s      (si , s−i )    -   5      !     

          "   ,          #                   ! 1 

((! &%   #+ f  , 

A         !  ;            Q  R   !      .          U   . !     Q R        !               #    I              !  %  "  f : T n → O  I    Q R       -   A      ;  "            <

  -  B     !    !      (      Q   9  0 ( 97    6  0 ( 8



          ! 

   o1  W X  R #  /     -    P    ;   A-     tˆ∗  -    ;  !   !  -  !   /  ) - tˆ∗             

   tˆ1 = t1   tˆ∗ = t1 N 6D=O #      9 !         & 1    $ !       ! 1         3 

   ! "         )      -             ;   )           A        

   tˆ1 = t1  A          )    2&    

 0 (  

(  +- 3 :  0   13 

4

;       B     /       ! !   &  )      0 (         !() )  #   (    B          /   !& 1  <   -     -  Q&  " R       ;      )                -          &    &  !()     

   5  ! )       &  ;     !    0    !       "(  B     2!!  <  -   1           & " ! !   )  )  -  F&  !& 1  &  Q3 !  R &   (  !      (     N$)  !   6>=O pi 

(( &   1 

 B        !()     B ! P        &          !  -   B& )        E          ). 0 (      $ !  2 &                 !  A     -  (     ) N          



          ! 

       $ ! E  O               1                 $ !     -       E      #    -  (     !      !  #  1           )    !       B    -          E   !    1               1         -  i  0 ( ti       -     s−i   &       si       si E    P ui(si , s−i, ti ) ≥ ui (si , s−i , ti )   -   -      1 !(  (      6@ ! I    1                  ( E

  1  #         1            ) I    ,!(            !P #    1  E  -         ) 

      -    

 (    -     (      B   -        -    !   .            #  

  

. !  "  

. B        "      -  " -   B  

(  +- 3 :  0   13 

"

( 

    ,(E)        !  0   A         -  "        -   

  !(   B    ,   1       -   -   !                F      !          .    + . ( /&     0(

     3  ! (     4*      " %  '     )

 '    * +  $     *       ) "    tˆi = s(ti ) = ti *             + - 5   )* 2  i

,    ! ui *            ) "    -

 !() )              1   ! "  "  1  N  6@O   I  A                 ! 5  5 )               U    !      N K>7  8:: LO !    V   $  !   '! !              (      ;             G           B  C 1  I       6>6     

#

          ! 

.    ,(      5     P    L BC1                  '!         -    V   $ !    (!)  ! "      !        "       &    !      -         



          ! 

  -         vi (·)    )         '!             BC1  (    N K>7  8:D LO . (2 /4+ : +  0( %  67'        "

 '       #     !" - 5  %+ "     +   

g(t) ∈  o∈O max

n 

vi (ti , o)

i=1

5  1 "      

pi (t) =



vj (o, tj ) + hi (t−i )

j=i

+ hi   + +  "   t−i -

        /   !   BC1 & P    j=i vj (tj , o)   ;      

  I (   1  69     −cG|t =0 Y   hi (t−i )    cG|t =∞  #  BC1  )   "!      i      0 (               1   A  0 (   1   T  (   "!    N(   O T            j = i  ;      -                 1    A           1  -                     ! i

i

( + 6%B + % %   



B             ;      ( A        )   ;      -  !             E       Q  R    -!     #      -  1 &     

      $ ! E         !  0 ( 

 !     $     L )   I  BC1           !     '!       ! &  !  ! )     Verzicht auf polyn. Laufzeitgarantie (S. 73) -> Beschränkung auf Spezialfälle (S. 76) -> Approximationen (S. 77)

  : 2/  E   33  3    +3   +   <        #    A#1F0 0 /C,#$1   !        (  $/   K89L 5     6 = *6 &         '! 2  ! I   /  ( &     

!        -  (( E   (  2 !    & K8=L #        )!  N  ==O   &          /  ( &     (   A C2 !    &     

    -   / !       E 

( D-

':    33 

4

 5) (!)  /    (   ; ( &   & #  ! &  / !

.     (!)   )     N !   !    A C2 !O (( E    #      &        ( ( > $?   $#%  

   B  ! 2&      (     / !        &  (  (    &  2&   - -  &         M  !     4   "  - ( -     =?  -  "(   !     4 {1,2,3,4}

Ebene 1

2 {1},{2,3,4}

3

4

{2},{1,3,4}

{1},{2},{3,4}

{3},{1,2,4}

{1},{3},{2,4}

{4},{1,2,3}

{1},{4},{2,3}

{1,2},{3,4}

{2},{3},{1,4}

{1,3},{2,4}

{2},{4},{1,3}

{1,4},{2,3}

{3},{4},{1,2}

{1},{2},{3},{4}

  !   

:  &      $ -    ,3A + 

4

     %- 6

 D-

':

 &      N)  / O       )  /    /                5    /    * 0   )  /       "    -   /          E A              "  

    .     /  )    /   & A    ! 0        "      "  -  0   & 1     #      - ) /         F   ! )       -  ;  "     

   %          (  ;  -     !  )  /   E(   !  4 K8=L #  =?         ? 4  9@   /         ! )   P     8 4     ?9=D /         96 4  - ?       &   /  !     ;  4    N  )  !O -    (        &   E A  -  /  )  !            / !(   6           A     E - ()  ;

      ! )  E A  v(S) -   0  S  \\ ] 9          A  - 

&.  0 

( D-

':    33 

4

            (   A  ! -

P  E A   

 S    )     1 -  (   S  1 - !   5     S   E A  -  5 

       -          E  (     -   A               / 

 (   "               0   m !     4   M     

 -  2 ! Ω(2m )    

      / 

      A C2 !  O(3m ) ! K8=L      )       ! (E - 

. !  4 "  /  !   1 &.    67  =7 4 

   2&   !( 2 ! "    C2 ! 

         (E @ +       (   I       (   $/   &     F   (  A C1          K8?L    

        C   2 ! !       !  !   $       "   &  2m 0

    M 1      # 1 ! !      / 

               /   2 ! )     !     1  

4

     %- 6

 D-

':

( ( ' + # &%#

   !  5   $/  /     " )    (!)     /    / ! &   &  (!) &  !          ! B -   (  ! C 

 3     0 ( N  =?O        (!)    -   &    )  -   !  

  & '!!      5 )       0 (   - &  "(          A    ,  4 -           ,              /   /  ! ,

  &      (!       / !  / !  

 &  (  &  (!)      (    (      5   -   1      &   ! 4  K8=L    (    ; O(m3 )    Nm   !  !     4O   5       4  &   /   $/   ( 2&   / !     &    4    M      1     ! )  #    4      &   /    ; O(m + n) &   K8?L  n  !  "  -      

( D-

':    33 

44

(  (!)      (     K8=L   ( (  

   #  !  F   ! 2&   I   $/   $/)  /      ,   (( E     &  /  !  )    -     2 ! "  $/ )  /     (  2  !  !    (( E      A     &        (  -     ( ( E   -  A C2 ! 

       (( E     C  2 !  !   A   +  4:

#    ,(     BC1     -  ,   '!            B 

    -  '!    (     P  )        & '!      !         6>6 I  BC1;                # )           ( ( E          1     BC1  !

    NEO     !        (( E    !  !

4

     %- 6

 D-

':

       67+   '  

 K:7L ! 4%   BC1        (         BC1   -         BC1      (( E        ) ! -            =L           /  !  (√m)(( E    Nm   !  !     4O       ,  L -           "    K9?L  O(m1/B )(( E 

( D-

':   56-3 



Nm   !  !        4   B   !  4         O -                ) 1 

      !   K68L   (( E         )  

  /            !       B     (        (( E   O(√m)   A    1 −   (  2 !    !(      (( E    /  !    

    -. %  0*$  

A      ! /  !     (E    G  ,(E)  0 (      A  ! "   ,(        6 ""      (  &  -    1 -  2m 5      M  !      4    1  !   0 (    -  0 (  -  E (  1       "

   ! 1 )    , (E)  "        ! " 

 1  -     5) $/ )       /!    5)  $/)  (  



     %- 6

 D-

':

Agent

Typbestimmung

Kommunikation

Mechanismus Ergebnisbestimmung

! -> Gebotsprogramme (S. 87) exponentiell viele -> Iterative Mechanismen (S. 89) atomare Gebote

   : 2/  E  56-3  3    +3   +     -    1 -  ;  

 / !   -  (  !                     1  (   -              ( "   ( )  &    !       -      !      -    ! "   )  0 (     %   &     2   "    ( !       #  -   0 (      &  #             #  

( D-

':   56-3 

4

!      ( 0 (               0 (  (     F(  (!I!    (!I      -      < -  A      ! )  ! ! ((    

F(  ! 0 ((!I     -           -             1   -  &  !     -   (!I!    /   0 (      +

   / 

       -       -         1        !   1 ( 

             (!I  0 (  (      "      1  !   !        - P           .  (!I   0 (   (   "    1      !         ) "

    !      !       1!  1( 

  )  B       "         (      -   )               a(S)  &    A  v(S) -    S  !     4        



     %- 6

 D-

':

-         )    A  -  0  S ⊆ M         1( 

     (E      &  ! "  i∈N vi (Si∗ )   3

,3A +  $   i

 

   &        

6%   2/  +3  + GH

( D+ +-

':

"

! -   . %

   !    /     (   #(      %  ,(E)  ,  !      N  ,(E)  &  ,   !               !                 ,(  -     O A   (!     -  -  /   -

        0 (     -  & #   /    

Agent

Kommunikation

Typbestimmung

Mechanismus

Ergebnisbestimmung

! -> Gebotssprachen (S. 94) exponentielle Informationsmenge

  E   3-       2/ E%

 D+         

"

     %- 6

 D-

':

 /   ) I          ,   )          B   T  # (  !       

              0 (     -               ! -  /  ! 0 (                -  &  5   S ⊆ M   /  p     -       1 (S, p) !   

 +  "  ! -        !  !     4 E( !  

 1      ) ,      (    -   1(       1 &   '!  !  - ((   

$    K>:L   E(!   /   ! 0 (          /    +         F       )      1(     &      B  1 &    !  - 1!   5    (  ! "  # (        - 1 &      !       )      ,T     (E  (         5 

    ;     1  !   (

( D+ +-

':

"

-  (         1(           1   (  ,   N  !  " n   !     4 mO ! -    $    K:9L !         /  &  P )  ( /B; C0(  m   !   !    1  

 1   4:L    *%5 ++

# K>8L )  $  &   0 (  1 (      "   B      $!    ! "  #   -! #   (!)   ) I 1 - 4  2          $! 

(    "(        "  ( A   , s  $! 

( !  , t      A       ,   -    &  , 1 !  & 

##

     %- 6

 D-

':

1(  I           , s  t   /  p     ! !         (            -    1 (   -  /     -     1    (        !          ! -   B        

&.  "              (( ,    +  & 

   (   A  1(       ! # (   1       ) A        -   A       a(S) - S ⊆ M ! -

   1    -    "- S !  ;       # (   1        . A         1            1(    U½     !(     P . ( /6        B2;C0( %  +   ) (





  (   *       ,  *  +

%  +   +     b    + +   >   ; ##4( 4( ( &  < *           .        ( <  )  *+ =?   3 >< /   0  1 (   %  & ; "4"( (   ,  ;    % ; % % '   %  %  < 0     +     

  %( <     +     ,- !

!    

     

 

  

; 0   "I#( B & ; ##( "( '- . / ; &      0 # "< - .             ( <                  

!,- !

 

; 0   "I"4#( 0 6 2 %   --     ; ##( #(  ( +; $   , )'  1+ %  <  2   -.  3 *  ( 5   $  01%51%##%#; 2 1  ; ##( (  ! ( -
<

 > -   !& ( .(.(*; ""(    ;   35$  - < *  ".    +    /%         ( <     @ ! ?  /     5/((7; 0   "I#( B & ; """( * + 3       <     #  *( 5 - ; ""( * '$ ; *  + "   '  +  < !   *( ,'2 P 6 & ; ""( *    *  !   <             ( <   

 +           

    .  -. .          

  . .          



; 0   I4(      2 9



  ; """( ( *   ! ;  .     " '  .< 1     .  2     

#

M     ( 
<

 > -   !& ( .(.(*; ""( 1   < /9        # ( <     )    ,  ; $  ; 0   I"; "#( 1   1<    ,    ( M  *   B-  0  ;    >   . ,  * ( 5 Q 2 @  ;