On the hardness of computing intersection, union and Minkowski sum of polytopes

被引:65
作者
Tiwary, Hans Raj [1 ]
机构
[1] Univ Saarland, FR Informat, D-66123 Saarbrucken, Germany
关键词
Minkowski addition; extended convex hull; polytope intersection; polytopes; turing reduction;
D O I
10.1007/s00454-008-9097-3
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
For polytopes P(1),P(2) subset of R(d) , we consider the intersection P(1) boolean AND P(2), the convex hull of the union CH(P(1) boolean OR P(2)), and the Minkowski sum P(1)+ P(2). For the Minkowski sum, we prove that enumerating the facets of P(1) + P(2) is NP-hard if P(1) and P(2) are specified by facets, or if P(1) is specified by vertices and P(2) is a polyhedral cone specified by facets. For the intersection, we prove that computing the facets or the vertices of the intersection of two polytopes is NP-hard if one of them is given by vertices and the other by facets. Also, computing the vertices of the intersection of two polytopes given by vertices is shown to be NP-hard. Analogous results for computing the convex hull of the union of two polytopes follow from polar duality. All of the hardness results are established by showing that the appropriate decision version, for each of these problems, is NP-complete.
引用
收藏
页码:469 / 479
页数:11
相关论文
共 16 条
[1]  
[Anonymous], 2003, GRADUATE TEXTS MATH
[2]  
[Anonymous], 2000, J. Eur. Math. Soc. (JEMS)
[3]   How good are convex hull algorithms? [J].
Avis, D ;
Bremner, D ;
Seidel, R .
COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 1997, 7 (5-6) :265-301
[4]   ON THE CONVEX-HULL OF THE UNION OF CERTAIN POLYHEDRA [J].
BALAS, E .
OPERATIONS RESEARCH LETTERS, 1988, 7 (06) :279-283
[5]   ON THE COMPLEXITY OF 4 POLYHEDRAL SET CONTAINMENT PROBLEMS [J].
FREUND, RM ;
ORLIN, JB .
MATHEMATICAL PROGRAMMING, 1985, 33 (02) :139-145
[6]   From the zonotope construction to the Minkowski addition of convex polytopes [J].
Fukuda, K .
JOURNAL OF SYMBOLIC COMPUTATION, 2004, 38 (04) :1261-1272
[7]   Extended convex hull [J].
Fukuda, K ;
Liebling, TM ;
Lütolf, C .
COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2001, 20 (1-2) :13-23
[8]  
Fukuda K., 2005, P 17 CAN C COMP GEOM
[9]   f-vectors of Minkowski additions of convex polytopes [J].
Fukuda, Komei ;
Weibel, Christophe .
DISCRETE & COMPUTATIONAL GEOMETRY, 2007, 37 (04) :503-516
[10]   MINKOWSKI ADDITION OF POLYTOPES - COMPUTATIONAL-COMPLEXITY AND APPLICATIONS TO GROBNER BASES [J].
GRITZMANN, P ;
STURMFELS, B .
SIAM JOURNAL ON DISCRETE MATHEMATICS, 1993, 6 (02) :246-269