Synchronizacja automatów i hipoteza Cerny'ego
2013/09/N/ST6/01194
Słowa kluczowe
Deskryptory
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier
- ST1_15: Matematyczne aspekty informatyki
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 2
Konkurs
PRELUDIUM 5 – ogłoszony 2013-03-15
- Przyznana kwota
- 76 550 PLN
- Rozpoczęcie projektu
- 2014-03-25
- Zakończenie projektu
- 2016-03-24
- Planowany czas trwania projektu
- 24 miesiące (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Komputer stacjonarny dobrej klasy. Za kwotę 7 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (2)
-
Syntactic Complexity of Regular Ideals
- Autorzy:
- Janusz Brzozowski, Marek Szykuła, Yuli Ye
- Czasopismo:
- Theory of Computing Systems (rok: 2018, tom: 62, strony: 1175--1202), Wydawca: Elsevier
- Status:
- Opublikowana
- DOI:
- 10.1007/s00224-017-9803-8 – link do publikacji
-
Forward and backward synchronizing algorithms
- Autorzy:
- Adam Roman, Marek Szykuła
- Czasopismo:
- Expert Systems with Applications (rok: 2015, tom: 42, strony: 9512--9527), Wydawca: Elsevier
- Status:
- Opublikowana
- DOI:
- 10.1016/j.eswa.2015.07.071 – link do publikacji
Teksty w publikacjach pokonferencyjnych (10)
-
Algebraic Synchronization Criterion and Computing Reset Words
- Autorzy:
- Mikhail Berlinkov, Marek Szykuła
- Konferencja:
- 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) (rok: 2015, strony: 103--115), Wydawca: Springer Berlin Heidelberg
- Data:
- konferencja 24.08.2015--28.08.2015
- Status:
- Opublikowana
-
Complexity of Suffix-Free Regular Languages
- Autorzy:
- Janusz Brzozowski, Marek Szykuła
- Konferencja:
- 20th International Symposium on Fundamentals of Computation Theory (FCT 2015) (rok: 2015, strony: 146--159), Wydawca: Springer International Publishing
- Data:
- konferencja 17.08.2015--19.08.2015
- Status:
- Opublikowana
-
On the Number of Synchronizing Colorings of Digraphs
- Autorzy:
- Vladimir V. Gusev, Marek Szykuła
- Konferencja:
- 20th International Conference on Implementation and Application of Automata (CIAA 2015) (rok: 2015, strony: 127--139), Wydawca: Springer International Publishing
- Data:
- konferencja 18.08.2015--21.08.2015
- Status:
- Opublikowana
-
Experiments with Synchronizing Automata
- Autorzy:
- Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła
- Konferencja:
- 21st International Conference on Implementation and Application of Automata (CIAA 2016) (rok: 2016, strony: 176--188), Wydawca: Springer International Publishing
- Data:
- konferencja 19.07.2016--22.07.2016
- Status:
- Opublikowana
-
Synchronizing Automata with Extremal Properties
- Autorzy:
- Andrzej Kisielewicz, Marek Szykuła
- Konferencja:
- 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) (rok: 2015, strony: 331--343), Wydawca: Springer Berlin Heidelberg
- Data:
- konferencja 24.08.2015--28.08.2015
- Status:
- Opublikowana
-
Evolving Chess-like Games Using Relative Algorithm Performance Profiles
- Autorzy:
- Jakub Kowalski, Marek Szykuła
- Konferencja:
- 19th European Conference on the Applications of Evolutionary Computation (EvoApplications 2015) (rok: 2015, strony: 574--589), Wydawca: Springer International Publishing
- Data:
- konferencja 30.03.2016--01.04.2016
- Status:
- Opublikowana
-
Large Aperiodic Semigroups
- Autorzy:
- Janusz Brzozowski, Marek Szykuła
- Konferencja:
- 19th International Conference Implementation and Application of Automata (rok: 2014, strony: 124-135), Wydawca: Springer International Publishing
- Data:
- konferencja 30.07.2014 - 02.08.2014
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Checking Whether an Automaton Is Monotonic Is NP-complete
- Autorzy:
- Marek Szykuła
- Konferencja:
- 20th International Conference on Implementation and Application of Automata (CIAA 2015) (rok: 2015, strony: 279--291), Wydawca: Springer International Publishing
- Data:
- konferencja 18.08.2015--21.08.2015
- Status:
- Opublikowana
-
Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals
- Autorzy:
- Janusz Brzozowski, Marek Szykuła
- Konferencja:
- 18th International Conference on Developments in Language Theory (rok: 2014, strony: 13-24), Wydawca: Springer International Publishing
- Data:
- konferencja 26.08.2014 - 29.08.2014
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Upper Bound on Syntactic Complexity of Suffix-Free Languages
- Autorzy:
- Janusz Brzozowski, Marek Szykuła
- Konferencja:
- 17th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2015) (rok: 2015, strony: 33--45), Wydawca: Springer International Publishing
- Data:
- konferencja 25.06.2015--27.06.2015
- Status:
- Opublikowana