Något om Linjärprogrammering och Mathematica

Transkript

1 HH/ITE/BN Linjärprogrammering och Mathematica Något om Linjärprogrammering och Mathematica Bertil Nilsson max får 7kor får g får g får kor g då får kor g kor 7 g får 0 g kor 0 g 7 kor får.0. x y x y z x y z y z 0 x y 0 0 z 0 z

2 Linjärprogrammering och Mathematica HH/ITE/BN Förord På följande sidor presenteras en elementär "streetwise guide" till Linjärprogrammering (LP) med flitig användning av Mathematica. Framställningen är fåordig, fri från pedanteri men i någon mening fullständig. Det man väsentligen behöver veta om begrepp, terminologi, beteckningar och teori för att modellera och lösa problem i framtida kurser och yrkesliv som ingenjör, naturvetare eller lärare klarläggs och typiska exempel ges. Inledning och terminologi Dagens samhälle ställer höga krav på effektivitet. Inom näringsliv och industri blir detta speciellt tydligt. Frågor som ''hur utnyttjar vi vår maskinpark mest effektivt?'', ''hur planerar vi våra transporter så att restider och bränsleförbrukning minimeras?'' och ''var bör vi lokalisera nya lagerlokaler?'' är där vanligt förekommande. Modern matematik ger förutsättningar att besvara dessa frågor. Effektiva datorprogram har utvecklats med matematik som bas och tillsammans med allt snabbare och billigare datorer ges idag ovärderligt stöd åt strategi och beslutsfattande. Denna typ av planeringsarbete där man tar hjälp från matematiken benämns operationsanalys. Eftersom det nästan alltid ligger ekonomiska intressen bakom den här typen av verksamhet är det av största vikt att frågeställningarna kan utredas snabbt och effektivt. Det centrala inom operationsanalysen är att någon form av optimeringsberäkning utförs (latin "optimus" - att göra något så bra som möjligt), det vill säga man hittar den handlingsplan som minimerar eller maximerar en storhet (t.ex. kostnad eller tidsåtgång) givet att de villkor som beskriver processen är uppfyllda. Med handlingsplan menas här t.ex. hur många artiklar av en viss vara som ska produceras eller hur man ska schemalägga flygplan. En annan benämning som används är matematisk programmering (eng. mathematical programming). Gränsdragningen mellan begreppen operationsanalys och matematisk programmering är oskarp. En av många använd skiljelinje är att matematisk programmering innefattar optimering rent allmänt, medan operationsanalys innefattar just olika typer av planeringsarbeten. Innan beräkningsarbetet kan utföras måste den aktuella frågeställningen formuleras i matematiska termer, det vill säga man måste bygga en matematisk modell av den verkliga processen. Ansvaret för detta har ingenjören eller operationsanalytikern. Vilka förenklingar av verkligheten som bör göras i modellen måste bedömas genom att väga önskad noggrannhet i det slutliga resultatet mot beräkningstider för den algoritm som ska användas. Många gånger är det omöjligt att göra en exakt modell, verkligheten är helt enkelt för komplex för att den ska gå att beskriva på ett överskådligt sätt. Man får då ofta nöja sig med en linjär modell, det vill säga en modell där alla förhållanden mellan de ingående storheterna både i det man vill optimera och i de villkor man måste beakta beskrivs med linjära samband. Man har därmed formulerat sin frågeställning som ett linjärprogrammeringsproblem. I många fall är detta fullt tillfredsställande, det vill säga man har formulerat ett problem som både ger tillräcklig noggrannhet och ger rimliga beräkningstider. Men vi börjar med några exempel från vardagslivet. Exempel: Lille Bo fick sin önskeroman i julklapp. När han lagt sig på kvällen beslutar han sig för att läsa i precis timmar. Romanen läser han ut på timmar och så finns ju den fina tegelstenen Analys i en variabel som räcker länge och faktiskt ger 0 högre läsupplevelse jämfört med romanen. Hur skall han fördela timmarna mellan böckerna för att maximera sin läsupplevelse? Lösningsförslag: Antag att han läser t r timmar i romanen och t a timmar i analysboken så har vi från problemtexten att. Maximal tillgänglig lästid är timmar t r t a.. Romanen räcker i timmar t r.,. Negativ lästid befattar han sig inte med t r 0, t a 0. Nu vill Bo maximera sin läsupplevelse. Eftersom denna är proportionell mot lästiderna och Analysboken ger 0% högre läsupplevelse har han att maximera den sammanlagda läsupplevelsen t r.t a. Vi har alltså ett optimeringsproblem. Funktionen f t r, t a t r.t a som skall maximeras kallas mål- eller objektfunktion (eng. objective function). Tiderna t r och t a kallas designvariabler (eng. design variables). Nu kan inte tiderna väljas hur som helst utan begränsas av villkoren - ovan. Dessa kallas då för bivillkor (eng. constraints). De naturliga bivillkoren och är så kallade positivitetskrav (eller egentligen icke-negativitetskrav) som av historiska skäl inte alltid brukar räknas in bland bivillkoren utan anses självklara. Vi ansluter oss inte till detta. Det typiska för vårt optimeringsproblem är att både objektfunktion och alla bivillkor är linjära. Man talar då om Linjärprogrammering (LP) (eng. linear programming) eller att man har ett LP-problem. Egentligen borde det heta Linjäroptimering men traditioner är inte lätta att bryta.

3 HH/ITE/BN Linjärprogrammering och Mathematica Vi sammanfattar problemet på standardform max t r.t a t r t a t r då t r 0 t a 0 Eftersom bivillkoren är linjära kommer de var och en att dela upp vår värld i två halvor, så kallade halvrymder, en otillåten och en tillåten att vistas i. Snitttet eller skärningen mellan de tillåtna halvorna, det vill säga den mängd som tillhör alla bivillkor, blir ett konvext polygonområde och kallas tillåtet område eller simplex (eng. feasible region). (I en konvex mängd ska alla punkter på sammanbindningslinjen mellan två godtyckliga punkter i mängden också tillhöra mängden. Polygon är en månghörning med räta kanter. Alltså är triangel och rektangel exempel på konvexa polygonområden.) Det är i detta område vi kan och ska söka lösningen! Nu är det bara två (design)variabler i detta exempel så vi kan enkelt återge varje bivillkor grafiskt. Vi ser att världen delas in i en icke tillåten del och en grön tillåten. Den röda gränslinjen får man genom att rita den räta linje som erhålles då olikheten byts mot likhet. t a t a t a t a t r t r 0 t a 0 t a t r t r t r t r t r Genom att så till slut ta snittet av dem alla får vi det tillåtna området där vi ska söka lösningen! t a t r Vi ser att det tillåtna området är begränsat (eng. bounded), det vill säga det omsluts av bivillkorslinjerna. Skärningspunkterna mellan bivillkorslinjerna kallas hörnpunkter (eng. corner points) till det tillåtna området. I samma figur kan vi också rita in objektfunktionen för konstanta värden, så kallade nivåkurvor (eng. level curves). Jämför isobarer på en väderkarta, längs dessa är trycket konstant. Även nivåkurvorna blir på grund av lineariteten räta linjer och parallella med varann. Vi fullbordar så den grafiska betraktelsen av ett LP-problem genom att rita in nivåkurvorna t r.t a, t r.t a, t r.t a,, t r.t a 7. Beteckningen g i är lite av tradition i branchen liksom h i för likhetsbivillkor. max t r.t a t r t a t r då t r 0 t a 0 g g g g t a t r Vi återkommer till hur man löser optimeringsproblemet i nästa avsnitt.

