The contest graph has been provided by Siemens AG. The graph arises in the context of computer-integrated manufacturing. The vertices present 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).
The tags are important in this graph: they contain instructions for when the machine can leave a state and go to another one. These instructions are read line by line; hence, it is important not to shorten or break the lines. In order to render the graph anonymous, we had to substitute the text lines by tag numbers, which are much shorter. However, for a realistic contest it is important to use the sizes given below, which are big enough to accommodate the true text.
The figure below shows a drawing of a small part of the graph: 7, 10, 11, and 15 are main vertices, 1A, 2A, 3H, and 2 are subvertices. The variously sized tags are indicated by the word "Tag" and a number.
The NODE_LIST contains:
Node_id Inscript Color_of_inscript Type_node Color_of_box Border_color_of_box Shape_of_box Shape_args
# Inscript gives the name/label of the vertex
# Type_node gives the type of the vertex:
# 0: main vertex, 1: subvertex
# The following two entries give the color of the box associated with the vertex
# Shape_of_box is either rectangle or oval
# Shape_args give the size of the box of the vertex: width and height
The EDGE_LIST contains:
Edge_id Node_id(tail) Node_id(head) Color
# Each directed edge appears exactly once in the list.
The TAG_LIST contains:
Tag_id Node_id Text Color_of_text Color_of_box Border_color_of_box Shape_of_box Shape_args
# Node_id is the id of the vertex to which the tag is assigned
# Text gives the text to be written in the tag
# Color_of_box gives the color of the rectangle/oval inside the box
# Border_color_of_box gives the color of the border of the rectangle/oval box
# Shape_of_box gives the shape of the bounding box of the tag (rectangle/oval/..)
# Shape_args give the size of the box: width and height