jarnerenders Goto Github PK

circumferencechecker

Contains methods for check circumference, length, length of longest induced path or longest induced cycle of a graph.

cycle-permutation-graphs

Contains an algorithm for generating cycle permutation graphs as well as an algorithm for filtering cycle permutation graphs. The generator also contains options for the generation of non-hamiltonian graphs and/or graphs with at least a specific girth.

domination

Compute the domination number of graphs. Also contains other methods created for the article "J. Renders, S. Tokunaga, C.T. Zamfirescu: Dominating maximal outerplane graphs, manuscript"

frank-number

Program to determine whether the Frank number of a graph is 2 or not. Used for the article: "J. Goedgebeur, E. Máčajová, J. Renders: Frank number and nowhere-zero flows on graphs, manuscript"

genk2hypohamiltonian

A generator for K2-hypohamiltonian graphs created for the article "J. Goedgebeur, J. Renders and C. T. Zamfirescu. Generation and New Infinite Families of K2-hypohamiltonian Graphs, manuscript".

gradient-descent

A game of learning the concepts behind gradient descent by exploring the depths looking for treasure, together with a Dutch translation.

histchecker

This repository contains a filter program for checking properties involving Homeomorphically Irreducible Spanning Trees (HISTs). It is used for the article "J. Goedgebeur, K. Noguchi, J. Renders and C.T. Zamfirescu, HIST-Critical Graphs and Malkevitch’s Conjecture, manuscript".

imaginary2022apps

k2-hamiltonian-graphs

This repository contains four programs which were created for the article "J. Goedgebeur, J. Renders, G. Wiener and C.T. Zamfirescu, K2-Hamiltonian Graphs: II, manuscript", as well as some certificates that can be used to verify some of the computer-aided proofs in this article.

lonelyedges

Program for finding the lonely edges of a graph. Created for the article: "J. Goedgebeur, D. Mattiolo, G. Mazzuoccolo, J. Renders, I. H. Wolf. Non-double covered cubic graphs, manuscript."

neural-numbers

Dutch translation

reinforcement-learning-2

Reinforcement Learning exhibit for the I AM A.I. exhibition (v2). Together with Dutch translation used for the Imaginary exhibition.