From Global to Local Constraints: A Constructive Version of Bloch's Principle

Authors

Martine Ceberio, The University of Texas at El PasoFollow
Olga Kosheleva, The University of Texas at El PasoFollow
Vladik Kreinovich, The University of Texas at El PasoFollow

Publication Date

1-2014

Comments

Technical Report: UTEP-CS-14-08

Published in Proceedings of the Seventh International Workshop on Constraints Programming and Decision Making CoProd'2014, Wuerzburg, Germany, September 21, 2014.

Abstract

Generalizing several results from complex analysis, A. Bloch formulated an informal principle -- that for every global implication there is a stronger local implication. This principle has been formalized for complex analysis, but is has been successfully used in other areas as well. In this paper, we propose a new formalization of Bloch's Principle, and we show that in general, the corresponding localized version can be obtained algorithmically.