Это деревья AVL, красно-черные деревья или что-то еще?
Красно-черные деревья, как описано в первой строке javadoc.
Из документации java.util.TreeMap<K,V>:
java.util.TreeMap<K,V>
A Красно-черное дерево на основе NavigableMap реализация.
NavigableMap
Для вопросов, подобных этим, вы всегда должны сначала обратиться к документации. API не должен описывать ALL внутренней работы class, но элементарные сведения, такие как общие структуры данных и используемые алгоритмы, обычно документируются.
class
Это все мелочи, которые также четко документированы:
TreeSet
TreeMap
HashSet
HashMap
Collections.sort
Map<K,V>
Collection<?>
ArrayList
Vector
java.util.Arrays.sort(Object[])
Это красно-черное дерево в реализации Java для настольных компьютеров Oracle, но AVL-дерево в Android .
В первом предложении Javadoc TreeMap говорится:
Реализация NavigableMap на основе красно-черного дерева
TreeSet основан на TreeMap. И они используют красно-черное дерево, красно-черное дерево - это разновидность AVL .