Abstract
Introduction
In Graph Theory, a branch of Discrete Mathematics, a graph is defined as a collection of vertices, commonly drawn as circles, with some edges, drawn as lines, between them.
They can be used to show links between related entities in a way that is easy to understand and interpret. For example they are used to model situations such as traffic networks or chemical bonds in a compound. It often becomes necessary to develop a representation of a network which exhibits certain specific properties, such as finding graphs of a particular girth (the girth refers to the length of the shortest cycle within the graph). The project looked at graphs of girth 5 – graphs which include no triangles or squares – of order between 20 and 32. These graphs, which were previously unknown, are studied in a paper being written at The University of Glasgow1 . The program ‘GraphDraw’, which was developed at the university recently, uses symmetry to represent graphs2 . Graphs can be drawn in many ways and it was preferable to pick the most ‘visually pleasing’ representation of these graphs. When a graph is drawn in a visually pleasing way it is much easier to analyse and identify its structure3 .
Aims
There were two main aims of this project. The first was to draw all of the graphs of girth 5 for the cases 20 ≤ v ≤ 32 in the most visually pleasing way possible through the use of the program GraphDraw. The second aim of this project was to evaluate the software GraphDraw with respect to its effectiveness and scope, and to suggest any improvements for future iterations.
Applications
Graph theory has many intriguing applications in the modern world, particularly with regards to Computer Science. For example graph colouring can model problems where we have limited resources, and constraints on how they may be used together, such as in timetabling and job scheduling. They are also used when conducting studies on social networks, a very important topic in recent times. Other applications include designing efficient transport systems for future cities and routing traffic on the internet4 .
Definitions
Visually Pleasing Graphs
A drawing of a graph must be ‘visually pleasing’ in order to make analysing it a much simpler task. That is, the representation of the graph must show underlying structure. There are various factors which contribute to how attractive a drawing of a graph looks. Research has shown that symmetry is one of the most important properties of a graphical representation when trying to make it visually pleasing. Humans are drawn to symmetry in many different aspects of life, and a graph which shows at least partial symmetry can be easier to interpret and identify certain properties. In GraphDraw, graphs can be shown to have complete (or partial) symmetry by arranging the vertices in clusters based on part of the automorphism group.
Another important factor when creating a visually pleasing graph is to arrange the vertices on a known geometrical shape, such as a triangle. In GraphDraw, the chosen shape was a circle as it could allow for an undefined number of vertices to be placed on it relatively easily. There were also two secondary factors which were taken into account. They were the number of edge crossings, and the total length of all edges. When these factors are minimised, the graph is more visually pleasing.
Once all of the representations were created they were analysed based on the factors given above in order to determine whether they were visually pleasing. A comparison of two very different representations of the same graph is given below:
In the representation on the left, the graph has been drawn randomly; no method or algorithm has been used to make it more visually pleasing. As it is, the graph is clearly not very easy on the eyes. The vertices are all over the place making it seem jagged and messy and the placement of some of the vertices has resulted in it being extremely difficult to trace some of the edges, especially those nearer the centre of the graph as many overlap and cross over each other. Looking at the graph as a whole, it is very difficult to identify any type of structure or property.
The graph on the right is the same graph shown before, this time using various settings allowed within GraphDraw. Immediately it looks much better than its counterpart. The vertices are arranged on the shape of a circle, with groups of vertices in clusters based on the automorphism group. This causes the graph to show partial symmetry and means that its basic structure is easy to understand. The edges are easy to discern from one another as there are few confusing edge crossings. It should also be noted that most of the edges are of similar length; this also makes them easier to identify than if they were of varied lengths as in the previous graph.
A Selection of Results
Evaluation of GraphDraw
After the evaluation of GraphDraw was written, a list of possible improvements to the program was made. They included:
In the original version of GraphDraw the user has the ability to save a JPEG image of a graph meaning the computer stores the image as an array of pixels (a bitmap image). The resulting picture is resolution dependent: increasing the size of the image can result in it appearing blurry and pixelated. An SVG (vector) image is stored when the computer records the key shapes in the picture. These could be the coordinates of a line or a circle for example. This is much more suitable for relatively simple images and means the picture will be resolution independent. By editing the source code to include a button to save the graphs as SVG files, the final images could be resized without any apparent loss of quality. Two sections of the same graph are shown below. The image on the right is from a JPEG file and its counterpart is from an SVG file:
Note: These advantages of storing images as vector graphics are only relevant as the images are relatively simple. For complex detailed images (e.g. a photograph taken on a digital camera) it may be more advantageous to use a bitmap image.
Conclusion
The first and main aim of the project was to use the program GraphDraw to create the most visually pleasing representations of all of the graphs of girth 5 for the cases 20 ≤ v ≤ 32 to be included in a research paper in development. All of these graphs were drawn successfully and the aim was achieved. The secondary aim was to provide useful feedback on the usability of GraphDraw with a view to any future improvements which could be made. This aim was also achieved and a brief list of improvements were suggested for future iterations of the software. Many of them were beyond the initial scope of the project however one improvement was implemented during the course of the research.
It would be pleasing to see GraphDraw become a standard tool for Graph Theory papers, but it currently lacks some key features which would make it much more usable. It is suggested that these features be implemented in future work.
References
- Mike Codish, Alice Miller, Peter Stuckey and Patrick Prosser. Graphs of girth 5 with orders between 20 and 32. In preparation.
- Dragos Miron. Symmetrical Graph Drawing. Level 4 project, School of Computing Science, University of Glasgow, 2015.
- Stephen M. Kosslyn. Graph Design for the Eye and Mind. Oxford University Press, 2006.
- S.G.Shrinivas, S.Vetrivel and N.M.Elango. Applications of Graph Theory in Computer Science an Overview. International Journal of Engineering Science and Technology, Vol. 2(9), 4610-4621, 2010.