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.

36/52<strong>Fast</strong> <strong>Exponential</strong>-<strong>Time</strong> <strong>Algorithms</strong>BranchingThe Algorithm of Fomin et al.MirroringDefinitionGiven a node v, a mirror of v is a node u ∈ N 2 (v) such thatN(v) \ N(u) is a (possibly empty) clique. We denote by M(v) theset of mirrors of v.When discarding a node v, one can also discard its mirrors as wellwithout modifying the maximum independent set size.Lemma (Mirroring)For any graph G and for any node v of G :α(G) = max{α(G − {v} − M(v)), 1 + α(G − N[v])}.

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

Saved successfully!

Ooh no, something went wrong!