glem.ps

这是博弈论算法全集第六部分:局面描述,其它算法将陆续推出.以便与大家共享

%!PS-Adobe-2.0
%%Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software
%%Title: main.dvi
%%Pages: 20
%%PageOrder: Ascend
%%BoundingBox: 0 0 612 792
%%DocumentPaperSizes: Letter
%%EndComments
%DVIPSCommandLine: dvips -o main.ps main.dvi
%DVIPSParameters: dpi=600, comments removed
%DVIPSSource:  TeX output 1999.02.25:1549
%%BeginProcSet: tex.pro
/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
forall round exch round exch]setmatrix}N /@landscape{/isls true N}B
/@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B
/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{
/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N
string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N
end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{
/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]
N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup
length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{
128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub
get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data
dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N
/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup
/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx
0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff
setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff
.1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]}
if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup
length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{
cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin
0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict
/eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook
known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X
/IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for
65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0
0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V
{}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7
getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false}
ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail
{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}
B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{
4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{
p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p
a}B /bos{/SS save N}B /eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: special.pro
TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N
/vs 792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP 0 N /rwiSeen
false N /rhiSeen false N /letter{}N /note{}N /a4{}N /legal{}N}B
/@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{@scaleunit
div /vsc X}B /@hsize{/hs X /CLIP 1 N}B /@vsize{/vs X /CLIP 1 N}B /@clip{
/CLIP 2 N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{
10 div /rwi X /rwiSeen true N}B /@rhi{10 div /rhi X /rhiSeen true N}B
/@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X}B /magscale
true def end /@MacSetUp{userdict /md known{userdict /md get type
/dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup
length 20 add dict copy def}if end md begin /letter{}N /note{}N /legal{}
N /od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath
clippath mark{transform{itransform moveto}}{transform{itransform lineto}
}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{
itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{
closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39
0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}N
/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1
scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get
ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip
not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0
TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR
pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1
-1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg
TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg
sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr
0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add
2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N /cp
{pop pop showpage pm restore}N end}if}if}N /normalscale{Resolution 72
div VResolution 72 div neg scale magscale{DVImag dup scale}if 0 setgray}
N /psfts{S 65781.76 div N}N /startTexFig{/psf$SavedState save N userdict
maxlength dict begin /magscale true def normalscale currentpoint TR
/psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts
/psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx
psf$llx sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy
scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR
/showpage{}N /erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{
psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2
roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath
moveto}N /endTexFig{end psf$SavedState restore}N /@beginspecial{SDict
begin /SpecialSave save N gsave normalscale currentpoint TR
@SpecialDefaults count /ocount X /dcount countdictstack N}N /@setspecial
{CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto
closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx
sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR
}{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse
CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury
lineto closepath clip}if /showpage{}N /erasepage{}N /copypage{}N newpath
}N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{
end}repeat grestore SpecialSave restore end}N /@defspecial{SDict begin}
N /@fedspecial{end}B /li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{
/SaveX currentpoint /SaveY X N 1 setlinecap newpath}N /st{stroke SaveX
SaveY moveto}N /fil{fill SaveX SaveY moveto}N /ellipse{/endangle X
/startangle X /yrad X /xrad X /savematrix matrix currentmatrix N TR xrad
yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end
%%EndProcSet
TeXDict begin 40258431 52099146 1000 600 600 (main.dvi)
@start /Fa 41 124 df<03800FE01FE01FE01FE01FE01FE00760006000E000C000C001
C001800380070006000E001C0038007000E000C0000B177A8718>44
D<FFFF80FFFF80FFFF80FFFF807FFF00110579911B>I<00000FE00000003FF8000000F0
3E000003C01F000007800F80000F000F80001E0007C0001C0007C000380007C00078C007
E00070E007E000F06007E000E06007E001E06007E001C06007E001C0E00FE003C0C00FC0
0380C00FC00381C00FC00381801FC00383801F800387003F80038E003F0001FC007E0000
F000FC00000001F800000003F000000007E00000000FC00000001F000000007E00000000
F800000003E00000000FC00000001F000000003E000000007800000001F000038003E000
038003C000078007800007000F00000F001E00000F001C00001E003F00003E003FF8007C
007DFF80F800781FFFF800F00FFFF000E003FFE000E001FF8000E0007E000023347AB127
>50 D<000007E00000003FFC0000007FFE000001F81F000003E00F800007800780000F00
07C0001F0003C0001E0003C0003C0003C0003C0003C0003C0007C0007C000780007C0007
80007C000F80007C000F00007E001E00007F003E00007F807C00003FC0F800003FE1E000
001FFBC000000FFF00000007FE00000003FF00000007FF8000001EFFC000007C7FE00000
F01FF00001E00FF80007C007F800078003F8000F0001F8001E0000F8003E0000F8003C00
0078007C0000780078000078007800007800780000F800F80000F000F00000F000F80001
E000780003E000780003C0007C000780003C001F00003E003E00001F81FC00000FFFF000
0003FFC0000000FE000000223479B127>56 D<000000001C00000000003C00000000003C
00000000007C0000000000FC0000000000FC0000000001FC0000000001FE0000000003FE
0000000003FE00000000077E000000000F7E000000000E7E000000001C7E000000001C7E
00000000387E00000000387E00000000707E00000000F07E00000000E07E00000001C07E
00000001C07E00000003807F00000003803F00000007003F00000007003F0000000E003F
0000001E003F0000001C003F00000038003F00000038003F00000070003F00000070003F
000000E0003F000001FFFFFF000001FFFFFF000003FFFFFF00000380003F00000700001F
80000700001F80000E00001F80001E00001F80001C00001F80003C00001F80003800001F
80007000001F8000F000001F8000E000001F8001E000001F8003E000001F800FF000003F
C0FFFE0007FFFEFFFE0007FFFEFFFE0007FFFE2F367BB539>65 D<0007FFFFFFC000000F
FFFFFFF000000FFFFFFFFC0000003F8000FE0000003F80007F0000003F80003F8000003F
00001F8000003F00001F8000007F00001FC000007F00001FC000007E00001FC000007E00
001FC00000FE00001FC00000FE00001F800000FC00003F800000FC00003F800001FC0000
7F000001FC00007E000001F80000FC000001F80001FC000003F80003F0000003F80007E0
000003F0001FC0000003FFFFFF00000007FFFFFE00000007F0007F80000007E0000FC000
0007E00007E000000FE00003F000000FE00003F800000FC00001F800000FC00001F80000
1FC00001FC00001FC00001FC00001F800001FC00001F800001FC00003F800001FC00003F
800001F800003F000003F800003F000003F800007F000007F000007F000007F000007E00
000FE000007E00001FC00000FE00003F800000FE00007F000000FC0001FE000001FC0007
FC00007FFFFFFFF00000FFFFFFFFC00000FFFFFFFE00000032337BB236>I<0000001FF0
00C0000000FFFC01C0000003FFFF03C000000FF00F878000003F8003CF800000FE0001EF
800001FC0000FF800003F00000FF00000FE000007F00001FC000007F00003F8000003F00
003F0000003E00007E0000003E0000FE0000003E0001FC0000003E0003F80000003C0003
F80000003C0007F00000003C0007F00000003C000FE000000038000FE000000038001FC0
00000038001FC000000000003FC000000000003F8000000000003F8000000000003F8000
000000007F8000000000007F0000000000007F0000000000007F0000000000007F000000
000000FE000000000000FE000000000000FE00000003C000FE00000003C000FE00000003
80007E0000000380007E0000000780007E0000000700007E0000000F00007E0000000E00
007F0000001E00003F0000003C00003F0000007800001F8000007000001F800000F00000
0FC00001E0000007E00007C0000003F0000F00000001F8003E00000000FF00FC00000000
7FFFF0000000001FFFC00000000003FE00000000323775B437>I<0007FFFFFFC000000F
FFFFFFF000000FFFFFFFFC0000003F8001FE0000003F80007F0000003F80001F8000003F
00000FC000003F000007E000007F000007E000007F000003F000007E000003F000007E00
0001F00000FE000001F80000FE000001F80000FC000001F80000FC000001F80001FC0000
01F80001FC000001F80001F8000001F80001F8000001F80003F8000001F80003F8000003
F80003F0000003F80003F0000003F80007F0000003F80007F0000003F00007E0000007F0
0007E0000007F0000FE0000007F0000FE0000007E0000FC000000FE0000FC000000FC000
1FC000001FC0001FC000001F80001F8000001F80001F8000003F00003F8000003F00003F
8000007E00003F000000FC00003F000000FC00007F000001F800007F000003F000007E00
0007E000007E00000FC00000FE00001F800000FE00007E000000FC0001FC000001FC000F
F800007FFFFFFFE00000FFFFFFFF000000FFFFFFF800000035337BB23A>I<0007FFFFFF
FFF0000FFFFFFFFFF0000FFFFFFFFFE000003F80001FE000003F800007E000003F800003
E000003F000003E000003F000001E000007F000001E000007F000001C000007E000001C0
00007E000001C00000FE000001C00000FE000001C00000FC000E01C00000FC000E01C000
01FC001E03C00001FC001C03800001F8001C00000001F8003C00000003F8003C00000003
F8007800000003F001F800000003FFFFF800000007FFFFF800000007FFFFF000000007E0
01F000000007E000F00000000FE000F00000000FE000E00000000FC000E00000000FC000
E00700001FC001E00F00001FC001C00E00001F8001C01E00001F8000001C00003F800000
1C00003F8000003C00003F0000003800003F0000007800007F000000F000007F000000F0