Simple view
Full metadata view
Authors
Statistics
Algorytm Eppsteina i algorytm genetyczny dla problemu synchronizacji - implementacja w pakiecie COMPAS
algorytm Eppsteina, algorytm genetyczny, deterministyczny automat skończony, słowo synchronizujące, hipoteza Cernego
Eppstein algorithm, genetic algorithm, deterministic finite automata, synchronizing word, Cerny conjecture
Problem znalezienia najkrótszego słowa synchronizującego w automacie synchronizującym jest problemem NP-trudnym. Dotychczas stworzone wielomianowe algorytmy działają heurystycznie i potrafią jedynie znajdować pewne krótkie, lecz nie najkrótsze słowa synchronizujące. W pracy przedstawiony został algorytm genetyczny szukający możliwie krótkiego słowa synchronizującego. Przeprowadzona została analiza różnic pomiędzy minimalnym słowem synchronizującym a słowem z algorytmu Eppsteina. Wynik tych badań posłużył do stworzenia efektywnych operacji genetycznych w algorytmie. Wynikowy algorytm znajduje słowa synchronizujące nie dłuższe niż te z algorytmu Eppsteina.
Problem of finding minimal synchronizing word for a given synchronizing automaton is NP-hard. Polynomial algorithms developed so far are heuristic and able to find some short, but not the shortest synchronizing word. The purpose of this paper is to present genetic algorithm for finding as short synchronizing word as possible. Analysis of differences between the minimal synchronizing word and the word of Eppstein algorithm was performed. The result of these studies was used to create the effective genetic operators in algorithm. Final version of algorithm finds synchronizing words which are shorter or same length than those of Eppstein algorithm.
dc.abstract.en | Problem of finding minimal synchronizing word for a given synchronizing automaton is NP-hard. Polynomial algorithms developed so far are heuristic and able to find some short, but not the shortest synchronizing word. The purpose of this paper is to present genetic algorithm for finding as short synchronizing word as possible. Analysis of differences between the minimal synchronizing word and the word of Eppstein algorithm was performed. The result of these studies was used to create the effective genetic operators in algorithm. Final version of algorithm finds synchronizing words which are shorter or same length than those of Eppstein algorithm. | pl |
dc.abstract.pl | Problem znalezienia najkrótszego słowa synchronizującego w automacie synchronizującym jest problemem NP-trudnym. Dotychczas stworzone wielomianowe algorytmy działają heurystycznie i potrafią jedynie znajdować pewne krótkie, lecz nie najkrótsze słowa synchronizujące. W pracy przedstawiony został algorytm genetyczny szukający możliwie krótkiego słowa synchronizującego. Przeprowadzona została analiza różnic pomiędzy minimalnym słowem synchronizującym a słowem z algorytmu Eppsteina. Wynik tych badań posłużył do stworzenia efektywnych operacji genetycznych w algorytmie. Wynikowy algorytm znajduje słowa synchronizujące nie dłuższe niż te z algorytmu Eppsteina. | pl |
dc.affiliation | Wydział Matematyki i Informatyki | pl |
dc.contributor.advisor | Roman, Adam - 142015 | pl |
dc.contributor.author | Dymek, Daniel | pl |
dc.contributor.departmentbycode | UJK/WMI2 | pl |
dc.contributor.reviewer | Foryś, Wit - 127940 | pl |
dc.contributor.reviewer | Roman, Adam - 142015 | pl |
dc.date.accessioned | 2020-07-14T18:11:01Z | |
dc.date.available | 2020-07-14T18:11:01Z | |
dc.date.submitted | 2012-11-13 | pl |
dc.fieldofstudy | informatyka stosowana | pl |
dc.identifier.apd | diploma-54743-65240 | pl |
dc.identifier.project | APD / O | pl |
dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/169711 | |
dc.language | pol | pl |
dc.subject.en | Eppstein algorithm, genetic algorithm, deterministic finite automata, synchronizing word, Cerny conjecture | pl |
dc.subject.pl | algorytm Eppsteina, algorytm genetyczny, deterministyczny automat skończony, słowo synchronizujące, hipoteza Cernego | pl |
dc.title | Algorytm Eppsteina i algorytm genetyczny dla problemu synchronizacji - implementacja w pakiecie COMPAS | pl |
dc.title.alternative | Eppstein algorithm and genetic algorithm for synchronization problem - implementation in COMPAS project | pl |
dc.type | master | pl |
dspace.entity.type | Publication |