12.07.2015 Views

Fast Exponential-Time Algorithms to solve NP-complete ... - Lita

Fast Exponential-Time Algorithms to solve NP-complete ... - Lita

Fast Exponential-Time Algorithms to solve NP-complete ... - Lita

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

40/52<strong>Fast</strong> <strong>Exponential</strong>-<strong>Time</strong> <strong>Algorithms</strong>BranchingThe Algorithm of Fomin et al.Constraints and Linear RecurrencesAnalyzing the reduction rules (2) and (3)leads <strong>to</strong> constraints for the choice of the w i ’sDue <strong>to</strong> the domination rule (2) and the folding rule (3), when webranch, we can assume that, for every node w :(i) deg(w) ≥ 3 ;(ii) w is not dominated and does not dominate any other node.Analyzing the main branching rule (4)establishes a system of linear recurrences for any fixed choice ofthe w i ’s

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!