Representation Conversions for Nef Polyhedra

摘要

A Nef polyhedron is any set in R~d which can be obtained by applying a finite number of Boolean set operations cpl and ∩ to finitely many (open) linear halfspaces. After resuming some fundamentals, it is shown in which sense several kinds of well-known polyhedra are special cases of Nef polyhedra. Then a number of representations of Nef polyhedra are presented and discussed, and algorithms for Converting them into each other are given.