Implementace a porovnání přírodou inspirovaných prohledávacích algoritmů

Abstract

Tato práce se zabývá popisem, implementací a porovnáním genetického algoritmu, jeho varianty obohacené o lokální vyhledávací heuristiku a binární optimalizace hejnem částic (BPSO). Jsou to algoritmy inspirované přírodními jevy, konkrétně evolucí a pohybem hejna ryb či ptáků. Implementované algoritmy budou použity k řešení 3-SAT problému, který je v práci také popsán. Algoritmy jsou otestovány na benchmarkových instancích 3-SAT problému a porovnány mezi sebou a s výsledky jiných prací.This thesis deals with the description, implementation and comparison of genetic algorithm, genetic algorithm enhanced with local search heuristic and binary particle swarm optimization (BPSO). These are algorithms inspired by natural phenomena, specifically the evolution and movement of bird flocks or fish schools. Implemented algorithms are used to solve the 3-SAT problem, which is also described in this thesis. Algorithms are tested on 3-SAT benchmarks and compared to each other and to other papers.