Linda Cook, A tight algorithmic meta-theorem for distributed certification within bounded treewidth graphs
Room B332 IBS (기초과학연구원)A local certification of a graph property is a protocol in which nodes are given “certificates of a graph property” that allow the nodes to check whether their network has this property while only communicating with their local network. The key property of a local certification is that if certificates are corrupted, some node in the …