search

sashaafm / exads

Algorithms and Data Structures collection in Elixir
83 stars 12 forks source link

Inductive Graphs #19

Open NobbZ opened 8 years ago

NobbZ commented 8 years ago

I will tackle the implementation of an inductively defined labeled directed graph over the course of the next 2 weeks.

As a base I will use the paper available at https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf by Martin Erwig.

This implementation can then later be used to implement also unlabeled and/or undirected graphs, since both are just special cases of a labeled directed one.

I will add a WIP-PR later on, also I will add a TODO-list in that PR.

sashaafm commented 8 years ago

Great @NobbZ. That paper seems interesting, I'll keep it to read later.

I've had a really busy week, but I'm going to try my best to finish my Exads assignments soon.