The D-plus Discriminant and Complexity of Root Clustering

Let $p(x)$ be an integer polynomial with $m\ge 2$ distinct roots $\alpha_1,\ldots,\alpha_m$ whose multiplicities are $\boldsymbol{\mu}=(\mu_1,\ldots,\mu_m)$. We define the D-plus discriminant of $p(x)$ to be $D^+(p):= \prod_{1\le i更多