Abstract
Proportional symbol maps are a tool often used by cartographers and geoscience professionals to visualize geopositioned data associated with events and demographic statistics, such as earthquakes and population counts. Symbols are placed at specific locations on a map, and their areas are scaled to become proportional to the magnitudes of the data points they represent. We focus specifically on creating physically realizable drawings of symbols—opaque disks, in our case—by maximizing two quality metrics: the total and the minimum length of their visible borders. As these two maximization problems have been proven to be NP-hard, we provide integer programming formulations for their solution, along with decomposition techniques designed to decrease the size of input instances. Our computational experiments, which use real-life data sets, demonstrate the effectiveness of our approach and provide, for the first time, a number of optimal solutions to previously studied instances of this problem.
Similar content being viewed by others
References
Cabello, S., Haverkort, H., van Kreveld, M., Speckmann, B.: Algorithmic aspects of proportional symbol maps. Algorithmica 58(3), 543–565 (2010)
CGAL: Computational Geometry Algorithms Library. www.cgal.org
Fair Isaac Corp: Xpress optimizer reference manual
Griffin, T.: The importance of visual contrast for graduated circles. Cartography 19(1), 21–30 (1990)
Kunigami, G., Cano, R.G., de Rezende, P.J., Yunes, T.H., de Souza, C.C.: Proportional symbol maps—benchmark instances (2011). www.ic.unicamp.br/~Cid/Problem-instances/Symbol-Maps
Kunigami, G., de Rezende, P.J., de Souza, C.C., Yunes, T.: Optimizing the layout of proportional symbol maps. www.optimization-online.org/DB_HTML/2010/11/2805.html
Kunigami, G., de Rezende, P.J., de Souza, C.C., Yunes, T.: Determining an optimal visualization of physically realizable symbol maps. In: Lewiner, T., Torres, R. (eds.) Proc. of the 24th Conf. on Graphics, Patterns and Images. IEEE Comp. Soc. Conf. Pub. Serv., pp. 1–8 (2011)
Kunigami, G., de Rezende, P.J., de Souza, C.C., Yunes, T.: Optimizing the layout of proportional symbol maps. In: Murgante, B. et al. (eds.) Proceedings of ICCSA 2011. Lecture Notes in Computer Science, vol. 6784, pp. 1–16. Springer, Berlin (2011)
Slocum, T.A., McMaster, R.B., Kessler, F.C., Howard, H.H.: Thematic Cartography and Geographic Visualization, 2nd edn. Prentice Hall, New York (2003)
Wolsey, L.A.: Integer Programming. Wiley, New York (1998)
Acknowledgements
Guilherme Kunigami is supported by CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico) grant 830510/1999-0. Pedro J. de Rezende is partially supported by CNPq grants 483177/2009-1, 473867/2010-9, FAPESP (Fundação de Amparo à Pesquisa do Estado de São Paulo) grant 07/52015-0, and a grant from FAEPEX/UNICAMP. Cid C. de Souza is partially supported by CNPq grants 301732/2007-8, 472504/2007-0, 473867/2010-9, and FAPESP grant 07/52015-0.
The authors would like to express their appreciation to the anonymous referees for their careful and thorough reviews and for their comments which contributed to improving the exposition.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kunigami, G., de Rezende, P.J., de Souza, C.C. et al. Generating optimal drawings of physically realizable symbol maps with integer programming. Vis Comput 28, 1015–1026 (2012). https://doi.org/10.1007/s00371-012-0727-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00371-012-0727-7