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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

43/52<strong>Fast</strong> <strong>Exponential</strong>-<strong>Time</strong> <strong>Algorithms</strong>BranchingThe Algorithm of Fomin et al.System of Recurrences for the Main Branching RuleSystem of RecurrencesFor all m i and p h such that ∑ di=3 m i = dand ∑ dh=1 h p h = d + m 3 :P[k] ≤ P[k − ∆ OUT ] + P[k − ∆ IN ].Fortunately this can be restricted <strong>to</strong> a finite number of recurrencesby arguing that we may assume d ≤ 7.

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

Saved successfully!

Ooh no, something went wrong!