Optimizing the layout of proportional symbol maps: Polyhedra and computation

Guilherme Kunigami, Pedro J. De Rezende, Cid C. De Souza, Tallys Yunes

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


Proportional symbol maps are a cartographic tool to assist in the visualization and analysis of quantitative data associated with specific locations, such as earthquake magnitudes, oil well production, and temperature at weather stations. As the name suggests, symbol sizes are proportional to the magnitude of the physical quantities that they represent. We present two novel integer linear programming (ILP) models to solve this computational geometry problem: how to draw opaque disks on a map so as to maximize the total visible border of all disks. We focus on drawings obtained by layering symbols on top of each other, also known as stacking drawings. We introduce decomposition techniques as well as several families of facet-defining inequalities, which are used to strengthen the ILP models that are supplied to a commercial solver. We demonstrate the effectiveness of our approach through a series of computational experiments using hundreds of instances generated from real demographic and geophysical data sets. To the best of our knowledge, we are the first to use ILP to tackle this problem, and the first to provide provably optimal symbol maps for those data sets.

Original languageEnglish (US)
Pages (from-to)199-207
Number of pages9
JournalINFORMS Journal on Computing
Issue number2
StatePublished - 2014


  • Cartography
  • Computational geometry
  • Integer programming
  • Symbol maps

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Science Applications
  • Management Science and Operations Research


Dive into the research topics of 'Optimizing the layout of proportional symbol maps: Polyhedra and computation'. Together they form a unique fingerprint.

Cite this