Bir ikili ağaç, bilgisayar programlamasında bilgiyi depolamak, sıralamak ve erişmek için kullanılan bir veri yapısı türüdür. İkili ağaçlar en basit ağaç çeşididir, ancak uygulanması çok kolaydır ve kolaydır. İkili bir ağacın tipik bir uygulaması, işaretçiyi değişkenlerle ağacın kendisini oluşturan bir dizi düğüme bağlı bir kök düğümüne dayanır. Bu ağaç türü, ağacın içindeki hiçbir düğümün ikiden fazla çocuğa sahip olamamasından kaynaklanmaktadır.
Ağaç veri yapıları birçok çeşitte gelir. Hiyerarşik bir düzende düzenlenmiş farklı düğümlerden oluşurlar. Kök olan tek bir düğüm, tüm veri ağacının aranabileceği veya değiştirilebileceği erişim noktasıdır. Bu kök düğümü, ağacın içindeki üst düğüme işaret eder.
Bir ağaç içerisindeki herhangi bir düğüm, en üstteki düğüme göre kaydedilir, ağacın hiyerarşisinde bunun üstünde bulunan bir üst düğüme sahip olur. Altında bulunan alt düğümleri de olabilir. Belirli bir düğüme ağacın üstünde olanlar aracılığıyla erişilir ve altındakilere erişim sağlanır.
İkili ağaç veri yapıları, her düğümün ikiden fazla çocuğu olmamasına izin verir. Belirli bir düğüm, buna bağlı olarak sıfır, bir veya iki çocuk düğümüne sahip olabilir. Sıradan ikili ağaçlar, ağacın herhangi bir noktasında herhangi bir sayıda çocuğa sahip düğümlere izin verir. Ayrıca bir ağacı içeren düğümlerde depolanan değerlerin nasıl düzenlendiğine dair hiçbir kısıtlama getirmezler.
Veri yapıları, verilere bir bilgisayar tarafından erişilebilme hızını arttırdıklarında ve yararlı oldukları için ikili ağaçların değiştirilmiş sürümleri kullanıldığında çok faydalıdır. İkili arama ağacı, belirli bir düğümden sola doğru düşen dalda bulunan tüm veri değerlerinin, o düğümde depolanan değere eşit veya daha düşük değerlere sahip olduğu bir ağaçtır. Sıralı bir ikili ağaçtaki bir düğümün sağ tarafındaki değerler, sırayla, temel düğümdeki değerden büyük olmalıdır. Bu veri sıralaması, çok daha verimli bir arama algoritması yazılmasını sağlar.
Bir ikili ağacın şekli, bir arama algoritmasının etkinliğini belirlemede de önemlidir. Bir ikili ağacın en az verimli çeşidi, her bir düğümün sadece tek bir çocuğa sahip olduğu bir tanesidir. Bu yapılandırmada tek bir bilgi parçasını bulmak için bilgisayarın tüm ağaçtaki her veri öğesini incelemesi gerekebilir. Buna karşın, en verimli ikili ağaç, ağacın altındakiler için her düğümün iki çocuğu olduğu ve yaprak düğümlerinin hepsinin, ağaçtaki alt düğümlerin, kök ile aynı mesafede olduğu ağaçtır.