4 Linjärprogrammering och Mathematica HH/ITE/BN Exempel: En cykeltillverkare kan tillverka två olika cykelmodeller, Standard och deluxe. Han lever dessutom i den lyckliga världen att alla cyklar han tillverkar säljs. Standard ger en nettovinst på 00 kr medan den lyxiga deluxe ger hela 700 kr. För att överleva måste han åtminstone tillverka en Standard om dagen. Men fler än st orkar han dock inte med. Av samma skäl kan han inte heller tillverka mer än st av den lite mer pyntade modellen deluxe. Hur som helst så orkar han inte göra fler än 8 cyklar om dagen. Av marknadspolitiska skäl vill han inte heller tillverka fler lyxiga deluxe än Standard. Hjälp nu honom att planera sin tillverkning så att vinsten maximeras. Standard DeLuxe Lösningsförslag: Antag att han tillverkar x st cyklar av modell Standard och x st av modell deluxe om dagen. Vi har då direkt handlarens vinst som objektfunktion f x, x 00x 700x. Bivillkoren hittar vi genom att översätta mening för mening i problemtexten.. Minst en Standard om dagen x.. Maximalt Standard om dagen x.. Maximalt deluxe om dagen x.. Maximalt 8 cyklar om dagen x x 8.. Inte fler deluxe än Standard x x., 7. Negativt antal cyklar befattar vi oss inte med, det vill säga positivitetskrav x 0, x 0. Därmed kan vi formulera LP-problemet på standardform, en objektfunktion och 7 bivillkor. Bara linjära samband som sig bör. Läsaren uppmanas på det bestämdaste att verifiera bivillkorslinjer, det tillåtna området och nivåkurvor i figuren till höger! max 00x 700x x g x g x g då x x 8 g x x g x 0 g x 0 g 7 x x Vi återkommer till hur man löser optimeringsproblemet i nästa avsnitt. Exempel: Stina älskar fåglar. Hon har sju exemplar av BasFrö BusFrö Rupicola rupicola guldtupp i sitt vardagsrum. Hon föder V upp dem på två sorters fröblandningar BasFrö och BusFrö V vilka kostar 8 respektive kr hg. Stina vet att speciellt tre V typer av vitaminer V, V och V är viktiga för fåglarna och att varje fågel behöver dagligen, respektive enheter av dessa. Fröblandningarnas innehåll av de tre vitaminerna i enheter per hg framgår av tabellen. Formulera det LP problem som bestämmer hur många hg av varje fröblandning Stina ska köpa in dagligen så alla fåglarna får sitt vitaminbehov tillgodosett och inköpskostnaden minimeras. Gör en grafisk representation med bivillkor och det tillåtna området. Lösningsförslag: Antag att hon behöver köpa in BasFrö hg av BasFrö-blandningen och BusFrö hg av BusFrö-blandningen. Vi har då direkt Stinas kostnad som objektfunktion f BasFrö, BusFrö 8BasFrö Busfrö. Totalt har Stina sju hungriga näbbar att mätta, så bivillkoren möblerar vi genom att kombinera vitamintabellen med fåglarnas dagsbehov angivna i problemtexten. Läsaren uppmanas på det bestämdaste att verifiera formuleringen samt bivillkorslinjer, det tillåtna området och nivåkurvor i figuren till höger!

5 HH/ITE/BN Linjärprogrammering och Mathematica min 8 BasFrö BusFrö BasFrö BusFrö 7 g BasFrö BusFrö 7 g då BasFrö BusFrö 7 g BasFrö 0 g BusFrö 0 g BusFrö BasFrö Observera att vi här har ett minimeringsproblem och att det tillåtna området är obegränsat (eng. unbounded). Vi återkommer till hur man löser optimeringsproblemet i nästa avsnitt. Lite teori och lösningsmetoder Vi ser att exemplen i föregående avsnitt är specialfall av en standardiserad LP-formulering (eng. standard LP-form) med n designvariabler och m bivillkor. min f x, x,, x n c x c x c n x n då a x a x a n x n b a x a x a n x n b a m x a m x a mn x n b m min f då där f är objektfunktionen och bivillkoren. Man brukar kalla för objektfunktionskoefficienterna (eng. vector of objective coefficients), för bivillkorsmatrisen (eng. constraint matrix) och för högerledet (eng. right-hand side of constraints). Formuleringen rymmer även maximering, ty max f min f. På samma sätt kan -olikhet införas genom att motsvarande rad multipliceras med på båda sidor om med resultat att olikheten då byter riktning. Slutligen kan likhetsbivillkor behandlas genom att denna rad införes två gånger, en gång med och en med. I seriösa datorprogram för LP-lösare ska man naturligtvis inte behöva hålla på med sådant manipulerande. En punkt som uppfyller bivillkoren kallas en tillåten lösning (eng. feasible solution), eftersom den ligger i det tillåtna området. Vi söker nu den optimala lösningen (eng. optimal solution). Vi har tidigare sett att det tillåtna området kan vara begränsat, obegränsat eller rent av tomt (eng. empty) om bivillkoren är helt motstridiga så att snittet är tomt. Då saknar naturligtvis LP-problemet lösning. Vi ska argumentera i D för att om problemet har en optimal lösning så inträffar detta alltid i en hörnpunkt som då kallas optimal punkt (eng. optimal point or extreme point) och objektfunktionen antar där optimalt värde (eng. optimal value). De bivillkor som möts i optimala punkten kallas aktiva (eng. active constraints) och ett bivillkor som inte medverkar till att bygga upp det tillåtna området kallas överflödigt eller redundant (eng. redundant). För ändamålet riggar vi upp ett begränsat område och några nivåkurvor. Mot bakgrund av all linearitet förstår vi att när vi ökar eller minskar objektfunktionens värde så kommer den "sista" nivåkurvan i det tillåtna området att lämna detta i en hörnpunkt. Dessa två fall är indikerade i figuren nedan till vänster med en blå och en röd boll och motsvarar alltså optimal punkt vid en minimering respektive maximering av objektfunktionen. Enda gången detta inte gäller är då ett bivillkor gränsande till "optimal punkt" är parallell med nivåkurvorna, se figur nedan till höger. Då har vi två hörn som kandidater till optimal punkt! Dessa är indikerade med röda bollar. Eftersom innebörden av en nivåkurva är att objektfunktionens värde är konstant längs en sådan kan vi som optimal punkt då välja vilken som helst av de två hörnpunkterna eller någon godtycklig punkt på det mellanliggande stycket av randen, markerad fet mörkgrön. Så grundregeln håller, optimal punkt hittar man alltid i ett hörn till det tillåtna området! x x x x

