Graph-Drawing Contest Report

Graph-Drawing Contest Report Peter Eades1 , Joe Marks2 , Petra Mutzel3 , and Stephen North4 1 Department of Computer Science, University of Newcastle...
Author: Marcus York
3 downloads 1 Views 1MB Size
Graph-Drawing Contest Report Peter Eades1 , Joe Marks2 , Petra Mutzel3 , and Stephen North4 1

Department of Computer Science, University of Newcastle University Drive – Callaghan, NSW 2308, Australia [email protected] 2 MERL–A Mitsubishi Electric Research Laboratory 201 Broadway, Cambridge, MA 02139, U.S.A. [email protected] 3 Max-Planck-Institut f¨ ur Informatik Im Stadtwald, 66123 Saarbr¨ ucken, Germany [email protected] 4 AT&T Research 180 Park Ave., Bldg. 103, Florham Park, NJ 07932-0971, U.S.A. [email protected]

Abstract. This report describes the Fifth Annual Graph Drawing Contest, held in conjunction with the 1998 Graph Drawing Symposium in Montreal, Canada. The purpose of the contest is to monitor and challenge the current state of the art in graph-drawing technology [4, 5, 6, 7].

1

Introduction

Text descriptions of the four categories for the 1998 contest are available via the World Wide Web (WWW) [8]. Approximately 17 submissions were received, including two videos and two live demonstrations. The winners for Categories A– C were selected by a committee of experts (whose names are listed in the acknowledgements). The winner for Category D was selected by vote of all the symposium attendees. Conflicts of interest were avoided on an honor basis. The winning entries are described below.

2 2.1

Winning Submissions Category A

The theme for Category A was incremental/dynamic graph drawing. The data consisted of addition and deletion operations that specify how a graph depicting a fragment of the WWW changes over time. The judging committee did not award a first place in this category. However, two submissions were awarded “Honorable Mention” and split the prize fund. Although the contest rules did not specify a submission format for this category, the two top submissions were both recorded animations. S.H. Whitesides (Ed.): GD’98, LNCS 1547, pp. 423–435, 1998. c Springer-Verlag Berlin Heidelberg 1998

424

Peter Eades et al.

Figure 1 shows a single frame from the submission of U. Brandes ([email protected]), V. K¨ a¨ ab, A. L¨ oh, D. Wagner, and T. Willhalm, University of Konstanz, Germany. They use an energy-based layout algorithm that produces a straight-line 3D drawing. It favors downward-pointing edges and penalizes excessive movement between consecutive layouts. In addition, the viewpoint is updated automatically to keep the whole graph in view, to minimize the change in viewer position, and to avoid occlusions. The actual Web pages are texture-mapped onto the sides of the cubic nodes, and can be read when the viewer zooms in.

Fig. 1. Honorable mention, Category A (original in color).

The final frame from the submission of Thomas Wurst, ([email protected]), University of T¨ ubingen, Germany, is shown in Figure 2. The Inca incremental graph-drawing algorithm was developed within the GraVis system [9]. It is similar to the well-known Sugiyama layout algorithm, except that the assignment of nodes to layers is not done to minimize edge crossings, but instead takes into account the relative positions of the nodes already there in an attempt to preserve the user’s “mental map” of the drawing. Note also the use of diagonally oriented text labels, a simple technique originally used by Schreiber and Friedrich [5].

Graph-Drawing Contest Report ww

ww

w.a t

w.a t

t.c

t.c

ww om

/w

ha

tsn

ew

ww

w.a t

ww om

/ne

w.a t

t.c

t.c

om

ws

ww w.c a

talo

ww

ww

w.a t

om

g.a

t.c

om

/w

tt.c

w.a t

t.c

rite

/te

rm

s.h

tm

/ca

t.c

i-b

in/

l

pp

talo

g/c

on

su

se /cm

d/ju

.cg

i

w.a t

resww

w.a t

w.a t

t.c

t.c

om

om

om

/ro

t.c

om

/sp

/sp

/se

ck

l

mp

h.a

tt.c

om

/ca

talo

g/s

ma

ll_

om

bu

r

ww

