Generating all vertices of a polyhedron is hard

被引:70
作者
Khachiyan, Leonid
Boros, Endre [1 ]
Borys, Konrad [1 ]
Elbassioni, Khaled [2 ]
Gurvich, Vladimir [1 ]
机构
[1] Rutgers State Univ, RUTCOR, Piscataway, NJ 08854 USA
[2] Max Planck Inst Informat, Dept 1, D-66123 Saarbrucken, Germany
关键词
D O I
10.1007/s00454-008-9050-5
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We show that generating all negative cycles of a weighted graph is a hard enumeration problem, in both the directed and undirected cases. More precisely, given a family of negative (directed) cycles, it is an NP-complete problem to decide whether this family can be extended or there are no other negative (directed) cycles in the graph, implying that (directed) negative cycles cannot be generated in polynomial output time, unless P=NP. As a corollary, we solve in the negative two well-known generating problems from linear programming: (i) Given an infeasible system of linear inequalities, generating all minimal infeasible subsystems is hard. Yet, for generating maximal feasible subsystems the complexity remains open. (ii) Given a feasible system of linear inequalities, generating all vertices of the corresponding polyhedron is hard. Yet, in the case of bounded polyhedra the complexity remains open. Equiva lently, the complexity of generating vertices and extreme rays of polyhedra remains open.
引用
收藏
页码:174 / 190
页数:17
相关论文
共 44 条
[1]  
ABDULLAHI SD, 2003, THESIS LEEDS U
[2]   On the maximum feasible subsystem problem, IISs and IIS-hypergraphs [J].
Amaldi, E ;
Pfetsch, ME ;
Trotter, LE .
MATHEMATICAL PROGRAMMING, 2003, 95 (03) :533-554
[3]   Reverse search for enumeration [J].
Avis, D ;
Fukuda, K .
DISCRETE APPLIED MATHEMATICS, 1996, 65 (1-3) :21-46
[4]   A PIVOTING ALGORITHM FOR CONVEX HULLS AND VERTEX ENUMERATION OF ARRANGEMENTS AND POLYHEDRA [J].
AVIS, D ;
FUKUDA, K .
DISCRETE & COMPUTATIONAL GEOMETRY, 1992, 8 (03) :295-313
[5]   How good are convex hull algorithms? [J].
Avis, D ;
Bremner, D ;
Seidel, R .
COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 1997, 7 (5-6) :265-301
[6]   AN ALGORITHM FOR FINDING ALL VERTICES OF CONVEX POLYHEDRAL SETS [J].
BALINSKI, ML .
JOURNAL OF THE SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS, 1961, 9 (01) :72-88
[7]  
Berge C., 1989, HYPERGRAPHS
[8]  
Boros E, 2004, LECT NOTES COMPUT SC, V3064, P152
[9]   Incremental convex hull algorithms are not output sensitive [J].
Bremner, D .
DISCRETE & COMPUTATIONAL GEOMETRY, 1999, 21 (01) :57-68
[10]   Primal-dual methods for vertex and facet enumeration [J].
Bremner, D ;
Fukuda, K ;
Marzetta, A .
DISCRETE & COMPUTATIONAL GEOMETRY, 1998, 20 (03) :333-357