Tükati funktsioonide modelleerimislabor

Kasuta kahte lineaarset reeglit, mis jagunevad punktis x = c, ning hinda väärtusi ja hüppekäitumist.

Interaktiivse simulatsiooni laadimine...

Õppetund

Teooria — Tükati funktsioonide modelleerimislabor

Tükiti定 määratud funktsioon pole üks reegel koos erandiga, vaid kaks täielikku reeglit pluss teade, kumb kus kehtib. Siin valitseb üks lineaarne reegel kõike murdepunktist c allpool ja teine kõike alates c-st. Huvitav küsimus pole kunagi see, mida kumbki tükk teeb — need on lihtsalt sirged —, vaid see, mis juhtub õmbluskohas.

Mida iga sümbol tähendab

c
murdepunkt: sisend, mille juures reegel vahetub.
f(c⁻)
kuhu vasak tükk suundub, kui x läheneb c-le altpoolt. See on piirväärtus, mitte funktsiooni väärtus: c-s vasak reegel enam ei kehti.
f(c⁺)
väärtus, mille parem tükk c-s tegelikult võtab — ja ühtlasi funktsiooni väärtus seal.
jump
f(c⁺) − f(c⁻). Null täpselt siis, kui kaks tükki kohtuvad.

Kust valem tuleb

  1. Kirjutage määratlus koos tingimusega välja: f(x) = m₁x + b₁, kui x < c, ja f(x) = m₂x + b₂, kui x ≥ c. Pange tähele, kummale tükile murdepunkt ise kuulub — siin paremale, ja just seepärast näitab graafik vasakul harul tühja ringi ja paremal täidetud punkti.
  2. c-s on funktsioonil parema reegli antud väärtus m₂c + b₂. Vasakul reeglil pole seal väärtust, aga tal on siht: kui x tõuseb c poole, läheneb m₁x + b₁ väärtusele m₁c + b₁. See ongi vasakpoolne piirväärtus.
  3. Pidevus punktis tähendab, et mõlemapoolsed piirväärtused ja funktsiooni väärtus langevad kokku. Siin on parempoolne piirväärtus ja funktsiooni väärtus üks ja seesama, seega kaks kolmest on automaatsed ja kogu tingimus taandub üheks võrrandiks: m₁c + b₁ = m₂c + b₂.
  4. Üks võrrand, ja selle rahuldamiseks võib nihutada ükskõik millist kordajat: b₂ = (m₁ − m₂)c + b₁. Pidevus on seega alati saavutatav ja mitte kunagi tasuta — selle peale tuleb kulutada üks parameeter. Kui seda ei tee, on ülejääk täpselt see, mida näidik nimetab hüppeks: (m₂c + b₂) − (m₁c + b₁).

Kuidas nähtut lugeda

Sinine lõik on vasak reegel ja oranž parem, kumbki joonistatud nii kaugele, kui tema enda tingimus lubab. Murdepunktis lõpeb sinine haru tühja ringiga — sihiga, mida ta kunagi ei hõiva — ja oranž algab täidetud punktiga, mis on f(c) tegelik väärtus. Kui need kaks langevad kokku, jäävad ringid teineteise peale ja hüppe reas seisab 0. Rohekassinine punkt on f(x₀) selle jaoks, mille te hindamiskasti kirjutate, ja kolm viimast rida tõlgivad pildi arvudeks: kas tükid kohtuvad, kui palju tõus üleminekul muutub, ja kas allapoole aste tekitab sisendite vahemiku, mis maksavad rohkem kui murdepunkt ise.

Eeldab
Mõlemad tükid on sirged, murdepunkte on täpselt üks ja see asub teadaolevas kohas. Poolavatud kokkulepe on oluline ja see on valik: parem reegel omab punkti x = c, seega f(c) on m₂c + b₂. Pöörake kokkulepe ümber ja väärtus selles ühes punktis c muutub, hüpe aga mitte.
Ei kehti, kui
Tõeline häda algab siis, kui c pole teada, vaid hinnatud. Samadest andmetest hinnatud murdepunkt, millega sirgeid ka sobitatakse, on parameeter, mis valiti vea minimeerimiseks — tavalised regressiooni standardvead jäävad seetõttu liiga väikeseks ja sobitus paistab parem, kui ta on. Just selle jaoks segmenteeritud regressiooni meetodid olemas ongi. Ja kahetükiline mudel ei ütle kolmanda režiimi kohta midagi: kumbagi sirget vaadeldud vahemikust välja pikendades eeldate reeglit, mida te kunagi ei kontrollinud.

Pidevus murdepunktis tuleb ise valmis teha 🖖

Hüppereal tasub silm peal hoida: kolmes valmisvalikus neljast on seal nullist erinev väärtus. Takso hind langeb murdepunktis 13-lt 12-le, soodustuse puhul 2,5 võrra ja jahtumiskõveral 4,8 võrra. Kõigil neil juhtudel väärtus väheneb, seega viib odavamale määrale üleminek kogusumma alla. Pidevus ei teki siin iseenesest, vaid nõuab täpselt sobivat seost m₁c + b₁ = m₂c + b₂. Maksuvalik täidab seda tingimust teadlikult — selle teise haru vabaliige on −2, sest niisugune väärtus saadakse pidevustingimuse lahendamisel b₂ suhtes. Muuda taksovaliku teise haru vabaliige 8-lt 9-le ja ka selle hüppe väärtuseks saab 0.

Üks funktsioon, kaks reeglit 🖖