w.a t

ww

t.c

arc

om

ps

atu

ww

tm

w.a t

t.c

me

ww

w.a t

/cg

x.h

t.c

om

ww

om

/fe

t.c

de

w.a t

t.c

t.c

w.a t

ee

es

es

/in

ter

ch

na

es w.a t

/in

tio

x9

l

w.a t

t.c

t.c

de

na

ww

ww

ch

rvic

om

ee

6.h

om

o.u

/bu

k

sin

d/ju

mp

s

l

w.a t

om

t.c

/cg

i-b

in/

t.c

ca

om

/cm

rt.c

gi

ww

om

d/p

rod

/cg

uc

i-b

ts

in/

w.a t

bm

d_

sin

es

s

ww t.c

ca

om

rt.c

ww

w.a t

t.c

/bm

gi

d/ju

w.a t

om

mp

t.c

/bm

d/p

ww

om

rod

/bm

uc

d/c

ts

us

w.a t

t.c

tca

ww om

ww

re

/cm

w.a t

t.c

d

w.a t

t.c

om

/cm

es

tm

ww

w.a t

w.a t

om

w.a t

xtin

t

ww

ww

/te

ww

ww t.c

ww

om

/at

w.a t

425

ww

t.c

om

w.a t

t.c

/w

ww

w.a t

om ww

om

/w

orld

orld

ne

w.a t

ne

om

t

t.c

t/in

om

tra

/w

ne

t

orld

/ne

ne

t

t/w

mis

Fig. 2. Honorable mention, Category A (original in color). 2.2

Category B

The graph for this category was provided by Siemens AG, and is typical of graphs that arise in the context of computer-integrated manufacturing. The vertices represent various states of a manufacturing machine, and the relations between them represent the possible state transitions. Each state transition is modeled as a path of length two with a vertex (smaller than the main vertices) in between. There are also text labels or tags assigned to some of the vertices (main or subvertices).1 The original hand drawing looked very confusing; approximately two weeks of laborious manual editing were needed to refine it. The refined hand drawing is shown in Figure 3. The winning drawing is shown in Figure 4. It was produced by Vladimir Batagelj and Andrej Mrvar ([Vladimir.Batagelj, Andrej.Mrvar]@uni-lj.si) from the University of Ljubljana, Slovenia, using the “Pajek” system [10]. Because symmetries in the graph (with some exceptions) were very noticeable, they decided to obtain an initial layout using a Fruchterman-Reingold spring embedder. Then they used manual editing (which took three hours) to maximize symmetries and made some adjustments to take into account the different sizes and shapes of nodes. 1

Meaningless labels were substituted for the actual text to preserve confidentiality.

426

Peter Eades et al.

Fig. 3. Manual drawing of subject graph, Category B.

Graph-Drawing Contest Report

Tag 5

Tag 1

1

2

Tag 31

Tag 58

Tag 54

1

6

Tag 2

0

Tag 3

14F

1

3

1

Tag 29 Tag 6

2

Tag 49

1A

5 Tag 57

1

Tag 41 1

11

Tag 67

1

Tag 35

Tag 43

Tag 17

Tag 44

3H

Tag 74

Tag 55

Tag 34

Tag 64

Tag 40

Tag 36 Tag 30

1

Tag 65

12

Tag 45

Tag 4

13

3

Tag 33

427

Tag 63

Tag 51

Tag 50 Tag 71

Tag 56

4

2

Tag 59

Tag 32

15

4H

Tag 73

1A

Tag 39

Tag 60 Tag 70

Tag 48

Tag 37

1A

Tag 14

Tag 10

Tag 47

Tag 46 Tag 9

Tag 7

1

Tag 13

Tag 12

3

Tag 15

1

Tag 16

1

2

Tag 8

3H

4H

1

Tag 61

2

Tag 66

Tag 42

Tag 68

Tag 69

Tag 75

2A

10

Tag 72

Tag 38

7

2A

Tag 18 Tag 25

Tag 27

Tag 26 1

Tag 53

2A

Tag 62 Tag 22

Tag 52

1

9

Tag 24

8

Tag 28

1

Tag 20

