Advertisement

Approximate Proof-Labeling Schemes

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10641)

Abstract

We study a new model of verification of boolean predicates over distributed networks. Given a network configuration, the proof-labeling scheme (PLS) model defines a distributed proof in the form of a label that is given to each node, and all nodes locally verify that the network configuration satisfies the desired boolean predicate by exchanging labels with their neighbors. The proof size of the scheme is defined to be the maximum size of a label.

In this work, we extend this model by defining the approximate proof-labeling scheme (APLS) model. In this new model, the predicates for verification are of the form \(\psi \le \varphi \), where \(\psi , \varphi : \mathcal{F}\rightarrow \mathbb {N}\) for a family of configurations \(\mathcal{F}\). Informally, the predicates considered in this model are a comparison between two values of the configuration. As in the PLS model, nodes exchange labels in order to locally verify the predicate, and all must accept if the network satisfies the predicate. The soundness condition is relaxed with an approximation ration \(\alpha \), so that only if \(\psi > \alpha \varphi \) some node must reject.

We show that in the APLS model, the proof size can be much smaller than the proof size of the same predicate in the PLS model. Moreover, we prove that there is a tradeoff between the approximation ratio and the proof size.

Keywords

Distributed graph algorithms Distributed verification Approximation algorithms Primal-dual algorithms 

Notes

Acknowledgment

We thank Gilad Kutiel, Seffi Naor and Dror Rawitz for discussions of the primal-dual method, and the anonymous reviewers of SIROCCO 2017 for valuable comments.

