Feedback Vertex set
takový že je les, existuje ? V je minimální stupeň 3, slučováním. Seřadíme si vrcholy dle stupně a vezmeme prvních 3k. Lemma: Pokud a FVS velikosti , potom . Důkaz: má vrcholů hran.
Pro spor mějme . Sčítáme stupně
- 1+2
kde to je spor se
Branching:
- aplikujeme redukce stupňů a
- rekurentně rozlišíme 3k případů dle množiny největších stupů.
→ .
Vrcholové pokrytí nad lineárním programováním
LP v půlkách relaxace. VC nad LP : Existuje VC velikosti ? Pozorování: Redukce z 2.přednáška. Pokud existuje řešení v půlkách s , provedeme ji. Získáme řešení a víme, že je optimální. Potom vyzkoušíme , zda nemůže být ve , pokud získáme optimum, tak redukujeme. → poly-redukce, získáme , t.ž. LP má jediné optimální řešení . Zvolíme libovolně a provedeme branching na odebrání nebo .
Búno , , pak jaké je . klesne alespoň o .
protože řešení je přípustné pro . Ale ve skutečnosti platí rovnost protože by vznikl rozpor s řešením v půlkách, protože s doplníme a to je optimem na , co není celé v půlkách.
Strom je velký , vždy dvě větvení, . V listech provedeme redukci ještě jednou máme , pak je to YES a jinak NO.