Tag 11

Tag 21

Tag 19

Tag 23

Fig. 4. First prize, Category B.

The second-place drawing for Category B is shown in Figure 5. It was submitted by Michael Wissen ([email protected]) from the Max-Planck-Institute for Computer Science, Saarbr¨ ucken, Germany. He used a new graph-drawing algorithm that is particularly suited to small graphs. The vertex-placement step of the algorithm is based on so-called region trees and aims at placing the vertices so that they split some region (see [12]). The labelling step uses a simple greedy algorithm. The drawing was generated fully automatically. 2.3

Category C

The only information given out for Category C was that it involved an elegant graph of theoretical significance. In fact, the graph has girth 11 (i.e., no cycles of length less than 11), degree 3, and 112 vertices. A graph with a minimum number of vertices for a given degree and given girth is a cage. It has been shown recently that there are no graphs of girth 11 and degree 3 with fewer vertices. A manual drawing [1, 2] is shown in Figure 6. Several researchers reported that they found it very difficult to make sense of this graph using standard graph-layout algorithms. The top two drawings both took novel approaches to the analysis and subsequent layout of the graph. First prize was awarded to Petrus Abri Santoso ([email protected]) and Andi

Tag 23

Feed STOP

Tag 19

Rapid feed stop

1

Feed ENABLED

8

Tag 21

Thrust bearing released

Tag 52

1

Rapid feed left

Tag 27

Tag 25

Fig. 5. Second prize, Category B.

Tag 43

Tag 41

Creep feed STOP

Release thrust bearing

9

1

7

1

2A 2A

Thrust bearing released

MT:1000

Tag 42

2

Feed STOP

Feed ENABLED

11

Tag 53

Tag 18

Tag 40

3H

Tag 51

Tag 49

Tag 39

Tag 45

Tag 44

Creep feed right

1A

Tag 38

Release thrust bearing

12

1

10

3H

1

15

Tag 17

Tag 50

Motor in position

2

0

1

2

Tag 0

Init

Tag 35

Feed STOP Rapid feed left

1

1

2

1A

3

13

3

No button and in position

Tag 6

4H 1A 4H

Start and left

Thrust bearing released

Release thrust bearing

1

Feed ENABLED

Tag 37

Tag 13

3

1

Position reached

Tag 15

Tag 11

Tag 7

Tag 47

Tag 2

Tag 36

Button left

Tag 46

Tag 9

Stop rapid feed

1

14F

Tag 30

Tag 34

Tag 3

1

6

4

Tag 4

Release thrust bearing

Tag 48

2A

1

Tag 29

Thrust bearing released

Rapid feed left

MT:1000

2

Feed STOP

Target=Actual

1

5

Feed ENABLED

Tag 31

Tag 32

Tag 33

Rapid feed STOP

428 Peter Eades et al.

Graph-Drawing Contest Report

429

Fig. 6. Manual drawing of subject graph, Category C.

Surjanto ([email protected]) from the Bina Nusantara University, Jakarta, Indonesia, for the drawing in Figure 7. They began by dividing the graph nodes according to their eccentricity. Nodes of common eccentricity were positioned on their own circle. The arrangement and coloring of nodes in each circle were then refined to emphasize the symmetry in the graph. Second prize was awarded to Egon Pasztor ([email protected]), from MERL– A Mitsubishi Electric Research Laboratory, Cambridge, Massachusetts, U.S.A., and Doris Tsao ([email protected]), from Harvard University, Cambridge, Massachusetts, U.S.A. They began with an analysis of the sums of successive powers of the graph’s adjacency matrix, which revealed eight exceptional pairs of nodes that were separated by a longer shortest path than all others. By manually separating these nodes and gathering their neighbors, the graph was seen to be two sets of eight, trilevel binary trees. The leaves of these trees are connected by 64 edges, which represent an awkward permutation. Drawing the graph well

34

2

90

4 78

31

19

82

59 96 6 15

25

52 91 105

35

48

32

43 11

68

51

76

13

20

53

5

63

99

112

39

75

85

65

36

79

104

1

17

9

107

12

88

70

40

77

84

