در رشتهٔ ریاضیات و در زیرشاخهٔ نظریه گراف، یک درخت پوشا T، از گراف همبند و بدون جهت G درختی است که شامل تمام رئوس و حداقل برخی یال ها می باشد. به بیان ساده تر می توان گفت، درخت پوشای G درختی است که مجموعه ای از یال ها را شامل می شود در حالی که تمام رئوس را پوشش می دهد. در واقع تمام رئوس G در درخت پوشا وجود دارند به شرطی که هیچ دوری ایجاد نشود و درخت همبند نیز باشد.مجموعه ای حداکثری از یا...