Lower bound for constant-size local certification
V Ardévol Martínez, M Caoduro, L Feuilloley… - … on Stabilizing, Safety …, 2022 - Springer
Given a network property or a data structure, a local certification is a labeling that allows to
efficiently check that the property is satisfied, or that the structure is correct. The quality of a
certification is measured by the size of its labels: the smaller, the better. This notion plays a
central role in self-stabilization, because the size of the certification is a lower bound (and
often an upper bound) on the memory needed for silent self-stabilizing construction of
distributed data structures. When it comes to the size of the certification labels, one can …
efficiently check that the property is satisfied, or that the structure is correct. The quality of a
certification is measured by the size of its labels: the smaller, the better. This notion plays a
central role in self-stabilization, because the size of the certification is a lower bound (and
often an upper bound) on the memory needed for silent self-stabilizing construction of
distributed data structures. When it comes to the size of the certification labels, one can …
Lower Bound for Constant-Size Local Certification
J Narboni, P Pournajafi, JF Raymond - Stabilization, Safety, and Security of … - Springer
Given a network property or a data structure, a local certification is a labeling that allows to
efficiently check that the property is satisfied, or that the structure is correct. The quality of a
certification is measured by the size of its labels: the smaller, the better. This notion plays a
central role in self-stabilization, because the size of the certification is a lower bound (and
often an upper bound) on the memory needed for silent self-stabilizing construction of
distributed data structures. When it comes to the size of the certification labels, one can …
efficiently check that the property is satisfied, or that the structure is correct. The quality of a
certification is measured by the size of its labels: the smaller, the better. This notion plays a
central role in self-stabilization, because the size of the certification is a lower bound (and
often an upper bound) on the memory needed for silent self-stabilizing construction of
distributed data structures. When it comes to the size of the certification labels, one can …
Showing the best results for this search. See all results