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
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