/
Memoryless determinacy of parity and mean pay off games a simple proof Memoryless determinacy of parity and mean pay off games a simple proof

Memoryless determinacy of parity and mean pay off games a simple proof - PDF document

conchita-marotz
conchita-marotz . @conchita-marotz
Follow
387 views
Uploaded On 2017-04-08

Share:

Link:

Embed:

Download Presentation from below link

Download Pdf The PPT/PDF document "Memoryless determinacy of parity and mea..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript

   " # $  #% # $   #&' (   %)*+,-* $.  $/'.'0/#         ! " 1 $" 2  $34 #   $/#56 * 7'   .$. $  %%  # $  #% # $   #&' 6.  /#$ 8$  %' . #$   9  $. $ $ $/ #   # ' ':  %%;% $"# *. #$#% 333. %$%8 $.   # $  # '% $ #' =8$  % # $   #&' ;  +05 ' $    � #'  8$ '  #$/# $  8  % '   $/#'  '?% #  9 9 ' #8 #%   * /  %$$' #'   #   @ 1 /     #    #. $ $ *' /  % AB.% 9    '% ' .9   #/ '  #  $/#$1   C D $  9#E $"$%:8C E  $'  (F% 9(F ""  ))+,- $/'.0/# % ;  +05 ' $ *#+-." #/   0.    12 34567 * '6 . #'  %$ /    $ /9  #$$/# 9#   $ 8  ?%%$   % #' .  $ '  # .   "    0% #'  / $'%/ #.   ' '% '   %  9$/# #. # $$ $  $% #   9./#$  # '%''$'$ $ #%#% #" .  '   '# $  $; AB*$8  # $  # %% #'   # 3) %/ $ %  #  $ 8 /#) # $1 *&AB #'I-'J  %1 /J' %AB% # /  %1 /   5 .  %$  # %/#;  $4 AB   # $69 .$8%  '#AB  %  / #. %  $ #K "L 'AB $M * AB'     %$$/ $ #'   # $  #% #'   @'  $2.'.�AB%   '  %;% $"# *AB  # $  #% 8 "  #&'   8$ '  #$/# $  8' ./'$$'� ## 9 =!  =     %$''$$' #:   $/#;% $"# *AB  #   #&'   @  � #  ' %    $� #  %  ..'  6 .  #  /#'  '# %%   #&' ' /#;% $"# *AB     $ #/$ '  $ �%%8'  #  %8'  $     *$ / '  $.  $ / %. @$$  N   # " # $  #%   #&'     #/#C  AB./ %   $.' % % # %  @ . '  . $  '   % '    $$ % *% #%/ # $   #&' ? %$   # 9  # # *    '/ .  . $/#   #$. $   '%   $' %  '%   AB. #&  ".  5 #%1 /    ./  # % #' !    *#+-." #/   0.    12 34567%' . #$ 8 9 ) . AB.  # $$ / %%  %8' '8 $   ? % . ' '   $$$/ #NO  % #'  $   #&' .%    '% $ $  %%  # $  #. /' . $  '9 % $ $/' $% '  # $  # %' /#"L 'A $M * AB. $/  #% "L '$ / $ /  %' &    $' #' .%'$ / $ %'/% ) %  $  # $N$%'    # $  # % ./$ #$ #   #&' .%  $8 #% #$@ #$  M * AB'   $ '  % *% #'   /% ./%   #&' 8 %M * J %  $$ /%  $  8$% 8 # # $ / : . ' 9    % # $   #&' '  % %%/: $/'* %@ /9$$ '  %   B?   '$. $88$ '  $$% %.'. $ $/ 9$ $$ $  '  #'  $   #&'  '9  $/# 9#  6/' . $'$ /  / ' 9# &#x;&#x;&#x-42;.40;L&#x;&#x;&#x-42;.40;L./&#x;&#x;&#x-42;.40;:";  /    "%  9#% ''    # $  #.'.AB   # #  # $  #. AB.   $ $ #.9  #  #A##9.    ' / $8' #'  %$  #%8$  #' . '@'  # %/#   #$ /%  8  $ $   /  %   '8$ ' .$$ :  /#$ /%$'' . 8$  #'   /    '   79$ %8$  #' : %% #' ' =# $  # $  #%   #& *#+-." #/   0.    12 34567 7   $ $$8%  �C  $  #% % '  #$/#� # $$$  P  $/#   / %'   $. $ # 9    ''$'.   *'    9. $� #  #  9: #. # 8@% . $  #%'8 #% #$ ( !$$'%� #�! #.   #5' %� # % % #8 89% #.$' 9.  %  % #5%� # ' ' @% # 97 # .� #$ # @$ $/#   '#.$ $ #%#% #   ' 7$'   '#%� #.%% ' / $% /#  ' ''$'% 9 $/#    '8$  #' $8$ / . $&  ".  .%$   %'   #$ '  �C./ # 8  $78 /   # $  #%8$ '  $9$8$ &  ".     9. $ #       9 $%$ 5   $$' #  #=$. $ 9 9 '  $ :% .� #2.� #�6C 8 %% ='   #H+#'  %' #  $  #'+JI * J89  . #'   ) .%   %&#x -;́.;怀6C. %%%  #  $  ' @ * $ / /$M  ABL  . *  % $  / /  ' $$$$  8$  #' .'  $ % L #.%9 .D '  *#+-." #/   0.    12 34567       :(% ;    "  .  (  !     �  $!   %� # '%  # 9 % / $   % �6C ' 8.   $'8 9  % " *   $' #  % $'  ;  %/ /#  $ #' (% 9%&#x-44;.10; #   *$. *2% % 9%&#x-44;.10; #  *$. *  @ #$  *%. L  '  ' ' '# $' /  %$$ $ .@  #* #% #$$$     :% './ $� .       6$  #'   ' #   $@$& '  $8 69 . #8 89% 8 #$ $ ' 8' : . 89 $$' 8$ ' ./  # 9     %'   8%  %8' . $$ 9  8 /  /   '&#x ;&#x-402;6C8   #/ %  # % 9  $$#%  %:$  $.$  '  #     '#. #   ':8' ./    @%  # $  #./ $    %8'  $ #'$  #   :(% (     !    (     !   '% $D #% $%   ' '#% E  #/ 5   ' '#%  $'$&%    #$# $ *#+-." #/   0.    12 34567K/P#$'$ % '  #  89   '#. $$' . %� #   $� #% 9&� #% #    '%� #/   '#'%� #%  ' %  /*$/# '    /  9 $ / .  % ?.  '%� #.  / /# 7   � # % # # 9. $':$$.  $ # � # %   ' # ./ '� # % .% #   . $9  #    /%$% � # ;  (7  *   /  '  %%K  #   %8$ '  . *�6C(    98 $.%$ $/#@%  '   . $$ $ #% 9   $%  $ 8$.'.%8 %$$   #&'   ' A  $.  .8$ %   #&' .$$7 ' $ %#  /@ % $ #%'  %' 5 #. %%  # $  #%8   #&'  /  $# *$% #' 9  #  $  D%/ #/#   '%  # 9  'E  R$    # '   '#   #J'   :(%     ( .  ( ;. !         " " "   $ ' '  '  9% :' .     / '� #/  � #J +#K . #$'   . $'%     /9  #$$  %%  9.   /'  $ $/#$    7'/# . #/   '# *#+-." #/   0.    12 34567! "       :    % .   # $  #%8$  #'  % %$ #%8' :9$ 8 $8$    #&' 5 #. %%  $8$., $,'$  $ % # #$ !    :(%       ( ( .  ( ! ;. !     !  (  %/#$ /%%/ #7 '   %  '  %' . / $. $% /$$    # $  #%$ %8   #&' ;   $ (%   . $  '   6 ".      .$ $' %  # K/% %� #$'  5   $. $$ * $ / $'  ' � #  % '8  %� # '#$$/   $'    $'  '.9 +#$   .    ' � # # #   '     '7   '%� #% #  9%  $� #5# #  /   # '%� #. %  '%� #%.L   $� #L . ' '#  $'      $+#K . � #. #..   $& #$'+ # # $' '  /  .� # # #).. $% .$  $� #.% #"0 " # %#    #� # # .    / '. . *#+-." #/   0.    12 34567 6':%  . '% ''%� #7 #    % # 2/   78    $'/' . $  $.  $'6' .$ $@  / '� # $.   # % $'/ *#  '%� #. /  #%� # #   %� #  /# /$%� # % #/ *./  #' #%� #%  $/ ' #%  ) .� # % # %.%'  . $%$/#� #.� # / / $ ' $.   ' / $'L ' /#  '$'� #  .  +#$   .    '.'%  $.   #  /  $/ '.K    $'  '   / '?.� # $ % /#% './  # $   %. $ #  % $ $ /'%� #   $. 9$% ''%� #  .� # % #% $.  # $ / /   . $  '%� #. . � #%$ #% .� # $/#' $  '#% ' #5  #  /   .� # %  $  /$'+##  '. $'% L. $'/'. $/ # *'. #   '#  ..'%  #J' *#+-." #/   0.    12 34567% &'       7    '#  �6C ' 9.%  #.8$  #'  ' ' ' / ' '#  %� #�6C '% L   $.8    # $ 9'    9    % '%� #L%'  $ % .   $%8 . $ �6C$   %9   9  #@  $. *  9    % '%� #5' .%'  $ .   $%8 . $ �6C$   %: #.'' '#%� #. 8@%   $ $'8@% 9  %� #:%   9  8' 8 #% 9   '8 #%    '% #8 $8' $% ' * /  ' % :  /  .   ' '8 #'  '8#$ %  '   ( !   &  ". (% "  !    " :(%7  8' % $ #%'  #     / % '%� # @ '8'      / %  '  '%� #. '(� # '  $ #%    #. $  #   ''   / % 7   8  '% '   '8 #% '%� #5 . $  $.  ' '8 #% /  9%    8 #%+/ #   % .       '   5 ' .    $  ' ' ./#      ' '   8 #%. $'   5 $@.  # $  #%  $ %8$  #' (  %    (%       ( ( .  ( ! ;. !     !  (  *#+-." #/   0.    12 34567) &'     *  # $  # %% #' 9$   #&' ##:   " &  ".  8 8 B    #' K.% . . $O8' '   '  $8$ 9. #  /# '$'%    9  #  #' # $ 8 #@% &#x -;̈.;耀 #  9 =Q  % $� #   =Q   5 ' #8 % #' .$8&  ".  8�6"CK*�6C. #  9 $$    % $ % #.   %$'  ( � #  9 =  $� #   =�6"C . *�6C.8.= %% ' . $ %$ $5  *&#x .;&#x-326;&#x.700;6C.&#x .;&#x-326;&#x.700;6"C     %' .%%  /  $    # #   )  :  :(       (   .   "(   .  "  "   = #   %%&#x%-33;.70; .$8% /  #% 5'   % % # K   $'%&#x%-33;.70; #/ $ %&#x ;&#x;&#x.-44;.70; #/% ' / '% $ #  $ / % . $  %'  '% % '  .  $AB.' #   #  .   '# �6"C# $  '# $'�"C.'  ' *#+-." #/   0.    12 34567 '      '�6"C ) ;% AB' (  :( ; " & "    " (.   !    " .  .       #2#   "    &   8  $ %8$    #&' .$$&#x -;䀀6"CO.  #$ % #'    $.  '$%&#x -;䀀 # $8!      # %8$  #'  # %&#x -;䀀 #   '#  . $5 / $. %%K . $%* # $8 % / $ %'  %#'% '5 # ' '   9 $     % $. $$ $/#@%   . $ #   '$ N   . $ $ $.  / $ # 8$/# ' %:   # $%�6"CO. @% $  @%$'./     $'. $  '$ %./ % '  # $  # %$ %8   #&' #$ )            !      =!    +#K . 9$8$    #&' ##"      8 :% /#  '   9 �6"C  ./ # /#  %   '  *#+-." #/   0.    12 34567 6''$ % # " .  % ' /$$ $ #% ' 9"% #(#$ ) " # $  # $'$ ; :(;         !      ;(         !   !          .  (  . (    !  .  "  " "(    !  .  "  " +#&#x%000; .9  $  % # ' 9% &#x%000;6"C/ #%   / #/#   ' L.% #  &#x%000;6"CO /  ' . 6'8$' $ $' '#%&#x%000; #' '  # 8$' $ $' '#%&#x%000; #'  # : #/&#x%000; #  '   %. $&#x%000; #  /#  %:$.+#K . # # '%  # #.&#x%000; #&#x%000; # $'%. $#  #%7   '  / % '''  R'  #%  $'  '  '  '   '%&#x%000; # $&#x%000; #  $  #$8 $'% . $   #% +#K .    # $  # $'$ %  . $ %8$    #&' " . *#+-." #/   0.    12 34567 #   $  % % #' � # $ #  !$$ ./    ;  /""  % #'   # / % '/#  %  $ =$/9  ' $/$AB.  /#    '#    ' % A+ (  7  $ 8$ %%  # $  # % # $   #&' 8'      %./ * %%  /    :  $ .  $'  #$8 $1 #' #   # $.     '/   %8' $$  9 %   $ 9 $ % % % 8 /   # $  #%8$  %'  $9$8$ 5 @. $# .$ / %. ;%"# *A '   #@ $ $ #  '$  #%8 $8$    #&' ? %$   8$  # $   #&'  D %$  E.$ # #'  # $  #%8$  6 ./# #'/ # $   #&' . %   //'   %/9$$% '  %'  $'8      BT?  '$$ #' O$ #&'  /%  $ 8 ./K $ $% 7$* 8 %  ' . $ '  %   $8 .  N% %L  .%  %'    %   # $   #&' : $/'*  # $  # /  $% #% %' . %@ AB)+,-* $. $/'.0/# .5$/9  ' % #' .()5 .") //;$.: #  5 %  .5 J.KL  .0 . '.+ .. 6    # (1O  %:%  '#.R  R #.  /AB5;%.4"# *.&#x.;&#x-400; '   ' .L5 " 35AB5;%.4"# *.&#x.;&#x-400;  '%   #&' .: 4C #333 *#+-." #/   0.    12 34567AB;5; .5  . /  9. $  '.(1� *;$.�7* K'%�' .KL  .0 3. '.+ .3. 3AB;5; . 4 .   . $$  #.(5:;;;# 6$ %  .33. AB;5; . 4 .&#x ;&#x-6;$.6;5 .? $ %% ' % (  /;$.  5$$08 .&#x ;&#x.-;̩.;退:  %.KL  .0 3. '.+ .33. 3AB05C .50I =  .KCI # . # '  $  ' 8$  9#   $$' .R1  " U" &#x ;&#x.-;̩.;退#33AB1) #. 1 *&.  /  %   8.(# 5  $'#.3. A3B"4$=V*. '  % ' #' .()1 $;$.5 .KL  .0 . '.+ .. 3AB1"L '.:8'  #$8' .5&#x ;&#x.-;̩.;退5 K'333AB5&#x ;&#x.-;̩.;退.#%#/$#  $$ # .&#x ;&#x.-;̩.;退O.;; R #.+* #.AB"1 /.O$ / #%$$ $   8. 5 " 33AB40-'."4$=V*.5$ '#    ' % ' #' .(;5;  $&#x ;&#x.-;̩.;退5 ;$. 50J(  08 .KL  .0 . '.+ .. AB;M  .R/5$'$"'  %$$   .(;7)/.5;)K ;$.$;&#x$-49;退:  '"  .0 . /$'.3. AB7M * .:8' 8 # $'      8.  33ABRM*."$;&#x$-49;退 . 9#%   #&' ' .  333