Results 1  10
of
20
Straightening polygonal arcs and convexifying polygonal cycles
 DISCRETE & COMPUTATIONAL GEOMETRY
, 2000
"... Consider a planar linkage, consisting of disjoint polygonal arcs and cycles of rigid bars joined at incident endpoints (polygonal chains), with the property that no cycle surrounds another arc or cycle. We prove that the linkage can be continuously moved so that the arcs become straight, the cycles ..."
Abstract

Cited by 82 (30 self)
 Add to MetaCart
Consider a planar linkage, consisting of disjoint polygonal arcs and cycles of rigid bars joined at incident endpoints (polygonal chains), with the property that no cycle surrounds another arc or cycle. We prove that the linkage can be continuously moved so that the arcs become straight, the cycles become convex, and no bars cross while preserving the bar lengths. Furthermore, our motion is piecewisedifferentiable, does not decrease the distance between any pair of vertices, and preserves any symmetry present in the initial configuration. In particular, this result settles the wellstudied carpenter’s rule conjecture.
Numerical Stability of Algorithms for Line Arrangements
 In Proc. 7th Annu. ACM Sympos. Comput. Geom
, 1991
"... We analyze the behavior of two line arrangement algorithms, a sweepline algorithm and an incremental algorithm, in approximate arithmetic. The algorithms have running times O(n 2 log n) and O(n 2 ) respectively. We show that each of these algorithms can be implemented to have O(nffl) relative e ..."
Abstract

Cited by 29 (6 self)
 Add to MetaCart
We analyze the behavior of two line arrangement algorithms, a sweepline algorithm and an incremental algorithm, in approximate arithmetic. The algorithms have running times O(n 2 log n) and O(n 2 ) respectively. We show that each of these algorithms can be implemented to have O(nffl) relative error. This means that each algorithm produces an arrangement realized by a set of pseudolines so that each pseudoline differs from the corresponding line relatively by at most O(nffl). We also show that there is a line arrangement algorithm with O(n 2 log n) running time and O(ffl) relative error. 1 Introduction We analyze the behavior of line arrangement algorithms in approximate arithmetic. Approximate arithmetic is a set of arithmetic operations defined on the real numbers that make relative error ffl; this models floating point arithmetic. The input to a line arrangement algorithm is a set of n lines specified by real number coefficients. The output is a "combinatorial arrangement", ...
Drawing Stressed Planar Graphs in Three Dimensions
 In
, 1995
"... There is much current interest among researchers to find algorithms that will draw graphs in three dimensions. It is well known that every 3connected planar graph can be represented as a strictly convex polyhedron. However, no practical algorithms exist to draw a general 3connected planar graph as ..."
Abstract

Cited by 18 (0 self)
 Add to MetaCart
(Show Context)
There is much current interest among researchers to find algorithms that will draw graphs in three dimensions. It is well known that every 3connected planar graph can be represented as a strictly convex polyhedron. However, no practical algorithms exist to draw a general 3connected planar graph as a convex polyhedron. In this paper we review the concept of a stressed graph and how it relates to convex polyhedra; we present a practical algorithm that uses stressed graphs to draw 3connected planar graphs as strictly convex polyhedra; and show some examples. Key words: graph, stressed graph, convex polyhedron, reciprocal polyhedron 1 Introduction It is well known that 3connected planar graphs can be drawn as convex polyhedra. However, no practical algorithms exist to draw general 3connected planar graphs as convex polyhedra. The twodimensional (2D) drawing in Figure 1 is 3connected and planar, and the corresponding polyhedron is drawn in Figure 2 as three different views. The 2D ...
Robust Polygon Modeling
 COMPUTERAIDED DESIGN
, 1993
"... The article provides a set of algorithms for performing set operations on polygonal regions in the plane using standard floating point arithmetic. The algorithms are robust, guaranteeing both topological consistency and numerical accuracy. Each polygon edge is modeled as an implicit or explicit poly ..."
Abstract

Cited by 17 (4 self)
 Add to MetaCart
(Show Context)
The article provides a set of algorithms for performing set operations on polygonal regions in the plane using standard floating point arithmetic. The algorithms are robust, guaranteeing both topological consistency and numerical accuracy. Each polygon edge is modeled as an implicit or explicit polygonal curve which stays within some distance fi of the original line segment. If the curve is implicit, fi is bounded by a small multiple of the rounding unit. If the curves are explicit, the bound on fi may grow with the number of curves. One can mix implicit and explicit representations to suit the application.
A Paradigm for the Robust Design of Algorithms for Geometric Modeling
 Computer Graphics Forum
, 1994
"... Geometric modelers are becoming faster and more powerful, but they still suffer from reliability problems because of floating point errors. Previous work in the field of robust geometric modeling tends to be problem specific and has proven hard to generalize. The approach described here is a general ..."
Abstract

