NP-hardness in geometric construction problems with one interval parameter
Document typeResearch report
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
One of the tasks of Computer-Aided Design/Computer-Aided Manufacturing is to transform an object's technical drawing - in which geometry is described by distances and angles - into precise coordinates of the object's points and lines. One of the best ways of finding these coordinates is by using step-by-step geometric constructions (e.g., ruler-and-compass constructions). These constructions are easy to implement if we start with exact geometric information (distances and angles). In practice, however, all technical drawings have tolerances, so instead of requiring the exact values of distance and angles, we only require that they stay within prescribed intervals. Different values within these intervals lead to different coordinates of the corresponding points. In this paper, we show that the problem of computing the intervals of possible values of these coordinates is computationally complicated (NP-hard). Crudely speaking, this means that it is not possible to have an algorithm for constructing the endpoints of the corresponding coordinate intervals in feasible time.
CitationMata Burgarolas, Nuria; Kreinovich, Vladik. "NP-hardness in geometric construction problems with one interval parameter". 1998.
Is part ofLSI-98-55-R