6 Linjärprogrammering och Mathematica HH/ITE/BN En mera rigorös övertygelse kan formuleras så här: Antag att det finns en punkt som är inre punkt eller randpunkt till det tillåtna området och som minimerar, det vill säga i, i,, q för alla q hörnpunkter. Eftersom det tillåtna området är konvext kan skrivas som en linjärkombination av hörnpunkterna q q i Αi i, där i Αi. Då får vi q i vilket är en motsägelse. Det finns alltså inget bättre än hörnpunkter! q q Αi i i Αi i i Αi q i Αi I figurerna ovan har vi även ritat in gradienten till objekfunktionen. Detta är en vektor som är vinkelrät mot nivåkurvorna och pekar ut i vilken riktning nivåkurvorna ökar. Lägg märke till att det inte är självklart att objektfunktionen ökar med ökande värde på designvariablerna, den kan lika gärna öka när man närmar sig origo, t.ex. f x, x x x. Gradienten brukar skrivas på två sätt och definieras av den andra likheten med hjälp av partiella derivator def f grad f f f, x f x,, f x n c, c,, c n På grund av lineariteten kan den alltså enkelt avläsas som koefficienterna i objektfunktionen. Exempel: Bestäm några gradienter f x, x x x f x, x x x f t r, t a t r.t a f x, x 00x 700x f f f x, f f f x, f f f t r, f f f x, f x, f x, f t a,. f x 00, 700 Exemplet ovan med lille Bo Exemplet ovan med cykeltillverkaren Mot bakgrund av lineariteten hos såväl objektfunktion som bivillkor kan vi sammanfatta. Om det tillåtna området till ett LP-problem är icke-tomt och begränsat så antar objektfunktionen både ett maximum och ett minimum och detta antas i hörn i det tillåtna området. Ett sådant hörn kallas optimal punkt och objektfunktionen antar optimalt värde där. Om däremot det tillåtna området är obegränsat finns fortfarande möjlighhet att objektfunktionen antar ett maximum eller ett minimum, om så görs detta också i ett hörn, optimal punkt. Avslutningsvis saknar LP-problemet lösning om det tillåtna området är tomt. Detta ger oss en enkel strategi för att lösa ett LP-problem! Inspektera alla hörnpunkter till det tillåtna området och beräkna objektfunktionens värde där, sedan är det bara att bland dessa välja den optimala lösningen. Vi provar på två av de LP-problem vi redan stiftat bekantskap med. Exempel: Lille Bo igen. Lös LP-problemet! Lösningsförslag: Vi tar vid där vi slutade. max t r.t a t r t a t r då t r 0 t a 0 g g g g t a t r Vi går moturs runt det tillåtna området och besöker hörnpunkterna. Bestäm designvariablernas värde där genom att lösa ett ekvationssystem som erhålles genom att ersätta olikhet med likhet i de bivillkor som möts i hörnpunkten. Slutligen beräknas objektfunktionens värde i hörnet. Uppdatera och bokför under resans gång den hörnpunkt som maximerar objektfunktionen.

7 HH/ITE/BN Linjärprogrammering och Mathematica 7 t r t a g Skärning mellan g och g t r g t r t a g Skärning mellan g och g t r 0 g t r 0 g Skärning mellan g och g t a 0 g t r g Skärning mellan g och g t a 0 g t r, t a, f,.. t r, t a 0, f 0, Max t r, t a 0, 0 f 0, t r, t a, 0 f, 0. 0 Färdig! Vi har hittat optimal punkt t r, t a 0,! Lille Bo ska med andra ord ägna all tillgänglig lästid åt Analysboken Detta kunde vi enkelt insett genom att inspektera den grafiska representationen ovan. Om man har många bivillkor kan man hålla nere handarbetet väsentligt genom att först göra ett visuellt studium av nivåkurvor och bivillkor i den grafiska representation. Då brukar det bli få hörnpunkter att besöka. Men hur som helst Vid två designvariabler och handräkning måste man alltid börja med att göra en grafisk representation! Detta ger nödvändig överblick för att kunna genomföra lösningen! Exempel: Stinas guldtuppar igen. Lös LP-problemet! Lösningsförslag: Vi tar vid där vi slutade. min 8 BasFrö BusFrö BasFrö BusFrö 7 g BasFrö BusFrö 7 g då BasFrö BusFrö 7 g BasFrö 0 g BusFrö 0 g BusFrö BasFrö Vis av erfarenheterna från föregående exempel börjar vi med att studera den grafiska representationen. Eftersom vi söker minimum av objektfunktionen räcker det att besöka hörnet som är skärningspunkt mellan bivillkoren g och g. BasFrö BusFrö 7 g BasFrö BusFrö 7 g BasFrö, BusFrö, f, 8 Min Färdig! Vi har hittat optimal punkt BasFrö, BusFrö,! Nu vet Stina hur många hg av varje fröblandning som ska inhandlas för att minimera kostnaden. Vi kan i figuren också notera att g inte finns med som aktivt bivillkor vid optimal punkt med följd att vitamin V serveras i överflöd. Lägg märke till att vi har ett obegränsat tillåtet området, objektfunktionen har inget maximum utan inköpen kan bli hur dyra som helst! Till slut kommer då både Stina och hennes guldtuppar att drunkna i frö! Då antalet designvariabler och bivillkor ökar är handräkning utesluten. Vi får koncentrera oss på LP-formuleringen, vilket kan vara nog så besvärligt, och överlämna själva lösandet till ett datorprogram. Det finns flera sådana och de används mycket flitigt i diverse tillämpningar i industrin. Att lösa LP-problem sköt fart under andra världskriget tillsammans med att den första datorn såg dagens ljus, och den metod som är vanligast idag och härstammar från den tiden är Simplexmetoden. Men det finns också andra moderna metoder som är snabbare på framför allt riktigt stora problem, se vidare under Lite historik i ett senare avsnitt. Vi ska inte alls fördjupa oss i hur Simplexmetoden arbetar, det faller utanför ramen för denna kurs. Det enda man behöver känna till är att den är robust och utnyttjar den egenskap vi nämnt, nämligen att optimal punkt infaller i ett hörn. Simplexmetoden väljer på ett fiffigt sätt ut vilket nytt hörn den ska hoppa till så att objektfunktionen hela tiden minskar/ökar, den besöker alltså långt ifrån alla hörn i det tillåtna området. I Mathematica finns de generella optimeringsfunktionerna Maximize[objektfkn,bivillkor,designvars], NMaximize[], Minimize[]och NMinimize[], där de utan N på sig ger analytiska lösningar. Dessa funktioner klarar av att hitta globalt optimum för godtycklig objektfunktion under godtyckliga bivillkor. De har inga förutfattade meningar om värdet på designvariablerna, så till exempel tradionella positivitetskrav måste anges explicit i bivillkoren där olika typer av olikheter, och = kan blandas friskt. Speciellt känner de igen och löser LP-problem effektivt. I numeriska sammanhang skiljer man vanligtvis inte på om

