szimplex algoritmus

• IPA:

szimplex algoritmus

1. (matematika, algoritmusok)

A szimplex algoritmus, más néven szimplex módszer a lineáris programok optimumának megtalálására szolgáló, egyben annak létezését is vizsgáló módszer. Használják linearizált nemlineáris programok megoldására is. Műveletideje akár exponenciális is lehet, mivel csúcsról csúcsra jár, és egy konvex poliédernek exponenciálisan sok csúcsa lehet. Erre példa a kocka.

Bizonyítható vele az az állítás is, hogy ha az ${\displaystyle Ax=b}$, ${\displaystyle x_{i}\geq 0}$ rendszernek akkor és csak akkor van olyan megoldása, amelyben A x pozitív változóinak megfelelő oszlopai lineárisan függetlenek, ha nincs olyan y, hogy ${\displaystyle yA\geq 0}$, ${\displaystyle yb<0}$, és A-nak van rang(A,b)-1 független oszlopa, amire y merőleges. Röviden, vagy a primál, vagy a duál feladatnak van bázismegoldása. Általánosabb alakra is kiterjeszthető; ha például vannak egyenlőségek is, akkor az egyenlőségeket leíró P mátrixból annyi oszlopot teszünk a bázisba, amennyit csak lehet. A továbbiakban ezek az oszlopok nem mozognak.

A szimplex algoritmus (vagy szimplex módszer) egy olyan matematikai eljárás, amelyet a lineáris programozásban használnak optimalizálási feladatok megoldására. A módszert George Dantzig fejlesztette ki 1947-ben, és a lineáris egyenletek vagy egyenlőtlenségek közötti maximális vagy minimális érték keresésére szolgál. A szimplex algoritmus célja, hogy megtalálja a legjobb (optimális) megoldást a lineáris programozási problémákhoz.

A szimplex módszer a lineáris programozás keretében működik, amely a következő általános formát öleli fel:

• Célfüggvény: Olyan függvény, amelyet maximalizálni vagy minimalizálni szeretnénk. Általában a következő formában ábrázolják: ahol ( c_1, c_2, …, c_n ) a célfüggvény együtthatói, és ( x_1, x_2, …, x_n ) a döntési változók.
• Korlátozó feltételek: Azokat az egyenleteket vagy egyenlőtlenségeket tartalmazzák, amelyek a döntési változókra vonatkoznak. Például: ahol ( a_{ij} ) a mátrix együtthatóit jelenti, és ( b_1 ) egy konstans.

A cél a célfüggvény optimalizálása a kölcsönösen korlátozó feltételek mellett.

A szimplex algoritmus a következő lépésekben működik:

1. Kezdeti Alapértelmezett Megoldás:
   • A szimplex algoritmus egy kezdő (alapértelmezett) megoldással indul, amely a lineáris egyenlőtlenségek határain helyezkedik el. Az alapértelmezett megoldás a rendszer felírt egyenletei által alkotott háromszögeken belül található.
2. Célfüggvény Növelése vagy Csökkentése:
   • Az algoritmus célja a célfüggvény értékének maximalizálása vagy minimalizálása. A szimplex algoritmus egy olyan “szomszédos” megoldáshoz vezet, amely javítja a célfüggvény értékét, és a megoldást az élesebbé teszi. Minden lépésben az algoritmus az aktuális megoldás szomszédságában lévő másik megoldásra vált, amely optimalizáltabb.
3. További Iterációk:
   • Az iterációk során az algoritmus fokozatosan eléri a legjobb lehetséges megoldást, vagyis a célfüggvény maximális vagy minimális értékét. Minden egyes lépésnél a változók értékét úgy módosítják, hogy az új megoldás megfeleljen a korlátozó feltételeknek, miközben optimalizálja a célfüggvényt.
4. Optimalitás Ellenőrzése:
   • A folyamat addig folytatódik, amíg az algoritmus el nem éri az optimális megoldást, amelyben már nem lehet további javulást elérni a célfüggvény értékében. Az optimális megoldás általában az éles csúcsokon található.

