Matematiikassa pysähdyspisteteoria tai Markovin aika liittyy ongelmaan ajoittaa tietyn toimenpiteen suorittamiseen odotetun palkkion maksimoimiseksi tai odotettujen kustannusten minimoimiseksi. Pysähdyspisteongelma löytyy tilastojen , taloustieteen ja talousmatematiikan aloilta (liittyy amerikkalaisten optioiden hinnoitteluun ). Merkittävin esimerkki pysähtymishetkeen liittyvästä on Picky Bride Problem . Pysäytyshetken ongelma voidaan usein kirjoittaa Bellmanin yhtälön muotoon ja siksi se ratkaistaan usein dynaamisen ohjelmoinnin avulla .
Pysähtymishetken ongelma liittyy yleensä kahteen kohteeseen:
Kun otetaan huomioon nämä objektit, ongelma on tämä:
Tarkastellaan suodatettuun todennäköisyysavaruuteen määriteltyjen prosessien vahvistusta ja oletetaan, että tämä on suodatuksen adaptaatio. Pysäytysajan ongelmana on löytää pysäytysaika , joka maksimoi odotetun voiton .
jossa kutsutaan funktion arvoksi . Tässä voi olla merkitystä .
Tarkempi sanamuoto on seuraava. Tarkastellaan adaptoitua vahvaa Markov-prosessia , joka on määritelty suodatetulle todennäköisyysavaruudelle, jossa tarkoittaa mittauksen todennäköisyyttä, jossa satunnaisprosessi alkaa . Jatkuvien toimintojen huomioiminen ja pysähtymisajan ongelma
Tätä kutsutaan joskus MLS-formulaatioksi (vastaavasti Meyer, Lagrange ja Supremum). [yksi]
Pysähdyspisteongelman ratkaisemiseen on kaksi lähestymistapaa. Kun taustalla olevaa prosessia (tai prosessin vahvistusta) kuvataan sen ehdottomalla äärellisulotteisella jakaumalla, niin sopiva ratkaisumenetelmä on Martingale-lähestymistapa, joka on niin nimetty, koska se käyttää Martingale -teoriaa , tärkein käsite on Snellin kehitys . Diskreetissä tapauksessa, jos suunnitteluhorisontti on äärellinen, ongelma voidaan ratkaista helposti dynaamisen ohjelmoinnin avulla .
Kun taustalla oleva prosessi määritellään (ehdollisten) siirtymäfunktioiden perheellä, joka johtaa Markovin todennäköisyyssiirtymien perheeseen, voidaan usein käyttää Markovin prosessiteorian tehokkaita analyyttisiä työkaluja ja tätä lähestymistapaa kutsutaan Markovin menetelmäksi. Ratkaisu saadaan yleensä ratkaisemalla niihin liittyvät ongelmat vapailla rajoilla (Stefan-ongelmat).
Olkoon Levyn diffuusio sisään stokastisesta differentiaaliyhtälöstä
missä on -ulotteinen Brownin liike , tämä on -ulotteisesti kompensoitu Poissonin satunnaismitta, , , ja toimii siten, että on olemassa ainutlaatuinen ratkaisu . Antaa olla avoin joukko (vakavaraisuusalue) ja
konkurssin aika. Optimaalinen pysäytysongelma:
Osoittautuu, että tietyissä säännöllisyyden olosuhteissa [2] seuraava lauseen vahvistus sisältää:
Jos toiminto tyydyttää
sitten kaikille . Lisäksi jos
Sitten kaikille ja on pysähtymisaika
Nämä ehdot voidaan kirjoittaa kompaktimpaan muotoon (integro-variaatio-epäyhtälö):
(Esimerkiksi missä konvergoi)
Sinulla on kolikko ja heität sitä toistuvasti. Joka kerta ennen kuin heität sen, voit lopettaa sen heittämisen ja saada palkan (oletetaan vaikkapa dollareissa) näkemiesi päiden keskimääräisestä määrästä.
Haluat maksimisumman, joka sinulle maksetaan valitsemalla stop-säännön. Jos x i (jossa i ≥ 1) muodostaa riippumattomien, identtisesti jakautuneiden satunnaismuuttujien sarjan Bernoullin jakauman kanssa
ja jos
sitten sekvenssissä on tähän ongelmaan liittyviä objekteja.
(Esimerkiksi missä se ei välttämättä lähenty)
Sinulla on talo ja haluat myydä sen. Joka päivä sinulle tarjotaan kotiisi ja maksat jatkuvasta mainonnasta. Jos myyt kotisi päivittäin , ansaitset missä .
Haluat maksimoida ansaitsemasi summan valitsemalla pysäytyssäännön.
Tässä esimerkissä sarja ( ) on talosi tarjousten sarja, ja ominaisuus "palkkiot" määrittää, kuinka paljon ansaitset.
(Esimerkiksi missä on viimeinen sekvenssi)
Tarkkailet sarjaa kohteita, jotka voidaan lajitella parhaasta huonoimpaan. Haluat valita pysäytyssäännön, joka maksimoi mahdollisuutesi valita paras ominaisuus.
Jos esimerkiksi ( n on joku suuri luku ehkä) ovat ominaisuuksien rivit, ja tämä on mahdollisuus, että valitset parhaan ominaisuuden, jos lopetat ominaisuuksien tarkoituksellisen hylkäämisen vaiheessa i, nämä ovat tähän liittyvät sekvenssit ongelma. Useat ihmiset ratkaisivat tämän ongelman 1960-luvun alussa. Tyylikäs ratkaisu sihteeriongelmaan ja useita muutoksia tähän ongelmaan tarjoaa nykyaikaisempi optimaalinen pysäytysalgoritmi (Brucen algoritmi).
Taloustieteilijät ovat tutkineet useita "sihteerin ongelman" kaltaisia optimaalisia pysähtymisaikoja koskevia ongelmia ja kutsuvat tämän tyyppistä analyysiä yleisesti "hakuteoriaksi". Hakuteoria keskittyy erityisesti työntekijän korkeapalkkaisen työn tai kuluttajan edullisen tuotteen etsintään.
Rahoitusmarkkinoiden optiokaupassa amerikkalaisen option haltija voi käyttää oikeuttaan ostaa (tai myydä) kohde-etuuden määrättyyn hintaan milloin tahansa ennen tai erääntyessä. Näin ollen amerikkalaisten optioiden arvostaminen on pohjimmiltaan optimaalinen pysäytysongelma. Harkitse klassista Black-Scholes -mallia ja olkoon riskitön korko sekä osinkoprosentti ja osakevolatiliteetti. Osakekurssi seuraa geometristä Brownin liikettä
Riskimittarin mukaan.
Kun parametri on ääretön, optimaalinen pysäytysongelma
missä on osto- ja vetovaihtoehdon voittotoiminto. Vaihteleva epätasa-arvo
kaikille siellä, missä se on fyysisen harjoittelun raja. Ratkaisu on tiedossa [3]
Toisaalta, kun aikaraja on äärellinen, ongelma liittyy kaksiulotteiseen vapaan rajan ongelmaan ilman tunnettua suljetun muodon ratkaisua. Erilaisia numeerisia menetelmiä voidaan kuitenkin käyttää. Katso Black-Scholes Model#American Options eri arvostusmenetelmistä täältä ja Fugit diskreetistä puupohjaisesta optimaalisesta harjoitteluajasta.