1 paper · 1 filter
Yi-Jun Chang, Yi-Xuan Lee, Meng-Tsung Tsai
Local certification is a framework for verifying global graph properties using only local information. In this model, a prover assigns short labels, called certificates, to the ver…