摘要

Let kappa be a finite family of orthogonal polytopes in (sic)(d) such that, for every nonempty subfamily kappa' of kappa, boolean AND{K : K in kappa'}, if nonempty, is a finite union of boxes whose intersection graph is a tree. Assume that every d + 1 (not necessarily distinct) members of kappa meet in a (nonempty) staircase starshaped set. Then S boolean AND{K : K in kappa} is nonempty and staircase starshaped.

  • 出版日期2014-3