Problema APSP via Dimensão-VC e Médias de Rademacher
Resumo
Considere o problema de computar o caminho mínimo entre cada par de vértices (APSP) de um grafo, desde que o caminho tenha alta centralidade, sendo que a métrica de centralidade em questão reflete a "importância'' do caminho no grafo. Propomos um algoritmo para este problema que usa uma estratégia de amostragem baseada em Dimensão-VC e médias de Rademacher. No caso de grafos esparsos de diâmetro logarítmico, que comumente modelam situações reais, o tamanho da amostra é exponencialmente menor do que aquelas obtidas por técnicas clássicas (e.g.: Hoeffding e limitante da união).
Referências
Easley, D. e Kleinberg, J. (2010).Networks, crowds, and markets. Cambridge University Press.
Har-Peled, S. e Sharir, M. (2011). Relative (p,ε)-approximations in geometry. Discrete & Computational Geometry, 45(3):462–496.
Oneto, L., Ghio, A., Anguita, D., e Ridella, S. (2013). An improved analysis of the rademacher data-dependent bound using its self bounding property. Neural Networks, 44:107 – 111.
Pettie, S. e Ramachandran, V. (2002). Computing shortest paths with comparisons and additions. In Proc. of ACM-SIAM Symp. on Discrete Algorithms, pages 267–276.
Riondato, M. e Upfal, E. (2018). Abra: Approximating betweenness centrality in static and dynamic graphs with rademacher averages. ACM Transactions on Knowledge Discovery from Data, 12(5):61:1–61:38.
Williams, R. (2014). Faster all-pairs shortest paths via circuit complexity. In Proc. of the Forty-sixth Annual ACM Symp. on Theory of Computing, STOC ’14, pages 664–673.