Automaattien synkronisaatiosta
Kopra, Johan (2015-04)
Automaattien synkronisaatiosta
Kopra, Johan
(04 / 2015)
Turun yliopisto
avoin
Julkaisun pysyvä osoite on:
https://urn.fi/URN:NBN:fi-fe2015081210928
https://urn.fi/URN:NBN:fi-fe2015081210928
Kuvaus
Siirretty Doriasta
Tiivistelmä
Tässä tutkielmassa tarkastellaan eräitä synkronisoituviin automaatteihin liittyviä ongelmia. Pääpaino on Černýn konjektuurissa ja tienväritysongelmassa, joiden lisäksi käsitellään myös hybridikonjektuuria.
Černýn konjektuuri on otaksuma, jonka mukaan jokainen synkronisoituva n-tilainen automaatti voidaan synkronisoida enintään pituutta (n − 1)2 olevalla sanalla. Ongelma on ollut avoin 1970-luvulta asti, mutta useita osatuloksia on todistettu. Tutkielmassa esitetään niistä tärkeimmät.
Tienväritysongelma koskee sitä, millaisista suunnatuista graafeista voidaan muodostaa synkronisoituvia automaatteja. Vuonna 2009 todistetun tienvärityslauseen mukaan synkronisoituvia automaatteja voidaan muodostaa ns. primitiivisistä graafeista. Tutkielmassa esitetään tienvärityslauseen todistus.
Hybridikonjektuuri on vuonna 2010 esitetty otaksuma, jossa on yhdistetty elementtejä Černýn konjektuurista ja tienvärityslauseesta. Hybridikonjektuurin mukaan jokaisesta n solmua sisältävästä primitiivisestä graafista voidaan muodostaa synkronisoituva automaatti, jonka lyhimmän synkronisoivan sanan pituus on enintään n 2 − 3n + 3. Tutkielmassa esitetään tunnettuja osatuloksia sekä johdetaan uusi alaraja Eulerin graafeille.
Černýn konjektuuri on otaksuma, jonka mukaan jokainen synkronisoituva n-tilainen automaatti voidaan synkronisoida enintään pituutta (n − 1)2 olevalla sanalla. Ongelma on ollut avoin 1970-luvulta asti, mutta useita osatuloksia on todistettu. Tutkielmassa esitetään niistä tärkeimmät.
Tienväritysongelma koskee sitä, millaisista suunnatuista graafeista voidaan muodostaa synkronisoituvia automaatteja. Vuonna 2009 todistetun tienvärityslauseen mukaan synkronisoituvia automaatteja voidaan muodostaa ns. primitiivisistä graafeista. Tutkielmassa esitetään tienvärityslauseen todistus.
Hybridikonjektuuri on vuonna 2010 esitetty otaksuma, jossa on yhdistetty elementtejä Černýn konjektuurista ja tienvärityslauseesta. Hybridikonjektuurin mukaan jokaisesta n solmua sisältävästä primitiivisestä graafista voidaan muodostaa synkronisoituva automaatti, jonka lyhimmän synkronisoivan sanan pituus on enintään n 2 − 3n + 3. Tutkielmassa esitetään tunnettuja osatuloksia sekä johdetaan uusi alaraja Eulerin graafeille.