daajoe / td-validate

A validity checker for tree decompositions

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