Abstract
The view graph of a surface N in 3-space is a graph embedded in the space ν of centers or directions of projection, whose nodes correspond to maximal connected regions of ν which yield equivalent views of N. The size of the view graph of a piecewise smooth algebraic surface N with transverse self-intersection curves and isolated triple-points and cross-caps is O(n kdimνd 6dimν), where n and d denote the number of “component surfaces” of N and their maximal degree, respectively, and where K=6 in general or K=3 for N diffeomorphic to the boundary of a polyhedron. (For surfaces without cross-caps, this bound has been established in [17].) Also, for the special piecewise linear case, where d=1 and K=3, it is known that the size of the view graph is actually Θ(n 3dimν).
It is shown that the exact view graphs of such surfaces can be determined in O(n K(2dimν+1)). · P(d, L) time by a deterministic algorithm and in O(n Kdimν+ε) · P(d, L) expected time by a randomized algorithm. Here P is some polynomial, L is the maximal coefficient size of the defining polynomials of N, and ε is an arbitrarily small positive constant. Note that the randomized algorithm is, in terms of combinatorial complexity (where d and L are assumed to be constants which do not depend on n), nearly optimal—its combinatorial time complexity exceeds the size of the view graph only by ε in the exponent.
Article PDF
Similar content being viewed by others
References
P.K. Agarwal and M. Sharir, On the number of views of polyhedral terrains, Discrete Comput. Geom. 12 (1994), 177–182
K.W. Bowyer and C.R. Dyer, Aspect graphs: an introduction and survey of recent results, Internat. J. Imaging Technol. 2 (1990), 315–328
J.S. Carter, J.H. Rieger, and M. Saito, A combinatorial description of knotted surfaces and their isotopies, Adv. in Math. 127:1 (1997), 1–51
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, A singly exponential stratification scheme for real semi-algebraic varieties and its applications, Theoret. Comput. Sci. 84 (1991), 77–105
M. de Berg, D. Halperin, M. Overmars, and M. van Kreveld, Sparse Arrangements and the Number of Views of Polyhedral Scenes, Internat. J. Comput. Geom. Appl. 7 (1997), 175–195.
O. Faugeras et al., Panel theme: why aspect graphs are not (yet) practical for computer vision, Proc. IEEE Workshop on Directions Automated CAD-Based Vision, 1991, pp. 98–104
Z. Gigus, J. Canny, and R. Seidel, Efficiently computing and representing aspect graphs of polyhedral objects, IEEE Trans. Pattern Anal. Mach. Intell. 13:6 (1991), 542–551
D. Halperin and M. Sharir, New bounds for lower envelopes in three dimensions, with applications to visibility in terrains, Discrete Comput. Geom. 12 (1994), 313–326
D. Hilbert and S. Cohn-Vossen, Anschauliche Geometrie, Springer-Verlag, Berlin, 1932.
C.M. Jessop, Quartic Surfaces with Singular Points, Cambridge University Press, Cambridge, 1916.
R. Loos, Computing in algebraic extensions, in Computer Algebra: Symbolic and Algebraic Computation, B. Buchberger, G.E. Collins, and R. Loos, eds., Springer-Verlag, Wien, 1982, pp. 173–187
J. Milnor, On the Betti numbers of real varieties, Proc. Amer. Math. Soc. 15 (1964), 275–280
B. Mishra, Algorithmic Algebra, Springer-Verlag, New York, 1993.
S. Petitjean, The enumerative geometry of projective algebraic surfaces and the complexity of aspect graphs, Internat. J. Comput. Vision 19:3 (1996), 261–287
S. Petitjean, J.H. Rieger, and D. Forsyth, Recognizing algebraic surfaces from aspects, in Algebraic Surfaces in Computer Vision, J. Ponce, ed., Springer-Verlag, Heidelberg, in press.
W. Platinga and C. Dyer, Visibility, occlusion and the aspect graph, Internat. J. Comput. Vision 5 (1990), 137–160
J.H. Rieger, On the complexity and computation of view graphs of piecewise smooth algebraic surfaces, Philos. Trans. Roy. Soc. London Ser. A 354 (1996), 1899–1940
M. Sharir and P.K. Agarwal, Davenport-Schinzel Sequences and Their Geometric Applications, Cambridge University Press, Cambridge, 1995.
I. Shimshoni and J. Ponce, Finite-resolution aspect graphs of polyhedral objects, IEEE Trans. Pattern Anal. Mach. Intell. 19:4 (1997), 315–327
J.M. West, The Differential Geometry of the Crosscap, Ph.D. thesis, University of Liverpool, 1995.
H. Whitney, The singularities of mappings from smooth n-manifolds into (2n−1)-space, Ann. of Math. 45 (1944), 247–293
Author information
Authors and Affiliations
Corresponding author
Additional information
Financial support for this work was given by the research foundation FAPESP (São Paulo, Brazil).
Rights and permissions
About this article
Cite this article
Rieger, J.H. Notes on the complexity of exact view graph algorithms for piecewise smooth Algebraic Surfaces. Discrete Comput Geom 20, 205–229 (1998). https://doi.org/10.1007/PL00009383
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/PL00009383