← Zpět na přehledROZ / 11
VýkladS komentářem
ROZ 11 · Výklad s komentářem

Genetické algoritmy

Rozpoznávání obrazců XI · Michal Haindl · podklady 2023–2024.

Populační hledání kombinuje hodnocení, výběr a variaci. Projdeme kódování, operátory a příklady shlukování, segmentace a výběru příznaků.

VýběrKřížení + mutaceNová populace
Nově kreslené schéma GRAFIT · ilustrační konstrukce.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 1

ROZ 11 · Výklad s komentářem

Inspirace není záruka optimality

Genetický algoritmus udržuje populaci kandidátních řešení. Výběr upřednostňuje lepší skóre, křížení kombinuje části a mutace vytváří další varianty.

Nepotřebuje derivaci, ale potřebuje mnoho vyhodnocení a rozumné kódování. Umí opustit některá lokální optima; globální optimum v konečném běhu nezaručuje.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 1, 2

ROZ 11 · Výklad s komentářem

Kódování a počáteční populace

Chromozom může být bitový řetězec, vektor hodnot, permutace nebo strom. Povolené operátory musí zachovat význam a přípustnost řešení.

Počáteční populace může kombinovat náhodné i známé dobré kandidáty. Větší populace přináší více rozmanitosti za cenu času a paměti.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 3

ROZ 11 · Výklad s komentářem

Fitness a pravděpodobnost výběru

Fitness je účelové hodnocení kandidáta, nikoli přirozená pravda o jeho kvalitě. Záleží na tom, zda maximalizujeme užitek nebo minimalizujeme cenu.

Při Boltzmannově výběru vyšší teplota zplošťuje rozdělení, nižší soustředí výběr na nejlepší. Pro numerickou stabilitu lze od všech fitness odečíst jejich maximum.

P(i)=efi/T∑jefj/T

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 3, 4

ROZ 11 · Výklad s komentářem

Jednobodové a vícebodové křížení

Jednobodové křížení vezme prefix jednoho rodiče a suffix druhého. Dvoubodové vymění úsek, uniformní používá masku po jednotlivých pozicích.

U permutací prosté prohození úseku může vytvořit opakované a chybějící prvky. Speciální varianty, tři rodiče nebo omezení místa řezu mění distribuční vlastnosti hledání.

0000 │ 00001111 │ 11110000 │ 11111111 │ 0000↓ výměna částí
Nově kreslené schéma GRAFIT · ilustrační konstrukce.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 4, 5, 6, 7

ROZ 11 · Výklad s komentářem

Mutace a další operátory

Bitová mutace převrátí vybraný bit. Záměna dvou pozic nebo obrácení úseku má jiný účinek a může lépe odpovídat kódování.

Pravděpodobnost 1/d na bit vede k jednomu změněnému bitu v průměru, nikoli v každém potomkovi. Běh ukončujeme podle rozpočtu a stagnace; stagnace nedokazuje optimum.

