Skip to content

Master's thesis project involving label-constrained reachability (LCR)

Notifications You must be signed in to change notification settings

khaledammar/LCR

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Synopsis

This is the code + thesis for my graduation project at the Technical University of Eindhoven, July 2016.

This project contains several methods for answering label-constraint reachability queries (LCR-queries). Our major contribution is the LandmarkedIndex-method. Please read the thesis for a more detailed introduction and explanation of the problem.

Code Example

The main part of the code is written in C++ and there are scripts in bash/sh and Python (2.7).

The C++-part has a definition of a labelled graph (Graph), a set of indices to answer LCR-queries (Index/Unbounded), a number of tests (tests/Index/Unbounded) and to run the experiments or generate queries for the experiments (experiments/Index/Unbounded).

The Python-part consists of a script to generate a synthetic graph under a given model with a specified number of vertices.

For example

python2.7 genGraph.py 1000 5 8 exp pa

generates a graph with 1000 vertices and roughly 5000 edges under the 'Preferential-Attachment' model. Any edge has one of 8 possible labels. The distribution of the edge labels is an exponential one.

Installation

You need g++ (>=4.5) and python2.7.

The code can be built by running:

cd LCRIndexing
sh ./rebuild

on Mac or Linux.

For Windows you should first remove the directories: build and .waf* (where * is an arbitary sequence). Then run:

python2.7 waf configure
python2.7 waf build

Contributors

Myself: Lucien Valstar: l dot d dot j dot at (last name in lower case letters).student.tue.nl

My supervisors: G.H.L Fletcher: g dot h dot l dot at (last name in lower case letters).tue.nl

Y. Yoshida: y dot (last name in lower case letters) at gmail.com

About

Master's thesis project involving label-constrained reachability (LCR)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published