combi.ps

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

%!PS-Adobe-2.0
%%Creator: dvipsk 5.58a Copyright 1986, 1994 Radical Eye Software
%%Title: haupt.dvi
%%Pages: 10
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%DocumentPaperSizes: a4
%%EndComments
%DVIPSCommandLine: dvips -o combi.ps haupt.dvi
%DVIPSParameters: dpi=300, compressed, comments removed
%DVIPSSource:  TeX output 1995.12.10:2142
%%BeginProcSet: texc.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]/id ch-image N /rw ch-width 7 add 8 idiv string N /rc 0 N /gp 0 N
/cp 0 N{rc 0 ne{rc 1 sub /rc X rw}{G}ifelse}imagemask restore}B /G{{id
gp get /gp gp 1 add N dup 18 mod S 18 idiv pl S get exec}loop}B /adv{cp
add /cp X}B /chg{rw cp id gp 4 index getinterval putinterval dup gp add
/gp X adv}B /nd{/cp 0 N rw exit}B /lsh{rw cp 2 copy get dup 0 eq{pop 1}{
dup 255 eq{pop 254}{dup dup add 255 and S 1 and or}ifelse}ifelse put 1
adv}B /rsh{rw cp 2 copy get dup 0 eq{pop 128}{dup 255 eq{pop 127}{dup 2
idiv S 128 and or}ifelse}ifelse put 1 adv}B /clr{rw cp 2 index string
putinterval adv}B /set{rw cp fillstr 0 4 index getinterval putinterval
adv}B /fillstr 18 string 0 1 17{2 copy 255 put pop}for N /pl[{adv 1 chg}
{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{
adv rsh nd}{1 add adv}{/rc X nd}{1 add set}{1 add clr}{adv 2 chg}{adv 2
chg nd}{pop nd}]dup{bind pop}forall N /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
TeXDict begin 39158280 55380996 1000 300 300 (haupt.dvi)
@start /Fa 26 123 df<137013F0EA01C0EA0380EA0700120E5AA25AA25AA35AAA1270
A37EA27EA27E7EEA0380EA01C0EA00F013700C24799F18>40 D<12C07E12707E7E7E7EA2
EA0380A2EA01C0A3EA00E0AAEA01C0A3EA0380A2EA0700A2120E5A5A5A5A5A0B247B9F18
>I<387FFFC0B512E0A26C13C013047E8F18>45 D<127012F8A312700505778418>I<1303
EB0780A2130F14005B131EA2133E133C137C1378A213F85B12015B12035BA212075B120F
90C7FCA25A121E123E123CA2127C127812F85AA2126011247D9F18>I<387FFFC0B512E0
A26C13C013047E7F18>95 D<EA0FF0EA1FFC487EEA3C0FEA180738000380A3EA01FF120F
EA3F83EA780312E0A4EA780F383FFFF8EA1FF9EA0FE015147E9318>97
D<127E12FE127E120EA5131FEB7F80EBFFC0380FC1E0EB00F01470000E13781438A61470
120FEB80F0EBC1E0380EFFC0EB7F8038061E00151C809B18>I<EA01FEEA07FF481380EA
1E073838030048C7FCA25AA61270387801C0123C381F0380380FFF006C5AEA01F812147D
9318>I<EB1F80133F131F1303A5EA03E3EA0FF3EA1FFBEA3C1FEA7807EA7003A212E0A6
12701307EA780FEA3C1F381FFBF0380FF3F83807C3F0151C7E9B18>I<EA01F0EA07FCEA
1FFEEA3E0F38380780EA7003A238E001C0A2B5FCA300E0C7FC1270EB01C01238EA3E0738
1FFF8000071300EA01F812147D9318>I<EB0F80EB3FC0EB7FE013F13801C0C01400A338
7FFFC0B5FCA23801C000AEEA7FFFA3131C7F9B18>I<3801E1F03807FBF8EA0FFF381E1E
30381C0E00487EA5EA1C0EEA1E1EEA1FFC5BEA19E00018C7FCA2EA1FFF6C13C0003F13E0
387801F038700070481338A400701370383E03E0381FFFC06C13803801FC00151F7F9318
>I<127E12FE127E120EA5133FEB7F80EBFFC0EA0FC1EB00E0A2120EAB387FC7FC38FFE7
FE387FC7FC171C809B18>I<EA0180EA03C0A2EA0180C7FCA5EA7FC012FF127F1201AEB5
FCA3101D7C9C18>I<EAFFC0A31201B3A4B51280A3111C7D9B18>108
D<38F9E1E038FBF3F0EAFFF7383E3E38EA3C3CEA3838AC38FE3E3EEB7E7EEB3E3E171480
9318>I<EA7E3F38FE7F80387EFFC0EA0FC1EB00E0A2120EAB387FC7FC38FFE7FE387FC7
FC1714809318>I<EA01F0EA0FFE487E383E0F80EA3803387001C0A238E000E0A5EAF001
007013C0EA7803383C0780EA3E0F381FFF006C5AEA01F013147E9318>I<EA7E1F38FE7F
80387EFFC0380FC1E0EB00F01470000E13781438A61470120FEB80F0EBC1E0380EFFC0EB
7F80EB1E0090C7FCA7EA7FC0487E6C5A151E809318>I<38FF07C0EB1FE0EB3FF0EA0778
EBE060EBC0005BA290C7FCA9EAFFFC7F5B14147E9318>114 D<EA0FF3EA3FFF5AEA780F
EAE007A30078C7FCEA3FE0EA1FFCEA01FEEA000F3860038012E012F0A238FC0F00EAFFFE
EAEFFCEAC7F011147D9318>I<487E1203A4387FFFC0B5FCA238038000A9144014E0A3EB
C1C03801FF806C1300137C13197F9818>I<387E07E0EAFE0FEA7E07EA0E00AC1301EA0F
033807FFFC3803FEFE3801F8FC1714809318>I<387F8FF0139F138F380F0700EA078EEA
039EEA01DC13F81200137013F07FEA01DCEA039E138EEA0707000E1380387F8FF000FF13
F8007F13F015147F9318>120 D<383FFFF05AA2387001E0EB03C0EB078038000F00131E
5B13F8485AEA03C0485A48C7FC001E13705A5AB512F0A314147F9318>122
D E /Fb 2 60 df<126012F0A2126004047D830B>58 D<126012F0A212701210A31220A2
1240A2040B7D830B>I E /Fc 1 1 df<B512FEA217027D891E>0
D E /Fd 3 80 df<137F3801FFE03807C0F0380F0070001E1330481300A25AA25AA5EB07
F8A2EB00381278A27EA27E7E3807C0F83801FFE038007F80151A7E991A>71
D<12F0B3A6EAFFFEA20F1A7D9915>76 D<13FE3803FF80380783C0380F01E0381E00F048
1378003813380078133CA248131EA80078133CA200381338003C13786C13F0380F01E038
0783C03803FF803800FE00171A7E991C>79 D E /Fe 13 86 df<131C133EA2132E1367
A2EBE78013C713C300017F1383138100037F1301486C7EA21206000E1378380FFFF8A238
1C003CA2121800387FA248131F80126000E0EB0780191D7F9C1C>65
D<EAFFFC13FF38F00F80EB03E01301EB00F014781438143CA2141C141EA8143CA3147814
F0A2EB03E0EB0FC0B5120013FC171D7C9C1E>68 D<B512C0A200F0C7FCABB51280A200F0
C7FCACB512C0A2121D7C9C19>I<B51280A200F0C7FCABB5FCA200F0C7FCAE111D7C9C18>
I<EB3FC0EBFFF83803E07C3807801C380F000C001E1300121C123C12381278A25AA6EB03
FCA2EB001C1278A21238123C121C121E7EEA07803803E07C3800FFF8EB3FC0161F7E9D1C
>I<00F013F0ADB5FCA2EAF000AE141D7C9C1D>I<12F0B3AB041D7C9C0C>I<12F0B3A9B5
FCA2101D7D9C16>76 D<133F3801FFE0487F3807C0F8380F807C381E001E003E131F003C
7F48EB0780A348EB03C0A86C130700781480A2007C130F003C1400003E5B6C133E6C6C5A
6C6C5A6CB45A6C5BD8003FC7FC1A1F7E9D1F>79 D<133F3801FFE0487F3807C0F8380F80
7C48487E003E7F003C7F48EB0780A348EB03C0A90078EB0780A2130E393C0F0F00383E07
9F381E03DE380F83FC6C6C5A6CB45A6C7F38003F78EB003C143E80EC0F801A237E9D1F>
81 D<EAFFF813FF38F00F80EB03C0EB01E0EB00F0A5EB01E01303EB0FC0B51280140013
F8EAF03C131C131E7FA2EB0780A2EB03C0A2EB01E0EB00F0A21478151D7C9C1B>I<EA03
F8EA0FFEEA1C0F487E487E0060C7FC12E0A47E1278127FEA3FE0EA1FFCEA07FEEA01FF38
001F801307EB03C0A21301A400C01380EAE00338F00700EA7C0EEA1FFCEA07F0121F7E9D
17>I<00F01370B3A5007813E0A2383C01C0381E0380EA0F073807FE00EA01F8141E7C9C
1D>85 D E /Ff 1 121 df<EB01FE90380FFFC0013F13F090B512FC4880488048158048
15C04815E0A24815F0A24815F8A3B712FCA86C15F8A36C15F0A26C15E0A26C15C06C1580
6C15006C5C6C5C013F13F0010F13C0D901FEC7FC2626939225>120
D E /Fg 1 47 df<124012E0124003037D8208>46 D E /Fh 24
123 df<EAFFFEA30F037E8C14>45 D<127012F8A312700505798414>I<1306130EA2131C
A21338A21370A213E0A2EA01C0A2EA0380A3EA0700A2120EA25AA25AA25AA25AA25A0F1D
7E9914>I<EA07C0EA0FE0EA1C70EA3838EA3018EA701CA2EAE00EA9EA701CA2EA3838A2
EA1C70EA0FE0EA07C00F177E9614>I<EA7FFCA2EA7000A7EA77C0EA7FF0EA7838EA601C
EA000C130EA2124012E0131C1260EA7878EA3FF0EA0FC00F177E9614>53
D<EA1FC0EA7FF0EA7078EA2018EA001CA2EA07FC121FEA3C1C127012E0A3EA707C383FFF
80EA0F8F11107E8F14>97 D<12FCA2121CA513F8EA1DFEEA1F07EA1E03001C1380EB01C0
A6EB0380001E1300EA1F0EEA1DFCEA0CF81217809614>I<EA03F8EA0FFEEA1C0EEA3804
EA7000126012E0A412601270EA380EEA1C1EEA0FFCEA03F00F107E8F14>I<137EA2130E
A5EA07CEEA0FFEEA1C3EEA301EEA700E12E0A61270EA301EEA383E381FEFC0EA07CF1217
7F9614>I<EA07E0EA0FF0EA1C38EA301CEA700CEAE00EA2EAFFFEA2EAE00012601270EA
380EEA1C1EEA0FFCEA03F00F107E8F14>I<13FCEA01FEEA038EEA07041300A3EA7FFE12
FFEA0700ACEAFFF8A20F177F9614>I<12FCA2121CA51378EA1DFEEA1F86EA1E07121CAA
38FF8FE0A21317809614>104 D<1206120FA21206C7FCA4B4FCA21207ACEAFFF8A20D18
7C9714>I<EAFF80A21203B3EAFFFEA20F177E9614>108 D<EAFB8EEAFFDF383CF380A2EA
38E3AA38FEFBE013791310808F14>I<EAFC78EAFDFEEA1F86EA1E07121CAA38FF8FE0A2
1310808F14>I<EA07C0EA1FF0EA3C78EA701CA2EAE00EA6EA701CEA783CEA3C78EA1FF0
EA07C00F107E8F14>I<EAFCF8EAFDFEEA1F07EA1E03001C1380EB01C0A6EB0380001E13
00EA1F0EEA1DFCEA1CF890C7FCA6B47EA21218808F14>I<EAFE1FEB7F80EA0EE3380F81
0090C7FCA2120EA8EAFFF0A211107F8F14>114 D<EA0FD8EA3FF8EA603812C0A2EAF000
EA7F80EA3FF0EA07F8EA001CEA600612E012F0EAF81CEAFFF8EACFE00F107E8F14>I<12
06120EA4EA7FFC12FFEA0E00A8130EA3131CEA07F8EA01F00F157F9414>I<EAFC3FA2EA
1C07AB131F380FFFE0EA03E71310808F14>I<EA7E3FA2EA1E3CEA0E78EA07705B12036C
5A12037FEA0770EA0E781338487E38FE3F80A211107F8F14>120
D<EA3FFF5AEA700E131C1338EA007013E0EA01C0EA0380EA0700120EEA1C0712381270B5
FCA210107F8F14>122 D E /Fi 5 107 df<B61280A219027D8A20>0
D<EB3FFE48B512C039071E1FE039081C03F00038EB01F838703C000060147C12C0000014
3C1338A21378A215381370157801F0137049136015E00001EB01C001C01380EC02000003
5BEB8018146038070380D80FFEC7FCEA1FF01E1C809B20>68 D<147E49B4FCEB031FEB06
0F130C1318EB380CEB78080170C7FCA25BA21201A25BA212035BA21207A290C8FCA2000E
14801403391FE00700EBFC063831FF8C38603FF838C007E0191E7F9C1D>76
D<00780103130600FC49130F123E6C14806C010F13076C011B1303EB8013913833C00200
031323144102C11304EC81E001811408140001821410138601841420018CEBF060019814
4049EB70C0ED71804848EB73005B491376157C90C712781206481470000814601540281E
7E9B29>87 D<12C0B3B3A502297B9E0C>106 D E /Fj 2 106 df<EBFC40380302C0EA0C
01381800805A5A14005AA41302A2EA4004EA6008EA1830EA0FC012117D9016>67
D<1204120C1200A5123012581298A21230A212601264A21268123006127E910B>105
D E /Fk 1 47 df<124012E0124003037E8209>46 D E /Fl 2 121
df<48B5FC39003C03C090383800E015F01570A24913F0A315E0EBE001EC03C0EC070014
1E3801FFF001C0C7FCA3485AA448C8FCA45AEAFFE01C1C7E9B1B>80
D<380787803808C8403810F0C03820F1E0EBE3C03840E1803800E000A2485AA438638080
12F3EB810012E5EA84C6EA787813127E9118>120 D E /Fm 2 88
df<131E13671383120190C7FC12021206A21204120CA212081218001013C0003F138038
63E100EAC07E12117E9015>76 D<D8E00313C0007014E039300780201305EA3809381819
C0011013401320903860E080EB40610180130000191362381B0066001E136C001C137800
181370142012101B127D901E>87 D E /Fn 11 112 df<1306130C131813301370136013
C012011380120313005A1206120E120C121CA212181238A312301270A65AB21270A61230
1238A31218121CA2120C120E120612077E1380120113C012001360137013301318130C13
060F4A788119>16 D<12C012607E7E121C120C7E12077E1380120113C0120013E0136013