Evoluční algoritmy v úloze booleovské splnitelnosti
| but.committee | doc. Ing. Jiří Kunovský, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) doc. RNDr. Aleš Horák, Ph.D. (člen) doc. Dr. Ing. Dušan Kolář (člen) Mgr. Ing. Pavel Očenášek, Ph.D. (člen) Ing. Jan Samek, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C. Otázky u obhajoby: Proč jste nevyužil a případně nemodifikoval některý z již existujících SAT solverů (např. MiniSat). Jakým způsobem probíhá vyhodnocení fitness hodnoty. Kandidátní heuristika se překládá pomocí C++ překladače a poté externě spouští? Proč byl zvolen takto neefektivní přístup? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Sekanina, Lukáš | cs |
| dc.contributor.author | Serédi, Silvester | cs |
| dc.contributor.referee | Vašíček, Zdeněk | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | 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. Následně je popsaná implementace lineárního genetického programování hledající heuristiku pro řešení instancí SAT problému společne s vlastní implementací SAT solveru pracujíci s výstupem evolučně navrženého programu. Na závěr jsou shrnuty dosažené výsledky | cs |
| dc.description.abstract | The goal of this Master's Thesis is finding a SAT solving heuristic by the application of an evolutionary algorithm. This thesis surveys various approaches used in SAT solving and some variants of evolutionary algorithms that are relevant to this topic. Afterwards the implementation of a linear genetic programming system that searches for a suitable heuristic for SAT problem instances is described, together with the implementation of a custom SAT solver which expoloits the output of the genetic program. Finally, the achieved results are summarized. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | SERÉDI, S. Evoluční algoritmy v úloze booleovské splnitelnosti [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79198 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53467 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Genetické programovanie | cs |
| dc.subject | evolučné algoritmy | cs |
| dc.subject | zložitosť | cs |
| dc.subject | SAT problém | cs |
| dc.subject | NP-úplný problém | cs |
| dc.subject | SAT solver. | cs |
| dc.subject | Genetic programming | en |
| dc.subject | evolutionary algorithms | en |
| dc.subject | complexity | en |
| dc.subject | SAT problem | en |
| dc.subject | NP-complete problem | en |
| dc.subject | SAT solver. | en |
| dc.title | Evoluční algoritmy v úloze booleovské splnitelnosti | cs |
| dc.title.alternative | Evolutionary Algorithms in the Task of Boolean Satisfiability | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2013-06-18 | cs |
| dcterms.modified | 2020-05-10-16:11:04 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79198 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:15:06 | en |
| sync.item.modts | 2025.01.15 18:57:35 | en |
| thesis.discipline | Inteligentní systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |