I tillämpad matematik förstås uppgiften att tilldela ett minsta antal utförare som ett kombinatoriskt optimeringsproblem som generaliserar problemet med att täcka en mängd och liknar uppgiftsproblemet i sin formulering .
I detta problem har uppsättningen arbetare en storlek som inte nödvändigtvis är lika med storleken på uppsättningen jobb. I det här fallet kan en utförare tilldelas att utföra flera jobb samtidigt, och endast en utförare tilldelas varje jobb. Det finns en total budget för genomförandet av alla aktiviteter, vilket är uppdragsbegränsningen. Det är nödvändigt att hitta en sådan utnämning av artister för att utföra arbetet så att antalet artister som är involverade i utförandet av arbetet är minimalt och inte överstiger den budget som tilldelats för hela komplexet av verk.
Det finns n artister och m jobb. För varje par av utförare och verk anges kostnaden för att utföra arbetet . Det finns en allmän budget för genomförandet av hela komplexet av verk. Lösningen är en delmängd av utförare U och fördelning av uppdrag av utförare från U mellan jobb. Beslutet är godtagbart om utförare tillsätts för alla arbeten och kostnaderna för detta inte överstiger budgeten . Det krävs för att minimera antalet tilldelade artister ( L ). Med andra ord krävs det att man väljer den minsta (i kraftmässiga hänseende) uppsättning artister som tillsammans kan utföra allt arbete.
Problemet kan lösas genom att dela upp det i två problem:
Matematiskt kan problemet med att tilldela det minsta antalet artister formuleras på följande sätt [1] :
minimera föremål för ; .I den här inställningen är problemets objektiva funktion icke-linjär, vilket inte gör att du direkt kan hitta den optimala lösningen med exakta linjära programmeringsmetoder , inklusive simplexmetoden . Uppgiften kan dock linjäriseras genom att inkludera ytterligare variabler , som visar att urvalet i gruppen av utförare , . Du måste också binda variabler och . Då kommer den objektiva funktionen att ta formen
minimera .Kopplingen av variabler kan specificeras av följande villkor:
För att snabbt lösa problem med stora dimensioner är det tillrådligt att använda ungefärliga algoritmer: algoritmen för det maximala antalet minimala element (MCME) och algoritmen för det maximala antalet tillåtna element (MCDE) [2] .