We introduce the axiomatic theory of Spherical Occlusion Diagrams as a tool to study certain combinatorial properties of polyhedra in $\mathbb R^3$, which are of central interest in the context Art Gallery problems for polyhedra and other visibility-related problems in discrete and computational geometry.

中文翻译：

---

球面图理论

我们引入了球面遮挡图的公理理论作为研究 $\mathbb R^3$ 中多面体的某些组合特性的工具，这些特性在多面体的上下文艺术画廊问题和离散和其他可见性相关问题中具有核心意义。计算几何。