8 8 Linjärprogrammering och Mathematica HH/ITE/BN man använder stränga olikheter eller ej, så istället för de lite mer "omständiga" och från palette ( <= och >= direkt på tangentbordet) kan man tryggt använda de lite mer direktåtkomliga < och > på tangentbordet. Naturligtvis klarar funktionerna även av att hantera det ofta mycket viktiga kravet på enbart heltalslösningar för några eller alla designvariabler. Detta läggs enkelt till bland bivillkoren som {designvariabler} Integers. Att ha krav på heltalslösningar är naturligt eftersom LP-formuleringar ofta handlar om frågeställningar kring kostnad och resurstilldelning, då är t.ex. antal personer, maskiner eller bilar vanliga designvariabler. Att vid stora LP-problem helt enkelt avrunda designvariabler till heltal är en mycket riskabel operation, vanligtvis brukar man då hamna i konflikt med ett eller flera bivillkor. Om vi har standard LP-formulering, det vill säga objektfunktionen är given som en vektor och bivillkoren på matrisform, finns även den lite mer ortodoxa LinearProgramming[c,A,b]. Men, huvudalternativet blir nästan alltid de fyra tidigare nämnda, eftersom olika typer av olikheter, och = kan blandas friskt och att man direkt kan mata in sin LP-formulering från modelleringen utan riskabla omlastningar av termer för att möblera och så att det passar LinearProgramming. Att använda de i Mathematica inbyggda LP-lösarna är mycket enkelt. Strängt taget gäller det bara att skriva av sin formulering rätt. Som vanligt tillåts även en sekvens av olikheter, t.ex. x 0 x kan skrivas 0 x. Vi börjar med lille Bo och ser att svaret kommer ut på självdokumenterande form, {objektfkn,designvariabler} i optimal punkt, precis som vi är vana vid från FindMaximum och FindMinimum. Se tidigare bilder över situationerna. Maximize t r. t a, t r t a, t r, t r 0, t a 0, t r,t a., t r 0., t a. Sedan Stina och hennes sju guldtuppar. AntalGuldtuppar 7; Minimize 8 BasFrö BusFrö, BasFrö BusFrö AntalGuldtuppar, BasFrö BusFrö AntalGuldtuppar, BasFrö BusFrö AntalGuldtuppar, BasFrö 0, BasFrö 0, BasFrö, BusFrö, BasFrö, BusFrö Så nu äntligen över till cykeltillverkaren som väntar otåligt Maximize 00 x 700 x, x, x, x, x x,x x 8, x 0, x 0, x,x 000, x, x Han ska alltså tillverka cyklar av varje modell. Vinsten blir då 000 kr om dagen! Här fick vi heltalslösning som vi önskade, men om vi ändrar lite på villkoret x x 8 till x x 7 får vi inte detta längre. x x Maximize 00 x 700 x, x, x, x, x x,x x 7, x 0, x 0, x,x 00, x 7, x 7

9 HH/ITE/BN Linjärprogrammering och Mathematica 9 I allmänhet är det inte så enkelt som att "avrunda". Problemet med halva cyklar avhjälps istället genom att införa heltalskrav bland bivillkoren. Vi tvingas nu röra oss i det begränsade rummet av heltal istället för reella tal. I figuren nedan är de möjliga heltalslösningarna markerade med mörkgröna prickar. Vi ser att optimal punkt inte sammanfaller med ett hörn. Naturligtvis hittar Mathematica den optimala heltalslösningen. x x Maximize 00 x 700 x, x, x, x, x x,x x 7, x 0, x 0, x,x Integers, x,x 00, x, x Avslutningsvis kan nämnas att i en fortsatt analys är det bland annat av intresse att utreda frågeställningar av typen Vad händer med lösningen då objektfunktionens koefficienter varieras? Vad händer med lösningen då bivillkorsmatrisens koefficienter varieras? Vad händer med lösningen då högerledets koefficienter varieras? Vad händer med lösningen då man lägger till eller tar bort bivillkor? Vad händer med lösningen då designvariabler läggs till eller tas bort? Detta brukar kallas störningsanalys eller känslighetsanalys och är mycket viktigt. För att till exempel öka vinsten utan att höja priserna måste de aktiva bivillkoren modifieras vilket oftast är behäftat med kostnader. En studie av gradienter i optimala punkten ger en indikation på om det är möjligt och hur man då ska agera för att göra den mest ekonomiskt gynsamma förändringen av produktionsapparaten. Det finns en omfattande teori kring detta och i en mer omfattande framställning introduceras begrepp som duala problemet och skuggpriser. Eftersom LP-lösarna i Mathematica är så lättanvända kan en enkel och kanske praktiskt tillräcklig känslighetsanalys helt enkelt bestå av att man "leker" lite med koefficienterna och kör igen. Som exempel på detta låter vi i följande sekvens studera vad som händer i ursprungssituationen om priset på deluxe sänks. Först dagens förutsättningar och prissättning i repris. x x Maximize 00 x 700 x, x, x, x, x x,x x 8, x 0, x 0, x,x Integers, x,x 000, x, x Om priset på deluxe sänks till 00 kr kommer naturligtvis vinsten att minska och objektfunktionens nivåkurvor att ändra lutning för att bli parallella med bivillkoret x x 8. Vi kan då som optimal punkt välja vilken som helst av de två aktuella hörnpunkterna, och,.

10 0 Linjärprogrammering och Mathematica HH/ITE/BN x x Maximize 00 x 00 x, x, x, x, x x,x x 8, x 0, x 0, x,x Integers, x,x 00, x, x Om så priset på deluxe sänks ytterligare ner till 00 kr kommer optimal produktion att ändras från, till, och vinsten till 00 kr. x x Maximize 00 x 00 x, x, x, x, x x,x x 8, x 0, x 0, x,x Integers, x,x 00, x, x En liten enkel grafisk LP-lösare i D Vi ska här meka ihop en enkel funktion som klarar av att göra en minimalistisk grafisk representation och lösning. Som testexempel vid framtagningen tar vi följande enkla LP-problem max x x x x 0 g x x 0 g då x 0 g x 0 g x x obj x x; bv x x 0, x x 0, x 0, x 0 ; lc Range 0 ; xr x, 0., 0. ; yr x, 0., 0. ; Nu över till den grafiska representationen som även får bli vår lilla LP-lösare. Vi börjar med det tillåtna området.

11 HH/ITE/BN Linjärprogrammering och Mathematica RegionPlot And bv, Evaluate xr, Evaluate yr, PlotStyle Opacity, Green, Frame False, Axes True Sedan bivillkorslinjerna ContourPlot Evaluate. Head Equal & bv, Evaluate xr, Evaluate yr, ContourStyle Thickness 0.0, Red, Frame False, Axes True 0 8 Slutligen nivåkurvorna. 8 0 ContourPlot Evaluate objfkn & lc, Evaluate xr, Evaluate yr, ContourStyle Blue Nu är det bara att paketera det hela i en funktion LPSolve som gör en grafisk presentation jämte en tabell med hörnpunkter sorterade efter fallande värde på objektfunktionen. Varje rad innehåller de inblandade aktiva bivillkoren, hörnpunktens koordinater (designparametrarna) samt objektfunktionens värde. Att sätta etiketter på de röda och blå linjerna samt gröna nummer på hörnpunkterna kräver lite Mathematicapornografi utöver det vanliga och överlämnas till den intresserade läsaren att fördjupa sig i. LPSolve obj, bv, lc, xr, yr, xg : Module g, g, g, g, bx, th, g RegionPlot And bv, Evaluate xr, Evaluate yr, PlotStyle Green, Frame False ; Do AppendTo g, ContourPlot Evaluate bv i, bv i,, Evaluate xr, Evaluate yr, Contours 0, ContourStyle Thickness 0.0, Red, ContourShading False, ContourLabels Red, Text i,,, Background White & ; Do bx Reduce Rationalize Flatten bv i, bv i,, bv j, bv j,, bv ; If Head bx And, th Join th, i, j, xr, yr, obj. Solve bx, j, i, Length bv, i, Length bv ; g ContourPlot obj, Evaluate xr, Evaluate yr, Contours lc, ContourShading None, ContourStyle Blue, ContourLabels Blue, Text,,, Background White & ; th Join Range Length th, Sort th, & ; g Graphics Darker Green, Text,, Background White & th ; DisplayForm GridBox Show g, g, g, g, Graphics xg. Opacity Opacity, Method "AxesInFront" False, Axes True, AxesLabel xr, yr, MatrixForm th, TableHeadings None, "nr", "biv", "punkt", "objfkn" Vi provar på vårt modellproblem.

