probcut.ps

这是博弈论算法全集第四部分:剪枝算法,其它算法将陆续推出.以便与大家共享

%!PS-Adobe-2.0
%%Creator: dvipsk 5.58a Copyright 1986, 1994 Radical Eye Software
%%Title: haupt.dvi
%%Pages: 7
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%DocumentPaperSizes: a4
%%EndComments
%DVIPSCommandLine: dvips -o probcut.ps haupt.dvi
%DVIPSParameters: dpi=300, compressed, comments removed
%DVIPSSource:  TeX output 1995.07.10:0953
%%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 40 128 df<1207120F121FA2120E1200AA127012F8A212F012E008147B93
0E>58 D<1406A2140E141EA2143EA2145EA2149E1301141E1302A2EB041F801308131813
101320A2EB7FFFEB400F1380120113001202A2481480000C1307001C130FB4EB7FF01C20
7E9F21>65 D<90B512C090381E00F015781538153C5BA4491378A215F0EC01E09038F007
809038FFFE009038F00F80EC03C03801E00115E0A3EA03C0A315C038078003EC0780EC0F
00141E380F007CB512E01E1F7D9E20>I<ECFC04903807030C90381C00980130137813E0
4848133848481330A248C7FC120E001E1420A2481400A25AA45AA45C1270A21402A26C5B
00185B001C5B6C136038038180D800FEC7FC1E217A9F20>I<90B512FE90381E001C150C
1504A25BA490387804081500A2140C495AEBFFF8EBF018A23801E010A3EC001048481320
A21540A248481380140115001407380F001FB512FE1F1F7E9E1E>69
D<90B512F890381E007015301510A25BA4491320EC0800A3495A1430EBFFF0EBF0303801
E020A44848C7FCA4485AA4120FEAFFF81D1F7D9E1D>I<ECFC04903807030C90381C0098
0130137813E04848133848481330A248C7FC120E001E1420A2481400A25AA45AECFFF0EC
0780A2EC0F001270A3141E7E0018133E001C132E6C13CC38038304D800FCC7FC1E217A9F
23>I<01FFECFF80011F903801F8005E9038178002A20127EB05E0A2150915110147EB13
C01523A215430187EB47801587EC8107A2270103C20FC7FCA214C4A20002EBC81E14D0A2
14E000045C14C0A2000C1380001CEB007C3AFF8307FF80291F7D9E28>77
D<01FFEB1FF0011FEB078091388002001317A2903823C004A3EB21E001415B14F01340A2
9038807810A2147C143CD801005B141EA300026D5AA215C01407485C1403A2120C001C6D
C7FCEAFF80241F7E9E21>I<90B512C090381E00E015781538153C5BA4491378A215F015
E09038F001C0EC0700EBFFFC01F0C7FC485AA4485AA4485AA4120FEAFFF01E1F7E9E1E>
80 D<EB01FCEB070790381C038090387001C09038E000E0485A484813F00007147090C7
FC120E121EA25A15F05AA448EB01E0A215C014031580140700701400EB3C0EEB421E3838
821CEB8138001C1360000E5B38078701EA01FF38000303140214065C14FC5C5C6D5A1C29
7A9F22>I<903807E080EB1C119038300B00EB600713C000017FEB80021203A391C7FCA2
7F13F813FF6C13C06C7FEB1FF0130313001470A31220A21460006013E05C130100705BD8
F803C7FCEAC60CEA81F819217D9F19>83 D<000FB512F8391E03C0700018141012101220
EB078012601240A239800F002000001400A3131EA45BA45BA45BA41201387FFF801D1F79
9E20>I<3BFFE0FFC07F803B1F003E001C00001E1518021E1310A25EA2001F013E5B6C13
7E025E5B149E4BC7FCEB011E150201025BA201045BA201085B13105D13205D9038401FC0
5D496CC8FCA2EB000EA2000E130C120414082920779E2D>87 D<13F338030B8038060F00
487E12181238130E1270A3485AA31440EB3880A2EA607813F838311900EA1E0E12147B93
17>97 D<EA0780123FEA0700A4120EA45AA213F0EA1D18EA3E0C123CEA380EA21270A4EA
E01CA31338A21330EA606013C0EA3180EA1E000F207B9F15>I<13FCEA0182EA0601EA0C
0F121CEA180EEA3804EA7000A35AA5EA60021304EA3008EA1070EA0F8010147B9315>I<
14F01307EB00E0A4EB01C0A4EB0380A213F3EA030B38060F00487E12181238130E1270A3
485AA31440EB3880A2EA607813F838311900EA1E0E14207B9F17>I<13F8EA0384EA0602
120C121C12381304EA7018EA77E0EA780012E0A5EA60021304EA3008EA1870EA0F800F14
7B9315>I<1478EB019CEB033CA2EB07181400A2130EA5EBFFE0EB1C00A45BA55BA55BA5
485AA35B1231007BC7FC12F31266123C1629829F0E>I<EB0F30EB30B8EB60F0EBC070EA
0180120314E0EA0700A3380E01C0A4EB0380A2EA0607130F38031700EA01E7EA0007A213
0EA21230EA781C485AEA6070EA3FC0151D7F9315>I<EA01E0120FEA01C0A4485AA448C7
FCA2131E1363380E8180380F01C0120EA2381C0380A438380700A3EB0E1000701320A213
1CEB0C4000E013803860070014207D9F17>I<13C0EA01E0A213C0C7FCA7120E12131223
EA4380EA4700A21287120EA35AA3EA38401380A21270EA31001232121C0B1F7C9E0E>I<
EA01E0120FEA01C0A4485AA448C7FCA2EB03C0EB0420380E08E013111321EB40C0381C80
00001DC7FC121EEA1FC0EA38E01370A2EB384038707080A3EB310012E0EA601E13207D9F
15>107 D<EA01C0121FEA0380A4EA0700A4120EA45AA45AA45AA3127112E2A312E41264
12380A207D9F0B>I<391C0F80F0392630C318394740640C903880680EEB0070A2008E49
5A120EA34848485AA3ED70803A3803807100A215E115623970070064D83003133821147C
9325>I<EA1C0F38263180382740C0384780E01300A2388E01C0120EA3381C0380A3EB07
0800381310A2130EEB0620007013403830038015147C9319>I<13F8EA0386EA0606487E
121C0018138012381270A338E00700A3130E130CEA601C13186C5A13E0EA0F8011147B93
17>I<3801C1E03802623038047C181378EB701CA2EA08E01200A33801C038A31470EA03
80146014C0EBC18038074300133C90C7FCA2120EA45AA2B47E161D809317>I<EA1C1EEA
266138278380EA47871307EB0300008EC7FC120EA35AA45AA45A123011147C9313>114
D<13F8EA0304EA0602EA0C06130E130CEA1C00EA0F8013E0EA07F81203EA003C131C1270
EAF018A2EAE010EA4030EA60C0EA1F800F147D9312>I<EA018013C0EA0380A4EA0700A2
EAFFF0EA0700120EA45AA45AA31320EA7040A21380A2EA3100121E0C1C7C9B0F>I<000E
13C0001313E0382301C0EA4381EA4701A238870380120EA3381C0700A31410EB0E201218
A2381C1E40EA0C263807C38014147C9318>I<380E0180381303C0EA2301EA4381EA4700
A200871380120EA3381C0100A31302A25BA25BEA0E30EA03C012147C9315>I<000EEBC0
C00013EBE1E0382301C0EA4381D847011360A23987038040120EA3391C070080A3EC0100
A21306EB0F02000C5B380E13083803E1F01B147C931E>I<38038380380CC440381068E0
13711220EB70C03840E0001200A3485AA314403863808012F3EB810012E5EA84C6EA7878
13147D9315>I<000E13C0001313E0382301C0EA4381EA4701A238870380120EA3381C07
00A4130E1218A2EA1C1EEA0C3CEA07DCEA001CA25B12F05BEAE060485AEA4380003EC7FC
131D7C9316>I<3801C0803803E100EA07E3EA0C3EEA0804C65A5B5B5B13C0485A90C7FC
1202EA0402485A1210EA3E18EA63F8EA43F0EA81E011147D9312>I<B512F014017C8C17>
I<EA7070EAF8F013F8EAF0F0EA60E00D05749E17>127 D E /Fb
50 124 df<132013401380EA0100120212065AA25AA25AA312701260A312E0AC1260A312
701230A37EA27EA27E12027EEA0080134013200B2E7BA114>40 D<7E12407E7E7E120C7E
A27EA2EA0180A313C01200A313E0AC13C0A312011380A3EA0300A21206A25A12085A5A5A
5A0B2E7CA114>I<127012F012F8A212781208A31210A31220A21240050E7B840E>44
D<127012F8A3127005057B840E>46 D<EA01F0EA060C487E487E00381380A2387001C0A3
00F013E0AD007013C0A338380380A200181300EA1C07EA071CEA01F0131F7D9D19>48
D<EA01801203120F12F31203B3A6EA07C0EAFFFE0F1E7B9D19>I<EA03F0EA0C1EEA1007
38200380004013C0130100F013E012F8A312201200EB03C0A2EB07801400130E5B5B5B13
60138048C7FC000213205A5A481340383FFFC05AB5FC131E7D9D19>I<1303A25B5BA213
171327136713471387120113071202120612041208121012301220124012C0B512F83800
0700A7EB7FF0151E7E9D19>52 D<38180180381FFF005B13F80010C7FCA7EA11F8EA120E
EA1C07381803801210380001C0A214E0A3127012F0A200E013C0EA4003148000201300EA
1006EA0C1CEA03F0131F7D9D19>I<1240387FFFE014C0A238400080388001001302A248
5A5BA25B5BA21360134013C0A212015B1203A41207A66CC7FC131F7C9D19>55
D<EA01F8EA040EEA180338300180382000C01260A3127038780180003E1300EA3F82EA1F
CCEA07F8120313FEEA0C7F38181F8038300FC0EA6003EB01E0EAC0001460A31440006013
C00020138038180100EA0E06EA03F8131F7D9D19>I<EA01F0EA060CEA1C06EA18030038
13801270EB01C012F0A214E0A4127013031238A2EA1C05EA0E19EA03E1380001C0A21303
14801230007813005BEA700EEA201CEA1030EA0FC0131F7D9D19>I<80497EA3497EA249
7E1304A2EB0878A3497EA2EB203E141EA2497EA390B57EEB8007D801007F1403A200026D
7EA200068000041300120C001E803AFF8007FF8021207E9F25>65
D<B512F0380F003C140E801580EC03C0A515801407EC0F00143EEBFFF8EB003C140FEC07
80EC03C0A2EC01E0A515C01403EC0780EC0F00141EB512F81B1F7C9E23>I<90380FE020
90387018603801C00439038002E038070001000E13005A15605A15201278127000F01400
A91270007814201238A27E15407E6C148039038001003801C00638007018EB0FE01B217C
9F23>I<B512E0380F0038140E80EC0380EC01C0A2EC00E0A215F015701578A91570A215
F015E0140115C0EC0380EC0700140E1438B512E01D1F7C9E25>I<B612C0380F00071401
1400154015601520A314201500A2146014E013FF130014601420A3EC0010A31520A31560
15E0EC01C01407B6FC1C1F7D9E21>I<B6FC380F000F1403A28015801400A4EC8000A413
0113FF13011300A491C7FCA87FEAFFF8191F7C9E20>I<39FFF07FF8390F000780AD90B5
FCEB0007AF39FFF07FF81D1F7C9E25>72 D<3803FFE038001F007FB3A3122012F8A3EAF0
1E12406C5AEA1070EA0FC013207D9E1A>74 D<39FFF003FE390F0001F0EC00C01580EC01
0014025C5C143014405C49C7FC5B497EEB0BC0EB13E01321EB40F0497EEB00788080A280
EC078015C01403EC01E015F015F839FFF00FFF201F7C9E26>I<EAFFF8EA0F8090C7FCB2
1401A4140314021406A2140E143EB512FE181F7C9E1F>I<B46CEB0FF8000F1580A2D80B
C01317A2D809E01327A3D808F01347A201781387A390383C0107A2EB1E02A3EB0F04A3EB
0788A2EB03D0A3EB01E0A2EB00C0123ED8FF80EB7FF8251F7C9E2D>I<B4EB0FF8390F80
03E09038C00080120BEA09E07F12081378137C133C7F131F7FEB078014C01303EB01E014
F013001478147C143C141E141F140F1407A214031401123E38FF80001D1F7C9E25>I<B5
12F0380F001C1407EC038015C0140115E0A415C014031580EC0700141CEBFFF090C8FCAE
EAFFF01B1F7D9E21>80 D<B57E380F00F0141C80140F801580A415005C140E5C14F0EBFF
80EB00F014788080A71502A2140EEC0F0439FFF00388C7EA01F01F207C9E24>82
D<3803F020380C0C60EA1803383000E05A146012E01420A36C13007E127CEA7F80EA3FF8
6CB4FC00071380000113C038000FE013031301EB00F014707EA46C136014E06C13C038D8
018038C60300EA81FC14217C9F1C>I<007FB512F0387807800060143000401410A200C0