a ~t~ematical approac m to - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program...

51
A ApPROAC M TO PROGRAM BEMA V !OU R A HD LoO K -AME.o.D REPLAC£IIE Mf ALGOR lT MMS O TT O SPA N IO L A 7H6

Upload: others

Post on 19-Feb-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

A ~T~EMATICAL ApPROAC M TO

PROGRAM BEMAV!OUR AHD

LoO K-AME.o.D REPLAC£IIEMf ALGOR lT MMS

OTTO SPA NIO L A 7H6

Page 2: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

A a ode l for p.oq'" b.I",io •• is d ... lo • • d ~ lI ie ' h ~ . l l

.uiUble f o r lI i~1I0' 1 ... 1 h . ~ • • ~o p,.' '' ~ ''

0. t ho bul. o f t il l. ud.l • do .. . d p, o • •• ln. r ulo

.. d I 1 •• ~-.1I 0 . d I l go. l th~ ( LAA) I, d od.od wil l e'

t urn , out to b. '.poei" to til •• ,u.l d . ~ . n d 010 1. 0

. 190r l t ' . "

1 • .0 • ••• " •••• 0

E. ~Ird . 1. Pr og . .... " tr. khr .. d. IT II.H ll d eh. n, we Te ' "

I. b •• o.do.e. ~ .ee Lo t . l it l t . eiqon, ch.fte ••• n P ••••• • ~on

I. lIo ll .. en P,oo" .~ l e r .pr lC ' e . b, . tiel, l e't l ol .

~. f d • • G. u.d l •• • diu .. ' Iod , l l, wl.d ,i . loo ' -"o' d­

~.' hl . d e.190 r lth.u, , .,w l" e lt_ do . l e l ,tuno . f ¥II lo e r

in . 1. di e Ub l lch." n ... nd_P'9 I na _ ~ l oar i t!l .e •.

Page 3: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

Cu u ou

1.1 .•• ' 1 ..... 01 .If •• l t~ ••

1.2. C .... l f lutio" o f ' Ul .• • ,.

1.3, Lo • • llt,. ~od.l. o f ~ ' Of " ~ b~~ •• lov .

I. ' , D .... 1,1Ioo of .. ot ~. , _~.1 o f proc , ,, Un,.lo • • •

1. •. 1. Reflo" of. p. oq .. ~

, , ,

, 1.'.1. O I<t'I~.llo. of ,dUe .. jv_os II

1.<.J . DIB."I •• o f 1; to. re glo., ~ o f Int..... I!

2. lME MII~~H _~ ~ 'ERFD _.~UCE C"HRIO~ FO~

LOOK·AH[~D ~ LCORl l~~~

1.1. _ 'a.ul< 'or 'h. 'Hr. '. 2.:. 1" • • ••• 10' G( ' ) by lo.dln, ., ••• IGhbOu" 2.J. O"'W .. I .~ 0 ' 'h. ",."p,lo •• 0' " eo .. ~ l ' 0'

...... I ,.,100' Of I"",,U ' 1 . l.1. •• ,10"1 . V u.h<od 11 \.'

t.l.l. _.,100' ,. r u • • ur .d li t e 1

1. 1. _ prep., ' o, rule' ~ , p p l l .. bl • • 0 .11 , .glo "

0 ' Inu . .. '

J.2. IU d .. u d Pro P'91 " f . I~orlt ' . 0" l. l. In. loo t _ohud .,,0.10." L_~ l .•. ' r op.,t ••• of LAJ

1._. 1. hU.,'." of OIL •• d $'

l. _.:. ~.o · . .. <t p r .... "y of UA l.t .). Su et ,ropor ty o f Aft) c ~~ ( t )

" " " " "

" n

" " " ,. .. "

Page 4: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- , I . n l$C~IPll O ~ or T~( MeEL

• •• ••• ••••• ••••••• ••••••• •• •

1.1 ~.pl .~ .... t .lqodH,.,

I. this p.poc • t _" - l n~1 OOg 04 ... ~~ r' "H~" h I H "died.

It will no p.e,"" •• , nit ".Iy tn . fint 1.,. 1 ( ~. i"

• • ~o rl ~" ) 1. dl • • ctl y .do • •• • • bl., ~ r •• ' .' it Is • •• "~.d

, no, tn • • ocood 1 • •• 1 ( .. condH' ~,.OCy ~ ~ 1 is lorQ_ on" •• '

~ . epheu", pro, ... I, < ... o • • d of , ,,. ~ . ". :

o j lo.d lng , po ge e 1 c S ~. "h ien I'M' 1ft 0' '' ' ' ' I n ~~.

loto ~j(i) C"" ( ' I • Xj(1) )

,,' b) Re l •• dlng the old <o',e'" of I J(I) boc k Int. S~ .

Th •• elUdlng .'1 b • •• P . . ..... If t h ... , r , un l Iru

P.gu I . ~", o r If th e ,.nto nt< o f XJ(i) hav. not , h • • Qed

du,lng tho Tul dU'y of 11(1) In ~" ( thl' " ' 1 bo ' e co.ni,U

by. r ead_only bit ) .

~ .eplo« ••• t .Igorltn. t . dete •• lne. by the followl'g

u n] "u'" : 1. look- , h ... <r H .. t.n : Oohrol nltlO. o f t h .... _nlen

/ . lo.dt"g pcob l • • : W ntt~ p . g~ . ( o.d ~o_ .'"1 ) , , "uid b.

i •• dod .t • ti _e 1

J . Replltuent pcobl .. : If ~~ I , fu l l .•• tt n pogu or. t.

b ~ ,.pl".d 10 ' ... u, ., tnt t "to. log 0 '", ?

Page 5: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- , -!. ,id •• tho '~ol<. 0 1 • 'p.,I,1 ' )90rtt~ • • tho t.,ffl, ~ . t w •• "

SH '"" " " to 90 • • ru~ b, tho p . go ,I t< , tho vt11!rHl.n Of

word. 10. p. g., t • • , •• U . f .001001"9' gr o.".1 "go, . th o

" , 10 of orog • • _ l . 9 . 1<. ( cf [~l ).

Sln,o ""1 p'g" fo.lt red u,", th o 'Poed .f '''P"lHh" ( if S~

1. "o t dl rectl, .dd r ' ",bl . [I ' ] ) . tho chO l to ., t" e ,<pl" .. .,1

, l god t " . will b ..... , ,ru" , 1 p ... ~lu.

-I t,t ... 'I I , . .. ' t ... ' J .. (h "'uuu 0('';"9 .j ~

p,.,.n I ~ • • pur.au I . i. • • . '", H~u,. c. oj Md'UH. H .

p".g.,u • •• d • • ue' ... <v.(~.

I Tit< ... ,"n i" e~'.""9 t". ot. i.~ 0' .dd . . .... <"HOOd

o j t .. 'H i."9 oj po , .. u;<.u • • d "Ht H •• ~ . tho, .'""

tlot d'.e.u '." i n HeU .. , 0' (I.. "," p H ).

I let ., pog" t. b. b • • " g~( in .< ' i . e t &9 • '<OlO" 8 , .(

. lg •• it\. U I .

0) I . , , •• t • • , t •• di", • g" up oj ~ pog" .,. ,iv," b~ •

uppin,

"<~D 4R.

[ H Lpt 100. thu H.h~<t.iu. o<H<~ . hold bL •• Hq<~d

I"' ".g ': .tupu.ut'-.~ 0; • cut.' ~. ppi.9" u~ b.

Page 6: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

~ , ~

, ~'9" or Mu l p_ut ca,t . or o!nor • • onl n~ fu l cdtHh or

,o . hl ,.!! •• , of Suc" cr1 t H I •.

In p. r t oj . f d. II .I ,lon 1. on l y t n. i •• di ng ( •• t • • r" r e ga rd ed .

Thi. , 1.pllfl,,!I,. wil l b ••• ,I, . ted by th o f . ot. tn . t I n

?r><t i « t,. ro? lo co • • nt ,o , to t . n. t o b • • Iho. f 'ICt i on of

tno l ood1 ' 9 ( o. t, (s]. ~ n ",act oon. id",Hion of r . lo odlng

c.H, "", u)t. I n on " ", uihb l< co. pl1 cot l.n.

, C [U, n. " I, ' 1: ~ {I~~ltJ I I ,. ,

[ ~.hl out. ,! r,"o .u i" .~ a H ~~""U H'<.g .. u • .:" ~ • • a<"

."o'¥ , . .. , .Hog oj • P" ~ '_' "n' H no " Hph«r'"~ "otio~ I.

1. 2 Clo .. Hlcotlon of rephc .... . I . l go r ll o. ,

~ <cor dln 9 t o th e " Ite r l on wll ie n , ou' " th e 100 dln9 ( " 0 re -

100dl ng. 11 ~M 10 full ) of on . or . or. ~ ' 9 ' S ot • tin" t ho

f o llo wing c l .. u •• f ' e p i ocoMn' .1 90 , 110 .' . 111 h e dlH ln 9uhhed

Page 7: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

C1o" lo.~ing <.ndiU.n ~AII) I

O .. '"~ "9i 09 " j M~ I I) I p. gc 'ult) , Ouond P·~p ' 9in9 " i ~M I t) " 1'"<1udlo ~

M~ I I) ..... 01 I) t" ~1"t"g ••• )

loo ' - " "~ " j ., Tho 'u~ •• t olt) 0' ~~It) tl>.T.c , e. " " Ill. 10 •••• 1> ••••• ,l •• io.,

Of Ih • • lgo.tlh • .

tno 10 . ~'"~ condltlo. I . '''''fled I It Ih u e I, no •••• hult.

i.e. ',< Oil) ••• d .11 p.g« w"' < ~ oro ca ndid" " 'o .e l .. d ed

.r . . 1 •• ,dy ". , • • , t n MMlt ) ).

I.l . 1 On • • ~ p.qln,

Most of til . p. p." .... con f l n.d 10 d . .. nd P' 9'n9 ""p ll< .~. 't

.190.1,,,., ( o~ ~ ) •• ly. ror Ih'. <1 .« .f , lgor;," . < ' he. o

I, no 1 •• d l ng decision I p.q. < . '. l o.ded It p. g< fo ult<

o, ly ) . Th u . th o ,truclure o f de " ono OOgl ' 9 " nu,h , 18.10.

C IDRA.n ~) -

