jamestrimble Goto Github PK

bute

Bute treedepth solver

bute-experiment

bute-js

A JavaScript implementation of the Bute algorithm for treedepth

c_program_timing

Use CLOCK_MONOTONIC to time single-threaded C code

certmcsplit

cp2015-subgraph-isomorphism

CP 2015 subgraph isomorphism experiments, data and paper

digraph-editor

Experiments for MSc development project

draw-adj-mat

Draw the adjacency matrix of a graph in DIMACS format

draw-mwc-decomposition

extremal-canonical-deletion

Generate extremal graphs using McKay-style canonical deletion

fata-mcsplit-talk-2018

generated-kidney-data

Synthetic kidney-exchange input data sets

glasgow-subgraph-solver

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.

graph-report

Generate a report about graphs

heidi

hrc-minizinc

The Hospitals/Residents Problem with Couples

hrc-minizinc-experiments

hrc-pseudo-boolean

Reduce an instance of the hospitals-residents problem with couples to a pseudo-boolean instance in .opb format

hybrid-mcsplit

An attempt to do a combination of top-down and bottom-up McSplit

hypebeast

ijcai2017-partitioning-common-subgraph

Code and experiments for the paper "A Partitioning Algorithm for Maximum Common Subgraph Problems"

imdmaps

Interactive maps of indices of multiple deprivation

jamestrimble.github.io

kep-hierarchical

An implementation of hierarchical optimisation for the kidney-exchange problem

kep-independent-set

Generate a max weighted independent set instance from a kidney-exchange instance

kidney-add-extra-ndds

kidney-exchange-to-mwc

Convert a kidney-exchange instance to max weight clique

kidney-max-weight-clique-solver

kidney-relabel

Relabel the vertices in a kidney-exchange instance in non-increasing order of total degree

kidney-webapp