https://github.com/philipdb/treedepth-exact
Compute the exact treedepth of a given graph
https://github.com/philipdb/treedepth-exact
csharp exact-algorithm positive-instance-driven tree-decompositions treedepth
Last synced: 5 months ago
JSON representation
Compute the exact treedepth of a given graph
- Host: GitHub
- URL: https://github.com/philipdb/treedepth-exact
- Owner: PhiliPdB
- License: gpl-3.0
- Created: 2020-05-28T08:06:48.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-06-15T10:44:07.000Z (almost 6 years ago)
- Last Synced: 2025-01-23T07:44:47.519Z (over 1 year ago)
- Topics: csharp, exact-algorithm, positive-instance-driven, tree-decompositions, treedepth
- Language: C#
- Homepage:
- Size: 330 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Treedepth
[](./LICENSE)
[](https://doi.org/10.5281/zenodo.3866006)
This software is part of the submission of 'exact' track of [PACE 2020](https://pacechallenge.org/2020/). It is used to compute the exact treedepth of a given graph. This algorithm is also part of my bachelor thesis, which was written at Utrecht University and supervised by Erik Jan van Leeuwen. A brief description of the techniques used in the solver is available in the [solver description](./SolverDescription.pdf).
## Installation
The software uses msbuild as build tool. When running on linux, [mono](https://www.mono-project.com/) is required to run the software.
The software can then be build by running
```
make release
```
## Usage
The input graphs are read from the standard input and need to be in the .gr format as specified on the PACE website. It then outputs the treedepth as well a treedepth decomposition in the .tree format to the standard output.
### Example usage
```
mono ./Treedepth.exe < input_graph.gr
```