  Computing the topology of an algebraic plane curve $\mathcal{C}$ means to
compute a combinatorial graph that is isotopic to $\mathcal{C}$ and thus
represents its topology in $\mathbb{R}^2$. We prove that, for a polynomial of
degree $n$ with coefficients bounded by $2^\rho$, the topology of the induced
curve can be computed with $\tilde{O}(n^8(n+\rho^2))$ bit operations
deterministically, and with $\tilde{O}(n^8\rho^2)$ bit operations with a
randomized algorithm in expectation. Our analysis improves previous best known
complexity bounds by a factor of $n^2$. The improvement is based on new
techniques to compute and refine isolating intervals for the real roots of
polynomials, and by the consequent amortized analysis of the critical fibers of
the algebraic curve.