12 Linjärprogrammering och Mathematica HH/ITE/BN LPSolve obj, bv, lc, xr, yr x x nr biv punkt objfkn, 8,, 0, 0 0, 0, 0 0, 0, 0 0 Vi ser i tabellen att hörn nr är optimal hörnpunkt. Inblandade bivillkor är,, koordinaterna (designparametrarna) är 8, och objektfunktionens värde är. Lille Bo vill också vara med. LPSolve t r. t a, t r t a, t r, t r 0, t a 0, 0. Range 0, 0, t r, 0.,, t a, 0., a.0t nr biv punkt objfkn, 0,.,,.,, 0., 0, t r Blandade exempel för resten Exempel: En skräddare kan tillverka kostymer och klänningar. Varje kostym fordrar m bomullstyg och m ylletyg och till varje klänning åtgår m av varje tygslag. Skräddaren har tillgång till 80 m bomullstyg och 0 m ylletyg. Hur många kostymer och klänningar skall han sy om varje kostym och klänning kan säljas för 00 kr och han vill maximera inkomsten? Lösningsförslag: Om vi låter Skräddaren sy x m st kostymer och x g st klänningar får vi efter översättning av problemtexten följande LP-problem och tillhörande lösning. Formuleringen görs enkelt läsbar samtidigt som vi anropar vår egen LP-snutt. Det är lämpligt att räkna vinsten i 00-tals kronor. LPSolve x m x g, x m x g 80, x m x g 0, x m 0, x g 0, 0 Range 0, x m, 0., 0, x g, 0., 0 x g x m nr biv punkt objfkn, 0, 0 0, 0, 0 0, 0, 0 0, 0, 0 0

13 HH/ITE/BN Linjärprogrammering och Mathematica Efter att tittat i figuren och tabellen förstår vi att optimal punkt är nr och g och g är aktiva bivillkor vid optimalt hörn 0, 0. Vinsten är 0 00 kr. Mathematica håller med Maximize x m x g, x m x g 80, x m x g 0, x m 0, x g 0, x m,x g 0, x m 0, x g 0 Exempel: Fredrik har 0 kkr över att investera i aktier. Han inbillar sig att bankens analytiker har koll på aktieutveckling över tiden och gör därför ett besök. Rådet blir att investera i två aktier, en riskfylld A med 0 avkastning årligen och en lugnare B med 7 avkastning årligen. Men analytikern nöjer sig inte med detta utan tycker att fördelningen ska vara högst 000 kr i A, minst 000 kr i B och absolut minst lika mycket i aktie A som B. Hur ska han handla för att maximera avkastningen? Lösningsförslag: Om vi låter Fredrik köpa aktier A för a kkr och aktier B för b kkr får vi efter översättning av problemtexten följande LP-problem och lösning. LPSolve 0. a 0.07 b, a b 0, a, b, a b, a 0, b 0, 0. Range 0, a, 0., 7, b, 0., b nr biv punkt objfkn,, 0.88,, 0.8,, 0.7,, a Efter att tittat i figuren och tabellen förstår vi att optimal punkt är nr och g och g är aktiva bivillkor vid optimalt hörn,. Mathematica håller med Maximize 0. a 0.07 b, a b 0, a, b, a b, a 0, b 0, a, b 0.88, a., b. Exempel: Hos en handelsträdgård kan man köpa konstgödsel av två slag, A och B. I tabellen anges deras pris kr kg och det procentuella innehållet av kväve N, fosfor P och kalium K samt de mängder i kg av de tre ämnena som, enligt jordanalys, minst behöver tillföras din golfbana. Formulera och lös inköps problemet så att kostnaden minimeras. N P K Pris A B.0 Behov Lösningsförslag: Låt x A och x B vara mängderna i kg av A respektive B som ska inhandlas. Ur tabell med procent, priser och behov får vi följande LP-formulering och dess lösning. LPSolve.7 x A.0 x B, 9 00 x A 00 x B 70, 7 00 x A 00 x B 0, 00 x A 00 x B 00, x A 0, x B 0, 000 Range 0, x A, 000, 000, x B, 000, 000

14 Linjärprogrammering och Mathematica HH/ITE/BN x B nr biv punkt objfkn, 0, , 000, , , x A Efter att tittat i figuren och tabellen förstår vi att optimal punkt är nr och g och g är aktiva bivillkor. Mathematica håller med om inköp och kostnad Minimize.7 x A.0 x B, 9 00 x A 00 x B 70, 7 00 x A 00 x B 0, 00 x A 00 x B 00, x A 0, x B 0, x A,x B 79., x A 7.9, x B 9. En sann miljövän noterar att g är redundant så det kommer att ske en övergödning av kväve. Avslutningsvis har vi om vi inte får bryta förpackningar utan måste köpa hela kg. Minimize 7 00 x A 0 x B, 9 00 x A 00 x B 70, 7 00 x A 00 x B 0, 00 x A 00 x B 00, x A 0, x B 0, x A,x B Integers, x A,x B 99, x A 7, x B 98 Exempel: BagarBertas konditori har koncentrerat sig på två goda kakor; bondkakor och vaniljhorn. De helt dominerande ingredienserna är mjöl, socker och smör. Till 0 bondkakor åtgår 0 g mjöl, 0 g socker och 00 g smör. Motsvarande siffror för 7 vaniljhorn är 00 g, 0 g respektive g. Formulera och lös LP problemet som maximerar Bertas vinst under förutsättning att hon har tillgång till 0 kg mjöl, kg socker och kg smör samt att hon säljer allt hon bakar med nettovinsten kr för en bondkaka och kr för ett vaniljhorn. Vilken ingrediens finns i överflöd? Lösningsförslag: Om vi låter Berta baka x b st bondkakor och x v st vaniljhorn får vi efter överssättning av problemtexten följande LP-problem med lösning. Kan vara lämpligt att räkna vinsten i 000-tals kronor. LPSolve x b x v, x b 00 7 x v 0 000, 0 0 x b 0 7 x v 000, 00 0 x b 7 x v 000, x b 0, x v 0, Range 0, x b,, 000, x v,, 000 x v x b nr biv punkt objfkn, 800 9,

