Sammanfattning Denna tidning försöker hitta ett svar på en öppen fråga om Angluin i sin seminala uppsats (1980) om valproblem för familjer av grafer (avsnitt 4, sidan 87). Mer exakt, vi karakteriserar familjer av (märkta) grafer som medger en valalgoritm i meddelandet passerar modell genom att använda begreppet kvasi-coverings som fångar "existensen av tillräckligt stort område av en graf som ser lokalt som en annan graf".
Baserat på uppräkningsalgoritmen införde författarna i REF begreppet kvasi-covering, dvs. som fångar förekomsten av tillräckligt stort område av en graf som ser ut lokalt som en annan graf, och karakteriserade familjer av grafer som medger en valalgoritm i meddelandet passerar modellen.
Election in partially anonymous networks with arbitrary knowledge in message passing systems
{'venue': 'Distributed Computing', 'journal': 'Distributed Computing', 'mag_field_of_study': ['Engineering', 'Computer Science']}