GSoC/2019/StatusReports/CaioTonetti

Project Overview

Project Name: An Improved Graph Theory IDE
Purpose: As a student, I use graphs in almost everything related to my master’s research. Graph Theory is a great mathematical tool for programmers and mathematicians, as it facilitates some computational problems resolution and modelling. However, is not always easy to understand the underlying theory and algorithms.

Rocs (https://kde.org/applications/education/rocs) is a Graph Theory IDE created in January of 2010, with new updates still being committed almost every month, currently in the KDE repositories, designed for lecturers, students and researchers. It is composed of a visual data structure and a powerful scripting engine in Javascript. Though useful for creating simple graphs, it is still lacking the tools to simplify the creation of bigger graphs, and also of basic graph theory algorithms for beginners. Another improvement it should have is a step by step execution system, in order to fully comprehend the algorithms and facilitate debugging.

List of Added Features

I have added the following features:

• Path Graph Creation Tool;
• Complete Graph Creation Tool;
• Complete Bipartite Graph Creation Tool;
• Random Directed Acyclical Graph Creation Tool;
• Random Tree Creation Tool (Modified to a more well behaved random tree creation tool);
• Script Examples:
  • Added Depth-First Search Algorithm;
  • Fixed Breadth-First Search Algorithm;
  • Added Topological Sorting Algorithm;
  • Fixed Prim Algorithm;
  • Added Kruskal Algorithm;
  • Added Dijkstra Algorithm;
  • Added Bellman-Ford Algorithm;
  • Added Floyd-Warshall Algorithm;
  • Added Bipartite Matching Algorithm.
• Added a interface to access the debugger tools (QScriptEngineDebugger) of our main script engine (QScriptEngine). But this one may be reworked to the new QJsEngine in the future, as the classes we are using today are not present in the default Qt installation (But they can be compiled separately);
• Added a interface to Transform Edges to remove self-edges from the graphs;
• Miscellaneous Changes:
  • Removed the "default" edge type and created two new "unidiretional" and "bidiretional" edge types.
  • Default values for the some graph classes;
  • Variable names fixes;
  • Redundant code removal;
  • Changed the Mersenne Twister from the booster library to the standard library;
  • Fixed the Generator Seeds of the graph generator widget;
  • Changed the Topology class to static access only;
  • Added correct edge type check on the DAG and Tree creation tools;
  • Information about the algorithm and time complexiy of all added script examples.

Information

Graph Creation Tools

All Graph Creation tools planned were implemented in the ROCS software. In this part, the generation of Cycles (called circle graph in ROCS) and random graphs were already implemented, so it was not listed as implemented in the feature list.

A additional modification was made on the Tree generation algorithm, as he was generating invalid tree graphs depending on which edge direction was used in the generator (resulting in cycles). The new algorithm used is presented in this paper, and it is proved that it can generate all possible tree with equal probabilities.

Step-by-Step Execution and Debugging

This feature is provided by the use of the QScriptEngineDebugger class, that already offers a complete debugger interface for the QScriptEngine, as can be seen in the Debugger Interface image.

Debugger Interface

So, a special button was created to identify when the programmer want to use the debugger or not (showed in the Debugger Button image). When it is clicked, the debugger will be launched with the code being run and the programmer can debug the code properly. Otherwise the code will be run normally.

Debugger Button

It is important to note that the support for the Webkit in Qt is deprecated and should be target of revision in the future when Qt version 6 is around. One of the main problems in using the new QJsEngine right now is the missing debugger feature.

Example Scripts

All the planned algorithms were implemented using the script language (Javascript). Some of the data structures implemented were not implemented in the most efficient manner, resulting in different complexities. The implementation of better data structures can be left to the student focusing in learning the algorithms, as it only change the general complexity and not the graph algorithm in itself.

An short explanation and the general time complexity is showed in the beginning of each script, as can be seen in the Script Explanation Example image.

Script Explanation Example

Commits

It's is possible to check what was merged and what was not in the following links. All my work can be accessed in the following Merge Requests:

• Self Edges Removal on Transform Edges;
• Improved Examples;
• Improved Dag/Tree Algorithm;
• Improved Graph IDE - Classes;
• Debugger option on script menu.

About Me

• Name: Caio Henrique Segawa Tonetti
• Blog: chst.dev
• Mentors: Tomaz Canabrava, Adriaan de Groot
• Email: ​[email protected]
• KDE Invent ID:​ ​https://invent.kde.org/ctonetti
• IRC nickname: ctonetti

Screenshots

• 

  Menu of the Path Graph Creation Tool

• 

  Menu of the Complete Graph Creation Tool

• 

  Menu of the Complete Bipartite Graph Creation Tool

• 

  Detail of the default Edge Types changed