46

80

50

61 33

23

106

42

95

47

26

67

83 57 58

24

54

14

89

30

44

49

103

97

18

100

22

81

28

56

109 64

74

71 55 21

45

62

98

7 92

16

108

8

29 3

101

27 110

41

60

10

66

111

93

38

37

87

73

72

102

86

69

Peter Eades et al. 94

430

Fig. 7. First prize, Category C (original in color). therefore seemed to reduce to the problem of drawing the permutation in an orderly way. This was accomplished using a custom program that allows the user to interactively reorganize the crossing of a permutation. A more complete description of the permutation-crossing program and this unusual drawing is available on the WWW [11]. 2.4

Category D

The only requirement for submissions in this category was that they be some form of artistic expression inspired by or related to graph drawing. The clear winner in this category was submitted by Roland Wiese ([email protected]) from the University of T¨ ubingen, Germany. The drawing in Figure 9 contains four copies of K50 . The nodes are arranged so that they form a big blue circle in the center of the drawing. An orthogonal drawing

Graph-Drawing Contest Report 69

94 86 41

16

7

27

29

42

38

87

72

98

8

61

89

23

24 108

58

44

57

68

14

43

92

13

63

51

5

55 83

54

30

76

21

85

3

20

82

11

75

431

80 84

10

1

50

19

26

95

67

6

59

31 97 47

96

12 17

79 9

34

33 40

70

100

2

90

81

56

106

22 49

46 91

107 77

15

1

104

52

109

18

103

78

64

4

110

74

39 112

99

88

65

36

111

37

93

62

35 62 28

45

105

53

25

32

48

66

73

102

71

60

10

Fig. 8. Second prize, Category C (original in color).

algorithm was used to compute the layout of the K50 graph. It was implemented in the GraVis system [9]. Three other submissions were awarded joint second prize. The ASCII drawings in Figure 10 were created by Therese Biedl ([email protected]), who devised a family of ASCII-character patterns for lines of different slopes, using only symbols for which the symmetric symbol (with respect to the y-axis) also exists. The two other submissions to share second prize were both videos. Figure 11 shows 10 keyframes taken from an animation in which multiple drawings of K3,5 blend one into the next. The set of drawings was generated automatically to balance diversity and aesthetics [3]. This was joint work by: Therese Biedl, McGill University, Canada; Joe Marks, MERL–A Mitsubishi Electric Research Labo-

432

Peter Eades et al.

ratory, U.S.A. ([email protected]); Kathy Ryall, University of Virginia, U.S.A.; and Sue Whitesides, McGill University, Canada.

Fig. 9. First prize, Category D (original in color).

Figure 12 shows a still from a video depicting a WWW site using an interactive 3D graph-drawing system called IN3DNET. It was submitted by Marco Sbarrini ([email protected]) and Valerio Violi from the Third University of Rome, Italy.

3

Observations and Conclusions

The exceptionally high quality and originality of this year’s contest submissions demonstrates how far the field has progressed in the last few years.

Graph-Drawing Contest Report

433

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=O /:\ : : : O-O : O-O :‘. : .’: O--O ‘O’ O--O :‘. ‘. : .’ .’: O--.__ \ ‘. ‘O’ .’ / __.--O ‘.‘-. ‘--._ : ‘.:.’ : _.--’ .-’.’ ‘. ‘-. ‘.\ O /.’ .-’ .’ .O _O ‘O. : .O’ O_ O. O. .-’ ‘. ‘O’ .’ ‘-. .O .O’ ‘. : .’ ‘O. O-._ .O : O. _.-O ‘-._ .-’ ‘. : .’ ‘-. _.-’ O \:/ O .’ O ‘. O---O. /#\ .O---O \ / # \ / O # O # # O

GRAPH DRAWING ’98

McGill University Montreal Quebec, Canada August 13--15, 1998

.O. .’ ‘. O O : : : : : : ‘. .’ : : ‘. .’ .-O--.. ‘. .’ ..--O-. O’ _._‘O. : : .O’_._ ‘O : .O’ ‘O.\ ‘O’ /.O’ ‘O. : ‘.: : : : :.’ O : : : O O==O=O=O==O .’:‘. / O \ O._.O .’ ‘. O._.O \ .O O. / ‘O’ : : ‘O’ ‘. .’ : : O

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

