A proof of convergence of the B-RED and P-RED algorithms for random early detection

In, we recently presented two computationally efficient algorithms named B-RED and P-RED for random early detection. In this letter, we present the mathematical proof of convergence of these algorithms under general conditions to local minima.