15 HH/ITE/BN Linjärprogrammering och Mathematica Vi ser att optimal punkt är nr och g och g är aktiva bivillkor. Bivillkor g är redundant och indikerar att smör finns i överflöd Men Berta vill ju inte sälja "söndriga" kakor x b, x 9 v eller x 9 b 80.9, x v 89., så lite skarpare med heltalskrav har vi slutligen lösningen på hennes funderingar, i rena kronor. Maximize x b x v, 0 0 x b 00 7 x v 0 000, 0 0 x b 0 7 x v 000, 00 0 x b 7 x v 000, x b 0, x v 0, x b,x v Integers, x b,x v 90, x b 89, x v 9 Exempel: Widget & Son tillverkar dekalerna Sad Smiley och Happy Smiley. Vinsten per låda är respektive 7 P engar. För att personalen inte skall bli för glad måste den åtminstone tillverka en låda med Sad Smiley om dagen, men inte fler än sex för att undvika depression. Av samma skäl krävs att det tillverkas fler lådor Happy Smiley än Sad Smiley. För att begränsa glädjespridningen har man även satt ett tak på sju lådor Happy Smiley om dagen. Hur som helst orkar man bara tillverka tolv lådor med dekaler om dagen. Hjälp Widget & Son med produktionsplaneringen så att vinsten maximeras under förutsättning att personalen håller sig frisk. Vad blir då vinsten? Lösningsförslag: Låt x s vara antalet lådor med Sad Smiley och x h antalet lådor med Happy Smiley. Å så här blir dé LPSolve x s 7x h, x s, x s, x s x h,x s x h, x h 7, x s 0, x h 0, 0 Range 0, x s, 0., 0, x h, 0., 0 h 0x x s nr biv punkt objfkn,, 7,, 0,, 0,, 0,, 7,, 0 Slutligen låter vi Mathematica få sista ordet Maximize x s 7x h, x s, x s, x s x h,x s x h, x h 7, x s 0, x h 0, x s,x h, x s, x h 7 Exempel: En fiskare förfogar över 0 nät, 0 ryssjor och långrevar. Han känner till fångstplatser, nämligen ålhålan, gäddviken, gösrännan och aborrgrundet med plats för, 8, 8 respektive redskap. Erfaren som han är har han naturligtvis samlat statistik över hur effektiva de olika redskapen är på respektive fångstplats. Tabellen anger effektivitetstalen, där innebär bäst fiske och sämst. Hur ska redskapen placeras för att fångsten ska bli så stor som möjligt med avseende på de angivna effektivitetstalen? nät ryssja långrev ålhålan gäddviken gösrännan abborrgrundet Lösningsförslag: Låt x ij x i, j vara antalet redskap av typ j som ska placeras på fångstplats i och Η effiktivitetsmatrisen enligt tabell X Array x,, x, x, x, x, x, x, x, x, x, x, x, x,

16 Linjärprogrammering och Mathematica HH/ITE/BN Η ; Det är designvariabler x ij så grafisk lösning är utesluten. Låt nu r j, j,, vara antal tillgängliga redskap av de tre typerna och f i, i,, vara det utrymme som finns på de fyra olika fångstplatserna. Givetvis används bara hela(!) redskap. Vi får då LPformuleringen och sedan direkt till Mathematica. max i j Η ij x ij i x ij r j, j g j då j x ij f i, i g i x ij 0 g X 0 x ij g objfkn Total Η X, x, x, x, x, x, x, x, x, x, x, x, x, biv Thread X.,,, 8, 8,, g j Thread X.,,, 0, 0,, g i Thread Flatten X 0, g X 0 Flatten X Integers Flatten Heltal x, x, x,, x, x, x, 8, x, x, x, 8, x, x, x,, x, x, x, x, 0, x, x, x, x, 0, x, x, x, x,, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, x, x, x, x, x, x, x, x, x, x, x, Vi har designvariabler och så här många bivillkor Length biv 0 Avslutningsvis svaret på fiskarens funderingar fångst, placering Maximize objfkn, biv, Flatten X 80, x, 0, x, 0, x,, x, 0, x, 8, x, 0, x, 8, x, 0, x, 0, x,, x,, x, Eller på samma matrisform som han är van vid X. placering Exempel: Ett snickeri i Siljansbygden kan tillverka fyra olika sorters souvenirer av trä kallade Mora, Nisse, Dala respektive Hästen. Fabrikationen går till så, att en grov tillsågning sker i snickerifabriken, varefter de går ut till trätäljare för definitiv utformning. Slutligen dekoreras de. Tidsåtgången i minuter och vinst för varje modell samt tillgänglig tid i timmar/vecka för varje avdelning framgår av nedanstående tabell. Råvaror finns i obegränsad mängd. Hur bör man planera tillverkningen för att optimera vinsten? Mora Nisse Dala Hästen Tillgänglig tid h Snickeri 00 Trätäljning Dekorering Vinst kr st 8 9 Lösningsförslag: Låt snickeriet tillverka x M, x N, x D, x H st av respektive souvenir vars tillverkningstider samlas i T.

17 HH/ITE/BN Linjärprogrammering och Mathematica 7 X x M,x N,x D,x H ; T ; Med designvariabler är grafisk lösning är utesluten. Låt x j vara designvariablerna och Τ i, i,, tillgänglig tid i timmar för de tre avdelningarna så får vi LP-formuleringen med heltalskrav och sedan direkt till Mathematica. max x M x N 8x D 9x H då j T ij x j 0 Τ i, i g i x M, x N, x D, x H 0 g X 0 x M, x N, x D, x H g objfkn,, 8, 9.X 8 x D 9 x H x M x N biv Thread T.X 0 00, 80,, g i Thread X 0, g X 0 X Integers Flatten Heltal x D x H x M x N 000, 0 x D 0 x H 0 x M 0 x N 0 800, 0 x D 0 x H x M 8 x N 70, x M 0, x N 0, x D 0, x H 0, x M x N x D x H Alltså designvariabler och så här många bivillkor Length biv 8 Äntligen svaret på Dalasnickeriets produktionslayout. Maximize objfkn, biv, X 0, x M 0, x N 0, x D 0, x H 0 Snickeriet bör koncentrera sig på att tillverka 0 st av modell Nisse och 0 st av modell Dala samt släcka ljuset för Mora och Hästen ;-) Exempel: En byggherre står i begrepp att bygga sorters hyreshus med byggkostnad och förväntad hyresintäkt netto per månad enligt tabell. Minst 0 av husen ska vara av typ A och högst 0 ska vara av typ C. Totala investeringen får inte överstiga 000 Mkr. Hur ska han bygga för att maximera vinsten räknat över en 0 årsperiod? Typ Kostnad Mkr Intäkt Mkr A 0.0 B 0. C 8 0. Lösningsförslag: Låt byggherren bygga x A, x B, x C st av respektive hyreshus. X x A,x B,x C ; Här har vi designvariabler så grafisk lösning är utesluten. Vi får LP-formuleringen med heltalskrav eftersom halva hus är svåra att hyra ut. Objektfunktionen räknat i Mkr är hyresintäkter under tio år utan uppräkning för ränta minus byggkostnad. Sedan direkt till Mathematica. objfkn max 0 0.0x A 0.x B 0.x C x A x B 8x C x A x B 8x C 000 Max investering x A 0. x A x B x C Minst 0 av typ A då x C 0. x A x B x C Max 0 av typ C x A, x B, x C Heltalskrav 0 x A x B 0 x C x A x B 8x C 00 x A x B 0 x C x A x B 8 x C