Előnyök: - A szimplex algoritmus gyorsan és hatékonyan találja meg a lineáris programozás optimális megoldását. - Jól alkalmazható nagyobb problémák esetén, ahol a lineáris egyenletek és egyenlőtlenségek komplexek.

Hátrányok: - Bár a szimplex algoritmus általában gyors, egyes esetekben, különösen degenerált problémáknál, az algoritmus lelassulhat vagy hosszú iterációkat igényelhet. - Az optimális megoldás keresése nem mindig garantált, ha a probléma nem jól van felépítve.

A szimplex algoritmust széles körben használják a gazdaságban és az iparban különböző optimalizálási problémák megoldására, például: - Gazdasági Modellezés: A vállalatok termelési és erőforrás-allokációs problémáit oldják meg. - Logisztika: Szállítási és raktározási problémák, mint a költségek minimalizálása. - Pénzügyi Kockázatkezelés: Portfóliók optimalizálása, kockázatkezelési stratégiák kidolgozása.

A következő lineáris programozási problémát szeretnénk megoldani:

Maximalizáljuk: ${\displaystyle Z=3x_{1}+2x_{2}}$

Korlátozó feltételek: ${\displaystyle x_{1}+x_{2}\leq 4}$ ${\displaystyle 2x_{1}+x_{2}\leq 5}$ ${\displaystyle x_{1},x_{2}\geq 0}$

from scipy.optimize import linprog

# Célfüggvény koefficiensei
# Mivel a SciPy minimizálja a célfüggvényt, az optimalizálás miatt a maximalizálásnál a változókat negatívra kell venni
c =   # Maximális Z = 3x1 + 2x2, ezért a negatív értékek

# Korlátozó egyenlőtlenségek
A = ,    # x1 + x2 <= 4
     ]    # 2x1 + x2 <= 5
b =       # A jobb oldali értékek: 4 és 5

# Változók nemnegativitásának biztosítása
x0_bounds = (0, None)
x1_bounds = (0, None)

# Szimplex algoritmus alkalmazása
result = linprog(c, A_ub=A, b_ub=b, bounds=, method='simplex')

# Eredmény kiírása
print("Optimalizált célfüggvény értéke (max Z):", -result.fun)  # Ne felejtsük el visszaalakítani a maximalizálásra
print("Optimális megoldás (x1, x2):", result.x)

• **c = **: A célfüggvényt maximalizálni szeretnénk, de a `linprog` minimizálja a célfüggvényt. Ezért a célfüggvény együtthatóit negatív értékekkel kell megadni.

• **A és b**: Az egyenlőtlenségi korlátozókat (pl. ${\displaystyle x_{1}+x_{2}\leq 4}$) ábrázoljuk mátrix formájában.

• **bounds**: A változók, ${\displaystyle x_{1}}$ és ${\displaystyle x_{2}}$, nemnegatívak, ezért a korlátokat (0, None) formában adtuk meg.

• **method='simplex'**: Ez határozza meg, hogy a szimplex algoritmust használjuk a megoldáshoz.

A kód futtatásával az optimalizált célfüggvényt és a változók optimális értékeit kapjuk. A példában az optimalizált célfüggvény értéke és az optimális ${\displaystyle x_{1},x_{2}}$ értékek kerülnek visszaadásra.

Optimalizált célfüggvény értéke (max Z): 13.0
Optimális megoldás (x1, x2): 

Ez azt jelenti, hogy a maximális ${\displaystyle Z=3x_{1}+2x_{2}=13}$ akkor érhető el, amikor ${\displaystyle x_{1}=1}$ és ${\displaystyle x_{2}=3}$.

• angol: simplex algorithm (en)

• szimplex algoritmus - Értelmező szótár (MEK)
• szimplex algoritmus - Etimológiai szótár (UMIL)
• szimplex algoritmus - Szótár.net (hu-hu)
• szimplex algoritmus - DeepL (hu-de)
• szimplex algoritmus - Яндекс (hu-ru)
• szimplex algoritmus - Google (hu-en)
• szimplex algoritmus - Helyesírási szótár (MTA)
• szimplex algoritmus - Wikidata
• szimplex algoritmus - Wikipédia (magyar)