E[#mutací]=dp

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 7, 8

ROZ 11 · Výklad s komentářem

Biologická odbočka je historický kontext

Původní přednáška uvádí molekulární hodiny a genetickou variabilitu jako biologickou motivaci. Tyto populační a časové odhady nejsou parametry optimalizačního algoritmu.

Pro výpočetní metodu stačí definovat reprezentaci, dědičnost a operátory. Dobová biologická čísla nepřebíráme jako nově ověřená tvrzení.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 8

ROZ 11 · Výklad s komentářem

Požadavky na reprezentaci

Úplnost znamená možnost zakódovat každé hledané řešení, přípustnost opačný směr: každý vytvářený kód má dávat platné řešení. Redundance může komplikovat hledání.

Generace tvoří vyhodnocení, výběr, křížení, mutace a nové vyhodnocení. Elitismus může uchovat nejlepšího kandidáta, ale příliš silný výběr omezí rozmanitost.

VýběrKřížení + mutaceNová populace
Nově kreslené schéma GRAFIT · ilustrační konstrukce.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 9, 10

ROZ 11 · Výklad s komentářem

Genetické programování

Místo parametrů hledáme program nebo výrazový strom. Křížení zaměňuje kompatibilní podstromy, mutace mění uzly nebo strukturu.

Syntaktická správnost sama nezaručuje bezpečné vyhodnocení. Potřebujeme například ošetřit dělení nulou a penalizovat neúčelný růst stromů.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 10

ROZ 11 · Výklad s komentářem

Kódování shlukování

Chromozom může obsahovat značku shluku každého objektu nebo souřadnice reprezentantů. Permutace jmen shluků představuje stejné rozdělení, a proto vytváří redundanci.

Sloučení a rozštěpení shluků jsou účelové operátory. U reprezentantů lze křížit celé středy a mutovat jejich souřadnice. Cílová funkce má odpovídat zvolené vzdálenosti.

J=∑iminkd(xi,μk)

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 10, 11, 12

ROZ 11 · Výklad s komentářem

Kontextová důvěra v segmentaci

Lokální skóre hodnotí vlastnosti oblasti; kompatibilita hodnotí, zda spolu sousední interpretace dávají smysl. Fitness pak skládá lokální a vztahové informace.

Takové skóre nemusí být normalizovaná pravděpodobnost. Nelze jej automaticky číst jako procentní jistotu správnosti celé segmentace.

ui=1|Ni|∑j∈Nir(yi,yj)cj(yj)
F(y)=∑ici(yi)ui

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 12, 13

ROZ 11 · Výklad s komentářem

Genetická segmentace krok za krokem

Nejdříve vytvoříme primární oblasti a jejich graf sousednosti. Chromozom určí interpretaci oblastí. Pro každou hypotézu aktualizujeme vztahy a vypočteme fitness.

Po výběru, křížení a mutaci hodnotíme novou generaci. Nejlepší nalezená interpretace závisí na připravených oblastech, pravidlech i rozpočtu; algoritmus neopraví chybějící základní informaci.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 13, 14

ROZ 11 · Výklad s komentářem

Míč na trávníku

Didaktický příklad kombinuje kruhovitost pro míč, zelenost pro trávník a vztah „míč uvnitř trávníku“. Různé řetězce značek vyjadřují různé hypotézy.

Čísla fitness v podkladu patří konstruované ukázce. Nejde o měření detektoru na reálném testovacím souboru.

Oblast A / oblast B
Nově kreslené schéma GRAFIT · ilustrační konstrukce.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 15, 16

ROZ 11 · Výklad s komentářem

Výběr příznaků bitovou maskou

Jednička znamená použitý příznak a nula vyřazený. Fitness může spojit validační výkon s penalizací počtu nebo ceny příznaků.

Hledání opakovaně zkouší mnoho masek. Finální výkon proto hodnotíme na vnějším testu; interní vítězné skóre je ovlivněné výběrem.

F(J)=scoreval(J)−λ|J|

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 16

ROZ 11 · Výklad s komentářem

Historické experimenty s kůrou stromů

Podklad porovnává příznaky 2D/3D SCAR na sadách BarkNet, BarkTex a dalších texturových datech. Uvádí například 23 tříd BarkNet a tabulky precision a sensitivity jednotlivých druhů.

Jde o převzaté výsledky historického výzkumu, ne o nový experiment GRAFIT. Přesné dílčí tabulky a protokoly jsou v odkázaném PDF a článku Remeš–Haindl (2019). Rozdílné sady ani verze protokolu neslučujeme do jednoho pořadí.

Michal Haindl · podklad 2023–2024 · tematický přepis GRAFIT. Zdrojové PDF · strany 16, 17, 18

ROZ 11 · Interaktivní doplněk GRAFIT

Jeden bitový mutační operátor

Vyzkoušejte · doplněk GRAFIT

Konstruovaný didaktický model. Měňte vstupy a sledujte výpočet; nejde o naměřený výkon ani plný učící algoritmus.

ROZ 11 · Řešený příklad · doplněk GRAFIT

OneMax a mutace

V hračkové úloze maximalizujeme počet jedniček. Řetězec 10110 má fitness 3. Převrácení druhého bitu dává 11110 s fitness 4, převrácení prvního bitu však 00110 s fitness 2. Mutace tedy nemusí zlepšovat.

Neprezentujte jeden úspěšný běh jako záruku. Ukázka bitového operátoru níže není implementace celého genetického algoritmu.

ROZ 11 · Ověření porozumění · doplněk GRAFIT

Zkuste si odpovědět

Zlepšuje každá mutace fitness?

Zobrazit vysvětlení

Ne. Může ji zvýšit, snížit nebo ponechat stejnou; záleží na řešení, operátoru a cílové funkci.

ROZ 11 · Shrnutí souvislostí · komentář GRAFIT

Co je jedinec

Chromozom kóduje kandidátní řešení. Fitness vyjadřuje jeho kvalitu podle konkrétního zadání. Kódování musí umožnit smysluplné vyhodnocení a buď zachovávat přípustnost, nebo mít pravidla oprav či penalizací.

ROZ 11 · Shrnutí souvislostí · komentář GRAFIT

Selekce, křížení, mutace

Selekce preferuje určité rodiče. Křížení kombinuje jejich informace, mutace zavádí další změny. Jejich účinek závisí na reprezentaci; výměna bitů není univerzálně smysluplná pro libovolnou úlohu.

ROZ 11 · Shrnutí souvislostí · komentář GRAFIT

Prozkoumávání a využívání

Silný selekční tlak může rychle zlepšit fitness a současně ztratit rozmanitost. Slabý tlak či velmi silné mutace mohou postup zpomalit. Elitismus uchová nejlepší jedince, ale sám neřeší předčasnou konvergenci.

ROZ 11 · Shrnutí souvislostí · komentář GRAFIT

Jak vykazovat výsledek

Jde o stochastickou heuristiku. Uvádíme rozpočet vyhodnocení, opakování, náhodná semena a variabilitu výsledků. Nejlepší nalezené řešení není bez dalšího důkaz globálního optima.

ROZ 11 · Provenience

Podklady a způsob zpracování

Autor původních podkladů: Michal Haindl, FIT ČVUT / ÚTIA AV ČR, 2023–2024. Český tematický přepis, vysázení a didaktické doplňky: GRAFIT, 2026.

Tato verze slučuje postupná odhalení a vysvětluje témata vlastními větami. Není doslovnou reprodukcí každé původní tabulky ani náhradou aktuálních organizačních pokynů. Zdrojové PDF zůstává beze změny; žádný původní snímek zde není vložen jako obrázek.

Stáhnout původní PDFAutorský zdrojMapa témat a SHA-256

Obsah přednášky

Moje poznámky

Ukládají se jen v tomto prohlížeči.