18 8 Linjärprogrammering och Mathematica HH/ITE/BN biv,, 8.X 000, x A Total X, Max investering Minst 0 av typ A x C Total X, X Integers Max 0 av typ C Heltal x A x B 8 x C 000, x A x A x B x C, x C x A x B x C, x A x B x C Modellstorleken är designvariabler och så här många bivillkor Length biv Så här ska byggherren ska planera byggnationen samt total vinst. Maximize objfkn, biv, X, x A 9, x B 88, x C 9 Exempel: Ett företag har fabriker som tillverkar samma produkter. Dessa skall sändas till företagets lager för vidare distribution till kunder. Tabellen nedan visar tillgänglig mängd vid de olika fabrikerna, vilken mängd som efterfrågas vid de olika lagren samt kostnaden i kr för att transportera en enhet mellan respektive fabrik och lager. Lager A Lager B Lager C Lager D Lager E Tillgänglig mängd Fabrik X 0 9 Fabrik Y Fabrik Z 8 Efterfrågad mängd Formulera och lös uppgiften att minimera transportkostnaden. Lösningsförslag: Låt x ij x i, j vara antalet produkter som sänds från fabrik i till lager j och K ij transportkostnadsmatrisen enligt tabell X Array x,, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, K ; Här har vi designvariabler x ij så grafisk lösning är utesluten. Låt nu f i, i,, vara antal tillgängliga produkter i de tre fabrikerna och l j, j,, efterfrågan i de fem lagren. Vi får då LP-formuleringen med heltalskrav och sedan direkt till Mathematica. max i j K ij x ij då j x ij f i, i g i i x ij l j, j g j x ij 0 g X 0 x ij Heltal objfkn Total K X, x, x, x, 0 x, x, x, x, 0 x, x, 8 x, x, x, x, 8 x, x,

19 HH/ITE/BN Linjärprogrammering och Mathematica 9 biv Thread X.,,,, 9, 8,, g i Thread X.,,,, 7, 7,, g j Thread Flatten X 0, g X 0 Flatten X Integers Flatten Heltal x, x, x, x, x, 9, x, x, x, x, x, 8, x, x, x, x, x,, x, x, x,, x, x, x,, x, x, x, 7, x, x, x, 7, x, x, x,, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, x, x, x, x, x, x, x, x, x, x, x, x, x, x, Vid sidan om designvariabler är det också många bivillkor Length biv Slutligen svaret på transportoptimeringen kostnad, sänd Minimize objfkn, biv, Flatten X 98, x, 0, x,, x, 0, x, 7, x, 0, x,, x, 0, x, 7, x, 0, x, 0, x, 0, x,, x, 0, x, 0, x, Eller på samma matrisform som han är van vid från transportkostnadsmatrisen X. sänd Exempel: Två städer, A och B, producerar 00 ton respektive 00 ton hushållsavfall per dag. Avfallet måste först brännas vid någon av anläggningarna C eller D, båda med kapaciteten 00 ton/dag. Kostnaden vid C är 0 kr/ton och vid D 0 kr/ton. Vid förbränningen förvandlas ton avfall till 00 kg slagg vilket måste dumpas vid någon av slutstationerna (ss) E eller F. Varje slutstation kan ta emot som mest 0 ton slagg/dag. Transportkostnaden är 0 kr per ton och mil, både för avfallet och slaggen. Avståndet, i mil, mellan de olika platserna framgår av tabellerna nedan. Anläggning C Anläggning D Stad A 7 Stad B 8 9 ss E ss F Anläggning C Anläggning D Formulera och lös problemet att på billigaste sätt ta hand om hushållsavfallet. Lösningsförslag: Låt x ij vara antalet ton som transporteras från i j. Med hjälp av text och tabell formulerar vi LP-problemet rakt in i näbbet på Mathematica. Kontrollera riktigheten! Minimize 0 x AC x BC 0 x AD x BD 0 7 x AC x AD 8x BC 9x BD x CE x CF x DE x DF, x AC x AD 00, x BC x BD 00, x AC x BC 00, x AD x BD 00, x AC x BC x CE x CF, x AD x BD x DE x DF, x CE x DE 0, x CF x DF 0, x AC 0, x AD 0, x BC 0, x BD 0, x CE 0, x CF 0, x DE 0, x DF 0, x AC,x AD,x BC,x BD,x CE,x CF,x DE,x DF 8 000, x AC 0, x AD 00, x BC 00, x BD 0, x CE 80, x CF 0, x DE 0, x DF 00

20 0 Linjärprogrammering och Mathematica HH/ITE/BN Nu är det bara att sätta igång och köra enligt följande schema till kostnaden ovan Anläggning C Anläggning D Stad A 0 00 Stad B 00 0 ss E ss F Anläggning C 80 0 Anläggning D 0 00 Exempel: Limföretaget Lim AB tillverkar olika sorters lim: LimIt, LimAll och Standard. Råvarorna Klix, Kladd och Fästis används i olika proportioner vid tillverkningen beroende på vilket lim som skall framställas. I nedanstående tabell redovisas minimirespektive maximigränser för hur mycket av ett visst råmaterial som måste/får ingå i en viss limsort. Råvara LimIt LimIt LimAll LimAll Standard Standard min max min max min max Klix Kladd Fästis För att tillverka kg lim åtgår kg råvara. Inköpspriset för råvarorna är respektive 00, 7, kr/kg. Försäljningspriset för respektive limsort är 00, 80, 0 kr/kg. Av olika anledningar måste limföretaget köpa lika mycket av Klix som av Fästis. Vidare kan företaget ej tillverka mer än 00 kg lim. Hur skall företaget planera sin produktionspolicy då målet är att maximera vinsten? Formulera och lös företagets problem. Lösningsförslag: Låt x ij vara mänden av råvara i och som ingår i produkt j. Bilda också de två matriserna som formulerar recepten. Kör på och kontrollera riktigheten! X Array x,, ; p min ; p max ; objfkn Total X. 00, 80, 0 X. 00, 7, 00 x, 80 x, 0 x, x, 0 x, x, 7 x, x, 9 x, biv Table p min i, j x k, j x i, j p max i, j x k, j, i,, j,, k x, j x, j 0, j x i, j 00, i j Thread Flatten X 0 Flatten k 0 x, x, x, x,, x, x, x, x, x, x, x,, x, x, x, x, x, x, x,, 7 x, x, x, x, x, x, x,,0 x, x, x, x,, 0 0 x, x, x, x,, x, x, x, x, x, x, x,, x, x, x, x, x, x, x,, 0 x, x, x, x,, x, x, x, x, x, x, 0, 0 x, x, x, x, x, x, x, x, x, 00, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0, x, 0

