Minimal discrete curves and surfaces

In this thesis, we apply the ideas from combinatorial optimization to find globally optimal solutions arising in discrete and continuous minimization problems. Though we limit ourselves with the 1- and 2-dimensional surfaces, our methods can be easily generalized to higher dimensions. We start with a continuous N-dimensional variational problem and show that under very general conditions it can be approximated with a finite discrete spatial complex. It is possible to construct and refine the complex such that the globally minimal discrete solution on the complex converges to the continuous solution of the initial problem. We develop polynomial algorithm to find the minimal discrete solution on the complex and show that embeddability is a crucial property for such a solution to exist. Later on, we demonstrate that the spatial complex arising in the minimum weight triangulation problem is not embeddable. Linear programming becomes the main tool to investigate this problem and to develop a practical algorithm for constructing the minimum weight triangulation of a random point set. Finally, we consider two curve minimization problems arising in computer graphics. Both of them are described by the curves on the piece-wise linear triangulated surface. We revisit the geodesic problem, simplify and enhance the well-known exact algorithm and construct the fast approximate algorithm. We also show that the silhouette simplification can be done efficiently using the minimization techniques that we develop in the previous chapters. In many cases, the algorithms described in this thesis can be considered as a generalization of the classical Dijkstra's shortest path algorithm.

[1]  Jack Snoeyink,et al.  Implementations of the LMT heuristic for minimum weight triangulation , 1998, SCG '98.

[2]  T C Hu,et al.  Solution of the discrete Plateau problem. , 1992, Proceedings of the National Academy of Sciences of the United States of America.

[3]  Peter-Pike J. Sloan,et al.  Interactive technical illustration , 1999, SI3D.

[4]  Hans-Peter Seidel,et al.  Interactive multi-resolution modeling on arbitrary meshes , 1998, SIGGRAPH.

[5]  R. Glowinski,et al.  Numerical Methods for Nonlinear Variational Problems , 1985 .

[6]  R. Ho Algebraic Topology , 2022 .

[7]  Vladimir Kolmogorov,et al.  An experimental comparison of min-cut/max- flow algorithms for energy minimization in vision , 2001, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[8]  Errol L. Lloyd On triangulations of a set of points in the plane , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[9]  Peter-Pike J. Sloan,et al.  Shape by example , 2001, I3D '01.

[10]  Matthew Dickerson,et al.  A (usually?) connected subgraph of the minimum weight triangulation , 1996, SCG '96.

[11]  F. A. Seiler,et al.  Numerical Recipes in C: The Art of Scientific Computing , 1989 .

[12]  William H. Press,et al.  The Art of Scientific Computing Second Edition , 1998 .

[13]  J. Tenenbaum,et al.  A global geometric framework for nonlinear dimensionality reduction. , 2000, Science.

[14]  P. Giblin Graphs, surfaces, and homology , 1977 .

[15]  Olga Veksler,et al.  Fast approximate energy minimization via graph cuts , 2001, Proceedings of the Seventh IEEE International Conference on Computer Vision.

[16]  F. Morgan Geometric Measure Theory: A Beginner's Guide , 1988 .

[17]  S. Vajda,et al.  Integer Programming and Network Flows , 1970 .

[18]  Michael T. Goodrich,et al.  Efficient perspective-accurate silhouette computation and applications , 2001, SCG '01.

[19]  Elaine Cohen,et al.  A non-photorealistic lighting model for automatic technical illustration , 1998, SIGGRAPH.

[20]  Pedro V. Sander,et al.  Silhouette clipping , 2000, SIGGRAPH.

[21]  Hugues Hoppe,et al.  Progressive meshes , 1996, SIGGRAPH.

[22]  Charles Radin,et al.  The isoperimetric problem for pinwheel tilings , 1996 .

[23]  Vladimir Kolmogorov,et al.  Computing geodesics and minimal surfaces via graph cuts , 2003, Proceedings Ninth IEEE International Conference on Computer Vision.

[24]  Joseph O'Rourke,et al.  Computational Geometry in C. , 1995 .

[25]  Yin-Feng Xu,et al.  Approaching the largest β-skeleton within a minimum weight triangulation , 1996, SCG '96.

[26]  Jörg-Rüdiger Sack,et al.  Approximating weighted shortest paths on polyhedral surfaces , 1997, SCG '97.

[27]  J. March Introduction to the Calculus of Variations , 1999 .

[28]  Michael F. Cohen,et al.  Minimal Surfaces for Stereo , 2002, ECCV.

[29]  Pedro V. Sander,et al.  Multi-Chart Geometry Images , 2003, Symposium on Geometry Processing.

[30]  Michael T. Goodrich,et al.  Efficient perspective-accurate silhouette computation , 1999, SCG '99.

[31]  Lee Markosian,et al.  Artistic silhouettes: a hybrid approach , 2000, NPAR '00.

[32]  Joseph S. B. Mitchell,et al.  The Discrete Geodesic Problem , 1987, SIAM J. Comput..

[33]  Joseph O'Rourke,et al.  An Implementation of Chen & Han's Shortest Paths Algorithm , 2000, Canadian Conference on Computational Geometry.

[34]  Donald B. Johnson,et al.  Parallel algorithms for minimum cuts and maximum flows in planar networks , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[35]  Lauri Siljamäki Real-time non-photorealistic rendering , 2001 .

[36]  Sanjiv Kapoor,et al.  Efficient computation of geodesic shortest paths , 1999, STOC '99.

[37]  Marc Levoy,et al.  Fitting smooth surfaces to dense polygon meshes , 1996, SIGGRAPH.

[38]  Jindong Chen,et al.  Shortest Paths on a Polyhedron , Part I : Computing Shortest Paths , 1990 .

[39]  Jack Snoeyink,et al.  On exclusion regions for optimal triangulations , 2001, Discret. Appl. Math..

[40]  J A Sethian,et al.  Computing geodesic paths on manifolds. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[41]  Hiromasa Suzuki,et al.  Approximate shortest path on a polyhedral surface and its applications , 2001, Comput. Aided Des..

[42]  Aaron Hertzmann,et al.  Illustrating smooth surfaces , 2000, SIGGRAPH.

[43]  Franz Aurenhammer,et al.  Constant-Level Greedy Triangulations Approximate the MWT Well , 1998, J. Comb. Optim..

[44]  Ayellet Tal,et al.  Hierarchical mesh decomposition using fuzzy clustering and cuts , 2003, ACM Trans. Graph..

[45]  Taku Komura,et al.  Topology matching for fully automatic similarity estimation of 3D shapes , 2001, SIGGRAPH.

[46]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[47]  Konrad Polthier,et al.  Straightest geodesics on polyhedral surfaces , 2006, SIGGRAPH Courses.

[48]  Michael Ian Shamos,et al.  Closest-point problems , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[49]  Ron Kimmel,et al.  Texture Mapping Using Surface Flattening via Multidimensional Scaling , 2002, IEEE Trans. Vis. Comput. Graph..

[50]  G. Klincsek Minimal Triangulations of Polygonal Domains , 1980 .

[51]  Adam Finkelstein,et al.  Robust mesh watermarking , 1999, SIGGRAPH.