Cited by 13 (1 self)
 Add to MetaCart
Geometric modelers are becoming faster and more powerful, but they still suffer from reliability problems because of floating point errors. Previous work in the field of robust geometric modeling tends to be problem specific and has proven hard to generalize. The approach described here is a general paradigm for handling the accuracy problem for a large set of geometric algorithms. This approach brings together ideas and techniques from interval arithmetic, constraint management, randomization, and algebraic geometry. It acknowledges that input values have tolerances, that objects within tolerance are equivalent, and that certain geometric singularities must be maintained because they reflect design intent or the laws of geometry. Our approach is systematic, and can be applied almost mechanically to the large domain of problems, that can be solved by algorithms using the operations +, , * and /. The required theory and algorithms have been developed, and the viability of the concepts ...
Splitting a Complex of Convex Polytopes In Any Dimension
, 1996
"... Introduction We present a localitybased algorithm to solve the problem of splitting a complex of convex polytopes with a hyperplane or a convex subset of it. The solution to this problem has several applications. One goal is to perform boolean set operations. The solution can also be used to decom ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
(Show Context)
Introduction We present a localitybased algorithm to solve the problem of splitting a complex of convex polytopes with a hyperplane or a convex subset of it. The solution to this problem has several applications. One goal is to perform boolean set operations. The solution can also be used to decompose a polyhedron into convex polytopes [3] and to generate good meshes [4]. In higher dimensional spaces it can be used to efficiently compute isocontours of linear approximations of scalar fields (a basic technique of Scientific Visualization) [17, 19]. The approach taken here can also be included in a set of robust algorithms [11, 13, 15, 20, 27, 28] based on finite precision arithmetic. It is also defined in a dimension independent framework [5, 16, 24, 25]. The main contributions of this approach are: (i) it can be applied to polyhedral complexes of any dimension d; (ii) the algorithm is robust (it always produces valid output) and consistent (the topological structure of the resu
Tutte’s barycenter method applied to isotopies
 Computational Geometry: Theory and Applications
, 2001
"... This paper is concerned with applications of Tutte’s barycentric embedding theorem (Proc. London Math. Soc. 13 (1963), 743–768). It presents a method for building isotopies of triangulations in the plane, based on Tutte’s theorem and the computation of equilibrium stresses of graphs by Maxwell–Cremo ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
This paper is concerned with applications of Tutte’s barycentric embedding theorem (Proc. London Math. Soc. 13 (1963), 743–768). It presents a method for building isotopies of triangulations in the plane, based on Tutte’s theorem and the computation of equilibrium stresses of graphs by Maxwell–Cremona’s theorem; it also provides a counterexample showing that the analogue of Tutte’s theorem in dimension 3 is false.
Advances in the Theory and Practice of Graph Drawing
 Theor. Comp. Sci
, 1996
"... The visualization of conceptual structures is a key component of support tools for complex applications in science and engineering. Foremost among the visual representations used are drawings of graphs and ordered sets. In this talk, we survey recent advances in the theory and practice of graph d ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The visualization of conceptual structures is a key component of support tools for complex applications in science and engineering. Foremost among the visual representations used are drawings of graphs and ordered sets. In this talk, we survey recent advances in the theory and practice of graph drawing. Specific topics include bounds and tradeoffs for drawing properties, threedimensional representations, methods for constraint satisfaction, and experimental studies. 1 Introduction In this paper, we survey selected research trends in graph drawing, and overview some recent results of the author and his collaborators. Graph drawing addresses the problem of constructing geometric representations of graphs, a key component of support tools for complex applications in science and engineering. Graph drawing is a young research field that has growth very rapidly in the last decade. One of its distinctive characteristics is to have furthered collaborative efforts between computer scien...
A Case Study in Algorithm Engineering for Geometric Computing
 IN PROC. WORKSHOP ON ALGORITHM ENGINEERING
, 1997
"... The goal of this paper is to prove the applicability of algorithm engineering and software design concepts to geometric computing through a vertical case study on the implementation of planar point location algorithms. The work is presented within the framework of the GeomLib project, aimed at de ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
(Show Context)
The goal of this paper is to prove the applicability of algorithm engineering and software design concepts to geometric computing through a vertical case study on the implementation of planar point location algorithms. The work is presented within the framework of the GeomLib project, aimed at developing an easy to use, reliable, and flexible library of robust and efficient geometric algorithms. We present the criteria that have inspired the preliminary design of GeomLib and discuss the guidelines that we have followed in the initial implementation.
A Quantitative Steinitz' Theorem
, 1994
"... Any 3dimensional convex polytope with n vertices can be realized in Euclidean 3space with all coordinates of all vertices being integers of absolute value not exceeding n^169n³. ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Any 3dimensional convex polytope with n vertices can be realized in Euclidean 3space with all coordinates of all vertices being integers of absolute value not exceeding n^169n³.