Pushed to marcin_pilipczuk/fvs-pace-challenge
3bd5217 Merge branch 'FillInHeuristic' of bitbucket.org:marcin_pilipczuk/fvs-pace-challenge into FillInHeuristic
e96957b accept PACE 2016 track A format as well
Copyright 2016 Marcin Pilipczuk Licensed under GNU GPLv3. An implementation of feedback vertex set FPT algorithm(s) for PACE Challenge 2016. Full description of the implemented algorithm can be found in docs/ dir. How to run? =========== Type cmake . make The output executable is fvs_pace_challenge. Apart from the required -s option (which does not do anything in fact) it supports: -f <filename> redirectes <filename> on standard input -h prints help message Accessing algorithm description =============================== There is a LaTeX source file docs/description.tex with BibTeX file docs/references.bib. After the command cmake ., you can type make doc to produce docs/description.pdf (provided you have pdflatex installed). Extras ====== There are some extras I found useful while developing ./fvs_diagnose -f <filename> applies simple reductions to the test, prints some diagnostics, and then tries to approximate treewidth. ./fvs_verifier A simple tool to check if the output is a feasible solution. ./run_tests.sh and ./gather_stats.sh Scripts for running or inspecting tests (see code for specific options). raports/* All raports and comparisons I have done while developing.