References

  1. 1.
    Abboud, A., Censor-Hillel, K., Khoury, S.: Near-linear lower bounds for distributed distance computations, even in sparse networks. In: Gavoille, C., Ilcinkas, D. (eds.) DISC 2016. LNCS, vol. 9888, pp. 29–42. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-53426-7_3 CrossRefGoogle Scholar
  2. 2.
    Aingworth, D., Chekuri, C., Indyk, P., Motwani, R.: Fast estimation of diameter and shortest paths (without matrix multiplication). SIAM J. Comput. 28(4), 1167–1181 (1999)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Arfaoui, H., Fraigniaud, P., Ilcinkas, D., Mathieu, F.: Distributedly testing cycle-freeness. In: Kratsch, D., Todinca, I. (eds.) WG 2014. LNCS, vol. 8747, pp. 15–28. Springer, Cham (2014).  https://doi.org/10.1007/978-3-319-12340-0_2 Google Scholar
  4. 4.
    Arfaoui, H., Fraigniaud, P., Pelc, A.: Local decision and verification with bounded-size outputs. In: Higashino, T., Katayama, Y., Masuzawa, T., Potop-Butucaru, M., Yamashita, M. (eds.) SSS 2013. LNCS, vol. 8255, pp. 133–147. Springer, Cham (2013).  https://doi.org/10.1007/978-3-319-03089-0_10 CrossRefGoogle Scholar
  5. 5.
    Awerbuch, B., Patt-Shamir, B., Varghese, G.: Self-stabilization by local checking and correction. In: FOCS, pp. 268–277. IEEE (1991)Google Scholar
  6. 6.
    Baruch, M., Fraigniaud, P., Patt-Shamir, B.: Randomized proof-labeling schemes. In: PODC, pp. 315–324 (2015)Google Scholar
  7. 7.
    Baruch, M., Ostrovsky, R., Rosenbaum, W.: Space-time tradeoffs for distributed verification. CoRR, arXiv:1605.06814 (2016)
  8. 8.
    Blin, L., Fraigniaud, P., Patt-Shamir, B.: On proof-labeling schemes versus silent self-stabilizing algorithms. In: Felber, P., Garg, V. (eds.) SSS 2014. LNCS, vol. 8756, pp. 18–32. Springer, Cham (2014).  https://doi.org/10.1007/978-3-319-11764-5_2 Google Scholar
  9. 9.
    Chechik, S., Larkin, D.H., Roditty, L., Schoenebeck, G., Tarjan, R.E., Williams, V.V.: Better approximation algorithms for the graph diameter. In SODA, pp. 1041–1052 (2014)Google Scholar
  10. 10.
    Cook, W.J., Cunningham, W.H., Pulleyblank, W.R., Schrijver, A.: Combinatorial Optimization. Wiley, New York (1998)MATHGoogle Scholar
  11. 11.
    Das Sarma, A., Holzer, S., Kor, L., Korman, A., Nanongkai, D., Pandurangan, G., Peleg, D., Wattenhofer, R.: Distributed verification and hardness of distributed approximation. SIAM J. Comput. 41(5), 1235–1265 (2012)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Feuilloley, L., Fraigniaud, P.: Survey of distributed decision. Bull. EATCS 119 (2016)Google Scholar
  13. 13.
    Feuilloley, L., Fraigniaud, P., Hirvonen, J.: A hierarchy of local decision. In: ICALP, pp. 118:1–118:15 (2016)Google Scholar
  14. 14.
    Foerster, K.-T., Luedi, T., Seidel, J., Wattenhofer, R.: Local checkability, no strings attached. In: ICDCN, pp. 21:1–21:10. ACM (2016)Google Scholar
  15. 15.
    Foerster, K.-T., Richter, O., Seidel, J., Wattenhofer, R.: Local checkability in dynamic networks. In: ICDCN, pp. 4:1–4:10. ACM (2017)Google Scholar
  16. 16.
    Fraigniaud, P.: Göös, M., Korman, A., Suomela, J.: What can be decided locally without identifiers? In: PODC, pp. 157–165. ACM (2013)Google Scholar
  17. 17.
    Fraigniaud, P., Halldórsson, M.M., Korman, A.: On the impact of identifiers on local decision. In: Baldoni, R., Flocchini, P., Binoy, R. (eds.) OPODIS 2012. LNCS, vol. 7702, pp. 224–238. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-35476-2_16 CrossRefGoogle Scholar
  18. 18.
    Fraigniaud, P., Hirvonen, J., Suomela, J.: Node labels in local decision. In: Scheideler, C. (ed.) Structural Information and Communication Complexity. LNCS, vol. 9439, pp. 31–45. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-25258-2_3 CrossRefGoogle Scholar
  19. 19.
    Fraigniaud, P., Korman, A., Peleg, D.: Towards a complexity theory for local distributed computing. J. ACM 60(5), 35 (2013)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Fraigniaud, P., Rajsbaum, S., Travers, C.: Locality and checkability in wait-free computing. Distrib. Comput. 26(4), 223–242 (2013)CrossRefMATHGoogle Scholar
  21. 21.
    Fraigniaud, P., Rajsbaum, S., Travers, C.: On the number of opinions needed for fault-tolerant run-time monitoring in distributed systems. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 92–107. Springer, Cham (2014).  https://doi.org/10.1007/978-3-319-11164-3_9 Google Scholar
  22. 22.
    Göös, M., Suomela, J.: Locally checkable proofs in distributed computing. Theory Comput. 12(1), 1–33 (2016)MathSciNetMATHGoogle Scholar
  23. 23.
    Holzer, S., Peleg, D., Roditty, L., Wattenhofer, R.: Distributed 3/2-approximation of the diameter. In: DISC, pp. 562–564 (2014)Google Scholar
  24. 24.
    Holzer, S., Wattenhofer, R.: Optimal distributed all pairs shortest paths and applications. In: PODC, pp. 355–364 (2012)Google Scholar
  25. 25.
    Korman, A., Kutten, S.: Distributed verification of minimum spanning trees. Distrib. Comput. 20, 253–266 (2007)CrossRefMATHGoogle Scholar
  26. 26.
    Korman, A., Kutten, S., Masuzawa, T.: Fast and compact self stabilizing verification, computation, and fault detection of an MST. In: PODC, pp. 311–320 (2011)Google Scholar
  27. 27.
    Korman, A., Kutten, S., Peleg, D.: Proof labeling schemes. Distrib. Comput. 22(4), 215–233 (2010)CrossRefMATHGoogle Scholar
  28. 28.
    Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, New York (1997)CrossRefMATHGoogle Scholar
  29. 29.
    Peleg, D., Roditty, L., Tal, E.: Distributed algorithms for network diameter and girth. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012. LNCS, vol. 7392, pp. 660–672. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-31585-5_58 CrossRefGoogle Scholar
  30. 30.
    Roditty, L., Williams, V.V.: Fast approximation algorithms for the diameter and radius of sparse graphs. In: STOC, pp. 515–524 (2013)Google Scholar
  31. 31.
    Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2001).  https://doi.org/10.1007/978-3-662-04565-7 MATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of Computer ScienceTechnionHaifaIsrael
  2. 2.Department of Electrical EngineeringTel Aviv UniversityTel AvivIsrael

Personalised recommendations