Agar algoritm qadamlari ketma-ket bajarilish jarayonida shartga bog'liq ravishda o`zgarsa, bunday algoritm tarmoqlanuvchi algoritm deb nomlanadi. Shart bumantiqiy ifoda bo`lib, faqat rost yoki to`g`ri qiymatni qabul qiladi. Agar shart rost bo`lsa Xa, yolg'on bo`lsa Yo`q tarmoq g`iyich algoritmi qadami davom etadi. Tarmoqlanuvchi algoritm to'liq tarmoqlanuvchi va to'liq mas tarmoqlanuvchi turlariga bo'linadi.