, , " ,. , P.g. foult.1 tl • • I

no p . g. fou l t

Hrn<~ 1M hll.lt~ ( p.ObnITTly.f fl'd"9' dot, ,, ~~ )

" ou lo b • • ~Ht"' ( bu t not . .. . ..... 111 opth.l [ 0] ) .or­

for •• n« ,,11"'0' for ORA .hon for no.·O~~.

Page 8: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- , -_no t he r • ••••• f. , I_e """<tl o. "" O~~ I. the f ol l~I.,

.... n ell}

1, \ I ltl ... Ih.l t .... , . . .. V ' .pt4<u .. ( 4l9 .. olth ~A

0" .... •• i,h .. ~ •••• ~ ". ,l. , otJuifh PtA ua'hi. ,

C IOu, . ... , # r IU ..... '

, • • • tt • .. d . tt .. .

Pr .2 ' :

DM_ h" .... y I •• i ,11"0 ' .pl ...... ' ~. d . ~y ~A "",II UI ,

tl •• MI\", lilt ......... 010 11 •• g. I. '010 ' 0.,06.

If 11(\1 • t , til, <0' '' . f DRA .ooe. uco U t il • • out o f ~A .

~ fo •• , 1 .'oof to ,I •• • t. (l l] ,nO [~) .

Til. cud tll o . lI ( t ) • t .... . 10 h .. t hU ,d fOT 10" . Ion,.

'111'" .. 4 '0'" tn' .... UHI ••• o f 1110 cos t fu"<t lu •• • 11 ... •

0< for ot ••• ' 1 H ... ( ,"HI" d • • leu otc.) hl t )'! ' d l -!) "

( t ~) " 1 h 'O ,hHU.

II • • •• 10 ~. o •• sIO II .0 ". lI ( t )< O ( t ,2) •••• fo r ooo , • • • t l ••

••• 1'0' bl pr • • ldl., ..... . 1 ••• whl<~ ".,b l ••••• 101. t •

. ... lhL Fo . .... , 1., II ,wHchtog rI ...... d ll " ,., .. tth -

.I • • l ly .. d ... . . ,1 1 91~1o . .. p ... ed to I"'.<port II ....

"(. )' l .<· fid ( t )l~~ (t)2) ~ • • ~ . MIh ... d.

t. l "ele c •• e . ' "e "~dy Of p .. op ... tl •• of no.·d ••• • d

. 190 .. It" .... 1 11 be I .. o .. utln , .

O.qlog

Page 9: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

-. Th. U •• nd P'g ' nS >'g.dtll • ••• 17 dUrn 10 the ,oplace-eo,

.. H rd.R ( l~U , rlro , Rl~nOM, AG

, Bo ' e l CLE '" •. ).

ThUt He '.,"'U l I09 ,."<1H H' o f d • • tnd p . glng, • . ~ .

• tae' , 1goriU ••• ,"0 priority .1 go,l\nw, [5] . It ~ Ill tu rn

•• , thot for t he lOOk- t hUd . lgo , Hn . l H , whl e !> B der l.U

In ,n,. p. pH, the , tao, ",oputy 15 not '. lf111 .d.

1.<.< 0 .... 4 pr . pnh9 and 100,-.h .. d .12"Ul>w,

To t h . .. UO" kftOwlod go O"Y ' ''. po. e .. « ( 3] • [10] ) dul

. I U t h' COMI •• etlo. o f '.'-d .. ,.d PH i '9 ,Ig.rltu, I 11

. n ' l t .. first stor'g" 1 ... 1 i. d leocll , . U ruubh ) .

h~ .. . ... Ion or on ( Ooe Bloc k loO k-thud ) .nd Hs .odl­

f teo,I •• , Sl ( Sp,"O ' Loc ollty ) ,nd I t ( ', •• or ,1 toe. l lly )

oco d U Ud " 'P'9' 0 9 "gorHll w, ,,n,, ... Jo.Uh . O~l and t h

.. ,.,.10. Sf I 510.10 Predlctl •• 1 or o!t H. , •• • -. hud­

.l gorltll_S.

In ' .W' HY. e • • " os, worts " follow, ; ~.,I~ .. to •• 1"lft9

P'g"! ( . nic~ I , ~llCod Oft t~o top of c ~ " LI U· SU , ' ) Its • •• 1 9 ~ ~our !q. 1 (If not y o t pro , o n' I n ~M ) I, 10'0"0 ( o.

th ~ot.u pI ... o f t~. uac t ) .

Thu s 8'1" 1 Ii r . phno .. t h O'U'".''' o f I ~ .... t p ... h vlt

if tho.o . .. . 0 r oforueo Oft t h i> p.~o I . Uo ..... \ 1~o.

8, U h 0'91.1,.110. "hich i, clo .. ly r ., l.tod to t ~o llU·

~ r ln<lp l • • "" II .0' bur d" . od wi th p. ~., s wh ic h ~ I ' O b"".

pr"p'9"d IopodluOu , ly, but on t~. othor ,10 ' t ho off."t of

Page 10: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

· , -

Jo.eph, •• c, I •• Of OR, i , • 100k-,I> •• d- 019 •• II ' _ , bOCoyS '

~M Is '."TVO. to ~ .ld p'g", ~h\ch are 1" .0. I n .d •• n c~ .

It wi ll turn 0. ' th.t DOt' ORt .nd SP Ho ,poe l ,1 c"", o f

LH w,ien will b. c.nst , .c t e. In 'H tio n l by • •••• o f •

•• t h ... t l ,, 1 • • de1. I t .hould bo not e d I h " 08 L. $P , 5l

ond H '.H b ... d.,he. ~.( "11 by he u,h Ue.) •• g • • on t<.

1.3 toooll tl, Mod e l. of pr.'], .. I> . h •• lo u,

A du ,"d P'9fn9 . llarHI> . I, "HI., ) if it , t p l. ,< . ,>t. p. g ..

wit" .... 11." 10 ' ''''. dl st .. , o , I. e. 1> 1 U • • 1"lnq

p. ~. ( 01 90rHI>. 8. of Be l . d1 !'1 ).

Co " o.pondlng Jy o . opt h, 1 d ,~,"d p,.p.gln~ . loo r IU. whic h 10

.bl. to load. po g .. at the sue t\ ". " Ill , . plo n tho •• 'Q" o f .~H "Ith grutes t fO'wor d dhunc. ' I th e \ pog .. .. htc~ ...

not 1 0 ' pre ••• t In ~~ .nd wh i ch h ••••• • 11.'t forwa , d ~I't • • c ••.

t o pr e dict the fulur~ bo~ .. lo u r of tho re f .,"nc .. by t~~ r .Cut

put ond to reph« pa9"' .. ~IC" we upoet to ~ ••• grutnt f o r _

wHd d(Honeo •. Tn" .... applies for I"'_a~ .. d .Igoritn • ••

Page 11: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6
Page 12: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• • • 1.4 O .. niptl0. of . "ot~.r no •• l of P,"'i,U boll .. ; •• ,.

~''iton . of • Rro9" .

In tho fo ll. w ln~ , .. t nuot l c. ) Md,1 I, ~r • • " t . d wM e l!

I.\ ,.d., .. oropor t l • • of lo " l i t~ whj , ,, H~ ob .oe • • d 'or

... y porto of I F OUR~~-

. od . l wn l," .'Y h • • ,, 11 ., ~" CI . I ' y for l no pl n. proq" ~'.

dulO O PrtPogl ' 9 "" 100 ' -' '''. "~orlt " .' ,dl1 '" d.d,.d.

1.4.1 ~ ' 'll o",

Pro9" u"" Iud \0 eo ', ,' lro t . do t . Of th o .... . t yp • •

. n I ,

Is d. o to prog ..... l'g n." " "d tho ,t,.c t """ of ~ro9r . ~~ I "g

