TY - JOUR
T1 - Combinatorial face enumeration in arrangements and oriented matroids
AU - Fukuda, Komei
AU - Saito, Shigemasa
AU - Tamura, Akihisa
PY - 1991/4/15
Y1 - 1991/4/15
N2 - Let fk(F) denote the number of k-dimensional faces of a d-dimensional arrangement F of spheres or a d-dimensional oriented matroid F. In this paper we show that the following relation among the face numbers is valid: fk(F)≤(dk)fd(F) for 0≤k≤d. The same inequalities are valid for d-dimensional arrangements of hyperplanes. Using the result, we obtain a polynomial algorithm to enumerate all faces from the set of maximal faces of an oriented matroid. This algorithm can be applied to any arrangement of hyperplanes in projective space Pd or in Euclidean space Ed. Combining this with a recent result of Cordovil and Fukuda, we have the following: given the cograph of an arrangement (where the vertices are the d-faces and two vertices are adjacent if they intersect in a (d-1)-face), one can reconstruct the location vectors of all faces of the arrangement up to isomorphism in polynomial time. It is also shown that one can test in polynomial time whether a given set of (+,0,-)-vectors is the set of maximal vectors (topes) of an oriented matroid.
AB - Let fk(F) denote the number of k-dimensional faces of a d-dimensional arrangement F of spheres or a d-dimensional oriented matroid F. In this paper we show that the following relation among the face numbers is valid: fk(F)≤(dk)fd(F) for 0≤k≤d. The same inequalities are valid for d-dimensional arrangements of hyperplanes. Using the result, we obtain a polynomial algorithm to enumerate all faces from the set of maximal faces of an oriented matroid. This algorithm can be applied to any arrangement of hyperplanes in projective space Pd or in Euclidean space Ed. Combining this with a recent result of Cordovil and Fukuda, we have the following: given the cograph of an arrangement (where the vertices are the d-faces and two vertices are adjacent if they intersect in a (d-1)-face), one can reconstruct the location vectors of all faces of the arrangement up to isomorphism in polynomial time. It is also shown that one can test in polynomial time whether a given set of (+,0,-)-vectors is the set of maximal vectors (topes) of an oriented matroid.
UR - http://www.scopus.com/inward/record.url?scp=0000734523&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0000734523&partnerID=8YFLogxK
U2 - 10.1016/0166-218X(91)90066-6
DO - 10.1016/0166-218X(91)90066-6
M3 - Article
AN - SCOPUS:0000734523
VL - 31
SP - 141
EP - 149
JO - Discrete Applied Mathematics
JF - Discrete Applied Mathematics
SN - 0166-218X
IS - 2
ER -