### 抜粋

Let f_{k}(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: f_{k}(F)≤(^{d}_{k})f_{d}(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 P^{d} or in Euclidean space E^{d}. 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.

元の言語 | English |
---|---|

ページ（範囲） | 141-149 |

ページ数 | 9 |

ジャーナル | Discrete Applied Mathematics |

巻 | 31 |

発行部数 | 2 |

DOI | |

出版物ステータス | Published - 1991 4 15 |

### フィンガープリント

### ASJC Scopus subject areas

- Discrete Mathematics and Combinatorics
- Applied Mathematics

### これを引用

*Discrete Applied Mathematics*,

*31*(2), 141-149. https://doi.org/10.1016/0166-218X(91)90066-6