Дайте определение двоичного дерева. Какие они бывают. И расскажите про эффективность big O в рамках двоичного дерева.