arXiv reaDer
Fast Verification of Convexity of Piecewise-linear Surfaces
 n次元ユークリッド空間(n> 2)の次元n-1の閉じた接続PL多様体の実現は、それぞれの内部(n -3)-faceには点があり、n次元の凸体の境界にある近傍があります。入力サーフェスのトポロジまたは方向性に関する最初の仮定は行われません。この定理は、球面空間への局所凸多様体に関するVan Heijenoortの定理の改良と一般化から導き出されます。 PL多様体の凸性基準は、n次元ユークリッドまたは球面空間(n> 2)で与えられたPL表面の凸性をチェックするための簡単な多項式時間アルゴリズムを意味します。このアルゴリズムは、演算の数と代数の両方に関して最適なワーストケースです。アルゴリズムは、Mehlhorn et al(1996-1999)およびDevillers et al。(1998)によって提案された凸性検証アルゴリズムよりもかなり弱い仮定の下で機能し、実装が容易です。近似凸性のパラダイムが提案され、近似浮動小数点凸性検証のために、より小さな次数と複雑さの単純化されたアルゴリズムが提案されます。
We show that a realization of a closed connected PL-manifold of dimension n-1 in n-dimensional Euclidean space (n>2) is the boundary of a convex polyhedron (finite or infinite) if and only if the interior of each (n-3)-face has a point, which has a neighborhood lying on the boundary of an n-dimensional convex body. No initial assumptions about the topology or orientability of the input surface are made. The theorem is derived from a refinement and generalization of Van Heijenoort's theorem on locally convex manifolds to spherical spaces. Our convexity criterion for PL-manifolds implies an easy polynomial-time algorithm for checking convexity of a given PL-surface in n-dimensional Euclidean or spherical space, n>2. The algorithm is worst case optimal with respect to both the number of operations and the algebraic degree. The algorithm works under significantly weaker assumptions and is easier to implement than convexity verification algorithms suggested by Mehlhorn et al (1996-1999), and Devillers et al.(1998). A paradigm of approximate convexity is suggested and a simplified algorithm of smaller degree and complexity is suggested for approximate floating point convexity verification.
updated: Mon Nov 24 2003 11:23:31 GMT+0000 (UTC)
published: Tue Sep 23 2003 06:47:28 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)アソシエイト