2008-07-15 LP ゼミ LP を幾何に応用 点配置とcoloring、Helly's theorem。 polytope に shrink して証明。 が infeasible ()⇔ there is a subset of at most inequalities which are infeasible。