T,"g" . ~ ...

, '" . ,, ~~ 1 • •• < "YO • ,.,I . n I of t ~ . I'Hru<~ lo ", of .

orog' u , , 'o 'l 'on V of • • ; ~ol. vor i" , ,,, " ' ;0" ~ l' ' l""

of ." ... . . " 91o, C of <o. H • • t> ( (.110 11 • O"'"o t (Ote'"

n. nl " 00 " In [~ . I I] I ,to.

h~. d< . l ro<o l t< o f r. 'b,Q. l ~ ] .. 1I J o,.~" [ 11] ,how t h. ,

for ,,.n, 0'"9" "' •• H, ttl on of ~~ 'n to • or S .. glo'. "i ll

b ••• ffle i , .t. 10 ,.~ •• • t . nt, tnl' ~o l d, I.dooodo.tl , of

th o pogo 'Izo.

Ih. n u~b.' of P09" .. ~I ,h • rooloo ""upi . , '0 .. " • .,i ..

.. I'~ th. " ~. t. ~ •• Io •• " , " to . nu , ~ ", of . O ~H 'n . ,~

whi'h . r ..... 'Io .. d t o • , .. 10' ,h ou ld h. l nf) u, ncod

~ . I" ,, 11. 1,. , nd Ih ' ,t 'u e'u" o f t,. , •• 10' eO'Cf,nod .

In t kh .. ,tlon, ho on or , t h o f o ' l.wln, ,i .. l il1o,tl0" HO

I.,rodu co d

Page 13: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 10 -

\, To .,,~ r.~jQ n ~j l l) of S ~ co" .. pond, , n or" ',11)_

Of M~. ~o fr ' O ~'"IH'on orobh~. , . , con,' d' rod.

<. go," ~j 'nd " H, ,,,"",,d " 'odOP"nd," 1 Of Ii •• t ( for

. ,to n, jon, of t~ . ,. " 'u~ptlon s" 1 . 2.) .

'ntelc, o. " .... "gl,," p. on . or .. { . nd

" " " .. : . ') •. .. • " of .. ( <",Uloln" 0"" ''' '

"

81' .... ~ of " .. . : • • ~ :. v ~1: · !1 •.... ' · .) ( •• ,~ • • ,1) b. Idont tf " d wi,,, .. , tho Ht Of .dd""" w "I<~ ' re con,.lno d 'n I t I .

I : . ", J. Fio,lly lot u, '"rpOH <hot ~ I. fill " " . it ~ di u l n,t

~'9" Of Ri

l i e R (1 . 1 •...• " l. 1,1 I j 1, I j l.

t~e rt or, Hili f .... pi" .' I n r'~ - wit" t" . ' '''ptlo n

of fl lll'9! os quit' •• p."lb'e wi'" p"" o f R ) .

1.~. Z DI, t r l~utlon of .ddreS' Ju n p'

l ot , R o. II ... ddre .. of region ~ ~~ I ch ~ .. b.n .. f ... neU ,. , .c" r~Cf",ly.

" 't - 1 • •• dofi"o •

Page 14: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- u

VtJ<.<ti • • , ,

, " .", " , ('. , . • "

L I " 0

, . I " ,

., , ' o . , '" ,.

fI," • '"

, 't · i • 0

, " I ,

, " I ,

'" I ,

"

" I , , .D 't - i ,- ,

I" , ,

't - i I

, , I', . , t-" I

, , I ' , -

, .. , 0.'

, " -

i .' .. ... f,R

(., .. ... <.-'

, ,

, "

~ . /.,/ , . Hgi •• ~ H~Hi"9 ! , .~ • po> Uio. , oj til<

p,.vi.u, .OJ, ... .

Ho~ w. or . t • • dy for o ur b. , ; < ... "~"tlo" of 'oc ,IUy '

, . , V . It ' 0'<- y.

<. • J • , '" " .... li , jld II;

Page 15: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

t 2 ' , Add .... j •• p. 'U ... ~.~4 .. < . d~" .. 4 .. t ~& t~~ p<tH

.,.:(~ t~~ u apt<oo c~ I h p~.':HQO • c l ./.

J~ ~r.t, t Ho •• u. "lO.t >!~d ... - <udHic" .

Runt . :

.J ~I.c~ 1, .. -'.4ep .. cy 01 c~l lt'.ns"Rl ... ,."eo . the tI • •

Ind .. of 'h

tollowing .

~) Con ' CI TY t. '0" 0' ' ho .od.l, whi c h h • • • •••• p • ••• " t.~ ~r

othor • • th .ro l e.I .(1<] ) .UT r od , ' I, 'ceo f ••••• uriotl ..

'1O ,lo .. . y 'Hu~p ' lo" • . HI . ~ro b. b llltl .. " ~ "1 , h"90 . , ,i 'l 'if l e.nl l y I. I I .. wltho" h •• ,ld l totl.9 I~ . 'oh tlono '/J. .

oj Ih o . t , .ctur. 01 " R dop.nd, on .h. wl .dow .1 •• h- .

Ob.hu,'y 1./ _ ' ,R1 d. " ..... If hR I .. , ... " •.

I f h~ I . hr g~ , u.l l ., odo,," JuoP' wil l doolno ' . 0 ' " th o

dJ A .indow,l ,. h ~ •• to o f ' .'r II.Hod lotH . ... Inu In t." . c" •• ny p , Ulet to . b"I"9 o n ./ II l"p."lbl •.

1.' .3 01$( .,,10. of y.~ f or ' .!Ilons R of I. , nu ,

1.' .).1 h glon l of ; .. tTUttlo ••

I n p ro t lite the UQ •• nCO o f l .. v .ettOft .aa . . .. e' co .. ;'" o f

<l rtft g. o f po' ." sequen ll.1 .dd ...... ton n.Hod by a n .dd'e ..

ju.p o f lo ng t h I I.

, 'or h • I w. h • • •

Page 16: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

" , I) " »

or " 0"

for u np1t , l' t.e dlfft • .,,, of ."bH~"""t orTOY . 1 ... ""

Is • co.<t,nl . uy " I. noot < ... , I ' .9 . in , .. ,,1> ." lt i ·

pll<.l1on HC,) then