21 HH/ITE/BN Linjärprogrammering och Mathematica Här har vi 9 designvariabler och så här många bivillkor Length biv 0 Nu är det bara att blanda så vinsten blir maximal vinst, blanda Maximize objfkn, biv, Flatten X 0, x,, x, 0, x, 0, x,, x, 0, x, 0, x,, x, 0, x, 0 och inse att det är dax att sluta med LimAll och Standard! X. blanda Exempel: Ett dataföretag har uppskattat antalet servicetimmar som måste utföras under de närmaste fem månaderna Månad Behov servicetimmar Januari 000 Februari 7000 Mars 8000 April 900 Maj 00 Servicen utförs av anställda tekniker som i början av Januari är 0 till antalet. Varje tekniker kan arbeta upp till 0 timmar per månad. För att täcka det framtida behovet av tekniker måste nya tekniker (praktikanter) utbildas. Denna utbildning tar en månad och kräver 0 timmars handledning av en utbildad tekniker. En utbildad tekniker har en månadslön på 000 kr (oavsett antalet arbetstimmar under månaden) och en praktikant har en månadslön på 700 kr. I slutet av varje månad slutar st av teknikerna för arbete inom något annat företag. Formulera bemanningsproblemet som ett LP-problem vars lösning kommer att minimera den totala lönekostnaden för den givna perioden, givet att antalet servicetimmar måste tillgodoses. Lösningsförslag: Kör på och kontrollera riktigheten! x i antal praktikanter som utbildas månad i, i,,. y i antal tekniker som finns tillgängliga i början av månad i, i,,. tid 000, 7000, 8000, 900, 00 ; biv y 0, Table 0 y i 0 x i tid i, x i 0, y i 0, x i,y i Integers, i,, Table y i x i y i, i, Flatten y 0, 0 y 0 x 000, x 0, y 0, x y, 0 y 0 x 7000, x 0, y 0, x y, 0 y 0 x 8000, x 0, y 0, x y, 0 y 0 x 900, x 0, y 0, x y, 0 y 0 x 00, x 0, y 0, x y, x y y, x y y, x y y, x y y Minimize 000 y i 700 x i, i biv, Flatten Table x i,y i, i, 0 000, x 0, y 0, x 8, y 8, x, y, x, y, x 0, y 7 Till ovanstående minimala lönekostnad har vi alltså följande utveckling av tekniker och nya praktikanter samt vilken kapacitet 0y i 0x i dessa har. Vi ser att det är lite mycket överkapacitet i början men optimeringen ser till att allt bättre och bättre anpassa kapacitet efter behov.

22 Linjärprogrammering och Mathematica HH/ITE/BN Månad Behov servicetimmar Tekniker Praktikanter Kapacitet servicetimmar Januari Februari Mars April Maj Exempel: En storavdelning på ett sjukhus ska göra ett rullande veckoschema för sjuksköterskornas nattskift. Antalet sjuksköterskor som behövs varje natt ges av vidstående tabell. Varje sjuksköterska arbetar tre nätter i rad och är sedan ledig fyra nätter. Bestäm en plan för bemanningen som uppfyller behovet och minimerar antalet sjuksköterskor. Är det överkapacitet någon natt? Natt Behov Sön Mån 0 Tis 8 Ons 8 Tor Fre 8 Lör Lösningsförslag: Kör på och kontrollera riktigheten! Låt x i, i,, 7 vara antalet sjuksköterskor som börjar arbeta natt nr i. X x,x,x,x,x,x,x 7 ; Rullande schema. Kolonn ett sju är söndag lördag natt. Rad ett är de antal sjuksköterskor som börjar på söndag natt och arbetar tre nätter och sedan lediga fyra nätter. Rad två de som börjar måndag natt, och så vidare. schema x x x x x x x x x x x x x x x x x x x 7 x x 7 ; Uppfyll bemanningskraven biv Thread Total schema, 0, 8, 8,, 8,, Thread X 0, X Integers Flatten x x x 7, x x x 7 0, x x x 8, x x x 8, x x x, x x x 8, x x x 7, x 0, x 0, x 0, x 0, x 0, x 0, x 7 0, x x x x x x x 7 Sök optimal bemanning, det vill säga hur många som behöver börja natt i. antalanställda, bemanning Minimize Total X, biv, X, x 0, x, x, x 8, x 0, x 0, x 7 Det behövs minst sjuksköterskor på avdelningen och så här många är i tjänst natt i. Total schema. bemanning, 0, 0, 8,, 8, En jämförelse visar att det är överkapacitet endast på tisdag natt. Exempel: En snickare besöker en brädgård i syfte att inhandla st bräder av längden m och st av längden m. Brädgården som inte är speciellt välsorterad kan bara erbjuda längderna m och m. Hur ska det inhandlas och sågas så att spillet minimeras?

23 HH/ITE/BN Linjärprogrammering och Mathematica Lösningsförslag: Typiskt brädgårdsproblem. Låt x i och x j vara de sätt som man kan såga upp en bräda av längden m respektive m på. Gör två tabeller med antal av önskad längd och spill. m: Antal m Antal m Spill m x 0 x 0 0 x 0 m: Antal m Antal m Spill m x 0 x 0 x 0 x 0 Vi kan nu direkt formulera och skicka LP-problemet rakt in i näbbet på Mathematica. Här krävs både likhetsbivillkor och heltal i lösningen. Kontrollera riktigheten! Minimize x 0x x x x x 0x, Spillet x x 0x x x 0x x, Önskat antal av m 0x 0x x 0x 0x x x, Önskat antal av m x 0, x 0, x 0, x 0, x 0, x 0, x 0, x,x,x,x,x,x,x Integers, x,x,x,x,x,x,x 0, x 0, x 0, x 0, x 0, x 0, x 0, x Snickaren skall alltså köpa 0 st av längden m och såga alla enligt x, st av längden m och såga alla enligt x. Spillet blir då 0 m. Vid mer omfattande beställning och välsorterad brädgård är handpåläggning utesluten. Systematiken framgår tydligt så det är lämpligt att generera (tabellerna och) LP-formuleringen med hjälp av Mathematica. Gör det gärna som övning!! Okej då Definiera vad vi vet. Eftersom vi ämnar göra processen helautomatisk är dessa tre listor de enda vi behöver ändra på till längd och innehåll då vi får en ny beställning till brädgården. tillgängliga, ; önskade, ; antal, ; Nu börjar vi. Maximalt antal önskade man kan få ut av någon tillgänglig. nmax Floor Max tillgängliga Min önskade Maximalt antal sågrecept man kan få för varje tillgänglig. Varje rad talar om hur många av de önskade som erhålls. r Tuples Range 0, nmax, Length önskade Många rader i sågrecepten ovan är ointressanta, t.ex. 0, 0, eller omöjliga för en eller flera av de tillgängliga. Spola därför igenom sågrecepten ovan för varje tillgänglig och spara de som är ok i en tabell med recept. För varje recept sparar vi också spillet och en designvariabel x i, j, där i är tillgänglig bräda nr i och j är radindex i recepttabellen. Nu är det bara att köra igång! X recept spill ;m 0; Do Do If Plus r j 0, If tillgängliga i r j.önskade, AppendTo X, x i, m ; AppendTo recept, r j ; AppendTo spill, tillgängliga i r j.önskade ;, j,, Length r ;, i,, Length tillgängliga