%%Creator: %!PS-Adobe-2.0 dvips(k) 5.92b Copyright 2002 Radical Eye Software %%Title: Book.dvi %%Pages: 3 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%DocumentFonts: Times-Roman Times-Bold Courier Times-Italic %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips -o Book.ps Book.dvi %DVIPSParameters: dpi=600, compressed %DVIPSSource: TeX output 2004.08.25:1604 %%BeginProcSet: texc.pro %! /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S N}B/A{dup}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{A A 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/IEn 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 IEn N end A{/foo setfont}2 array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/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 A definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get }B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} B/Cdx{Cd A length 1 sub get}B/Ci{Cd A 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/CharBuilder{save 3 1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]/id Ci N/rw Cw 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 A 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 A gp add/gp X adv}B/nd{ /cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{ A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy get A 0 eq{pop 128}{A 255 eq{pop 127}{A 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}]A{bind pop} forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{A A length 1 sub A 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 A 1 get A mul exch 0 get A 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/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 index cvrs cvn put}for pop 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/Rx 0 N/Ry 0 N/V{}B/RV/v{ /Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) (LaserWriter 16/600)]{A length product length le{A length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse
end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto fill grestore}B/a{moveto}B/delta 0 N/tail{A/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: 8r.enc % File 8r.enc as of 2002-03-12 for PSNFSS 9 % % This is the encoding vector for Type1 and TrueType fonts to be used % with TeX. This file is part of the PSNFSS bundle, version 9 % % Authors: S. Rahtz, P. MacKay, Alan Jeffrey, B. Horn, K. Berry, W. Schmidt % % Idea is to have all the characters normally included in Type 1 fonts % available for typesetting. This is effectively the characters in Adobe % Standard Encoding + ISO Latin 1 + extra characters from Lucida + Euro. % % Character code assignments were made as follows: % % (1) the Windows ANSI characters are almost all in their Windows ANSI % positions, because some Windows users cannot easily reencode the % fonts, and it makes no difference on other systems. The only Windows % ANSI characters not available are those that make no sense for % typesetting -- rubout (127 decimal), nobreakspace (160), softhyphen % (173). quotesingle and grave are moved just because it's such an % irritation not having them in TeX positions. % % (2) Remaining characters are assigned arbitrarily to the lower part % of the range, avoiding 0, 10 and 13 in case we meet dumb software. % % (3) Y&Y Lucida Bright includes some extra text characters; in the % hopes that other PostScript fonts, perhaps created for public % consumption, will include them, they are included starting at 0x12. % % (4) Remaining positions left undefined are for use in (hopefully) % upward-compatible revisions, if someday more characters are generally % available. % % (5) hyphen appears twice for compatibility with both ASCII and Windows. % % (6) /Euro is assigned to 128, as in Windows ANSI % /TeXBase1Encoding [ % 0x00 (encoded characters from Adobe Standard not in Windows 3.1) /.notdef /dotaccent /fi /fl /fraction /hungarumlaut /Lslash /lslash /ogonek /ring /.notdef /breve /minus /.notdef % These are the only two remaining unencoded characters, so may as % well include them. /Zcaron /zcaron % 0x10 /caron /dotlessi
% (unusual TeX characters available in, e.g., Lucida Bright) /dotlessj /ff /ffi /ffl /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % very contentious; it's so painful not having quoteleft and quoteright % at 96 and 145 that we move the things normally found there down to here. /grave /quotesingle % 0x20 (ASCII begins) /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quoteright /parenleft /parenright /asterisk /plus /comma /hyphen /period /slash % 0x30 /zero /one /two /three /four /five /six /seven /eight /nine /colon /semicolon /less /equal /greater /question % 0x40 /at /A /B /C /D /E /F /G /H /I /J /K /L /M /N /O % 0x50 /P /Q /R /S /T /U /V /W /X /Y /Z /bracketleft /backslash /bracketright /asciicircum /underscore % 0x60 /quoteleft /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o % 0x70 /p /q /r /s /t /u /v /w /x /y /z /braceleft /bar /braceright /asciitilde /.notdef % rubout; ASCII ends % 0x80 /Euro /.notdef /quotesinglbase /florin /quotedblbase /ellipsis /dagger /daggerdbl /circumflex /perthousand /Scaron /guilsinglleft /OE /.notdef /.notdef /.notdef % 0x90 /.notdef /.notdef /.notdef /quotedblleft /quotedblright /bullet /endash /emdash /tilde /trademark /scaron /guilsinglright /oe /.notdef /.notdef /Ydieresis % 0xA0 /.notdef % nobreakspace /exclamdown /cent /sterling /currency /yen /brokenbar /section /dieresis /copyright /ordfeminine /guillemotleft /logicalnot /hyphen % Y&Y (also at 45); Windows' softhyphen /registered /macron % 0xD0 /degree /plusminus /twosuperior /threesuperior /acute /mu /paragraph /periodcentered /cedilla /onesuperior /ordmasculine /guillemotright /onequarter /onehalf /threequarters /questiondown % 0xC0 /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla /Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis % 0xD0 /Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply /Oslash /Ugrave /Uacute /Ucircumflex /Udieresis /Yacute /Thorn /germandbls % 0xE0
/agrave /aacute /acircumflex /atilde /adieresis /aring /ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute /icircumflex /idieresis % 0xF0 /eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /ydieresis ] def %%EndProcSet %%BeginProcSet: texps.pro %! TeXDict begin/rf{findfont dup length 1 add dict begin{1 index/FID ne 2 index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]FontType 0 ne{/Metrics exch def dict begin Encoding{exch dup type/integertype ne{ pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}ifelse}forall Metrics/Metrics currentdict end def}{{1 index type /nametype eq{exit}if exch pop}loop}ifelse[2 index currentdict end definefont 3 -1 roll makefont/setfont cvx]cvx def}def/ObliqueSlant{dup sin S cos div neg}B/SlantFont{4 index mul add}def/ExtendFont{3 -1 roll mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false def dup[ exch{dup CharStrings exch known not{pop/.notdef/Encoding true def}if} forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def}def 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/setpagedevice{pop}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 /setpagedevice{pop}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 (Book.dvi) @start %DVIPSBitmapFont: Fa cmr9 9 2 /Fa 2 50 df<156015F0B3A4007FB812C0B912E0A26C17C0C800F0C8FCB3A4156033327C AB3C>43 D<13075B5B137FEA07FFB5FC13BFEAF83F1200B3B3A2497E007FB51280A31932 7AB126>49 D E %EndDVIPSBitmapFont /Fb 133[32 37 2[37 3[32 2[42 42 60 3[23 3[37 42 2[42 97[{ TeXBase1Encoding ReEncodeFont }11 83.022 /Times-Italic rf %DVIPSBitmapFont: Fc cmsy7 7 1 /Fc 1 1 df<B712FEA327037A8F34>0 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fd cmr7 7 5 /Fd 5 62 df<140EB3A2B812E0A3C7000EC8FCB3A22B2B7DA333>43 D<EB3F803801FFF03803E0F83807803C48487E001E7F003E1480A2003C1307007C14C0A4 00FC14E0AE007C14C0A36CEB0F80A36CEB1F006C131E6C6C5A3803E0F86CB45A38003F80 1B277EA521>48 D<13381378EA01F8121F12FE12E01200B3AB487EB512F8A215267BA521 >I<13FF000313E0380E03F0381800F848137C48137E00787F12FC6CEB1F80A4127CC7FC 15005C143E147E147C5C495A495A5C495A010EC7FC5B5B903870018013E0EA0180390300 030012065A001FB5FC5A485BB5FCA219267DA521>I<B812E0A3CBFCABB812E0A32B117D 9633>61 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fe cmex10 10 4 /Fe 4 91 df<160F161F163E167C16F8ED01F0ED03E0ED07C0150FED1F801600153E157E 5D4A5A5D14034A5A5D140F4A5AA24AC7FC143E147E5CA2495AA2495AA2495AA2130F5CA2 495AA2133F91C8FCA25B137E13FEA25B1201A25B1203A35B1207A35B120FA35BA2121FA4 5B123FA690C9FC5AAA12FEB3AC127FAA7E7FA6121F7FA4120FA27FA312077FA312037FA3 12017FA212007FA2137E137F7FA280131FA26D7EA2801307A26D7EA26D7EA26D7EA2147E 143E143F6E7EA26E7E1407816E7E1401816E7E157E153E811680ED0FC01507ED03E0ED01
F0ED00F8167C163E161F160F28C66E823D>18 D<12F07E127C7E7E6C7E6C7E6C7E7F6C7E 1200137C137E7F6D7E130F806D7E1303806D7EA26D7E147C147E80A26E7EA26E7EA26E7E A2811403A26E7EA2811400A281157E157FA2811680A2151F16C0A3150F16E0A3150716F0 A31503A216F8A4150116FCA6150016FEAA167FB3AC16FEAA16FC1501A616F81503A416F0 A21507A316E0150FA316C0151FA31680153FA216005DA2157E15FE5DA214015DA24A5AA2 14075DA24A5AA24A5AA24AC7FCA2147E147C14FC495AA2495A5C1307495A5C131F49C8FC 137E137C5B1201485A5B485A485A48C9FC123E5A5A5A28C67E823D>I<BF12E08AA38A6C 90CCFC0900806C6D19076C6D07007F6C6D1A1F1D076C6DF201FF6C6D747E6C6DF33F801E 0F6C6D1B076D6CF303C06D6D1A01F600E06D7F6D6D1B706D1D30816D6D1B186D6D1B007F 816E7E6E7FA26E7F6E7F6E7FA26E7F6E7F6E7FA26F7E6F7F6F7FA26F7F6F7F81836F7F6F 7F167F83707F707F8284707F707FA2707F82715A60173F715A604D5A4DCDFC17FEA24C5A 4C5A4C5A4C5A4C5A5F163F4CCEFC16FE4B5A4B5A4B5AA24B5A4B5A4B5A4BCFFC15FEA24A 5A4A5A4A481B184A481B304A5A4B1B70023F1C604ACF12E002FE1B014948F303C049481B 074948F30F801E1F49481B7F4948F3FF0049481A0349CE120F01FEF37FFEF403FF48481A 7F4848077FB55A48BEFC48655AA248655ABFFC666D747B7F78>88 D<F107C0F11FF0F17C3CF1F80E0601133EF1F07F953803E0FF1807A24E5A1A7E95381F80 3C1A00A24EC7FCA260A2187E18FEA3601701A34D5AA4170760A3170FA260A2171FA260A3 173FA360177FA44DC8FCA55E5FA31603A35FA21607A35FA2160FA44C5AA5163F5FA4167F 5FA416FF5FA45D94C9FCA45D5EA54B5AA54B5AA45EA2151FA35EA2153FA35EA3157F5EA5 4BCAFCA45D1401A35DA31403A25DA21407A25DA3140F5DA44A5AA35D143FA392CBFC5CA2 147E14FE5CA2383C01F8127E12FF495A5C130700FE5B387C0F80D8701FCCFCEA3C3EEA0F FCEA03F048B87B7F2E>90 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Ff cmmi7 7 5 /Ff 5 121 df<130E131F5BA2133E131C90C7FCA7EA03E0487EEA0C78EA187C1230A212 605B12C0A2EA01F0A3485AA2485AA2EBC180EA0F81A2381F0300A213066C5A131CEA07F0 6C5A11287DA617>105 D<133EEA07FEA2EA007CA213FCA25BA21201A25BA21203EC0780 9038E01FC0EC38600007EB61E014C3EBC187EBC307D80FC613C09038CC038001B8C7FC13 E0487E13FEEB3F80EB0FC0486C7E1303003E1460A2127EECC0C0127CECC18012FC903801 E30038F800FE0070137C1B297CA723>107 D<3B07801FC007E03B0FE07FF01FF83B18F0 E0F8783C3B30F1807CE03E903AFB007D801ED860FEEB3F005B49133E00C14A133E5B1201 A24848495BA35F4848485A1830EE01F0A23C0F8003E003E060A218C0933801E180271F00 07C013E3933800FF00000E6D48137C341B7D993B>109 D<3907801FC0390FE07FF03918 F0E0F83930F1807CEBFB00D860FE133C5B5B00C1147C5B1201A248485BA34A5AEA07C016 60EC03E0A23A0F8007C0C0A2EDC180913803C300D81F0013C7EC01FE000EEB00F8231B7D 9929>I<90387C03C03901FF0FF03907079C30390E03B078000CEBF0F8001813E1123015 F0396007C0E015001200A2495AA449C7FC15301238007C1460EAFC3E15C0EAF87E39F06F 03803970C70700383F83FE381F01F81D1B7D9926>120 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fg cmmi9 9 3 /Fg 3 111 df<EB01C0EB07E014F0130F14E01307EB038090C7FCAA13F0EA03FCEA071E EA0E1F121C123800301380EB3F00127012605BEAE07EEA40FE12005B12015BA212035B12 071420EBE070000F136013C014E014C0EA1F80EA0F81EB8380EB8700EA078EEA03FCEA00 F014337EB11A>105 D<151C157E15FEA315FC15781500AA143FECFFC0903801C3E0EB03 8390380701F0130EEB0C03131C1338133014071370012013E01300140FA215C0A2141FA2 1580A2143FA21500A25CA2147EA214FEA25CA21301A25CA21303001C5B127F495AA238FE 0FC0495AD8783FC7FCEA707CEA3FF0EA0FC01F4281B11F>I<D801E013FE3A07F803FF80 3A0E3E0F07E0001C90383C03F039181F7001003813E026303FC07F127000601380140015 03D8E07F5CEA407E1200150701FE5C5B150F5E120149131FEE8080EE81C00003023F1380 4914011603037F13000007147E495CED3E0E5E000FEC1E3849EB0FF0D80380EB03C02A22 7EA02E>110 D E %EndDVIPSBitmapFont /Fh 134[37 1[54 37 37 21 29 25 1[37 37 37 58 21 2[21 37 37 25 33 37 33 37 33 12[46 42 9[25 2[42 11[21 37 1[37 1[37 37 37 37 37 2[19 25 19 44[{ TeXBase1Encoding ReEncodeFont }36 74.7198 /Times-Roman rf %DVIPSBitmapFont: Fi cmsy10 10 6 /Fi 6 51 df<007FB81280B912C0A26C17803204799641>0 D<121C127FEAFF80A5EA7F 00121C0909799917>I<EF0180EF07C0171FEF7F80933801FF00EE07FCEE1FF0EE7FC04B
48C7FCED07FCED1FF0ED7FC04A48C8FCEC07FCEC1FF0EC7FC04948C9FCEB07FCEB1FF0EB 7FC04848CAFCEA07FCEA3FF0EA7FC048CBFC5AEA7F80EA3FE0EA0FF8EA03FEC66C7EEB3F E0EB0FF8EB03FE903800FF80EC3FE0EC0FF8EC03FE913800FF80ED3FE0ED0FF8ED03FE92 3800FF80EE3FE0EE0FF8EE03FE933800FF80EF3FC0170FEF038094C7FCAE007FB81280B9 12C0A26C1780324479B441>20 D<126012F812FEEA7F80EA3FE0EA0FF8EA03FEC66C7EEB 3FE0EB0FF8EB03FE903800FF80EC3FE0EC0FF8EC03FE913800FF80ED3FE0ED0FF8ED03FE 923800FF80EE3FE0EE0FF8EE03FE933800FF80EF3FC0171FEF7F80933801FF00EE07FCEE 1FF0EE7FC04B48C7FCED07FCED1FF0ED7FC04A48C8FCEC07FCEC1FF0EC7FC04948C9FCEB 07FCEB1FF0EB7FC04848CAFCEA07FCEA1FF0EA7FC048CBFC12FC1270CCFCAE007FB81280 B912C0A26C1780324479B441>I<D90FF0ED07F0D93FFEED3FFE90B56C91B5FC00036E90 3903F807C02707F07FF0903907C001E0270F801FF890390F8000F090260007FC013EC712 70001E6D6C491438486D6C0178141C00386D6D5A48DA7FC1150E92383FE3E0006091261F F3C01406EEF78000E0DA0FFF1507486E90C812036F5AA26F7E6F7F707EA24C7E6C4A6D14 070060DBEFF81406ED03CF0070912607C7FC140E92380F83FE6CDB01FF141CDB1E006D13 3C6C023E6D6C13786C4A6D6C13F0000FD901F090381FF8016C6C484890390FFE0FE02703 E01FC00103B512C0C6B5C76C1400D97FFC9138007FFCD90FE0ED0FF048267BA453>49 D<91381FFFFE91B6FC1303010F14FED91FF0C7FCEB7F8001FEC8FCEA01F8485A485A485A 5B48C9FCA2123EA25AA2127812F8A25AA2B712FE16FFA216FE00F0C9FCA27EA21278127C A27EA27EA26C7E7F6C7E6C7E6C7EEA00FEEB7F80EB1FF06DB512FE010314FF1300021F13 FE283279AD37>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fj cmmi10 10 17 /Fj 17 121 df<121C127FEAFF80A5EA7F00121C0909798817>58 D<121C127FEAFF80A213C0A3127F121C1200A412011380A2120313005A1206120E5A5A5A 12600A19798817>I<EF0380EF0FC0173FEFFF80933803FE00EE0FF8EE3FE0EEFF80DB03 FEC7FCED0FF8ED3FE0EDFF80DA03FEC8FCEC0FF8EC3FE0ECFF80D903FEC9FCEB0FF8EB3F E0EBFF80D803FECAFCEA0FF8EA3FE0EA7F8000FECBFCA2EA7F80EA3FE0EA0FF8EA03FEC6 6C7EEB3FE0EB0FF8EB03FE903800FF80EC3FE0EC0FF8EC03FE913800FF80ED3FE0ED0FF8 ED03FE923800FF80EE3FE0EE0FF8EE03FE933800FF80EF3FC0170FEF0380323279AD41> I<150C151E153EA2153C157CA2157815F8A215F01401A215E01403A215C01407A2158014 0FA215005CA2141E143EA2143C147CA2147814F8A25C1301A25C1303A2495AA25C130FA2 91C7FC5BA2131E133EA2133C137CA2137813F8A25B1201A25B1203A25B1207A25B120FA2 90C8FC5AA2121E123EA2123C127CA2127812F8A25A12601F537BBD2A>I<1760177017F0 1601A21603A21607160FA24C7EA216331673166316C3A2ED0183A2ED0303150683150C16 0115181530A21560A215C014011580DA03007FA202061300140E140C5C021FB5FC5CA202 60C7FC5C83495A8349C8FC1306A25BA25B13385B01F01680487E000716FFB56C013F13FF 5EA2383C7DBB3E>65 D<0003B812FEA25A903AF8003FC00101C0913880007E4848163C90 C7007F141C121E001C92C7FCA2485CA200305C007017180060130112E0485CA21403C716 005DA21407A25DA2140FA25DA2141FA25DA2143FA25DA2147FA292C9FCA25CA25CA21301 A25CA21303A25CEB0FFC003FB6FC5AA237397EB831>84 D<003FB56C48B51280485DA226 007F80C7381FF00091C8EA07C0604993C7FCA2491506A20001160E170C5BA20003161C17 185BA20007163817305BA2000F167017605BA2001F16E05F5BA2003F15015F5BA2007F15 0394C8FC90C8FCA25E4815065A160E160C161C161816385E127E5E4B5A6C4A5A4BC9FC6C 6C131E6C6C5B6C6C13F83903F807E06CB55A6C6C48CAFCEB0FF0393B7BB839>I<1578EC 01FEEC07C6EC0F861507EC1E03143E147C1507ECF806A2EB01F00103130EECE00C1307A2 ECC01C010F1318153890381F80301570156090383F00E015C01401017F1380EB7E03EC07 001406EBFE0E495A5C143000011370495AEBF9C0EBFB8001FFC7FC5B5B485AA25BA4485A 120F121DEA39F0127100E1140C0080143C0000147015E090387801C0EC078090383C1E00 EB1FF8EB07E0203C7FBA23>96 D<EC3FC0903801FFF0903807E07890381F801C90387E00 1E49130E485A485A1207485A49131E001F141C153C484813F8EC03E0007FEB3FC09038FF FE0014E090C8FC5A5AA7007E140315071506003E140E153C6C14706C6C13E0EC07C03903 E03F003801FFF838003FC020267DA427>101 D<14E0EB03F8A21307A314F0EB01C090C7 FCAB13F8EA03FEEA070F000E1380121C121812381230EA701F1260133F00E0130012C05B EA007EA213FE5B1201A25B12035BA20007131813E01438000F133013C01470EB806014E0 14C01381EB838038078700EA03FEEA00F815397EB71D>105 D<150FED3F80A2157FA316 00151C92C7FCABEC0F80EC3FE0ECF0F0903801C0F849487E14005B130E130C131CEB1801 133801305BA2EB0003A25DA21407A25DA2140FA25DA2141FA25DA2143FA292C7FCA25CA2 147EA214FEA25CA21301001E5B123F387F83F0A238FF87E0495A00FE5BD87C1FC8FCEA70 7EEA3FF8EA0FC0214981B722>I<EB03F0EA01FFA3EA00075CA3130F5CA3131F5CA3133F
91C8FCA35B017EEB07C0ED1FF0ED783801FEEBE0F89039FC01C1FCEC0383EC0707000113 0ED9F81C13F891383803F091387001E0000349C7FCEBF1C0EBF38001F7C8FCEA07FEA2EB FFE0EBE7F8380FE0FEEBC07F6E7E141F001F80D9800F1330A21670003F011F1360010013 80A216E04815C0007E1481020F1380158300FE903807870048EB03FE0038EB00F8263B7C B92B>I<D803E0017F14FE3D07F801FFE003FFC03D0E3C0781F00F03E03D1C3E1E00F83C 01F026383F38D9FC707F00304914E04A90387DC000007049EB7F8000604991C7FCA200E0 90C700FE1301485A017E5CA200000201140301FE5F495CA203031407000160495C180F03 075D1203494A011F13601980030F023F13E00007F000C0495C1901031F023E1380000F18 03494A150061033F150E001FEF1E1C4991C7EA0FF80007C7000EEC03E043267EA449> 109 D<D803E0137F3A07F801FFE03A0E3C0781F03A1C3E1E00F826383F387F00305B4A13 7C00705B00605BA200E090C712FC485A137EA20000140101FE5C5BA2150300015D5B1507 5E120349010F133016C0031F13700007ED80605B17E0EE00C0000F15014915801603EE07 00001FEC0F0E49EB07FC0007C7EA01F02C267EA432>I<90390F8003F090391FE00FFC90 3939F03C1F903A70F8700F80903AE0FDE007C09038C0FF80030013E00001491303018015 F05CEA038113015CA2D800031407A25CA20107140FA24A14E0A2010F141F17C05CEE3F80 131FEE7F004A137E16FE013F5C6E485A4B5A6E485A90397F700F80DA383FC7FC90387E1F FCEC07E001FEC9FCA25BA21201A25BA21203A25B1207B512C0A32C3583A42A>112 D<3903E001F83907F807FE390E3C1E07391C3E381F3A183F703F800038EBE07F0030EBC0 FF00705B00601500EC007E153CD8E07F90C7FCEAC07EA2120013FE5BA312015BA312035B A312075BA3120F5BA3121F5B0007C9FC21267EA425>114 D<903907E001F090391FF807 FC9039783E0E0F9039E01F1C1FD801C09038383F803A03800FF07F0100EBE0FF5A000E4A 1300000C157E021F133C001C4AC7FC1218A2C7123FA292C8FCA25CA2147EA214FEA24A13 0CA20101141C001E1518003F5BD87F81143801835C00FF1560010714E03AFE0E7C01C0D8 7C1C495A2778383E0FC7FC391FF00FFC3907C003F029267EA42F>120 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fk cmr10 10 17 /Fk 17 112 df<EC0FFE91387FFFC0903903FC07F890390FE000FED93F80EB3F8049C76C 7E01FE6E7E48486E7E00038248486E7E48486E7EA248486E7E003F1780A34848ED7FC0AA 003F17806D15FFA2001F1700A36C6C4A5AA200075E6D140300035E00015EA26C6C4A5AA2 017C5DA26D4A5A011E92C7FC00C017606D141E006017C06D141CA326700380EB38010038 EE0380D83FFFEC3FFFA46C1700A2333B7CBA3C>10 D<121C127FEAFF80A8EA7F00AB123E AB121CABC7FCA8121C127FEAFF80A5EA7F00121C093C79BB17>33 D<146014E0EB01C0EB0380EB0700130E131E5B5BA25B485AA2485AA212075B120F90C7FC A25A121EA2123EA35AA65AB2127CA67EA3121EA2121F7EA27F12077F1203A26C7EA26C7E 1378A27F7F130E7FEB0380EB01C0EB00E01460135278BD20>40 D<12C07E12707E7E7E12 0F6C7E6C7EA26C7E6C7EA21378A2137C133C133E131EA2131F7FA21480A3EB07C0A6EB03 E0B2EB07C0A6EB0F80A31400A25B131EA2133E133C137C1378A25BA2485A485AA2485A48 C7FC120E5A5A5A5A5A13527CBD20>I<15301578B3A6007FB812F8B912FCA26C17F8C800 78C8FCB3A6153036367BAF41>43 D<EB03F8EB1FFF90387E0FC09038F803E03901E000F0 484813780007147C48487FA248C77EA2481580A3007EEC0FC0A600FE15E0B3007E15C0A4 007F141F6C1580A36C15006D5B000F143EA26C6C5B6C6C5B6C6C485A6C6C485A90387E0F C0D91FFFC7FCEB03F8233A7DB72A>48 D<EB01C013031307131F13FFB5FCA2131F1200B3 B3A8497E007FB512F0A31C3879B72A>I<EB0FF0EB7FFE48B57E3903E03FE0390F000FF0 000E6D7E486D7E486D7E123000706D7E126012FCB4EC7F807FA56CC7FC121CC8FCEDFF00 A34A5A5D14035D4A5A5D140F4A5A4A5A92C7FC147C5C495A495A495A495A91C8FC011EEB 01805B5B49130348481400485A485A000EC75A000FB6FC5A5A485CB6FCA321387CB72A> I<EB07F8EB3FFF4913C03901F80FF03903C007F848486C7E380E0001000F80381FE0006D 7FA56C5A6C5AC85A1401A25D4A5AA24A5A5DEC0F80027EC7FCEB1FFCECFF809038000FE0 6E7EEC01FC816E7EED7F80A216C0A2153F16E0A2121EEA7F80487EA416C049137F007F15 80007EC7FC0070ECFF006C495A121E390F8003F83907F00FF00001B512C06C6C90C7FCEB 0FF8233A7DB72A>I<EB03F8EB1FFF017F13C09038FC07E03903F803F048486C7E48486C 7E49137E121F48487FA2007F158090C7FCA248EC1FC0A616E0A56C143FA27F123F001F14 7FA26C6C13FF6C6C13DF000313013901F0039F3900FC0F1FD93FFC13C0EB07F090C7FC15 3F1680A316005D000F147E487E486C5BA24A5A4A5A49485A6C48485A001C495A260F807F C7FC3807FFFC000113F038003FC0233A7DB72A>57 D<007FB812F8B912FCA26C17F8CCFC AE007FB812F8B912FCA26C17F836167B9F41>61 D<EAFFF8A4EAF000B3B3B3B3A3EAFFF8 A40D5378BD17>91 D<EAFFF8A4EA0078B3B3B3B3A3EAFFF8A40D537FBD17>93 D<ED03F090390FF00FF890393FFC3C3C9039F81F707C3901F00FE03903E007C03A07C003
E010000FECF000A248486C7EA86C6C485AA200075C6C6C485A6D485A6D48C7FC38073FFC 38060FF0000EC9FCA4120FA213C06CB512C015F86C14FE6CECFF804815C03A0F80007FE0 48C7EA0FF0003E140348140116F8481400A56C1401007C15F06CEC03E0003F1407D80F80 EB0F80D807E0EB3F003901FC01FC39007FFFF0010790C7FC26387EA52A>103 D<EA03F012FFA3120F1203B3B3AD487EB512C0A3123A7EB917>108 D<3903F00FF000FFEB3FFCECF03F9039F1C01F803A0FF3800FC03803F70013FE496D7EA2 5BA35BB3A3486C497EB500C1B51280A329257EA42E>110 D<EB03FE90380FFF8090383E 03E09038F800F84848137C48487F48487F4848EB0F80001F15C090C712074815E0A2007E EC03F0A400FE15F8A9007E15F0A2007F14076C15E0A26C6CEB0FC0000F15806D131F6C6C EB3F006C6C137EC66C13F890387E03F090381FFFC0D903FEC7FC25277EA52A>I E %EndDVIPSBitmapFont /Fl 136[50 50 50 50 50 50 1[50 50 50 1[50 2[50 50 1[50 50 50 2[50 51[50 1[50 43[{ TeXBase1Encoding ReEncodeFont }18 83.022 /Courier rf /Fm 133[37 42 2[42 46 28 32 37 1[46 42 46 69 23 46 1[23 46 42 1[37 46 37 46 42 12[55 46 60 65 14[55 60 18[21 46[{ TeXBase1Encoding ReEncodeFont }28 83.022 /Times-Bold rf /Fn 168[63 48 48 41 37 44 1[37 48 48 59 41 48 1[22 3[41 48 44 1[48 65[{ TeXBase1Encoding ReEncodeFont } 17 66.4176 /Times-Roman rf /Fo 138[72 40 1[48 2[72 3[72 1[40 5[64 15[80 1[104 81[{ TeXBase1Encoding ReEncodeFont }9 143.462 /Times-Roman rf /Fp 133[37 42 42 60 42 42 23 32 28 42 42 42 42 65 23 42 1[23 42 42 28 37 42 37 42 37 9[78 2[51 46 55 60 46 60 60 74 51 2[28 60 1[46 2[55 55 60 5[23 23 1[42 42 42 42 42 42 42 42 42 1[21 28 21 2[28 28 2[69 34[46 2[{ TeXBase1Encoding ReEncodeFont }59 83.022 /Times-Roman rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin end %%EndSetup %%Page: 4 1 TeXDict begin 4 0 bop 0 418 a Fp(Meeting)19 b(1)3149 b(August)20 b(25,)f(2004)1725 708 y Fo(QuickSort)804 908 y Fp(\(read)h(Section)f(7)i(on)e(Quicksort)h(in)i(C)t Fn(O)t(R)t(M)t(E)t(N)t Fp(,)k(L)t Fn(E)t(I)t(S)t(E)t(R)t(S)t(O)t(N)t Fp(,)e(R)t Fn(I)t(V)t(E)t(S)t(T)o Fp(,)g(S)t Fn(T)t(E)t(I)t(N)r Fp(\))83 1399 y(Quicksort)57 b(has)h(the)f(reputation)f(of)i(being)f (the)g(f)o(asted)0 1498 y(comparison-based)17 b(sorting)i(algorithm.)k (Indeed)18 b(it)j(is)g(v)o(ery)e(f)o(ast)0 1598 y(on)f(the)h(a)n(v)o (erage)e(b)n(ut)i(can)f(be)h(slo)n(w)g(in)g(bad)f(cases)h(unless)g (precau-)0 1698 y(tions)h(are)g(tak)o(en.)0 1955 y Fm(Quicksort)45 b(Algorithm.)82 b Fp(Quicksort)44 b(follo)n(ws)g(the)i(di)n(vide-)0 2055 y(and-conquer)21 b(paradigm:)33 b(it)25 b Fm(di)o(vides)h Fp(the)f(unsorted)e(array)h(into)0 2155 y(tw)o(o,)19 b(it)g Fm(r)o(ecurses)f Fp(on)g(the)g(tw)o(o)h(pieces,)f(and)g(it)h (\002nally)f Fm(combines)0 2254 y Fp(the)23 b(tw)o(o)g(sorted)f(pieces) g(to)h(obtain)f(the)h(sorted)f(array)-5 b(.)31 b(An)23 b(inter)n(-)0 2354 y(esting)e(feature)g(of)g(quicksort)f(is)j(that)e (splitting)h(separates)f(small)0 2453 y(from)d(lar)o(ge)h(items)g(and)g (mak)o(es)g(combining)e(the)j(sorted)f(pieces)g(a)0 2553 y(tri)n(viality)-5 b(.)65 2739 y Fl(void)22 b Fp(Q)s Fn(U)t(I)t(C)t(K)t Fp(S)t Fn(O)t(RT)s Fk(\()p Fl(int)f Fj(`;)14 b(r)r Fk(\))129 2838 y Fl(if)21 b Fj(`)h(<)h(r)g Fl(then)d Fj(m)j Fk(=)i Fp(S)t Fn(P)t(L)t(I)t(T)r Fk(\()p Fj(`;)14 b(r)r Fk(\))p Fp(;)677 2938 y(Q)s Fn(U)t(I)t(C)t(K)t Fp(S)t Fn(O)t(RT)t Fk(\()p Fj(`;)g(m)k Fi(\000)g Fk(1\))p
Fp(;)677 3037 y(Q)s Fn(U)t(I)t(C)t(K)t Fp(S)t Fn(O)t(RT)t Fk(\()p Fj(m)h Fk(+)f(1)p Fj(;)c(r)r Fk(\))129 3137 y Fl(endif)p Fp(.)0 3323 y(Assuming)22 b(the)i(items)f(are)g(stored)g(in) g Fj(A)p Fk([0)p Fj(::n)e Fi(\000)f Fk(1])p Fp(,)k(we)f(sort)h(by)0 3422 y(calling)e(Q)s Fn(U)t(I)t(C)t(K)t Fp(S)t Fn(O)t(RT)s Fk(\(0)p Fj(;)14 b(n)k Fi(\000)g Fk(1\))p Fp(.)0 3680 y Fm(Splitting)o(.)82 b Fp(The)25 b(performance)e(of)j(quicksort)e (depends)g(hea)n(v-)0 3779 y(ily)19 b(on)e(the)i(performance)c(of)j (the)h(split)f(operation.)23 b(The)18 b(ef)n(fect)g(of)0 3879 y(splitting)i(from)f Fj(`)h Fp(to)h Fj(r)i Fp(is:)62 4064 y(1.)41 b Fj(x)24 b Fk(=)e Fj(A)p Fk([)p Fj(`)p Fk(])f Fp(is)g(mo)o(v)o(ed)d(to)j(its)g(correct)e(location)g(at)i Fj(A)p Fk([)p Fj(m)p Fk(])p Fp(,)62 4192 y(2.)41 b(no)20 b(item)g(in)h Fj(A)p Fk([)p Fj(`::m)d Fi(\000)g Fk(1])i Fp(is)h(lar)o(ger)e(than)h Fj(x)p Fp(,)62 4319 y(3.)41 b(no)20 b(item)g(in)h Fj(A)p Fk([)p Fj(m)d Fk(+)g(1)p Fj(::r)r Fk(])j Fp(is)h(smaller)e(than)f Fj(x)p Fp(.)0 4505 y(Figure)g(3)h(illustrates)h(the)e(process)h(with)g(an)g(e)o (xample.)j(The)d(nine)0 4604 y(items)33 b(are)g(split)g(by)f(mo)o(ving) f(a)i(pointer)f Fj(i)h Fp(from)e(left)i(to)g(right)0 4704 y(and)20 b(another)f(pointer)g Fj(j)25 b Fp(from)20 b(right)f(to)i(left.)k(The)20 b(process)g(stops)0 4803 y(when)i Fj(i)h Fp(and)e Fj(j)28 b Fp(cross.)k(T)-7 b(o)23 b(get)g(splitting)f(right)g(is)h(a)g(bit)g(delicate,)0 4903 y(in)i(particular)e(in)i(special)f(cases.)39 b(Mak)o(e)24 b(sure)h(the)f(algorithm)f(is)0 5003 y(correct)f(for)h(\(i\))g Fj(x)h Fp(is)g(smallest,)g(\(ii\))g Fj(x)g Fp(is)g(lar)o(gest,)f (\(iii\))g(all)h(items)0 5102 y(are)c(the)g(same.)2369 2259 y @beginspecial 0 @llx 0 @lly 529 @urx 335 @ury 1705 @rwi @setspecial %%BeginDocument: F-01/split.eps %!PS-Adobe-2.0 EPSF-2.0 %%Title: split.fig %%Creator: fig2dev Version 3.2 Patchlevel 4 %%CreationDate: Wed Aug 25 12:50:31 2004 %%For: edels@wittgenstein (Herbert Edelsbrunner) %%BoundingBox: 0 0 529 335 %%Magnification: 1.0000 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /col-1 {0 setgray} bind def /col0 {0.000 0.000 0.000 srgb} bind def /col1 {0.000 0.000 1.000 srgb} bind def /col2 {0.000 1.000 0.000 srgb} bind def /col3 {0.000 1.000 1.000 srgb} bind def /col4 {1.000 0.000 0.000 srgb} bind def /col5 {1.000 0.000 1.000 srgb} bind def /col6 {1.000 1.000 0.000 srgb} bind def /col7 {1.000 1.000 1.000 srgb} bind def /col8 {0.000 0.000 0.560 srgb} bind def /col9 {0.000 0.000 0.690 srgb} bind def /col10 {0.000 0.000 0.820 srgb} bind def /col11 {0.530 0.810 1.000 srgb} bind def /col12 {0.000 0.560 0.000 srgb} bind def /col13 {0.000 0.690 0.000 srgb} bind def /col14 {0.000 0.820 0.000 srgb} bind def /col15 {0.000 0.560 0.560 srgb} bind def
/col16 /col17 /col18 /col19 /col20 /col21 /col22 /col23 /col24 /col25 /col26 /col27 /col28 /col29 /col30 /col31
{0.000 {0.000 {0.560 {0.690 {0.820 {0.560 {0.690 {0.820 {0.500 {0.630 {0.750 {1.000 {1.000 {1.000 {1.000 {1.000
0.690 0.820 0.000 0.000 0.000 0.000 0.000 0.000 0.190 0.250 0.380 0.500 0.630 0.750 0.880 0.840
0.690 0.820 0.000 0.000 0.000 0.560 0.690 0.820 0.000 0.000 0.000 0.500 0.630 0.750 0.880 0.000
srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb}
bind bind bind bind bind bind bind bind bind bind bind bind bind bind bind bind
def def def def def def def def def def def def def def def def
end save newpath 0 335 moveto 0 0 lineto 529 0 lineto 529 335 lineto closepath clip newpath -143.3 468.7 translate 1 -1 scale /cp {closepath} bind def /ef {eofill} bind def /gr {grestore} bind def /gs {gsave} bind def /sa {save} bind def /rs {restore} bind def /l {lineto} bind def /m {moveto} bind def /rm {rmoveto} bind def /n {newpath} bind def /s {stroke} bind def /sh {show} bind def /slc {setlinecap} bind def /slj {setlinejoin} bind def /slw {setlinewidth} bind def /srgb {setrgbcolor} bind def /rot {rotate} bind def /sc {scale} bind def /sd {setdash} bind def /ff {findfont} bind def /sf {setfont} bind def /scf {scalefont} bind def /sw {stringwidth} bind def /tr {translate} bind def /tnt {dup dup currentrgbcolor 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb} bind def /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul srgb} bind def /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def $F2psBegin 10 setmiterlimit
0 slj 0 slc 0.06000 0.06000 sc % % Fig objects follow % % % here starts figure with depth 100 % Polyline 7.500 slw gs clippath 10005 5085 m 9945 5085 l 9945 5202 l 9975 5112 l 10005 5202 l cp eoclip n 9975 5100 m 9975 5700 l gs col0 s gr gr % arrowhead n 10005 5202 m 9975 5112 l 9945 5202 l 9975 5232 l 10005 5202 l cp gs 0.00 setgray ef gr col0 s % Polyline [60] 0 sd gs clippath 9255 5085 m 9195 5085 l 9195 5202 l 9225 5112 l 9255 5202 l cp eoclip n 9225 5100 m 9225 5700 l gs col0 s gr gr [] 0 sd % arrowhead n 9255 5202 m 9225 5112 l 9195 5202 l 9225 5232 l 9255 5202 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 9105 5085 m 9045 5085 l 9045 5202 l 9075 5112 l 9105 5202 l cp eoclip n 9075 5100 m 9075 5700 l gs col0 s gr gr % arrowhead n 9105 5202 m 9075 5112 l 9045 5202 l 9075 5232 l 9105 5202 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 9180 7185 m 9120 7185 l 9120 7302 l 9150 7212 l 9180 7302 l cp eoclip n 9150 7200 m 9150 7800 l gs col0 s gr gr % arrowhead n 9180 7302 m 9150 7212 l 9120 7302 l 9150 7332 l 9180 7302 l cp gs 0.00 setgray ef gr col0 s % Polyline [60] 0 sd gs clippath 10980 2985 m 10920 2985 l 10920 3102 l 10950 3012 l 10980 3102 l cp eoclip n 10950 3000 m 10950 3600 l gs col0 s gr gr [] 0 sd % arrowhead n 10980 3102 m 10950 3012 l 10920 3102 l 10950 3132 l 10980 3102 l
cp gs 0.00 setgray ef gr col0 s % Polyline [60] 0 sd gs clippath 10080 2985 m 10020 2985 l 10020 3102 l 10050 3012 l 10080 3102 l cp eoclip n 10050 3000 m 10050 3600 l gs col0 s gr gr [] 0 sd % arrowhead n 10080 3102 m 10050 3012 l 10020 3102 l 10050 3132 l 10080 3102 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 2880 2985 m 2820 2985 l 2820 3102 l 2850 3012 l 2880 3102 l cp eoclip n 2850 3000 m 2850 3600 l gs col0 s gr gr % arrowhead n 2880 3102 m 2850 3012 l 2820 3102 l 2850 3132 l 2880 3102 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 3780 2985 m 3720 2985 l 3720 3102 l 3750 3012 l 3780 3102 l cp eoclip n 3750 3000 m 3750 3600 l gs col0 s gr gr % arrowhead n 3780 3102 m 3750 3012 l 3720 3102 l 3750 3132 l 3780 3102 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 4680 2985 m 4620 2985 l 4620 3102 l 4650 3012 l 4680 3102 l cp eoclip n 4650 3000 m 4650 3600 l gs col0 s gr gr % arrowhead n 4680 3102 m 4650 3012 l 4620 3102 l 4650 3132 l 4680 3102 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 5580 2985 m 5520 2985 l 5520 3102 l 5550 3012 l 5580 3102 l cp eoclip n 5550 3000 m 5550 3600 l gs col0 s gr gr % arrowhead n 5580 3102 m 5550 3012 l 5520 3102 l 5550 3132 l 5580 3102 l cp gs 0.00 setgray ef gr col0 s /Times-Italic ff 330.00 scf sf 2625 3600 m gs 1 -1 sc (i) col0 sh gr % Polyline gs clippath 6480 2985 m 6420 2985 l 6420 3102 l 6450 3012 l 6480 3102 l cp eoclip
n 6450 3000 m 6450 3600 l gs col0 s gr gr % arrowhead n 6480 3102 m 6450 3012 l 6420 3102 l 6450 3132 l 6480 3102 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 7380 2985 m 7320 2985 l 7320 3102 l 7350 3012 l 7380 3102 l cp eoclip n 7350 3000 m 7350 3600 l gs col0 s gr gr % arrowhead n 7380 3102 m 7350 3012 l 7320 3102 l 7350 3132 l 7380 3102 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 7380 5085 m 7320 5085 l 7320 5202 l 7350 5112 l 7380 5202 l cp eoclip n 7350 5100 m 7350 5700 l gs col0 s gr gr % arrowhead n 7380 5202 m 7350 5112 l 7320 5202 l 7350 5232 l 7380 5202 l cp gs 0.00 setgray ef gr col0 s % Polyline gs clippath 8280 5085 m 8220 5085 l 8220 5202 l 8250 5112 l 8280 5202 l cp eoclip n 8250 5100 m 8250 5700 l gs col0 s gr gr % arrowhead n 8280 5202 m 8250 5112 l 8220 5202 l 8250 5232 l 8280 5202 l cp gs 0.00 setgray ef gr col0 s % Polyline [60] 0 sd gs clippath 10155 5085 m 10095 5085 l 10095 5202 l 10125 5112 l 10155 5202 l cp eoclip n 10125 5100 m 10125 5700 l gs col0 s gr gr [] 0 sd % arrowhead n 10155 5202 m 10125 5112 l 10095 5202 l 10125 5232 l 10155 5202 l cp gs 0.00 setgray ef gr col0 s /Times-Italic ff 330.00 scf sf 9300 7800 m gs 1 -1 sc (m) col0 sh gr /Times-Italic ff 330.00 scf sf 10275 5700 m gs 1 -1 sc (j) col0 sh gr /Times-Italic ff 330.00 scf sf 7125 5700 m gs 1 -1 sc (i) col0 sh gr % Polyline 2 slj gs clippath
3010 5668 m 2968 5711 l 3051 5792 l 3008 5708 l 3093 5749 l cp 9031 5711 m 8989 5668 l 8906 5749 l 8992 5708 l 8948 5792 l cp eoclip n 9000 5700 m 8963 5736 l 8942 5755 l 8919 5777 l 8894 5799 l 8869 5822 l 8845 5844 l 8822 5863 l 8801 5881 l 8782 5897 l 8764 5910 l 8747 5922 l 8731 5933 l 8715 5942 l 8700 5950 l 8691 5954 l 8683 5958 l 8673 5962 l 8664 5965 l 8653 5969 l 8642 5972 l 8630 5975 l 8616 5977 l 8601 5980 l 8585 5982 l 8567 5985 l 8547 5987 l 8525 5988 l 8501 5990 l 8474 5992 l 8446 5993 l 8415 5994 l 8382 5995 l 8347 5996 l 8309 5997 l 8268 5998 l 8225 5998 l 8180 l 5999 8132 5999 l 8082 5999 l 8029 6000 l 7973 6000 l 7914 6000 l 7853 6000 l 7789 6000 l 7721 6000 l 7650 6000 l 7608 6000 l 7564 6000 l 7519 6000 l 7473 6000 l 7425 6000 l 7376 6000 l 7325 6000 l 7273 6000 l 7220 6000 l 7165 6000 l 7109 6000 l 7052 6000 l 6993 6000 l 6933 6000 l 6872 6000 l 6810 6000 l 6747 6000 l 6682 6000 l 6617 6000 l 6551 6000 l 6484 6000 l 6416 6000 l 6348 6000 l 6279 6000 l 6209 6000 l 6140 6000 l 6070 6000 l 6000 6000 l 5930 6000 l 5860 6000 l 5791 6000 l 5721 6000 l 5652 6000 l 5584 6000 l 5516 6000 l 5449 6000 l 5383 6000 l 5318 6000 l 5253 6000 l 5190 6000 l 5128 6000 l 5067 6000 l 5007 6000 l 4948 6000 l 4891 6000 l 4835 6000 l 4780 6000 l 4727 6000 l 4675 6000 l 4624 6000 l 4575 6000 l 4527 6000 l 4481 6000 l 4436 6000 l 4392 6000 l 4350 6000 l 4279 6000 l 4211 6000 l 4147 6000 l 4086 6000 l 4027 6000 l 3971 6000 l 3918 5999 l 3868 5999 l 3820 5999 l 3775 5998 l 3732 5998 l 3691 5997 l 3653 5996 l 3618 5995 l 3585 5994 l 3554 5993 l 3526 5992 l 3499 5990 l 3475 5988 l 3453 5987 l 3433 5985 l 3415 5982 l 3399 5980 l 3384 5977 l 3370 5975 l 3358 5972 l 3347 5969 l 3336 5965 l 3327 5962 l 3317 5958 l 3309 5954 l 3300 5950 l 3285 5942 l 3269 5933 l 3253 5922 l 3236 5910 l 3218 5897 l 3199 5881 l 3178 5863 l 3155 5844 l 3131 5822 l 3106 5799 l 3081 5777 l 3058 5755 l 3037 5736 l 3000 5700 l gs col0 s gr gr % arrowhead 0 slj n 8948 5792 m 8992 5708 l 8906 5749 l 8905 5791 l 8948 5792 l cp gs 0.00 setgray ef gr col0 s % arrowhead n 3093 5749 m 3008 5708 l 3051 5792 l 3094 5791 l 3093 5749 l cp gs 0.00 setgray ef gr col0 s % Polyline 2 slj gs clippath 9931 3611 m 9889 3568 l 9806 3649 l 9892 3608 l 9848 3692 l cp 7510 3568 m 7468 3611 l 7551 3692 l 7508 3608 l 7593 3649 l cp eoclip n 7500 3600 m 7537 3636 l 7558 3655 l 7581 3677 l 7606 3699 l 7631 3722 l 7655 3744 l 7678 3763 l 7699 3781 l 7718 3797 l 7736 3810 l 7753 3822 l 7769 3833 l 7785 3842 l 7800 3850 l 7814 3857 l 7828 3863 l 7842 3868 l 7858 3873 l 7874 3877 l 7891 3881 l 7909 3885 l 7928 3888 l 7949 3891 l 7971 3893 l 7994 3895 l 8018 3896 l 8043 3898 l 8069 3899 l 8097 3899 l 8125 3900 l 8154 3900 l 8185 3900 l 8217 3900 l 8250 3900 l 8273 3900 l 8298 3900 l 8323 3900 l 8349 3900 l 8377 3900 l 8406 3900 l 8435 3900 l 8466 3900 l 8497 3900 l 8530 3900 l 8563 3900 l 8597 3900 l 8631 3900 l 8665 3900 l 8700 3900 l 8735 3900 l 8769 3900 l 8803 3900 l 8837 3900 l 8870 3900 l 8903 3900 l
8934 9077 9215 9357 9472 9558 9631 9722 9842 9900
3900 3900 3900 3898 3888 3868 3833 3763 3655 3600
l l l l l l l l l l
8965 3900 9102 3900 9246 3900 9382 3896 9491 3885 9572 3863 9647 3822 9745 3744 9863 3636 gs col0 s
l 8994 l 9127 l 9275 l 9406 l 9509 l 9586 l 9664 l 9769 l gr gr
3900 3900 3900 3895 3881 3857 3810 3722
l l l l l l l l
9023 9150 9303 9429 9526 9600 9682 9794
3900 3900 3899 3893 3877 3850 3797 3699
l l l l l l l l
9051 9183 9331 9451 9542 9615 9701 9819
3900 3900 3899 3891 3873 3842 3781 3677
l l l l l l l l
% arrowhead 0 slj n 7593 3649 m 7508 3608 l 7551 3692 l 7594 cp gs 0.00 setgray ef gr col0 s % arrowhead n 9848 3692 m 9892 3608 l 9806 3649 l 9805 cp gs 0.00 setgray ef gr col0 s /Times-Italic ff 330.00 scf sf 11100 3600 m gs 1 -1 sc (j) col0 sh gr % here ends figure; % % here starts figure with depth 55 % Polyline 7.500 slw n 2400 2250 m 3300 2250 l 3300 2850 l 2400 cp gs col30 1.00 shd ef gr gs col30 s gr % Polyline n 2400 4350 m 3300 4350 l 3300 4950 l 2400 cp gs col30 1.00 shd ef gr gs col30 s gr % Polyline n 8700 6450 m 9600 6450 l 9600 7050 l 8700 cp gs col30 1.00 shd ef gr gs col30 s gr % here ends figure; % % here starts figure with depth 50 % Polyline 7.500 slw n 9600 6450 m 9600 7050 l gs col0 s gr % Polyline n 3300 2250 m 3300 2850 l gs col0 s gr % Polyline n 4200 2250 m 4200 2850 l gs col0 s gr % Polyline n 5100 2250 m 5100 2850 l gs col0 s gr % Polyline n 6000 2250 m 6000 2850 l gs col0 s gr % Polyline n 6900 2250 m 6900 2850 l gs col0 s gr % Polyline n 7800 2250 m 7800 2850 l gs col0 s gr
3691 l 7593 3649 l 3691 l 9848 3692 l
2850 l 4950 l 7050 l
% Polyline n 8700 2250 m 8700 2850 l gs col0 s gr % Polyline n 2400 2250 m 10500 2250 l 10500 2850 l 2400 2850 l cp gs col0 s gr % Polyline n 9600 2250 m 9600 2850 l gs col0 s gr % Polyline n 2400 4350 m 10500 4350 l 10500 4950 l 2400 4950 l cp gs col0 s gr % Polyline n 2400 6450 m 10500 6450 l 10500 7050 l 2400 7050 l cp gs col0 s gr % Polyline n 3300 4350 m 3300 4950 l gs col0 s gr % Polyline n 4200 4350 m 4200 4950 l gs col0 s gr % Polyline n 5100 4350 m 5100 4950 l gs col0 s gr % Polyline n 6000 4350 m 6000 4950 l gs col0 s gr % Polyline n 6900 4350 m 6900 4950 l gs col0 s gr % Polyline n 7800 4350 m 7800 4950 l gs col0 s gr % Polyline n 8700 4350 m 8700 4950 l gs col0 s gr % Polyline n 9600 4350 m 9600 4950 l gs col0 s gr % Polyline n 3300 6450 m 3300 7050 l gs col0 s gr % Polyline n 4200 6450 m 4200 7050 l gs col0 s gr % Polyline n 6000 6450 m 6000 7050 l gs col0 s gr % Polyline n 6900 6450 m 6900 7050 l gs col0 s gr % Polyline n 7800 6450 m 7800 7050 l gs col0 s gr % Polyline n 8700 6450 m 8700 7050 l gs col0 s gr % Polyline n 5100 6450 m
5100 7050 l gs col0 s gr % here ends figure; % % here starts figure with depth 0 /Times-Roman ff 330.00 scf sf 7275 2700 m gs 1 -1 sc (9) col-1 sh gr /Times-Roman ff 330.00 scf sf 8175 2700 m gs 1 -1 sc (4) col-1 sh gr /Times-Roman ff 330.00 scf sf 9075 2700 m gs 1 -1 sc (2) col-1 sh gr /Times-Roman ff 330.00 scf sf 2775 2700 m gs 1 -1 sc (7) col-1 sh gr /Times-Roman ff 330.00 scf sf 6375 2700 m gs 1 -1 sc (2) col-1 sh gr /Times-Roman ff 330.00 scf sf 3675 4800 m gs 1 -1 sc (3) col-1 sh gr /Times-Roman ff 330.00 scf sf 4575 4800 m gs 1 -1 sc (5) col-1 sh gr /Times-Roman ff 330.00 scf sf 5475 4800 m gs 1 -1 sc (4) col-1 sh gr /Times-Roman ff 330.00 scf sf 6375 4800 m gs 1 -1 sc (2) col-1 sh gr /Times-Roman ff 330.00 scf sf 8175 4800 m gs 1 -1 sc (4) col-1 sh gr /Times-Roman ff 330.00 scf sf 9075 4800 m gs 1 -1 sc (2) col-1 sh gr /Times-Roman ff 330.00 scf sf 2775 4800 m gs 1 -1 sc (7) col-1 sh gr /Times-Roman ff 330.00 scf sf 7275 4800 m gs 1 -1 sc (1) col-1 sh gr /Times-Roman ff 330.00 scf sf 9975 4800 m gs 1 -1 sc (9) col-1 sh gr /Times-Roman ff 330.00 scf sf 5475 2700 m gs 1 -1 sc (4) col-1 sh gr /Times-Roman ff 330.00 scf sf 4575 2700 m gs 1 -1 sc (5) col-1 sh gr /Times-Roman ff 330.00 scf sf 3675 6900 m gs 1 -1 sc (3) col-1 sh gr /Times-Roman ff 330.00 scf sf 4575 6900 m gs 1 -1 sc (5) col-1 sh gr /Times-Roman ff 330.00 scf sf
5475 6900 m gs 1 -1 sc (4) col-1 sh gr /Times-Roman ff 330.00 scf 6375 6900 m gs 1 -1 sc (2) col-1 sh gr /Times-Roman ff 330.00 scf 8175 6900 m gs 1 -1 sc (4) col-1 sh gr /Times-Roman ff 330.00 scf 7275 6900 m gs 1 -1 sc (1) col-1 sh gr /Times-Roman ff 330.00 scf 9975 6900 m gs 1 -1 sc (9) col-1 sh gr /Times-Roman ff 330.00 scf 2775 6900 m gs 1 -1 sc (2) col-1 sh gr /Times-Roman ff 330.00 scf 9075 6900 m gs 1 -1 sc (7) col-1 sh gr /Times-Roman ff 330.00 scf 3675 2700 m gs 1 -1 sc (3) col-1 sh gr /Times-Roman ff 330.00 scf 9975 2700 m gs 1 -1 sc (1) col-1 sh gr % here ends figure; $F2psEnd rs showpage
sf sf sf sf sf sf sf sf
%%EndDocument @endspecial 2120 2434 a Fh(Figure)27 b(3:)40 b(First,)28 b Fg(i)f Fh(and)h Fg(j)k Fh(stop)c(at)f(items)g(9)g(and)h(1,)i(which)d (are)h(then)2120 2525 y(sw)o(apped.)c(Second,)18 b Fg(i)f Fh(and)h Fg(j)j Fh(cross)d(and)g(the)f(pi)n(v)o(ot,)h(7,)f(is)g(sw)o (apped)i(with)2120 2616 y(item)f(2.)2184 2872 y Fl(int)k Fp(S)t Fn(P)t(L)t(I)t(T)r Fk(\()p Fl(int)f Fj(`;)14 b(r)r Fk(\))2249 2971 y Fj(x)23 b Fk(=)g Fj(A)p Fk([)p Fj(`)p Fk(])p Fp(;)41 b Fj(i)23 b Fk(=)g Fj(`)p Fp(;)41 b Fj(j)28 b Fk(=)23 b Fj(r)e Fk(+)d(1)p Fp(;)2249 3071 y Fl(repeat)h(repeat)h Fj(i)p Fl(++)g(until)g Fj(x)j Fi(\024)g Fj(A)p Fk([)p Fj(i)p Fk(])p Fp(;)2568 3170 y Fl(repeat)d Fj(j)5 b Fl(--)20 b(until)g Fj(x)k Fi(\025)e Fj(A)p Fk([)p Fj(j)5 b Fk(])p Fp(;)2568 3270 y Fl(if)21 b Fj(i)h(<)h(j)j Fl(then)c Fp(S)t Fn(W)l(A)t(P)r Fk(\()p Fj(i;)14 b(j)5 b Fk(\))21 b Fl(endif)2249 3370 y(until)f Fj(i)i Fi(\025)h Fj(j)5 b Fp(;)2251 3469 y(S)t Fn(W)l(A)t(P)r Fk(\()p Fj(`;)14 b(j)5 b Fk(\))p Fp(;)42 b Fl(return)19 b Fj(j)5 b Fp(.)2120 3666 y(Special)30 b(cases)h(\(i\))f(and)g(\(iii\))g(are)h(ok)f(b)n(ut)g (case)h(\(ii\))f(requires)g(a)2120 3765 y(stopper)20 b(at)j Fj(A)p Fk([)p Fj(r)f Fk(+)d(1])p Fp(.)30 b(This)22 b(stopper)f(must)h(be)f(an)h(item)g(at)g(least)2120 3865 y(as)h(lar)o(ge)f(as)i Fj(x)p Fp(.)33 b(If)23 b Fj(r)31 b(<)c(n)21 b Fi(\000)f Fk(1)i Fp(this)i(is)g(automatically)d(the)i (case.)2120 3964 y(F)o(or)c Fj(r)26 b Fk(=)d Fj(n)18 b Fi(\000)g Fk(1)i Fp(we)h(guarantee)d(this)j(by)f(storing)f Fj(A)p Fk([)p Fj(n)p Fk(])24 b(=)e(+)p Fi(1)p Fp(.)2120 4225 y Fm(Running)28 b(T)o(ime.)82 b Fp(The)27 b(actions)g(tak)o(en)g
(by)g(quicksort)f(can)h(be)2120 4324 y(e)o(xpressed)21 b(using)i(a)g(binary)f(tree:)31 b(each)23 b(\(internal\))e(node)h (repre-)2120 4424 y(sents)30 b(a)h(call)f(and)f(displays)h(the)g (length)f(of)h(the)g(subarray;)j(see)2120 4523 y(Figure)18 b(4.)25 b(The)19 b(w)o(orst)g(case)h(occurs)e(when)h Fj(A)h Fp(is)g(already)e(sorted.)2120 4623 y(In)23 b(this)h(case,)g (the)f(tree)h(de)o(generates)d(to)j(a)g(list)g(without)f(branch-)2120 4723 y(ing.)h(The)18 b(sum)h(of)f(lengths)h(can)f(be)h(described)e(by)i (the)g(follo)n(wing)2120 4822 y(recurrence)f(relation:)2210 5038 y Fj(T)12 b Fk(\()p Fj(n)p Fk(\))64 b(=)g Fj(n)19 b Fk(+)f Fj(T)12 b Fk(\()p Fj(n)17 b Fi(\000)h Fk(1\))65 b(=)3294 4934 y Ff(n)3255 4959 y Fe(X)3261 5136 y Ff(i)p Fd(=1)3388 5038 y Fj(i)g Fk(=)3611 4921 y Fe(\022)3672 4981 y Fj(n)18 b Fk(+)g(1)3747 5095 y(2)3865 4921 y Fe(\023)3926 5038 y Fj(:)1999 5725 y Fp(4)p eop end %%Page: 5 2 TeXDict begin 5 1 bop 25 600 a @beginspecial 0 @llx 0 @lly 672 @urx 194 @ury 2244 @rwi @setspecial %%BeginDocument: F-01/tree.eps %!PS-Adobe-2.0 EPSF-2.0 %%Title: tree.fig %%Creator: fig2dev Version 3.2 Patchlevel 4 %%CreationDate: Wed Aug 25 12:57:04 2004 %%For: edels@wittgenstein (Herbert Edelsbrunner) %%BoundingBox: 0 0 672 194 %%Magnification: 1.0000 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /col-1 {0 setgray} bind def /col0 {0.000 0.000 0.000 srgb} bind def /col1 {0.000 0.000 1.000 srgb} bind def /col2 {0.000 1.000 0.000 srgb} bind def /col3 {0.000 1.000 1.000 srgb} bind def /col4 {1.000 0.000 0.000 srgb} bind def /col5 {1.000 0.000 1.000 srgb} bind def /col6 {1.000 1.000 0.000 srgb} bind def /col7 {1.000 1.000 1.000 srgb} bind def /col8 {0.000 0.000 0.560 srgb} bind def /col9 {0.000 0.000 0.690 srgb} bind def /col10 {0.000 0.000 0.820 srgb} bind def /col11 {0.530 0.810 1.000 srgb} bind def /col12 {0.000 0.560 0.000 srgb} bind def /col13 {0.000 0.690 0.000 srgb} bind def /col14 {0.000 0.820 0.000 srgb} bind def /col15 {0.000 0.560 0.560 srgb} bind def /col16 {0.000 0.690 0.690 srgb} bind def /col17 {0.000 0.820 0.820 srgb} bind def /col18 {0.560 0.000 0.000 srgb} bind def /col19 {0.690 0.000 0.000 srgb} bind def /col20 {0.820 0.000 0.000 srgb} bind def /col21 {0.560 0.000 0.560 srgb} bind def /col22 {0.690 0.000 0.690 srgb} bind def /col23 {0.820 0.000 0.820 srgb} bind def /col24 {0.500 0.190 0.000 srgb} bind def /col25 {0.630 0.250 0.000 srgb} bind def /col26 {0.750 0.380 0.000 srgb} bind def /col27 {1.000 0.500 0.500 srgb} bind def
/col28 /col29 /col30 /col31
{1.000 {1.000 {1.000 {1.000
0.630 0.750 0.880 0.840
0.630 0.750 0.880 0.000
srgb} srgb} srgb} srgb}
bind bind bind bind
def def def def
end save newpath 0 194 moveto 0 0 lineto 672 0 lineto 672 194 lineto closepath clip newpath -71.3 387.0 translate 1 -1 scale /cp {closepath} bind def /ef {eofill} bind def /gr {grestore} bind def /gs {gsave} bind def /sa {save} bind def /rs {restore} bind def /l {lineto} bind def /m {moveto} bind def /rm {rmoveto} bind def /n {newpath} bind def /s {stroke} bind def /sh {show} bind def /slc {setlinecap} bind def /slj {setlinejoin} bind def /slw {setlinewidth} bind def /srgb {setrgbcolor} bind def /rot {rotate} bind def /sc {scale} bind def /sd {setdash} bind def /ff {findfont} bind def /sf {setfont} bind def /scf {scalefont} bind def /sw {stringwidth} bind def /tr {translate} bind def /tnt {dup dup currentrgbcolor 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb} bind def /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul srgb} bind def /DrawEllipse { /endangle exch def /startangle exch def /yrad exch def /xrad exch def /y exch def /x exch def /savematrix mtrx currentmatrix def x y tr xrad yrad sc 0 0 1 startangle endangle arc closepath savematrix setmatrix } def /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def $F2psBegin
10 setmiterlimit 0 slj 0 slc 0.06000 0.06000 sc % % Fig objects follow % % % here starts figure with depth 62 % Polyline 7.500 slw n 8550 5250 m 9150 5850 l gs col0 s gr % Polyline n 9750 4650 m 10350 5250 l gs col0 s gr % Polyline n 10350 5250 m 10950 5850 l gs col0 s gr /Times-Roman ff 360.00 scf sf 7275 5250 m gs 1 -1 sc (1) col0 sh gr /Times-Roman ff 360.00 scf sf 8475 5850 m gs 1 -1 sc (2) col0 sh gr /Times-Roman ff 360.00 scf sf 9075 6450 m gs 1 -1 sc (1) col0 sh gr /Times-Roman ff 360.00 scf sf 10875 6450 m gs 1 -1 sc (1) col0 sh gr /Times-Roman ff 360.00 scf sf 10275 5850 m gs 1 -1 sc (2) col0 sh gr /Times-Roman ff 360.00 scf sf 9675 5250 m gs 1 -1 sc (5) col0 sh gr /Times-Roman ff 360.00 scf sf 7875 4650 m gs 1 -1 sc (7) col0 sh gr /Times-Roman ff 360.00 scf sf 11475 4050 m gs 1 -1 sc (9) col0 sh gr /Times-Roman ff 360.00 scf sf 12150 4650 m gs 1 -1 sc (1) col0 sh gr % Polyline n 9750 4650 m 8550 5250 l gs col0 s gr % Polyline n 11550 3450 m 12150 4050 l gs col0 s gr % Polyline n 11550 3450 m 7950 4050 l gs col0 s gr % Polyline n 7950 4050 m 7350 4650 l gs col0 s gr % Polyline n 7950 4050 m
9750 4650 l gs col0 s gr % here ends figure; % % here starts figure with depth 60 % Polyline 7.500 slw n 4200 5100 m 4800 5100 l 4800 5400 l 4200 5400 l cp gs col30 1.00 shd ef gr gs col30 s gr % Polyline n 4800 5700 m 5400 5700 l 5400 6000 l 4800 6000 l cp gs col30 1.00 shd ef gr gs col30 s gr % Polyline n 3000 5700 m 3600 5700 l 3600 6000 l 3000 6000 l cp gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 11550 3450 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 12150 4050 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 7950 4050 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 7350 4650 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 9750 4650 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 8550 5250 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 9150 5850 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 10350 5250 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Ellipse n 10950 5850 225 225 0 360 DrawEllipse gs col7 1.00 shd ef gr gs col0 s gr % Polyline n 6000 3900 m 6600 3900 l 6600 cp gs col30 1.00 shd ef gr gs % Polyline n 1800 3900 m 2400 3900 l 2400 cp gs col30 1.00 shd ef gr gs % Polyline n 1200 4500 m 1800 4500 l 1800 cp gs col30 1.00 shd ef gr gs % Polyline n 3600 4500 m 4200 4500 l 4200 cp gs col30 1.00 shd ef gr gs % Polyline n 2400 5100 m 3000 5100 l 3000 cp gs col30 1.00 shd ef gr gs % Polyline n 5400 3300 m 6000 3300 l 6000 cp gs col30 1.00 shd ef gr gs 4200 l 6000 4200 l col30 s gr 4200 l 1800 4200 l col30 s gr 4800 l 1200 4800 l col30 s gr 4800 l 3600 4800 l col30 s gr 5400 l 2400 5400 l col30 s gr 3600 l 5400 3600 l col30 s gr
% here ends figure; % % here starts figure with % Polyline 7.500 slw n 1200 3300 m 6600 3300 l cp gs col0 s gr % Polyline n 6000 3900 m 6600 3900 l cp gs col0 s gr % Polyline n 1200 3900 m 5400 3900 l cp gs col0 s gr % Polyline n 1200 4500 m 1800 4500 l cp gs col0 s gr % Polyline n 2400 4500 m 5400 4500 l cp gs col0 s gr % Polyline n 4200 5100 m 5400 5100 l cp gs col0 s gr % Polyline n 3000 5700 m 3600 5700 l cp gs col0 s gr % Polyline n 4800 5700 m 5400 5700 l cp gs col0 s gr % Polyline n 2400 5100 m 3600 5100 l cp gs col0 s gr % Polyline n 1800 3300 m 1800 3600 l gs col0 s gr % Polyline n 2400 3300 m 2400 3600 l gs col0 s gr % Polyline n 3000 3300 m 3000 3600 l gs col0 s gr % Polyline n 3600 3300 m 3600 3600 l gs col0 s gr % Polyline n 4200 3300 m 4200 3600 l gs col0 s gr % Polyline n 4800 3300 m 4800 3600 l gs col0 s gr % Polyline n 5400 3300 m 5400 3600 l gs col0 s gr % Polyline n 6000 3300 m 6000 3600 l gs col0 s gr % Polyline n 4800 3900 m 4800 4200 l gs col0 s gr % Polyline
depth 50 6600 3600 l 1200 3600 l 6600 4200 l 6000 4200 l 5400 4200 l 1200 4200 l 1800 4800 l 1200 4800 l 5400 4800 l 2400 4800 l 5400 5400 l 4200 5400 l 3600 6000 l 3000 6000 l 5400 6000 l 4800 6000 l 3600 5400 l 2400 5400 l
n 4200 3900 m 4200 4200 l gs col0 % Polyline n 3600 3900 m 3600 4200 l gs col0 % Polyline n 3000 3900 m 3000 4200 l gs col0 % Polyline n 2400 3900 m 2400 4200 l gs col0 % Polyline n 1800 3900 m 1800 4200 l gs col0 % Polyline n 3000 4500 m 3000 4800 l gs col0 % Polyline n 3600 4500 m 3600 4800 l gs col0 % Polyline n 4200 4500 m 4200 4800 l gs col0 % Polyline n 4800 4500 m 4800 4800 l gs col0 % Polyline n 3000 5100 m 3000 5400 l gs col0 % Polyline n 4800 5100 m 4800 5400 l gs col0 % here ends figure; $F2psEnd rs showpage
s gr s gr s gr s gr s gr s gr s gr s gr s gr s gr s gr
%%EndDocument @endspecial 0 774 a Fh(Figure)20 b(4:)25 b(The)20 b(total)g(amount)h (of)f(time)f(is)h(proportional)h(to)f(the)g(sum)h(of)0 866 y(array)f(lengths,)g(which)g(are)g(the)g(number)h(of)f(nodes)g(in)g (the)g(correspond-)0 957 y(ing)f(subtrees.)24 b(In)19 b(the)g(displayed)h(case)f(this)g(sum)g(is)g(29.)0 1219 y Fp(The)k(running)e(time)j(in)g(the)f(w)o(orst)h(case)g(is)g (therefore)e(in)h(O)p Fk(\()p Fj(n)1829 1189 y Fd(2)1867 1219 y Fk(\))p Fp(.)0 1319 y(In)30 b(the)g(best)g(case)h(the)f(tree)g (is)h(completely)d(balanced)h(and)g(the)0 1419 y(sum)20 b(of)g(lengths)g(is)h(described)e(by)g(the)i(recurrence)d(relation)408 1624 y Fj(T)12 b Fk(\()p Fj(n)p Fk(\))83 b(=)f Fj(n)18 b Fk(+)g(2)g Fi(\001)h Fj(T)1140 1507 y Fe(\022)1211 1568 y Fj(n)f Fi(\000)g Fk(1)p 1211 1605 193 4 v 1287 1681 a(2)1414 1507 y Fe(\023)1489 1624 y Fj(:)0 1840 y Fp(If)i(we)h(assume)f Fj(n)j Fk(=)f(2)661 1810 y Ff(k)720 1840 y Fi(\000)c Fk(1)i Fp(we)h(can)f(re)n(write)g(the)g(relation)f(as) 0 1999 y Fj(U)9 b Fk(\()p Fj(k)s Fk(\))83 b(=)g(\(2)481 1964 y Ff(k)540 1999 y Fi(\000)18 b Fk(1\))g(+)g(2)g Fi(\001)h Fj(U)9 b Fk(\()p Fj(k)21 b Fi(\000)d Fk(1\))259 2123 y(=)83 b(\(2)481 2089 y Ff(k)540 2123 y Fi(\000)18 b Fk(1\))g(+)g(2\(2)914 2089 y Ff(k)q Fc(\000)p Fd(1)1058
2123 y Fi(\000)g Fk(1\))g(+)g Fj(:)c(:)g(:)k Fk(+)g(2)1556 2089 y Ff(k)q Fc(\000)p Fd(1)1682 2123 y Fk(\(2)g Fi(\000)g Fk(1\))259 2330 y(=)83 b Fj(k)21 b Fi(\001)e Fk(2)555 2295 y Ff(k)613 2330 y Fi(\000)696 2226 y Ff(k)q Fc(\000)p Fd(1)697 2251 y Fe(X)703 2427 y Ff(i)p Fd(=0)832 2330 y Fk(2)874 2295 y Ff(i)259 2544 y Fk(=)83 b(2)449 2509 y Ff(k)508 2544 y Fi(\001)18 b Fj(k)j Fi(\000)d Fk(\(2)770 2509 y Ff(k)829 2544 y Fi(\000)h Fk(1\))259 2668 y(=)83 b(\()p Fj(n)18 b Fk(+)g(1\))h Fi(\001)f Fk(log)831 2688 y Fd(2)869 2668 y Fk(\()p Fj(n)g Fk(+)g(1\))g Fi(\000)g Fj(n:)0 2826 y Fp(The)57 b(running)f(time)h(in)h(the)f(best)h(case)g (is)h(therefore)c(in)0 2926 y(O)p Fk(\()p Fj(n)14 b Fk(log)g Fj(n)p Fk(\))p Fp(.)0 3184 y Fm(Randomization.)81 b Fp(One)23 b(of)f(the)h(dra)o(wbacks)e(of)i(quicksort,)f(as)0 3284 y(described)27 b(until)h(no)n(w)-5 b(,)29 b(is)g(that)f(it)h(is)h(slo)n (w)e(on)g(rather)f(common)0 3384 y(almost)e(sorted)g(sequences.)41 b(The)25 b(reason)f(are)i(pi)n(v)n(ots)f(that)h(tend)0 3483 y(to)31 b(create)f(unbalanced)e(splittings.)56 b(Such)31 b(pi)n(v)n(ots)f(tend)g(to)h(oc-)0 3583 y(cur)e(in)h(practice)e(much)h (more)f(often)h(than)g(one)g(w)o(ould)f(maybe)0 3682 y(e)o(xpect.)38 b(Human)24 b(and)g(often)g(also)h(machine)f(generated)f (data)h(is)0 3782 y(frequently)d(biased)j(to)n(w)o(ards)f(certain)g (distrib)n(utions,)g(and)g(it)h(has)0 3882 y(been)19 b(said)h(that)g(80\045)f(of)h(the)f(time)h(or)g(more,)f(sorting)f(is)j (done)e(on)0 3981 y(either)h(an)g(already)f(sorted)h(or)g(an)g(almost)g (sorted)g(\002le.)83 4122 y(Such)27 b(situations)h(can)g(often)f(be)g (helped)g(by)g(adding)g(an)g(ele-)0 4222 y(ment)j(of)g(randomness)e(to) i(the)h(algorithm.)53 b(In)30 b(this)h(particular)0 4322 y(case,)17 b(we)g(use)g(randomization)c(to)k(mak)o(e)e(the)i(choice)e (of)h(the)h(pi)n(v)n(ot)0 4421 y(independent)g(of)j(the)f(input)g (data.)25 b(Assume)d(R)t Fn(A)t(N)t(D)t(O)t(M)s Fk(\()p Fj(`;)14 b(r)r Fk(\))21 b Fp(re-)0 4521 y(turns)f(an)g(inte)o(ger)f Fj(p)k Fi(2)g Fk([)p Fj(`;)14 b(r)r Fk(])21 b Fp(with)g(uniform)d (probability:)244 4718 y(Prob)o Fk([)r Fp(R)t Fn(A)t(N)t(D)t(O)t(M)s Fk(\()p Fj(`;)c(r)r Fk(\))24 b(=)e Fj(p)p Fk(])83 b(=)1486 4662 y(1)p 1347 4699 319 4 v 1347 4775 a Fj(r)21 b Fi(\000)d Fj(`)g Fk(+)g(1)0 4903 y Fp(for)28 b(each)f Fj(`)38 b Fi(\024)f Fj(p)h Fi(\024)f Fj(r)r Fp(.)51 b(In)28 b(other)f(w)o(ords,)j (each)d Fj(p)38 b Fi(2)g Fk([)p Fj(`;)14 b(r)r Fk(])29 b Fp(is)0 5003 y(equally)h(lik)o(ely)-5 b(.)59 b(The)31 b(follo)n(wing)f(algorithm)f(splits)k(the)e(array)0 5102 y(with)20 b(a)h(random)d(pi)n(v)n(ot:)2184 100 y Fl(int)k Fp(R)t Fn(A)t(N)t(D)t(O)t(M)t Fp(S)t Fn(P)t(L)t(I)t(T)s Fk(\()p Fl(int)f Fj(`;)14 b(r)r Fk(\))2249 199 y Fj(p)23 b Fk(=)h Fp(R)t Fn(A)t(N)t(D)t(O)t(M)s Fk(\()p Fj(`;)14 b(r)r Fk(\))p Fp(;)45 b(S)t Fn(W)l(A)t(P)r Fk(\()p Fj(`;)14 b(p)p Fk(\))p Fp(;)2249 299 y Fl(return)21 b Fp(S)t Fn(P)t(L)t(I)t(T)r Fk(\()p Fj(`;)14 b(r)r Fk(\))p Fp(.)2120 477 y(W)-7 b(e)48 b(get)g(a)g Fb(r)o(andomized)g Fp(implementation)d(by)i(substituting) 2122 577 y(R)t Fn(A)t(N)t(D)t(O)t(M)t Fp(S)t Fn(P)t(L)t(I)t(T)29 b Fp(for)f(S)t Fn(P)t(L)t(I)t(T)r Fp(.)45 b(The)26 b(beha)n(vior)f(of)h (this)h(v)o(ersion)2120 676 y(of)j(quicksort)f(depends)g(not)i(only)e (on)i(the)f(input,)j Fj(A)p Fk([)p Fj(`::r)r Fk(])p Fp(,)h(b)n(ut)2120 776 y(also)19 b(on)g Fj(p)p Fp(,)g(which)g(is)h(produced)d(by)h(a)i (random)d(number)g(genera-)2120 876 y(tor)-5 b(.)2120 1132 y Fm(A)d(v)o(erage)14 b(Analysis.)83 b Fp(W)-7 b(e)17 b(assume)f(that)g(the)g(items)h(in)f Fj(A)p Fk([0)p Fj(::n)s Fi(\000)2120 1231 y Fk(1])k Fp(are)g(pairwise)g(dif)n(ferent.)j(The)d (pi)n(v)n(ot)g(splits)h Fj(A)g Fp(into)2411 1377 y Fj(A)p
Fk([0)p Fj(::m)e Fi(\000)f Fk(1])p Fj(;)55 b(A)p Fk([)p Fj(m)p Fk(])p Fj(;)g(A)p Fk([)p Fj(m)19 b Fk(+)f(1)p Fj(::n)g Fi(\000)g Fk(1])p Fj(:)2120 1523 y Fp(By)i(assumption)e(on)h (function)h(R)t Fn(A)t(N)t(D)t(O)t(M)t Fp(S)t Fn(P)t(L)t(I)t(T)s Fp(,)f(the)h(probabil-)2120 1623 y(ity)27 b(for)f(each)g Fj(m)35 b Fi(2)h Fk([0)p Fj(;)14 b(n)22 b Fi(\000)h Fk(1])k Fp(is)3188 1590 y Fd(1)p 3184 1604 42 4 v 3184 1651 a Ff(n)3235 1623 y Fp(.)45 b(Therefore)24 b(the)j(a)n(v)o(erage)2120 1722 y(sum)20 b(of)g(array)f(lengths)h(split)g(by)i(Q)s Fn(U)t(I)t(C)t(K)t Fp(S)t Fn(O)t(RT)i Fp(is)2226 1945 y Fj(T)12 b Fk(\()p Fj(n)p Fk(\))82 b(=)h Fj(n)18 b Fk(+)2796 1888 y(1)p 2792 1926 50 4 v 2792 2002 a Fj(n)2870 1945 y Fi(\001)2920 1841 y Ff(n)p Fc(\000)p Fd(1)2923 1866 y Fe(X)2912 2042 y Ff(m)p Fd(=0)3055 1945 y Fk(\()p Fj(T)12 b Fk(\()p Fj(m)p Fk(\))18 b(+)g Fj(T)12 b Fk(\()p Fj(n)18 b Fi(\000)g Fj(m)g Fi(\000)g Fk(1\)\))p Fj(:)2120 2161 y Fp(W)-7 b(e)25 b(multiply)d(by)i Fj(n)g Fp(and)f(obtain)g(a)i(second) e(relation)g(by)g(substi-)2120 2261 y(tuting)c Fj(n)f Fi(\000)g Fk(1)j Fp(for)e Fj(n)p Fp(:)2590 2483 y Fj(n)g Fi(\001)f Fj(T)12 b Fk(\()p Fj(n)p Fk(\))83 b(=)f Fj(n)3155 2449 y Fd(2)3211 2483 y Fk(+)18 b(2)g Fi(\001)3395 2379 y Ff(n)p Fc(\000)p Fd(1)3398 2404 y Fe(X)3405 2581 y Ff(i)p Fd(=0)3535 2483 y Fj(T)12 b Fk(\()p Fj(i)p Fk(\))p Fj(;)231 b Fp(\(1\))2240 2772 y Fk(\()p Fj(n)18 b Fi(\000)h Fk(1\))f Fi(\001)g Fj(T)12 b ...