Let P be an H-polytope in R^d with vertex set V. The vertex centroid is defined as the average of the vertices in V. We first prove that computing the vertex centroid of anH-polytope, or even just checking whether it lies in a given halfspace, is #P-hard. We also consider the problem of approximating the vertex centroid by finding a point within an @e distance from it and prove this problem to be #P-easy in the sense that it can be solved efficiently using an oracle for some #P-complete problem. In particular, we show that given an oracle for counting the number of vertices of an H-polytope, one can approximate the vertex centroid in polynomial time. Counting the number of vertices of a polytope defined as the intersection of halfspaces is known to be #P-complete. We also show that any algorithm approximating the vertex centroid to any ''sufficiently'' non-trivial (for example constant) distance, can be used to construct a fully polynomial-time approximation scheme for approximating the centroid and also an output-sensitive polynomial algorithm for the Vertex Enumeration problem. Finally, we show that for unbounded polyhedra the vertex centroid cannot be approximated to a distance of d^1^2^-^@d for any fixed constant @d>0 unless P=NP.
[1]
N. Linial.
Hard enumeration problems in geometry and combinatorics
,
1986
.
[2]
Vladimir Gurvich,et al.
Generating All Vertices of a Polyhedron Is Hard
,
2006,
SODA '06.
[3]
Vladimir Gurvich,et al.
The negative cycles polyhedron and hardness of checking some polyhedral properties
,
2011,
Ann. Oper. Res..
[4]
Martin E. Dyer,et al.
On the Complexity of Computing the Volume of a Polyhedron
,
1988,
SIAM J. Comput..
[5]
M. Simonovits,et al.
Random walks and an O * ( n 5 ) volume algorithm for convex bodies
,
1997
.
[6]
M. E. Dyer,et al.
The Complexity of Vertex Enumeration Methods
,
1983,
Math. Oper. Res..
[7]
Luis Rademacher,et al.
Approximating the centroid is hard
,
2007,
SCG '07.
[8]
Raimund Seidel,et al.
How Good Are Convex Hull Algorithms?
,
1997,
Comput. Geom..
[9]
Hans Raj Tiwary.
On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes
,
2008,
Discret. Comput. Geom..