Fig. 10. Joint second prize, Category D. Incremental layout still remains a challenge for the Graph Drawing community, and no doubt will continue to be included in future contests. However, the submissions for Category A showed that work on incremental layout and diagram animation is providing approaches that are at least partially successful at both preserving a user’s mental map and at manifesting graph-structure changes. Video submissions clearly had an advantage in demonstrating incremental-layout capabilities. The continued encouragement of video submissions should also help to stimulate applications of 3D layout. The entries for Categories B and C suggest worthwhile directions for future graph-drawing research (such as identifying and exploiting internal graph structure, handling variable-sized nodes well, and supporting text annotation). As in past years, most of the winners combined automated and manual techniques to great effect. It is worth noting that the two winners in Category C both used graph-analysis techniques (i.e., measures of eccentricity, etc.) that are not computed by many commercial and academic graph-drawing systems. Category D, the “artistic” category, was received with much enthusiasm, and will be continued next year. The variety of approaches represented by the contest winners, and the enthusiasm for the competition is encouraging, and we want to take this opportunity to thank all the entrants again.

4

Acknowledgements

Sponsorship for this contest was provided by Siemens AG, AT&T Research, MERL–A Mitsubishi Electric Research Laboratory, and Tom Sawyer Software.

434

Peter Eades et al.

Fig. 11. Joint second prize, Category D.

Fig. 12. Joint second prize, Category D (original in color).

Robin Chen, Henry Kulzer, Brendan McKay, and Gordon Royle contributed graph data for the contest. Peter Eades, Michael J¨ unger, Joe Marks, Petra Mutzel, and Stephen North served on the judging committee. Jan Kratochvil acted as arbiter and auditor.

References [1] A. T. Balaban. Trivalent graphs of girth nine and eleven and relationships between cages. Rev. Roum. Math. Pures Appl., 18:1033–1043, 1973. [2] A. T. Balaban. Solved and unsolved problems in chemical graph theory. In J. Gimbel, J. Kennedy, and L. Quintas, editors, Quo Vadis, Graph Theory? (Annals of Discrete Mathematics, Vol. 55), pages 109–126. 1993. [3] T. Biedl, J. Marks, K. Ryall, and S. Whitesides. Graph multidrawing: Finding nice drawings without defining nice. In this volume.

Graph-Drawing Contest Report

435

[4] P. Eades and J. Marks. Graph-drawing contest report. In R. Tamassia and I. G. Tollis, editors, Lecture Notes in Computer Science: 894 (Proceedings of the DIMACS International Workshop on Graph Drawing ’94), pages 143–146, Berlin, October 1994. Springer. [5] P. Eades and J. Marks. Graph-drawing contest report. In F. J. Brandenburg, editor, Lecture Notes in Computer Science: 1027 (Proceedings of the Symposium on Graph Drawing GD ’95), pages 224–233, Berlin, September 1995. Springer. [6] P. Eades, J. Marks, and S. North. Graph-drawing contest report. In S. North, editor, Lecture Notes in Computer Science: 1190 (Proceedings of the Symposium on Graph Drawing GD ’96), pages 129–138, Berlin, September 1996. Springer. [7] P. Eades, J. Marks, and S. North. Graph-drawing contest report. In G. DiBattista, editor, Lecture Notes in Computer Science: 1353 (Proceedings of the Symposium on Graph Drawing GD ’97), pages 438–445, Berlin, September 1997. Springer. [8] http://gd98.cs.mcgill.ca/contest/. [9] http://www-pr.informatik.uni-tuebingen.de/Gravis/Gravis.html. [10] http://vlado.fmf.uni-lj.si/pub/networks/pajek/. [11] http://www.merl.com/people/pasztor/graphContest. [12] M. Wissen. Automatisches Zeichnen von Zustandsdiagrammen. Master’s thesis, Diplomarbeit, Fachbereich Informatik, Universit¨ at des Saarlandes, 1998.