加重グラフ G=(V,E,w) を考えてみましょう。頂点 V_i のサブセットのファミリが与えられます。
シュタイナー フォレストは、頂点 V_i のサブセットごとに、このサブセット内のすべての頂点をツリーで接続するフォレストです。
例: V_1 = V の 1 つのサブセットのみ。この場合、シュタイナー フォレストはグラフ全体のスパニング ツリーです。
例: グラフ P4 (4 つの頂点を持つパス) と 2 つのサブセット: V_1 = {v1, v4} および V_2 = {v2, v3}。この例のシュタイナー木はグラフ全体です。
十分な理論。このような最小の重みを持つフォレストを見つけることは困難です (NP 完全)。このような最適でない重みを持つフォレストを見つけるためのより迅速な近似アルゴリズムを知っていますか?