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: vrcholů hran.

Pro spor mějme . Sčítáme stupně

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