EFFICIENT METHOD OF IDENTIFYING NON-SOLUTION OR NON-OPTIMAL REGIONS OF THE DOMAIN OF A FUNCTION

摘要

A method of identifying one or more regions of the domain of a function that do not contain solutions is described along with a related subdivision method. These methods may be employed in the context of branch and bound methods that use interval analysis to search for solutions of functions. The one or more regions of the function domain that do not contain solutions are identified using a cropping formula derived from one or more components (low order and high order) of a Taylor Form inclusion function. A Corner Taylor Form inclusion function is also described which might be used to identify the output range of a function.