Student prostuduje a představí známé výsledky týkající se řešení rovnic na slovech s jednou neznámou a pokusí se je rozšířit.
References
Robert Dabrowski, Wojciech Plandowski: On Word Equations in One Variable. Algorithmica 60(4): 819-828 (2011)
Markku Laine, Wojciech Plandowski: Word Equations with One Unknown. Int. J. Found. Comput. Sci. 22(2): 345-375 (2011)
S. Eyono Obono, Pavel Goralcik, M. N. Maksimenko: Efficient Solving of the Word Equations in One Variable. MFCS 1994: 336-341
Preliminary scope of work
Ačkoli to může překvapit, řešení slovních rovnic s jednou neznámou nejsou plně popsána. Existuje několik obecných výsledků, několik hypotéz a několik výsledků týkajících se složitosti. Je dosti pravděpodobné, že současný stav poznání by bylo možné alespoň trochu posunout. Zcela beznadějné se nezdá ani úplné řešení problému.
