Ha nem sikerült magadban lefordítani a HRS fogalmaira a dolgot (pedig rendes egészoptimalizációs probléma, ha pontosan tudom, a halmazlefedésekhez van köze), megteszem ezt helyetted, legalábbis megpóbálom.
Az egyedek, amelyeket keresel, a különféle allokációfüggvények. Azt az allokációfüggvényt keresed, amelyhez tartozó végrehajtási idő függvény legnagyobb értéke (az egyed magassága) a legkisebb.
Az egyes figurák a taszkok, a figurák terjedelmei pedig a taszkot végrehajtó műveleti egységek lesznek.
Egy kis segítségképpen vállakozom arra, hogy ha adsz nekem egy egyedet (mondjuk erre a szálra kommentként), megmondom a magasságát (esetleg végtelent, abban az esetben, ha az adott allokáció nem megvalósítható).
Jó munkát!
Szerk. Bocsánatodat kérem, tényleg nem érhetted a fenti commentet, mert elírtam, két függvényt is, melyek különbözőek, p-vel jelöltem. A második esetben (tehát amikor p-t n fordítottjaként jelöltem), jelöljük b-vel a függvényt. A comment további részei is emiatt szerkesztésere szorulnak, a következő helyekenn:
"t-re teljesülnie kell annak, hogy minden x eleme T u P esetén t(x) >= max(t(y) + w(y,a(y):{y eleme p(x)})" helyesen:
t-re teljesülnie kell annak, hogy minden x eleme T u P esetén t(x) >= max(t(y) + w(y,a(y):{y eleme b(x)})
"p kiszámolható, nem írom le." helyesen: b kiszámolható, nem írom le.
A többi helytálló.
Szerk2. Esetleg adj egy iHRS accountot, hogy magam kipróbáljam.
Szerk3. Tényleg ki szeretném próbálni.