Now showing items 1-4 of 4

  • Evoluční algoritmy v úloze booleovské splnitelnosti 

    Serédi, Silvester
    Cílem této diplomové práce je najít heuristiku řešící SAT problém pomocí evolučního algoritmu. Jsou zde uvedeny přístupy k řešení SAT problému a různé varianty k evolučním algoritmům, které jsou relevantní k danému tématu. ...
  • Konstrukce zobecněného konečného automatu 

    Šoka, Martin
    Práce se zabývá vytvořením algoritmu pro konstrukci deterministického zobecněného konečného automatu. Tento automat se od obyčejného deterministického automatu liší tím, že jeho přechody jsou definovány slovy, na základě ...
  • Srovnání metod pro řešení problému obchodního cestujícího 

    Šušová, Lucia
    Tato práce se zabývá srovnáním metod řešení problému obchodního cestujícího (traveling salesman problem). Pro řešení tohoto NP-úplného problému existuje celá řada algoritmů, kdy není jednoduché vybrat ten správný. Hlavní ...
  • Úloha obchodního cestujícího 

    Kolář, Adam
    Cílem této bakalářské práce je navrhnout prostředí testující problém obchodního cestujícího a porovnat efektivitu jednotlivých přístupů k řešení. V první části jsou diskutovány možnosti genetických algoritmů v závislosti ...