¿Qué es?
Mantén un intervalo en el que cambie de signo y pártelo por la mitad en cada paso. Lento (un bit por paso) pero imposible de romper: el teorema de Bolzano garantiza una raíz dentro. Es la búsqueda binaria sobre una función continua.
Fórmulas
- error garantizado tras pasos
Aplicaciones en informática
Los resolvedores robustos (método de Brent) combinan la garantía de la bisección con pasos más rápidos.
Intersecar rayos con superficies implícitas o mapas de alturas a menudo horquilla el impacto y biseca.
La misma idea que la búsqueda binaria (y
git bisect): partir por la mitad da pasos.
¿Dónde se utiliza?
Temas de informática a los que se llega desde aquí, con la cadena de ideas que lleva a ellos:
Ejercicios
¿Cuántos pasos de bisección en garantizan con error menor que ?
Solución
: pasos.
Esta página tiene lo esencial. Un desarrollo más completo (intuición, definición formal, ejemplo resuelto) está en camino.