Notes on Parameterized Complexity, Dagstuhl, June 2012.
Notes on Parameterized Complexity, Dagstuhl, June 2012.
Notes on Parameterized Complexity, Dagstuhl, June 2012.
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
THE MODERN INCARNATION<br />
◮ This is the exciting thing of the last decade.<br />
◮ The development of tools to match (up to O) upper and<br />
lower bounds, beginning with Cai and Juedes.<br />
◮ M[1] =FPT or ETH implying tight membership of XP.<br />
◮ Perhaps not known by every<strong>on</strong>e:<br />
sd = inf{ɛ | ∃O ∗ (2 ɛn ) algorithm for n variable d −CNFSAT}.<br />
◮ Clearly sd ≤ sd+1. We can define s∞ = limd→∞ sd.<br />
◮ Impagliazzo and Paturi noted that ETH means that<br />
infinitely many sd < sd+1.<br />
◮ SETH is that s∞ = 1.<br />
◮ Can be used for str<strong>on</strong>g lower bounds, see Cygan, Dell,<br />
Lokshtanov, Marx, Nederlof, Okamoto, Paturi, Saurabh,<br />
Wahlström applied to SET SPLITTING and HITTING SET.