Tükati mudel kasutab murdepunktist c vasakul üht lineaarset reeglit ja paremal teist — nagu taksomeeter, mis võtab alguses üht tariifi ja hiljem odavamat. Kaks tükki ühinevad sujuvalt ainult siis, kui nad punktis c kokku langevad: pidev täpselt siis, kui m1·c + b1 = m2·c + b2. Muidu näitab tulemus hüpet — graafik hüppab ühenduskohas üles või alla.

Nurk, mis käitab süvaõpet 🖖

Enamiku tänapäevaste närvivõrkude aktiveerimisfunktsioon ReLU on lihtsalt tükati lineaarne funktsioon: kalle 0, kuni x on negatiivne, ja kalle 1, niipea kui see muutub positiivseks, ühendatuna murdepunktis x = 0. Seal on ta pidev, kuid tal pole tuletist — terav nurk, mitte sujuv kõver. Kui laduda kokku miljoneid selliseid ühikuid, arvutab kogu võrk ikkagi ühe hiiglasliku pideva tükati lineaarse funktsiooni.

Allahindlus võib teha kaheksa kallimaks kui kümme 🖖

Laadige kogusallahindluse eelseadistus ja vaadake näidiku viimast rida. Määr langeb kümne ühiku juures 1,2 pealt 0,7 peale ja kogusumma langeb kaasa: kümme ühikut maksavad 9,5, kaheksa aga 9,6. Rida annab kogu piirkonna: alates 7,916667 ühikust kuni murdepunktini maksate rohkem, kui lihtsalt kümmet tellides. Iga allapoole hüpe tekitab sellise vahemiku, ja hinnakirja on see imelik asi kirjutada, sest see premeerib kaheksat soovivat klienti selle eest, et ta tellib kümme ja võtab kaks lisaks tasuta. Just see on praktiline põhjus pidevust kontrollida, mitte dekoratiivne. Lülituge jahtumise eelseadistusele ja rida ütleb, et sellist piirkonda pole — langev haru ei tõuse kunagi kõrgemale väärtusest, mille poole ta liigub.

Ülesanne täielikult lahendatud

  1. Tariifi murdepunkt 5 juures ja vahemik, kus rohkema ostmine maksab vähem 6 sammu

    Tariif arvestab hinnaks 2x + 3 allpool murdepunkti 5 ja 0,8x + 8 sellest kõrgemal. Leia väärtus kohal 7 — seejärel leia vahemik, kus rohkem ostmine maksab vähem.

    1. Kaks sirget ja reegel selle kohta, kumb kehtib. Ainus vajalik tähelepanu puudutab piiri: täpselt x = 5 korral kehtib teine haru.

    2. Lähene murdepunktile mõlemalt poolt. Vasakpoolne piirväärtus ja tegelik väärtus ei lange kokku ning selle erinevuse suurus ongi hüpe.

    3. Ka tõusud ei lange kokku, ja seda sõltumatult. Funktsioon võib olla pidev koos nurgakohaga või teha hüppe ilma nurgakohata; see funktsioon teeb mõlemat.

    4. Nüüd huvitav küsimus. Küsi, kus esimene haru on juba tõusnud kõrgemale väärtusest, kust teine haru algab.

    5. See võrratus kehtib alates 4,5 kuni murdepunktini ning kogu sel intervallil on odavam ost suurem.

    6. Tingimus, mis selle akna eemaldaks, on kirjapanemist väärt, sest just seda hästi konstrueeritud hinnakiri rahuldab.

    Vastus

    13,6, ning vahemikus 4,5 kuni 5 tasuks alati osta 5. Teine haru algab väärtusest 12, kui esimene haru sellest alles ülespoole tõuseb, mistõttu igaüks selles aknas maksab vähema eest rohkem. See aken ei ole ümardamisartefakt — see moodustab 10% kogu esimesest astmest ja on täpselt see, mida katkev tariif kaasa toob. Tegelikud hinnakirjad väldivad seda, pannes osad omavahel kokku puutuma: pidevus nõuab seost b₂ − b₁ = (m₁ − m₂)c, mis siin eeldaks, et 5 võrdub 6-ga. Marginaalsed maksuastmed on ehitatud selliseks meelega, mistõttu rahvauskumus, et palgatõus võib vähendada kättejäävat tulu, on tulumaksu puhul väär ja tõene peaaegu iga kunagi trükitud hulgisoodustuse puhul.

Allikad (2)

Näiteülesanded

  • taksohinna mudel - Murdepunktini 5 on avaldis 2x + 3, sealt edasi 0,8x + 8. Piiri ületades langeb väärtus 13-lt 12-le. Asenda teise haru vabaliige 8 väärtusega 9 ja hüpe kaob: selle väärtus on 0.
  • hulgi allahindluse mudel - Kuni 10 ühikuni on ühikuhind 1,2, seejärel 0,7 ja vabaliige 2,5: 10 ühikut maksab 9,50, kuid 8 ühikut 9,60. Alates 7,916667 ühikust on tellimus kallim kui lihtsalt 10 ühiku tellimine.
  • jahtumisfaasid - Kahanev mudel: esmalt -0,5, seejärel -0,1, kusjuures murdepunktis langeb väärtus 4,8 võrra. Ainuke valmisvalik, mille puhul tööriist ei näita ühtki ülemaksmispiirkonda, sest kahanev haru ei saa võrdlustasemest kõrgemale tõusta.
  • tulumaksu piirmäär - Ainus eelseadistus ilma hüppeta: 20% kuni 10 ja 40% üle selle, teine algordinaat −2, et tükid täpselt kokku sobiksid