Dalam matematik, pokok yang merangkumi adalah subgraph dari grafik yang tidak diarahkan yang merangkumi semua graf grafik yang tidak diarahkan. Ia adalah alat asas yang digunakan untuk menyelesaikan masalah yang sukar dalam matematik seperti masalah peta empat warna dan masalah jualan jurujual. Biasanya, sebatang pokok yang dibentuk oleh cawangan keluar dari salah satu titik dalaman, sebab itu ia digambarkan sebagai pokok.

Penjelasan terperinci

Untuk memvisualisasikan sebilangan pokok, gambar pertama graf tidak diarahkan: contohnya, koleksi mata rawak yang disambungkan dengan baris. Sambungan mesti diarahkan; bermakna anda boleh mengembara di mana-mana arah pada garisan untuk mendapatkan dari satu titik ke yang lain. Setiap titik harus disambungkan ke sisanya entah bagaimana, dan setiap titik mungkin mempunyai banyak sambungan.

Pokok yang merangkumi graf ini adalah subrograf (graf menggunakan mata yang sama) yang menyentuh semua mata, walaupun ia tidak perlu berkongsi semua baris yang sama.

Grafik, istilah rangkaian, Spanning Tree Protocol