Dalam tesis ini didefinisikan sebuah model penghitungan secara aljabar pohon biner dan problema penghitungan secara aljabar pohon biner (PAPB). berdasarkan definisi ini dikembangkan sebuah algoritma parallel untuk memecahkan problema tersebut. Kemudian dapat diperlihatkan bahwa beberapa problema graf seperti: problema himpunan penutup minimum, problema himpunan bebas maksimum, problema himpunan pendominasi ke-r minimum untuk pohon dapat dinyatakan sebagai sebuah bentuk problema PAPB. Algoritma parallel untuk beberapa problema tersebut secara sistematis dapat diperlihatkan dengan memanfaatkan ide problema PAPB. Model penghitungan parallel yang digunakan adalah sebuah mesin pengakses acak parallel exclusive read-exlusive write (EREW). Algoritma untuk problem pohon dengan n verteks dilaksanakan dalam O(log n) tahapan dengan menggunakan pemroses sebanyak O(n).