Esta conjetura se conoce como la "conjetura de optimalidad dinámica", y básicamente sostiene que los árboles biselados se comportan tan bien como cualquier otro algoritmo de búsqueda en árboles binarios hasta un factor constante.