,( ' ~"- ~ .. '" '"

w ~t c~ or. , .f.,," cod ,,,<cu ,I •• ly . I. '~h ,o.. t~ . tl,,,H,, ttOM

~.~ I .d 1,1 ,r • • , ~"t I de" .lcol .

1.4. 3.1 Rulon ¥ of ,h'p 1. n rhbl u

.not~er .nO t~. dl H . nco of , nUt .. ,lab l .. i n t~. do<lIrotion

P'" o f th o . r .g r .~ .

, " ( . ( I f I.e 0'9< .1 •• • ;, ''' ff l , le . ' ( gr •• t e, • ••• ,I •• , . r ~

•••• th l.g • • ny Ir.09"'0,ltl •• ) tho n.J • • l ty . f ,elo,lo. { • )

Page 17: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

,~0"14 br ",I, / ird

'iu ' V . 1or'V .

for _any o.oq .... , ~'U for toe wl ndow_ , , l . S I ~ \ 1" ' 1 • • • htl o", Y1 •• ~ L I. l

( 0 {! ; , .I n ( . t - • . • -1 )) . '1 br _11 .... d . A fo ll y,. 01

thue ' elo " on , fo, . o_e vo!~n of I I, co~P." .. t " d I" ",ny

cueo Cf . .. etlon l.l.o l t._ Plptr I .

lure or. othr , oqlo" •• •• q. 'ho 'oqlo. C . f <on'"'''' ( - OU ' ­

P" cltch •• n, or .. • [9J I. fo, w"ch th • • true t " • • of "~. dd • • ,,

J ump d l st r lb , tlon I> ".llor t. y, V.

Page 18: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 1 S -

• • • ••• •• •• •••• • • • • •• • •• • • •••••• • ••• •••••••••••• • • • •••• • •• • • ••••••• •

• '" " . " , • • u " • , 1. .. .. " . • ..

" ; • 1 , • IYI~ ;' . , • " , , • , ) .

XI • Sj l l) 1 I . I •...• " , jl l) , ( I. . . .. n ) ) .

If ,~. r • • I" ••• n\ o I 90rl \h~ ~; tn . h l o~ ". "loren " st" no

10 I. ~ r oc .... d 10 "o.·du,." .09;'9. t ~ . hltro t . oltl: •

Pr 1 " • ~ I 1< nO' no , oHocl h • 9000 porf o r M .. "" crHor l on

. I nc o ril i ng 0(') ( h~ propo.1n 9 . dditlo •• l • • q .. It \1 • • t - I I

~' 1 r .. "1t I n h19" t.", It t in" t _ 1 .. . ,11 " In. dHIi ••

of t h o 'Itro to Q(t . l l ( 1>0) , I lo t .. ti n .. . H i , wo l l bo <o n

fro ~ .n • • u .l . In .«lIon 2.2. Thu •• Ino re .. l n ~ 01') .191H

,. .. ,,1 ""OM.

~""' tn . l . .. th. nl\rot • • 111 be. I n Qen" , I • • ~ood or l t . r lon

IF t~ . nu Mb. r of o' ge ' wh l," . r . pr ' . ' 90 d .t the •••• ,I • • I,

. .. or. l y l lM lt , d ( "1 ,or J ).

HI, rest r l,tlon wil l b • • try l~ p" r U"t for t ~ . <o."ruHlon

of nur 100 ' -" " 0 . 190 r lt~ . L'~.

Fr. ~ our 10 ( 111'y • •• u~.tl. n . Lt - .nO ,2" w. o~to l n fo r , ••

hit",. Olt) :

Page 19: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

. " •

Of t) • " I " . , I ,

• I! I " ( "t • I , • I I C l )

• • • I , .. I p, ( ••• • t < B i , '. , ' . • It C • J

, 1. «)'0 (I) _, ( t ) • I hI •• \ _,1 1-• •• ~

~ h. r .

wi I) ., , •• .. " < • I " • ", " , ' . I 01 t) . " •• " I . , , 61+. " , '. I

r ( t ) • .. " I " , ". J

S in ce " t. not ,Huh' by too ,,0 ... 10 of l (e ' . d.flnt .

t l •• J) . , I!) . nd O! ; ! H " d.p •• Un' . , the ,."rue< OId n 9 Oft' t he dhtdbuttoo o f t ho .ddr ... Ju'P' Dut

loduuun. of tho , .ph« ... , , 190"".,

Oil, ' .r be 'nc' ..... h1 ' •• t ruct" , l n, ... th.d, [ I.)

(I • •• by <' ,"91'9', I nd °1 •• ' I n or<l .. to Qu .... H .. thot

.. It o f th o ,<I. ' us J"~p' , .. ,10 10 t ho 'uo .0,., bu. I n 1M, p.pu 0011 In OH ,"gl OM . ~ ••• ,I de'ed " "e' .r. nr.Hurod I n . r. ~10. ' [ and Y (ef. I.'.J.).

I t wil l U , . . .. . t hat for the .. "0"." 0( 1 ' It 1ocru .. d

I f H I I ... -1 the • • I~ " b.ur. 'q-l u d I q ' l . f the , toe

I q of ", -I (w' I<. <ol n<ld •• " I t . 't If ,I • 1 , •• po.slbl.

ehotu ) or . l .. d •• logo"" .. It. Sq '

Page 20: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- II -

n"o ... ,

'" Qlt l , ' , Q I ' I ..

•• '" , , , " • ~ + j , ~, "+ i

, " ."' j

.... ". j

" Q, • ~ , • '" • ~,,,

'"' • th.

, Q I ,I , Q I ,I

•• '" .. '·'1 ", U ' J , , .

. , "' J .. .. ,-d

o, u' ! t

, w,u, j

, , 0' , ,

" ' , , , "

oH""'."H

0 , 0 • , , , ' , • , , •

'I , , , • j

rHhH ,,' 0'

" ," M

ot" .. , . i. ~

, , ,

, , j

,

, . ' . ,

0

, 0

,,.

.i.,I<1

<.,iq. l <I

, -< -.i"~l d

Page 21: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

II o. <It 4 of) .. ,4 '!.:.~ • • .•. ~ • t~C" 'lI t ) l,! I (1

~ •••• ~, Th 'DUO"~ ' ~ ~Uh. u.U .. ( <I'&!': . U" .. o ~

.i,. I . ) ~4' b •••• ,.d,

p ... . , :

'"( <) • •

,. J :; l , H - I q < • ~

If Q "d,. <. ' I~ I. <O.dltIO" I. , oll,ft.d b •• •• u~PI I O".

\~. 101 1 . .. 1" 9'

TIltH .. J ,

tH ' t -I • I.,

IJ th Uh.pU.U OJ t hUt. ! I •• ht i ... htw ... '!. , •

..... q" •• l hLd ,u d .. i.d ••• .: .. ~r" kJ ... U ••• 1.3.1

Ht. ~. 4 ud 'lI t ) i. i . e"u,'" .¥ toodi • • d H •• t - r

d. u i,Uo .... !4! I ' 5 ~' f •... oj . 10 . ~.,. a~ oJ ' t-' "

Page 22: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 19 -

If I~ . ,.1o tl o .. In quutl .. h.' ~ f or ~R • h' > 1 " "1

t~e. occo,dl'9 to Ih •• r .~ t t he p,~, gu .f 't "d 1',

•• lghbou" BU !l.gu~ l "" (I f . 1 .. 1' 9 fr •• II~) . ~ "uld be

I •• d.d ot 11 .. t- 1. hI If ~- > I Iho •• o t .eH".';Iy

•• q: 'h. g,uler h', the lu. Infounlon .bo. t . .. ttl be

. " . , 1tb\e If Ihe "'ereon ,trl'9 t. u.k.ov. ,. od . .... .

If u , q t hn Ih e loUI.; . f no 19hbou ro of ~q "Oy b. "T l

1,. fH,l e. t. Tht. .,11 1 bo ,.e , l u ed1Ol e l, If On " .1 1 .~.ts

to ,0n . .. II .. Ih •• r •• J on h ' > 1.

then •• ,n f or '''~e ... 1.dowSize. 'Ut ,0 .. 1\1 " 1 be Obttl n u

, ••• e rnln9 th e I" , ~1'9 prObl u. 1 ~ 1, .. I" U •••• f, ••

til . foll • ., I'g .. nph:

h U plo :

Conold e r, re , l.n S I . .. h l<1I ... 11 U d .... jv.p. (tnd

Ih. onoll pogo junp. , d . t . ! . ) d . .. t nu . f ..... I .d . ... l' ••

liS ~ l !>u' not f.r li S • I. Tills .. til be th e CI .e If I

r t ,lo' to <.~po,.d of I wo orray. wh o ... 1 .... " or. r o f.,on -

lhu. , ,

" • ' ,-2 (In g ..... I).

~ov I., ' t~l< a~ ex (t) , O( t ) , .. d 't- 2 <

~«ordl " g '0 '~ eor .. l the ~r e ., .. 1 •• I ul

obUI.Od " " tl~. I-I ... p' go a r of' S ,

" .. .. , boor. of B • • , ~o,.lbl. Ire lo,ded I. t o K~.

, .. ., . Q ( t 1 v I 11 .. ..... y nelg ~ -

Page 23: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• In .

I~u' let) ¢on,h t, of Sq' 8. ud .· 2 •• lt~~.u" of Br •

An,log •• ,I, 0(1.1) 10 I.cr .... d ., ".,h .. o."lbh

If 1 1. ,1) , •• ,I •• ,.f Br

• Iq •• d .·2 •• Ithbou r , o f ~.

HUe. if 0") 10 n . I"I.ed, •• t .nly ""1 rull, .... u

( wh ic h r .. ult I. hlth ... eo,tI) H • ••• d.d ot tt.~ t·\

but . 1, •• t tl~. t ,.In ••••• 1 .. 1.1 ' 9 Q(t) , ., ul', I ••

d.,lln . o f O(t.I)) . • t .1 .. t.1 .nd ,. on.

Th. be •••• ( on do I. ou r •• ,.pl . I. t. Ilwl, tht 'u"ber

of P' g.' . hle' .' 1 b. r e pl oCtd ., , ,I •• " . Il l /2 or I • • "

1. • . I. porti,lo, $ Int. $ • SI OJ $l «o .. upo ndln9 to t ho

t • • o .. oy . whlc' ar. ,0n UI • •• In S) ,n" ~ tnto I • 11 v '2

w.e .. 1111 • IIZ I. ,.u. fo r tU .ub .. . ~I •• ' $1 ' 52.' h •••

".ot , • • 11 UO .... Ju" p. do.I.&o • • .on for . 1"00<0 ,1 ...

" • • 1.

Th. followln9 r.~ . ,' . bl. conclu,lon. 'hould b. dr •• n f, ...

thl' uo •• lo:

• . Ih "u" ber N o f •• g .. wo1<o .,' b. " ' ph,oo .. t~ . ....

t he . .. to u 11.tted .u. r .ly. A ~o .. all t~to " Ill ~e

th on I 1ft Hde r h gu" .. Ut the ~ r epo.6er .. c. of .... 11

>ddre .. Ju"P"

~ . Horoo •• r 11 K to ... 11 (c ... por.d ,0 th o , I , •• f t~.

'<910n ) ' h. ~ I , .. t • • t I .... tl .." .. III (In ~ "" ... I )

n.t b< rodu'ed h~roPH1, by look-ohud r .pl ••••• ~ ...

Page 24: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 2 1 _

c. fl •• ll y • I lolt. tIO. of ~ (O~ • • t o •• • l) .Il~.

u. to o.,I.,t th. p • • tltlon of i R •• d "" In t o r' 91 0~ '

.,,' 10.,0 . . ... ~ lth O .t dot.doriM . " dul, to. pu f • • •

• ,.c. o f U ••• Igo . ltn • . Tho. U o u., d lffl c.1t orob l •••

of t ho 4 ..... t.itlon of ' ooioo' II i" S~ •• ~ o f th .

U'pIoCI." .f Iho I • • g ...... 'I I n N" ... 0 . dl"9 to I " ~

<. , ng\ol oc,hlly of • • e gl ••• , ' ~ o • • " ••••.

hOI •••• ,ld ... ' I •• , wl1\ ~ . _0 ', l op •• "n, f or 'h

<00<\'0 .11 •• Of .O.-d •••• d ·p.9 1"9 . 1 ~o r\t" •• In ••• tlo. 1

of tho po pe • .

t.1. OhI o,, ' • • o f U .... """IOU of t!>u ••• l f o ....... I

•• qt o •• of t .I • ••• 1

• III I ;. ' I • 11, .• . ,1 ·.1 ~. Iho po,ltloo o f I h o.u lou ,

• , dd"" of ' C.

" " " '" P, , , '"

,. • II , .. ..• )) u .. • • (.- 1)· .. .

' f' " ., , • • " , ., , • , " , • • ' r )

,

"" " ' ,.,1 " "" , ... .. , ,

I" ( ; · . - .+ 1 f ' -I, (1 +1)\ •• .. , • { hl]. - , ! , .l. , ,.1 '. ' j _ I . _ . +1 1. "

,. 0 , , "

Page 25: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- n _

1.3.1 . R'Sl o", " rw cturod lite V

[ j , [ 1i- l [ I1 .1 .[.i'llo - l] I

~ ... U I ~ [

! • '

{ j _ l • ..• ~ · 1 , , • ." , . • • ~ - j.~ • '"' I • ". i-I . .. . o-, , , • ." Je·r-r • .. •

i- .

, . • '" L ~j . ".Hj·"'g"IiI · •• ~. 1"1 • . . • ' - 1 , , • ." ..

Pro o f:

o. QI " - Qj H;g n (il . ,

, (h l )t- ,

- rLPr ' ''j . j~_" , j(lJ · · r Y j "i ~n( j l·I.· · r) } o •

•• I . let . > .!:

Page 26: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• l) .

., " . I

j . ... , . ',., . ) - , '. . 7,. • r ' r " . ,- , I ",. . ' , . , • ) J. 0 . J., " ' • " .

I, ..... ~tI." til" fOl'ow! " q h O~\.lftOd f •• I, :

' , '4' IZ .' ,. , r (I J • '1" J • ) • J. 1 " . , " .

Z • • > . /! · l

" . ... I ", • ",., • ' J.1 " . , ... . • • I (7J , ·'t. J , ) J., " . r

.'0( ".,,· 1) , r (',,',\.,.' J. 1 'r'r

H .. U: ., • dl

• , ~. b, ... ""~tl."

""4 l iI"' f or. Q." . Q\, J J. ••

1 1. lei • • '\

" . " . " .

-, I "I .' . ',., • ) J 0 J.· •• 1 r 'r

'.,'1" 1 . , . . ,-, r (I J ' . 7 J• k • )

J ."r "

Page 27: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 24 -

1. r > k/2 + 1 :

min(k-r,r-1) e 3 =.L (Y- J. a - Y-k+J· a )

J=l ' r ' r

2. r, k/2 + 1

k -1 k-1 e 3 = .L (Y- J. a -Y-k+J· a )

J=l 'r ' r . L . (Y- J. a -Y-k+J· a ) J=k-r+1 'r . ' r

= min(k-r,r-1)

L (Y- J. a - Y- k+J· a ) j=l ' r ' r

Thus e2 + e 3 = T ~ 0 concluding the proof.

Remarks:

a. Except from the assumption T ~ 0 all the conditions

of theorem 4 are consequences of the relations

b.

y. ~ Y l,a r i+sign(i),a r i + 0

Yi a = Y-i a , r ' r ( 0 ~ i ~ min(a'k-a a-I) ) "" r' r

which have been motivated in 1.4.3.2. for region V.

If Y i a ~ Yi+sign(i),a r for ; E (- k+ 1, k -1]

, r

then only the term d2 (or e2 ) of T might be negative.

In all cases of practical interest this term should be

compensated by the other terms. Moreover, these conside­

rations indicate that our assumptions are satisfied

rather for larger k than for small values of the

page size.

Page 28: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 2~ -

<. I h • •• 1Idtt1 Of tU rehtlon Q 0, '

d. A •• ' U "it of t hoo,"_ 4 In tddttton to p.~, 80

of

.,. n •• d.d to .'ttblt,h

0t i •• ~ Q~I . , etc . .

2.3 . 2. 109tO", st"uctu,U H~. I

c. 'J.c •• > ~< .•

OI~t,>I , I , I t ·. I

'" '"

'"

jll

pt • • -p t •• . -. [I~ ' 1 - I.~ . ! " j . o /.4 r -J .4~ - 1,A t j 1 1 . ~,

jjl iHli- ll .l,li.IIO-I ]

Page 29: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• l6 .

b. Ltt Yj," ~_" ,j" j. _ < 1· .. 1 ... , . «) .. lo .n

J.ri~ , '" , , , , .j"'\ .ilo,j!11

1/ . I ~

• I p~ "I~ ... ' Yr .. - Vk "- - V •• r .. I ~ , r' '~' ~ '. . •

" , . "

Proo "

•. °0 , 0 Ql,o

k k-, I P .( I y,

r.1 r,. j._ •• 1 " r ,

. -1 ~ -, (i .I ) _ -r > 19 . ( I y .! y - I J )

r.l r,< j. - r'\ j,'. j 1 J " r j o r t_ .. 1 j ,or

'" .-, 'Plo'(I1,. , j oo ' I

.-, .. , ' (11,

.s j - o " 1

'" • • P . ( i 1 1 ,0 j.- l. 1 J , ' ~

" - I , ) jo(r_I) ~ '1 j" k

(1+1) k_1

I " I j .n "1

" I " I j _ (r _ I) I. 1 ' Ok

Page 30: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• 11 •

{l ol )k'\

. I' -j \ J " \ j! \k 11 , . \

• 1 , j •. k. 1 j '0l:

,-, , ~ \ .'{ L (1, , .,_, 0 ) • 1_1. "

' j. e ' I ''<

... '" • J<[(I .l t hl. ( hl ) " 1]1J, O\ )

Jfi

b .H I;o t hon

Q I , I Q\ , I

, lk·, • 1 P . ( I y"

,_I T.' j' k. , .1 'r

(hll '_' - ,) j .I, . ,. \ J,',

• P, " • ( 1 I "k - ' (I .I ) k. I",

) .

" • • , tho n , L " ,

• • ,., QI, O • " , foil< •

" 1{l.1) "1" . • • • , . •• ". , , { · .. I, .. , ·]).

If • ! , tn .n by ,.,._ptlon

• QJ fo , ,11 ••

! ,-. • P . ( I Y

• • 1 ", j .... 1 J,o,

Page 31: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

·u

••• . I,. ,'( ' •• " 1 . p . I' • • • •

• •• S t. « r !l~r • • • , . Q • • ' >

~.IH u'" " .. ~ .. ... • or o.

,_ . " , . 1 .• ,' . ,

0, • " ! • • , ,

• pr .b l billtl ..

p •• '

, , ...

b. Ihurto S ,how. t h .. b •• ldn the ·.u~.I· .. ,I I •

• f "t- I Iu ftft, hbOo' 'Q ' \ h .. lhe ~ t.~'H pr t .. It,

of be l _, 1 •• 01001 I n Idnnce ( I " <00 .... 1<0 . .. hh ,11

t he othe r .'QU).

In .... , .. t h fy l ng:

I f t he .I?' Ilu ' t. no t l ... !_I I t~t •• ~o"ld

i . cl ... o ... n < .... of Int . . .. t) t hen t. add it ion

t o I. t ho ,., ••• • • 1' . (.) . ~o ul' b. 1 •• d.d , •

• druel.

I f . , I_I the "UH i"9 of 'q. ,lln(I)-l." • IJ

.. , b, ... t h ated.

Page 32: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- t~ -

d. ~on Of th e .. ,~.p'lo., of tho •• ~ ~ , ro oo . <lu,lo.,

of the dl ..... lon' ~I d. In I.~.J.I. , they 'hould be

uU, fl .d I. ""I t ... of prHt t .,1 I.torest. Th

t •• dltlo., .'1 b. w •• ~ ••• d I. ~'nl c • ••• bu •• On"

of th ••• '1 b ••• tIt ed wlthou, "Ore , do ; Ihl' " n l

b. >eO" fr o. ,he foll0. lnq ""or "'llIt1l1 .... pie,

'"

r • '" " ,.,

" . • . . , .n " J. I • k f o • • - t, .... I • •

• otnorwl ..

( d > • , , 1 , )

ThuS "," ,.,u"p. lo. (3) of th •• ' e" ~ Is .1.I,ted,

~. obt o ln' ... .... . ', .. ' " ..... " .. , .. - t p •• •• 1 ',' It"l

• (I_p , . )'(1, • -11 \ • ) - P, .·'I k • • 'I 'I ' ' I

" " > 2df(l+d ) .' Hu. 1f. • • 'he. thor ... Is" d > • "lth , .' Q." < Q, , s .

Page 33: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

•• •• ••••• •• ••• •• ••• ••••••••• •••••• ••• ••••

• ~ ov l d .. 10 ' d, d " t I ., ,-, " . ddIt I O. " P' g, " " 't _ 1 :

• 8~_ 1 , 8 ~.1 ( '"91O. • (

• B q + I ( , .gl •• (

B q. I ( reg l •• " • • ( JI M) , pogo,i , . , ,- Y. ,."Y j " <

• Sq_ 1 ( < • < , • <

H. , vb, .... b. - d. or . ,on Ulnod I n th e 1 00d i n~ ,vI.

-p ' e "gl.9 or t ne .elghbo"" (P~)' . hlch h" bo •• p,op."d

, ,w i l l b. p, .. ""t In ,-th", tho I OUln9 'ulo' for I . nd V ,. i .,l d • • • ry oft ••.

S.lut1." .f th o , . pl " .... ,t orObl • • , nd the l •• • ·.h .. d

pr.~l .. (I. e. the de tenl."I • • of • 'vb .. ! 0(1) of x(t)

<hHHteri,I'9 l oo ' -.hud .e.h, ... ,t.) wh l e" 0" boslng

o. P~ ... l oadl.g r vle .. Il l be ,hdl.d In the fo llowing

-. )

)

Page 34: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• 31 •

II II .1'1 10 I •• th.t the d •• ,., o.~,.,I". " 90" 10' O' A

v "I<~ t, ,ooe • • ,d b, 'N I I • 101,t . , .~ 1 ••• 4 l ~U "' •

•• , he'"ft t polt <, Is .... to . ,\o •• , ....... .,Ioft 0'

OIL ( ~". 'loc ~ loo t.hud . of . OJ ). If .(t) ,. (, (i l •...• ,(!) ) a •• tn , contento of I "e

UU-ltoc t o f t n l t •• ge I.e' l 0 ' " ,Ion R ( wOn. , ( : 1 ...

t. t . ,ob,r, of tho p' g" v.lth . ro p.,.,.t I n l . t t l~1 t )

thl. O,~ .Or~ 1 I. f.llo • • :

.. " • " " here , • . (t) •

, , • " . • , , ( 10 1) ,. (~. a ( p . ( t ) ( t ) • (t), . . . ··.-1·· •• 1· • • •

". " . " , , I A ( t ) ,

( t ) ( t) I -I) • •• I ·····o-J· Q' .q " ,,,

[( t ) I t ' (t /) q •• I .. .. ·o·~ ·· "· " ",

(q .1(: 1 .... , .~~l ,.( ~IJ " '" .( tol l ., [q •• (I),· .. ,. ~~~ "i:1 ,I ( !)) " , " {(t! (t) 1

q •• I , .. . ""_2'~" " 1"

r~. I (}l .. ,. ,. i ~ l .'(!' ,~ . 01 " '" t ( t ) ( t ) ( t ) •• 1 ~ . , I ... . " . - 1 " 0-1'. - " PI

(1 ) , q'l , ~ . l •• ( Il

( t. , • • d,. o f the .,I,ObC ur pogu 11 .. tt .. tU b1 ,n,

to« t "1I fo . ....

.. 11 1 bl ' 0, 11 11, . )

Page 35: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

, " , In 0" , q. l , ~ (t) , [.(tl) , P I 0" • • ( t) , 0" , ~ I , ) , I ,(t)) " , 1'1 0" • , I t) , 0" • • ( t 1 '" , l 'l 0"

, A It ) 0"' , A ( t) , (.It) ,it)) n_ I • "

1" ,,, , A It )

'"' • • ( t I , I (-l,>l l ,

A I t) • ( t I " ''I 0" ,

'"' •

'"' , , '" or9ool .. \ lo. " " . ",.~bl ' "' r . ~lon' '" , " ,,' , , , , " I., 9' " ... , , ' , '. (~h • •• .. c~ • • 1 " ('I ' ~I I h

9n .. r" . ~ " 10<> 111' "' , ""'01'9 D~A o. P , .

~R A ) h .1 ~. l Hte d oon, l d . .. , I 1 "' , tJ R I"~x" , . , "' II ~I ("g lo b . l" , . ,

" O~A I .

1~ ;, ~od ; f; " tlon do . <no t pr . u.t • • y pr ob l ,. f or~ •• inc. t HO

R( i. gOYH.od ~ y tn • .... I •• dl'g ' ul " 'h i< h Ind . p,nd.n'

of UI< '"iion conoorn . d. "

I f ~ i, t. b. "9. nl .. d 910b,lly I n .gr •• """ wtH, lO U, t n • • •

1.00eo" o f I or 2 "« ttl,., for H cn of In . 'i we ,nou ld •

r ••• r • • n po,itlon, ( ~ ~ n ~ l ~ ) of ! to ~ • • o I n • • 'g" , , ~hlcn or" ' o. d . d In .d,,"CO fro ~ , h. <u b r~ 9 t .n. I) •. . .• !. , I "". ! <p llt. jn'o a LPU-part All) (contol .I'9 tn . p<g"

.hie n "H' boo n r .fo r . n c.d In th ~ c" c< nt ~'H) "' ~ • "Too,"

.h.-d " _PHt S(t)·

11 ... conn., u' t. , ., .... ~ 'Ich , l l.~, th o ., ;".,co o t "

po go to '0 ~ . prep ' god ... tt • •.

Inu . it no .u l tlp,.~c ... l ng t. , l lowod and If . Hog cn ~' 1

be por tttionod Int. 4 oc S c.~lon' of ot thl t . [9,11} , 100. ­

.no.d -P.ct co n.l 'ttn ~ ot ~ " ~ P' Q' S s houl d b • •• ft \cl " ,.

Page 36: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• ) 1 •

8" t t.". i •• • "I'lp,"~" .. 1"1 .. ,Iron. tnt It ~ t11 b. "VH\'~

\~ H It h o ... lble to .. o ' ~ . ff lcl, n tly wHh 18 ( 1)1 • 8 i.

H • • , g, .l ult o. 0' Alt) ,n. e ( t) ~ i T1 be dh<"".d tn d . ,.I I

for th e 1.ok-.h.,d-,190,lth. lA~ .. h l<" Is p' ..... '"d In th e

... t 'Htlon.

1.1. Th. loo '- ' h .. d .hod t " . lU

A, pr .p .... tn 1.1., ~~ (t) ,pitt, Into. l ~ U- •• rt Al l) Hd

i n to • loo ~- 'h.,d .'rt e(t).

Fo, ' . ... nt.nce , D(t) : . e(1) ( t. •. loo k- •• ud , •• loce •• • t ,

will b. ~u. onl, IF t he dl \O , . tea.cod h or ... H I n l~'

100 k- . hOl. porI . , ~~ ll) ) .

~.r . o •• r It wlT I b. , ,," •• d that l e( I ) I . lal • con ,l.

Thu. , I f th~ ,I •• 01 "~(t) I •• ,0.,I.nl Ih e ,I,. or ~ ( t)

do.,not . ,ry In tl ••.

A(t) : . [,'i) .... "PIJ, B( t ) : . [ b(:)" .. ,bHI] whe •• 'i ' 0t < (I, . .. , . ) .

f " ,th. rw.,., eft) " III b. 9 ••• , n • • b, Ihe flfD·prl.cipl •

• I . ce S(I) 0.1, eontains PlY" whle " hH, nol bt u rote ' , ne,d

I. the roc .. t .....

CI."ly Ihue . .. othH po"tbl lt llo< .f o'9,.I,ln9 . (I)"d

5(11. ~o .... i .o, p' ob l u. wi l l not~. " 9"d , ~ i. th o foll ._

wl"9 •• . 9 . f.' ~ ul .. For IAI < l. I ~' lo . dl ftg o , oblo .. Fo'

Page 37: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 3' -

. acgln.l ~'9" of ~ M He. ; tt ,,111 ~e oll olou, to eUQ1He t h~

oT~.nl .. tlon.

To ,hortoo the 00101100 tho t ollo. hi .bbr .. totIOM w111 bo und,

O.i~ " it~o. 4

ttt ~~ oe (h "ub ... 0 , t h pAg e .,Ue~ i. U' <H.Hd .t (,." t .

, " t +1 " ,. •

" " I (I • •• " ',.

J.1.1.

AIHI) : . ( r t •• q), ..... ~ ~I , . l! l ... . , . j ~lJ

elt+l) : . e ltl

3.1.2.

~ccordln9 to t he l~U - p r ln c lpl . we h. .. ,It; l ) :. r , .

The . , lghbOU" of TI ITO lo.d , d InlO , 1" 1) If t h ey ITO no<

1"' ~r","1 I n A(I) v t( t ). If rt

• elt) t his will b. 0 r .. 1

loo k_. h.od . t op which . ' y bo do • • without In t . r r"otln~ th e

P"og ' '', ThU, If co,h ... . 9he . by "t he - t ll o d. fl.HI •• o f

the co'" of , rtphce-ent ,lqo .. lt h .. (cf. deflnttlon I)

,hould b . .. odHled In ,uch • " ' 1 th .. only "on - Io.~- .h"d

r.~l . ce •• nt co.t, . re .. eg.rded. Thl. p .. e •• nt •• n Intore ,tlni

"9U_ .. t In f .. our of non - de ... d-p.glng OI 90TH"", .

Page 38: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- lS -

1~. t op of ,(t+l) <on.l.t. o f I~' PIg, 'il) w~ I< ~ Is •• p ll " ~

fro. A(I) (If . (~) < R.) Ind .f tho 1 " <o.ln~ n. l g~bo" , (S)

of " W~U ... t~o bo tto. p.gu of a(t) .. e .. placed.

l.l.r.l. Qrql.luU ••• f A(t+! )

lRU ! (ropl"utn t o f ·(1) . '!~l ): Alt+!) . • ( t) (t) 1 't·1 I · .. ·· · IAI · l .

If .(~) < RI • ,he. b('i l ) :. "!~l (e " J.).2.2.).

lRU l ( .. ph.o.e. ' of t ~ . pIg. of Alt ) wOld. is .0' I ... ber

.f ~ , I nd ~hl<h h .. bun 10 .. , .. «nt l y " .. d):

." ( • • '" • '" '1'11 t' I"'" IAI -2 ' A

H.ltleR . , if ' IH tRt

( (t) (t) I'll ' " "."IIAI-l' "IAI -I" l ._h~. w ls.

Ihe .rglnl,.'I •• of ,(,+1) dOp •• ds on wh. t he. 't • ,(')

0, 't ~ ,t tl IS w.ll .. on ~h.,"or .Ip • R, (w~lch is 1 _ _

p.sslbl. if A(') Is g ..... . d b.Y lRU 2) or .Ip , ~"

Page 39: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

. 36 .

1 . 1.1,1.1.

.. ~.r. •

" • " " ~ ( , , ) -

" • ,- " " .(1 ) • " " •

J.].l.l . l. . ,'" , .'" 'I • •

Co , • ( t ) • • " • , • , (., .».

U. I"9 '" 1~.r , .I.t10" '

( -

" • • " " • " -• " ,- • " • -" " • "

-, obta i " '

3. 3. Z.Z.3.

, ,

.11) j " . ,

~" ( t)

1M( t) -"

.' • ,," (I) ,

, "~ ( I )

~~ It)

Page 40: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- "

'" '" '" ,. , '"

-

-

• " • "

" ,

, " .;

l.l.I.I.'.

'"

-, , t

.' " , . -

I { t I

( ' -(I) ( t It ' •••• 'OI·····bI 11 _

C ' (<I {tJJ 'I , b 1 ····· ~I II·I

( ' (I) (t) ( t )~ ",b, I " b I , .. , b l i l •

[ . ( <) ', .b I , .. ,b It) (01 BI _r , bl • 1

- ,,"It, " ,

- IIN{ t ) "

, -

" '" " '" " " , " '" " '"

""I t) • " , , .. .MI", (bf~11

,,~(t) "

,,~It) "

~~ (t I " '

-, -,

- b ( t)

" • ~ j ~ 1

• - " ( o cr' ,- l)

A ( t)

• A ( t)

• 1'1 {t } (t ) ... [ 't· b • . b I ,····. ' U_IJ

or9·"I .. ~ ~hh

o '~'"I"~ ~ 1U

If (I")

If (I')

If 0')

". ,

". )

Page 41: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 18 -

{L' I , " • • :'IN( t l

(Z- I " • • ""( t l .... { b l~11

(n • b {t I " • ,. ~ ( I) or9u1 ud wHO '"" ,

1") " • -~m A (I I .rg. "I ... ,,110 I.~U 2

J.l.l. S . ~ • • " . l'plu,o t Hlo, .f LH

8, the lo.k - • • •• d . 19,,10 •• LAA • PH" ( . , . , J I

,'e louu .1"lto ..... ly I f 't <', . ~~{tl~ .( t ).

To .lo,lIf, , he 0 ' 9 •• 1,,11 •• '0"" of th e ' eol,u ... nl , .1.,

... , be ._Ht.d without . educl.g ,19.lFlcuU , th oedor'

','ce of tho .190.lt~ •.

A . ... 10. 0' L' A (go •••• ed by l~u I ,'d dh .~g"d l"9

." ., • • 1 ",phcuo'U) ... ho. th.lotod " . the en llo.

"d a u. <.~~.tH' of ·u. h ... ItH dn S, .. I ,."u.

S .. .. rU" on 1 ~-G .... nYl · . S I ~, I I\ I O" ,""It< ITo gl o., I .

tk . ' Pp , nd h .

1. 4. Pr.port l .. of I.AA

f or ~.' h 0'1. , .d $ ' ' ho "" ••• r of 0'91' to ~. br"'o"t In ,t

thl .'~ tl •• \, • • • t,;<to. 0, t I ...... . , ." ,. I p.go.

, • • 1 •• d.O .1~u lt." .o u.l, by I.AA).

Page 42: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- ]9 -

hc~ of th , 19.d th • • OIL, SP .nd lAA to gOH " od ~, th ~

P~-o ' I ",I .l. (pr~O'91"9 o f n ~ 19 ~bo,",); 101 . ~IH. n fr ••

tho ...,dl fle . llo., Sl (.o . tlol loc . l I1y) .. ~ II ( aoDorol

10,"11(1) of O~l which h ... b~u dtsc.,soa In [3) .

, "

t , ' o •• ,ly P, •• ,.t tn ~~.

.. , " , ..

St •• lotlo. , .. ,I to .f Joa.h or. obl.l.od f or I~(\) ' • ,

(con,ld e rl ' g the foct that for "on. pro lro ~ . fnvr .....

of ,e\t .l t y .r. ,uf f le l on ').

Sine l a(t) I. 90 • • , •• 4 by fiFO ( w~tc. I, nolo 'toek ,10'­

rI,h_ ) .. d !A( t }1 .. d l a(t ) 1 hn. hen ... ~ .. d to b. , 1 •• -

t n • • rlont, l~~ I. no t •• t.<~ .190 r l t~ • .

10 ,ho .. Ihi' "olle lll y ... . u,t co .. t'~c t • ro ' HonC' "rln9

(o f .og. n •• ,.r.) w. '1 ' ~ . ... " . • n""bO' t • ~

.. a , t l .. t wllh;

wh orl l(t}(I,,,,} ,re t he e.n' en" of Ine loo t_ ' h .. d_.ort

S of ~~ It ,I •• t . if l SI _ I ,n ' t" "'eruct >I 'ln9

.. I •• ' o<oUod.

Page 43: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• 4. •

E' ''pl. , (G . ,.ft l .. <1on or A(t) .tt~ ... L ) :

'" IA(t ), • , . ,

" _ ( 1) I( t ) ( .... )

, , , • , '-' ,

" .., 1 . ~.J.l

• • L • • ~ 11 .0.7. 5 , " • • 1 0 l.5 . 11.9

• 16 •• 11.15.],5

[ ••• ,1. t (G ' 9. ft l,.tl0. o f A(t ) v l t. ~_u t J:

l~t ! l ( t )1 • t .

, '. A ( t) !( I) ( •• ~)

, , , , , , . , , • ..,

6 . ' . J • 1

• , .. , 9.1.6 . ' , " , .. l.1.9 . 1

• II . 2 12 .10 . ] ,1

hOi fo. bOU ". , Ind l RU " , (6)( 4 . ") •

B(t).S . ,.)

,. , 7.5,l.1

11, 9.7 . 5 . 1

11.9 . 1.5 . l

Ll.L S. IL.~.1

8 (II( s ." 1

, . , ~ .' • J. 1

~. 1 ,6 . '.1

1,9.' .6.)

n,Io.I, ' .1

I(~){S . ")

Page 44: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• II •

_( I ) II 90 •• r~ ••• ,'~. ' by lRU I (I. '~I. c ••• , _ •• ,.,t P ' OP~ '" I. Ob.lo •• ) Or by l'U Z.

' .. or,

II •• on,t c'o. llU Z - o'l .. t .. lloo 0' _(I) ••• o. I > 2.

fo r I C l t ho "oo, .. Ill b •• I.th,.

If I. t. ,Oe I t, ••• t •• w.o. _( I ) (,0."",., of I ••••• )

. 111 bt 1.11 '0" oo- tn.l , ,

A( · l(t •• ) C A(I)(t . I •• ) lor t Ct.,

N.- ... P'o",' b, toducito . o. , ' 0 '.0" \~ o r.ll.w t "~ :

[.,b,r)

["d ,o \ • {. ",a]

(r,., bl

Page 45: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

(··ql .. ···q!~1· ·1 " , I " ~ (t+l)(I,"') • (r,ql'····QI_pb) " • , " • • I " (· · QI ·· · · ~I _l · l .b l " '.' • "

I n ""~eod",CO of t " "".~ .. 'A of t" pl go ~ '1c ~ will 0,

•• pl., . d f.o • • (t)(1 .1.w) •• o~t. I .:

2. '. • b:

I(' t ' ~1 , ... , 01_2, 1 , ' J

·1 [·t··I'·· .. ql- 2·· '·J

Page 46: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- H -

The ~er f oro.~,. of l AA h" be • • '.'p,.ed wIt h th , b.h, . Io ••

o f ",", I .... "~ ~ ' 91 " 9 . lg".ltho, I~~"DDK, FIFD , lRU) .

00.11"9) ore pl<t"eG I. t~. followlog.

A •• p.g" ,I .. . , • U . .. <"oo .. n. ~o. o . ' or t., '"9io. I

Of i.<t •• <tioo •• n ~, •• u<lodo d f •• o t.o ,I •• lttlon, .

If t he PI ge ,1 .. I. Inere ... d .. d/o' th Iost , .ct ' o. <0'.

Is 1. <l , do • . t." , . , ,,U9" o f lU o., ld 'HU'n1, ~ •••• •

.oro <o n, l"c'"g. FI.,ll,. e l t )"., r •• td 'tH On •• 'S".

It . tll be ... u~.d 1 .... dlH. 'y thot l A~ b . ..... '"'Y b,~

If t. " .i • • of ~~ , . "" • • • 11 , ' 0<. io thi. c • • e .'"1

•• Ii<. I . e 10"'. to ,dUM o .

On t . , a'. er ,ide , I f t.e •• t ••• uffl<t e .t .u ... r of .,~ ••

( J 16 o. ) lo i. ou r ••• • pl •• ) th e . 1.11. , .,t. ,. "dUC' . ,0. LU tu'.' out to be f.,o; , ble H "I I) < I

f., I • 2 . n. I • 3 I' f. deftolllon 1).

rln,l ly I he do.i., ••• of lA~ O • • r d • • ,.d P'91 09 'l~o'! . ~ ••

• 1 11 b ..... do .. f.o _ t. , foct that lA~ ,~ .... up " .

co_puhtlO. ,Ioc. loo k- , ••• d replace. , ... "' y be c .. ,led

out w H~o. t 1.I. rr uptl"~ t ho .... utlo. 01 t he pr09 " ".

Page 47: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

• ,.' _ 14 •

MATRll IHV(R$lON , .. , '. " 9< .h. • • " • ,., • • o . • ~ , fIfO

, CO"

• • RM DOM

•. • 2 , • co •

• , 0.0 1 • ,. ,

• , " •

o . • oS , I • , , , • • , • , • • ,

• ,

•• 0 , •

, •. 0. 1

• , • , , ,

• , , • , •

" " " [rill! t] I

Page 48: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6
Page 49: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- 46 •

IUUUC!S _ ........ . ( I] Ah, A. r._ Quo'o, _ , . 1 .... ~ ~u . .. , 1. Q. ,

,.t .. lp' .. o f .pH • • , p . ~ e .e,h<e~~t.

J. ACM 1.! P "I ) So - 'l.

[tl ...... . l.-I ... d s.~ .... G. ~.,

"t •• u ••••• t ,.d i.p.o ,~ •• nt .1 "0, ••• h~" •• 10".

p] ..... , I. - t .... S.g.~. G. ~.,

1)0 1"" dy ..... ' d. l lftliloo of 10ulttl h ,1.10"

.uo.y .,,, .... .

t.,o ••• o Stot~ U" tnr.it,. Tech •• h port CS ' "-01.

A Hudl .f ,<pTHU •• t .190.tth ~. h. , 1.tu , 1 ~U".,

I t ... ~. '""put o".

18H 51st . J. ~ 1 19U) a . 101.

(s) (_"ou, Eo G. J~ . u d h •• i.g , ,. J.,

Op • • • tt o, SI. t ••• Th<. ' "

[II ~ ... i.,. P. J. ,

n . ~ .. ~ to, .~ t _<, f • • pr., ... h.ntur.

c •••. UM.!.! ( t ' U)nl l lJ.

Page 50: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

_ ~ J _

(I] P.~.~.g. P. 1. UO Sd",.U. , ~. C.:

P,o~r'tlr. of th o ~0"ln9 '0 ' -odol .

CU • . AC" 11 (19Il) 191 - 198 .

r ~) Ga,. h , r. , It .• ,o.t , J. uo ~otiu, ~.,

Aoo ly" ~'"n . 190,l th •• d. 9 .. 1100 .t_u'ton h

~holco <e ot .. le Dhq.e de paql " ltto" .

AU , i"f.' . lt tc . l (191&) HI - lH.

[9J hOoc",V .H.,

C o.'I~e".to" I n ~ Ioo ~- or!.,t . d '1H •• ' ~ .. IQ".

5JU 119~ 1) J5 - 80 .

( 10) Hot.<.td , p, 1. n~ G •• atd . J.,

Pro~ru ,ute.ctu,t n9 f oe .I" u" ~ .,'o'y.

IBM Sy<t. J . 10 n91l) ltiS 191.

( I I] )OHp', ~ . ,

An 0 •• 1,,1. o f p'9;n9 .nd 0' 09" _ boh •• lou r .

Tho C • • put •• Jo"rn, 1 II (IHo) 48 - 5~.

[Il] luJa." J.,

T~ . ~ . h1 • • ho,~ . 0d. 1 of ~ ro 9 ". b .~ .. I.U T.

In: Cooputo, .'(~;trctu"< >nO .~tvo r ~ ,.

Kort b Mol Ion. (197~) 19~ - )l9.

Page 51: A ~T~EMATICAL ApPROAC M TO - uni-saarland.de · 2019-01-10 · a ~t~ematical approac m to program bemav!ou r ahd loo k-ame.o.d replac£iiemf algor ltmms otto spa nio l a 7h6

- '8 -

Cn] helton. ~.l. . (l.~ai , J .. Slot<, P. 1.

~"d r.. <;g ( ' , r. L,

Enl"otl •• tt< ~"! q". , .f H .... ~. ~I\ ....... ~II .. .

18'1 ~1H . J. , (lHo) 18 - 117.

(L~J ...... t<. l . R. u d D pdlM~"~, H.,

H .ck "' 010« ... 1 . Ig.rit , ", f., h. · , • • • , dl'O(lly

. dd,"".~h P' 90d . ... rI ...

51AM J. Cuoutlng I (lgI 4 ) II - n.

[15) Opdu~ .. t. II .... d n~, ~ .... ,

n . po;t foull froQu . "y , • • I ao ono n, ,lgo,I". ,

FJCC (1912) 591 - ~09.