A validity checker for tree decompositions
C++ Python Shell Makefile

README.md

Tree decomposition validity checker

This software verifies that a given, purported tree decomposition is a correct tree decomposition of a given graph. It is part of the first Parameterized Algorithms and Computational Experiments Challenge (PACE 2016).

Usage

Check that input.gr and input.td correctly encode a graph and one of its tree decompositions:

./td-validate input.gr input.td

Check that input.gr correctly encodes a graph:

./td-validate input.gr

Build

Run make and, optionally, make test.

Credits

  • Cornelius Brand
  • Holger Dell
  • Lukas Larisch
  • Felix Salfelder

License

This project is licensed under the MIT License - see the LICENSE file for details