  Purpose: To describe and mathematically validate the superiorization
methodology, which is a recently-developed heuristic approach to optimization,
and to discuss its applicability to medical physics problem formulations that
specify the desired solution (of physically given or otherwise obtained
constraints) by an optimization criterion. Methods: The underlying idea is that
many iterative algorithms for finding such a solution are perturbation
resilient in the sense that, even if certain kinds of changes are made at the
end of each iterative step, the algorithm still produces a
constraints-compatible solution. This property is exploited by using permitted
changes to steer the algorithm to a solution that is not only
constraints-compatible, but is also desirable according to a specified
optimization criterion. The approach is very general, it is applicable to many
iterative procedures and optimization criteria used in medical physics.
Results: The main practical contribution is a procedure for automatically
producing from any given iterative algorithm its superiorized version, which
will supply solutions that are superior according to a given optimization
criterion. It is shown that if the original iterative algorithm satisfies
certain mathematical conditions, then the output of its superiorized version is
guaranteed to be as constraints-compatible as the output of the original
algorithm, but it is superior to the latter according to the optimization
criterion. This intuitive description is made precise in the paper and the
stated claims are rigorously proved. Superiorization is illustrated on
simulated computerized tomography data of a head cross-section and, in spite of
its generality, superiorization is shown to be competitive to an optimization
algorithm that is specifically designed to minimize total variation.
