Local Checking, Solving, and Mending—New Perspectives of Distributed Computing (LocalMend)

Nykyaikaiset laajat tietoverkot koostuvat lukuisista tietokoneista, joiden välillä on tiedonsiirtoyhteyksiä. Tietokoneet voivat ratkaista haastavia tehtäviä yhteistyössä niin, että laitteet välittävät viestejä toisilleen ja kukin tietokone ratkaisee oman osansa tehtävästä. Ohjelmaa, joka ohjaa kokonaisen tietoverkon toimintaa, sanotaan hajautetuksi algoritmiksi. Tässä hankkeessa tutkitaan, mitä laskentatehtäviä voidaan ratkaista nopeasti hajautetuilla algoritmeilla ja mitkä laskentatehtävät puolestaan ovat sellaisia, että niiden ratkaiseminen millä tahansa hajautetulla algoritmilla vie väistämättä pitkään. Keskeinen kysymys on se, riittääkö, että tietokoneet vaihtavat tietoa ainoastaan lähiympäristössään olevien muiden koneiden kanssa, vai tarvitseeko tietoa siirtää pitkiä matkoja verkon laidalta toiselle. Tähän liittyvä teoria auttaa ymmärtämään paitsi ihmisten luomia tietoverkkoja myös luonnossa esiintyviä järjestelmiä.