シュタイナー木

シュタイナー木（シュタイナーき、Steiner tree）とは、辺の集合Eと頂点の集合Vから成る無向グラフG=(V,E)と、ターミナルと呼ばれるVの部分集合Tが与えられたとき、Tの全ての頂点を連結する木のことである。定義より、T=Vのとき、シュタイナー木は全域木となることは明らかである。