Maximale gemeinsame induzierte Teilwälder und Minimale gemeinsame induzierte Überwälder

Das Finden eines maximalen gemeinsamen induzierten Teilwaldes ist NP-schwer, selbst für zwei subdividierte Sterne, während das Finden eines minimalen gemeinsamen induzierten Überwaldes für zwei Bäume effizient lösbar ist, aber für drei Bäume NP-schwer ist. Für eine gegebene Menge von k Bäumen präsentieren wir einen effizienten Greedy-Approximationsalgorithmus für das Minimale-Überwald-Problem mit einem Approximationsfaktor von (k/2 - 1)/(2 + 1/k). Außerdem präsentieren wir ein Polynomialzeit-Approximationsschema für das Maximum-Teilwald-Problem für eine beliebige Menge von Wäldern.