Generating optimal drawings of physically realizable symbol maps with integer programming

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

Research output: Contribution to journalArticle

3 Citations (Scopus)

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 NPhard, 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.

Original languageEnglish (US)
Pages (from-to)1015-1026
Number of pages12
JournalVisual Computer
Volume28
Issue number10
DOIs
StatePublished - Oct 1 2012

Fingerprint

Drawing (graphics)
Map symbols
Integer programming
Earthquakes
Statistics
Decomposition
Experiments

Keywords

  • Cartography
  • Computational geometry
  • Integer linear programming
  • Visualization

ASJC Scopus subject areas

  • Software
  • Computer Vision and Pattern Recognition
  • Computer Graphics and Computer-Aided Design

Cite this

Generating optimal drawings of physically realizable symbol maps with integer programming. / Kunigami, Guilherme; De Rezende, Pedro J.; De Souza, Cid C.; Yunes, Tallys.

In: Visual Computer, Vol. 28, No. 10, 01.10.2012, p. 1015-1026.

Research output: Contribution to journalArticle

Kunigami, Guilherme ; De Rezende, Pedro J. ; De Souza, Cid C. ; Yunes, Tallys. / Generating optimal drawings of physically realizable symbol maps with integer programming. In: Visual Computer. 2012 ; Vol. 28, No. 10. pp. 1015-1026.
@article{de8b5ec2126d4f50b2bb8c3965e89e38,
title = "Generating optimal drawings of physically realizable symbol maps with integer programming",
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 NPhard, 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.",
keywords = "Cartography, Computational geometry, Integer linear programming, Visualization",
author = "Guilherme Kunigami and {De Rezende}, {Pedro J.} and {De Souza}, {Cid C.} and Tallys Yunes",
year = "2012",
month = "10",
day = "1",
doi = "10.1007/s00371-012-0727-7",
language = "English (US)",
volume = "28",
pages = "1015--1026",
journal = "Visual Computer",
issn = "0178-2789",
publisher = "Springer Verlag",
number = "10",

}

TY - JOUR

T1 - Generating optimal drawings of physically realizable symbol maps with integer programming

AU - Kunigami, Guilherme

AU - De Rezende, Pedro J.

AU - De Souza, Cid C.

AU - Yunes, Tallys

PY - 2012/10/1

Y1 - 2012/10/1

N2 - 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 NPhard, 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.

AB - 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 NPhard, 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.

KW - Cartography

KW - Computational geometry

KW - Integer linear programming

KW - Visualization

UR - http://www.scopus.com/inward/record.url?scp=84869003468&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84869003468&partnerID=8YFLogxK

U2 - 10.1007/s00371-012-0727-7

DO - 10.1007/s00371-012-0727-7

M3 - Article

AN - SCOPUS:84869003468

VL - 28

SP - 1015

EP - 1026

JO - Visual Computer

JF - Visual Computer

SN - 0178-2789

IS - 10

ER -