Home > ENGINEERING > COMPUTER > CS_TECHREP > 632
Martine Ceberio, The University of Texas at El PasoFollow Vladik Kreinovich, The University of Texas at El PasoFollow
11-2011
Technical Report: UTEP-CS-11-56
In many practical situations, we would like to compute the set of all possible values that satisfy given constraints. It is known that even for computable (constructive) constraints, computing such set is not always algorithmically possible. One reason for this algorithmic impossibility is that sometimes, the dependence of the desired set on the parameters of the problem is not continuous, while all computable functions of real variables are continuous. In this paper, we show that this discontinuity is the only case when the desired set cannot be computed. Specifically, we provide an algorithm that computes such a set for all the cases when the dependence is continuous.
DOWNLOADS
Since April 02, 2012
Computer Engineering Commons
Advanced Search
Comments
Technical Report: UTEP-CS-11-56