SIMULATED ANNEALING - A PROOF OF CONVERGENCE

We prove the convergence of the simulated annealing procedure when the decision to change the current configuration is blind of the cost of the new configuration. In case of filtering binary images, the proof e asily generalizes to other procedures, including that of Metropolis. W e show that a function Q associated with the algorithm must be chosen as large as possible to provide a fast rate of convergence. The worst case (Q constant) is associated with the ''blind'' algorithm. On the o ther hand, an appropriate Q taking sufficiently high values yields a b etter rate of convergence than that of Metropolis procedure.