| | 1 | == Fák pakolása, fedés fákkal == |
| | 2 | |
| | 3 | Irányítatlan gráfban éldiszjunkt fák keresése (pakolás), gráf éleinek fedése fákkal (fedés) |
| | 4 | |
| | 5 | === Háttér === |
| | 6 | |
| | 7 | A ''pakolási feladat'' így hangzik: adott egy összefüggő irányítatlan gráf és egy ''k'' pozitív egész, döntsük el, hogy létezik e a gráfban ''k'' darab páronként éldiszjunkt feszítőfa. A szükséges és elégséges feltételt Tutte egy tétele szolgáltatja. A kérdés a matroid-partíciós feladat speciális esete. |
| | 8 | |
| | 9 | A ''fedési feladat'' bemenete ugyanaz, mint a pakolási feladaté, de a kérdés az, hogy a gráf élei lefedhetők e ''k'' feszítőfával (illetve mondhatnánk erdőt is, a többszörösen fedett élek kihagyásával). Az elméleti választ Nash-Williams tétele adja meg nekünk egy ritkasági feltétel formájában. |
| | 10 | |
| | 11 | === Feladat === |
| | 12 | |
| | 13 | A pakolási és a fedési feladat elméletének és a megoldó algoritmusoknak a megismerése, majd ezek némelyikének az implementálása, hatékonyságuk összehasonlítása, heurisztikus javítások keresése. |
| | 14 | |
| | 15 | A feladatkör szakdolgozat, nagyprogram és TDK alapjául is szolgálhat, akár több jelentkező számára is. |
| | 16 | Az is elképzelhető, hogy a két feladat közül csak az egyiket dolgozza fel a jelentkező. |
| | 17 | |
| | 18 | === Előfeltételek === |
| | 19 | |
| | 20 | - C++ programozási nyelv ismerete |
| | 21 | - gráfelméleti ismeretek, kombinatorikus optimalizálási alapok |
| | 22 | - angol nyelvismeret |