Independent Set für G mit beschr. Baumweite

gegeben G mit tw(G) = k und entspr. PES für G' $\supseteq$ G.

v $\in$ G angehängt an die k-Clique K.

s($\tau$, K) : = maximale Größe einer unabh. Menge in Vorgängern von K $\cup$ $\tau$ für $\tau$ $\subseteq$ K.

man kann alle Zahlen s($\tau$, K) entlang des PES ausrechnen.

(wie geht das, wieviele sind es, wie lange dauert es?)