On the complexity and computation of view graphs of piecewise smooth algebraic surfaces

Families of central and parallel projections of piecewise smooth surfaces (i.e. surfaces whose singular set consists of curves of transverse double points and isolated triple points) onto planes are studied. It is shown that the bifurcation set in the parameter space of such a family has positive codimension for any piecewise smooth C∞-surface. For the special case of piecewise smooth algebraic surfaces M, which consist of n non-singular real algebraic surfaces of degree not more than d intersecting along curves of transverse double points and in isolated triple points, the number of connected components in the complement of the bifurcation set is bounded by a polynomial in n and d. A symbolic algorithm that determines exactly one sample point (with rational coordinates) in each connected component is presented, these sample points are the nodes in the view graph of M.

[1]  Erwin Kruppa.  Analytische und konstruktive Differentialgeometrie , 1957 .

[2]  Philip Hartman,et al.  On Spherical Image Maps Whose Jacobians Do Not Change Sign , 1959 .

[3]  Developable surfaces in the large , 1961 .

[4]  J. Milnor.  On the Betti numbers of real varieties , 1964 .

[5]  John Milnor,et al.  Singular Points of Complex Hypersurfaces. (AM-61), Volume 61 , 1969 .

[6]  Steven L. Kleiman,et al.  Multiple-point formulas I: Iteration , 1981 .

[7]  Charles Terence Clegg Wall,et al.  Finite Determinacy of Smooth Map‐Germs , 1981 .

[8]  V. Arnold.  Singularities of systems of rays , 1983 .

[9]  George E. Collins,et al.  An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space , 1985, J. Symb. Comput..

[10]  J. W. Bruce,et al.  Outlines and Their Duals , 1985 .

[11]  J. H. Rieger.  Families of Maps from the Plane to The Plane , 1987 .

[12]  Charles Terence Clegg Wall,et al.  Determinacy and unipotency , 1987 .

[13]  Joachim H. Rieger,et al.  On the classification of views of piecewise smooth objects , 1987, Image Vis. Comput..

[14]  J. H. Rieger.  Versal topological stratification and the bifurcation geometry of map-germs of the plane , 1990, Mathematical Proceedings of the Cambridge Philosophical Society.

[15]  Jitendra Malik,et al.  Computing the Aspect Graph for Line Drawings of Polyhedral Objects , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[16]  Marie-Françoise Roy,et al.  Counting real zeros in the multivariate case , 1993 .

[17]  Marie-Françoise Roy.  Aspect graphs of algebraic surfaces , 1993, ISSAC '93.

[18]  J. H. Rieger.  Projections of generic surfaces of revolution , 1993 .

[19]  Joachim H. Rieger,et al.  Computing View Graphs of Algebraic Surfaces , 1993, J. Symb. Comput..

[20]  Karl Rohr,et al.  Semi-algebraic solids in 3-space: a survey of modelling schemes and implications for view graphs , 1994, Image Vis. Comput..