Kuvan laskennassa ongelmana on piirtää kukin ympyrä täsmälleen kerran, ettei laskenta-aikaa tuhlaantuisi päällekkäisyyksiin. Jokaista ympyrää vastaa ryhmässä tekijäluokka, ja ongelmana on luetella tehokkaasti jokaiselle tekijäluokalle täsmälleen yksi edustaja. Ongelma on ratkaistu soveltamalla automaattisten ryhmien teoriaa ja konstruoimalla tekijäluokkien automaattinen rakenne, jolloin tekijäluokkien numerointi helpottuu olennaisesti.
Jarkko Lavinen