Frontend-for-Graph-Theory-with-Svelte

Frontend For Graph Theory With Svelte

This is a Svelte playground development of a simple UI for Graph Theory visualization, testing and tooling.

Introduction

Welcome, curious person! This is a simple, animated UI for visualizing graph data using the Svelte framework.

The development of this project has been a personal journey in both graph theory and web development. Although these ideas already exist through many javascript libraries, I believe it is a fun and rewardable mental exercise to learn and apply them from scratch, especially since graph theory is a fundamental theory in many scientific fields.

In addition to learning about graph theory, I am also exploring topics such as architectural scalability, state management, best practices in web development, and user experience. I believe that Svelte is a powerful tool that allows me to showcase my skills and learn and apply exciting theories more efficiently.

The ultimate goal of this app is to create a fully dynamic and customizable platform for drawing and animating vertices and edges, with interactive configuration menus that support the fast visualization and testing of graph data structures. This app is intended to be both educational and enjoyable to use.

last versions picture

simplified roadmap:

    • setup svelte, minimal mock for nodes and edges
    • collect dummy data and verificability for many diffirent graph types:"
  • undirected graph;
  • directed graph;
  • weighted graph;
  • complete graph;
  • bipartite graph;
  • three;
    • create basic algorithms for edge set to adjacency list conversions;
    • create better reactivity using states for node position, index and id
    • draw nodes in the screen using motions
    • add some cool styles to make it look like a twentieth century app
    • make minimal scabalable menu to hold configuration and settings of the many entities app will have
    • add Sugiyama layout algorithm on drawing planar graphs.
    • apply planar graph drawing
    • animate agent traversal

uncommon graph types:

  • planar graph;
  • multigraph;
  • pseudo graph;
  • multiple connected components graph;
  • graph with loops;

optional:

    • add support for coloring areas
    • try to draw some cool stuff
    • TODO: find an good algorithm to transform non-planar into planar
    • add cool transitions to edge and node
    • test visualization for connectivity and bridges
    • apply strongly connected components (SCC) algorithm
    • TODO: search strategy for big data visualization
    • TODO: search features for clustering
    • ... ?

Initialize the app:

you should have node 16+ and yarn (or npm)

fetch deps:

yarn

start app:

yarn dev

Graph (incremental documentation)

types of graph:

In graph theory, there are many different types of graphs because different types of graphs are suited to different types of problems and applications.

For example, some graphs are better suited to representing networks, such as social networks or computer networks. These graphs often have a large number of nodes and edges, and may have a grid-like or hierarchical structure. Orthogonal layout algorithms are often used to draw these graphs, as they can handle the large number of nodes and edges and can produce clear, easy-to-read layouts.

Other graphs are better suited to representing relationships between objects or entities. These graphs may have a smaller number of nodes and edges, and may have a tree-like or circular structure. Circular layout algorithms or hierarchical layout algorithms are often used to draw these graphs, as they can highlight the relationships between the nodes.

Here is a table showing which types of graphs can belong to each other

Undirected Directed Weighted Complete Bipartite Tree Multi-graph Pseudo-graph Planar Loops Multiple connected components
Undirected Yes No Yes Yes Yes Yes Yes No Yes Yes
Directed No Yes Yes No Yes No No Yes Yes Yes
Weighted Yes Yes Yes No Yes Yes Yes Yes Yes Yes
Complete Yes No No Yes No No Yes No Yes Yes
Bipartite Yes Yes Yes No Yes Yes Yes Yes Yes Yes
Tree Yes No Yes No Yes Yes No No Yes No
Multi-graph Yes No Yes Yes Yes No Yes No Yes Yes
Pseudo-graph No Yes Yes No Yes No No Yes Yes Yes
Planar Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes
Loops Yes Yes Yes Yes Yes No Yes Yes Yes Yes
Multiple connected Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes

graph drawing

layouts:

There are many different graph layout algorithms that can be used to arrange the nodes and edges of a graph in a visually appealing way. Here are a few examples of common graph layout algorithms:

  • Force-directed layout: This type of layout algorithm works by simulating the forces acting on the nodes of the graph, such as spring forces or gravitational forces, and using these forces to determine the final positions of the nodes. Examples of force-directed layout algorithms include the Fruchterman-Reingold algorithm and the Kamada-Kawai algorithm.
    • Fruchterman-Reingold - One of the simplest and most widely-used force-directed graph layout algorithm. It models nodes as repulsing each other, and edges as attracting their connected nodes.
    • Kamada-Kawai - an extension of the Fruchterman-Reingold algorithm that takes into account the geometric distance between nodes. It uses a nonlinear optimization technique to compute the node positions
    • Davidson-Harel - An extension of the Fruchterman-Reingold algorithm that uses a multi-level approach to handle large graphs
    • Lin-Kernighan - Another optimization-based algorithm that is known for its performance on large graphs
    • ForceAtlas2 - An extension of the Fruchterman-Reingold algorithm that improves the stability and quality of the resulting layout
    • Stochastic Stress Majorization - Algorithm that uses a randomization process to minimize the stress function
    • Multi-dimensional Scaling - A technique that maps the graph to a lower-dimensional space while preserving the relative distances between nodes
    • Scale-free (non-Uniform force-directed) - force-directed layout algorithms that use different force strength depending on the degree of each node.
  • Circular layout: This type of layout algorithm arranges the nodes of the graph in a circular shape, with the edges connecting the nodes forming radii. Circular layout algorithms are often used for graphs that have a hierarchical or tree-like structure.
  • Hierarchical layout: This type of layout algorithm is often used for graphs that have a tree-like or hierarchical structure, and arranges the nodes in a tree-like shape with the parent nodes positioned above their children.
  • Orthogonal layout: This type of layout algorithm arranges the nodes of the graph in a grid-like shape, with the edges connecting the nodes drawn as straight lines. Orthogonal layout algorithms are often used for graphs that have a grid-like structure or that represent networks.
  • Sugiyama layout: This type of layout algorithm is specifically designed for drawing planar graphs (graphs that can be drawn on a plane without any of the edges crossing). The Sugiyama layout algorithm is a multi-step algorithm that assigns nodes to layers, minimizes the number of edge crossings, and assigns horizontal and vertical coordinates to the nodes.

and if the graph is not planar?

There are several algorithms for drawing non-planar graphs (graphs that cannot be drawn on a plane without any of the edges crossing). These algorithms generally work by adding "dummy" edges or vertices to the graph to make it planar, and then using a planar graph layout algorithm to draw the resulting planar graph.

One such algorithm is the Kuratowski's theorem algorithm, which works by adding dummy edges to the graph until it becomes planar, and then using a planar graph layout algorithm to draw the resulting planar graph. Kuratowski's theorem states that a graph is non-planar if and only if it contains a subgraph that is isomorphic to one of two specific graphs: the complete graph K5, or the complete bipartite graph K3,3.

Another algorithm for drawing non-planar graphs is the topological embedding algorithm, which works by adding dummy vertices to the graph to make it planar, and then using a planar graph layout algorithm to draw the resulting planar graph.

There are also many other algorithms for drawing non-planar graphs, including the visibility layout algorithm, the orthogonal layout algorithm, and the circular layout algorithm. Each of these algorithms has its own set of advantages and disadvantages, and the best algorithm to use will depend on the specific needs of the graph being drawn.

Top categories

Loading Svelte Themes