Skip to main content

Solving the Completion Problem

  • Chapter
  • First Online:
Shape Reconstruction from Apparent Contours

Part of the book series: Computational Imaging and Vision ((CIVI,volume 44))

  • 1015 Accesses

Abstract

Following [1], in this chapter we show how to solve the completion problem, namely we characterize those oriented plane graphs that are visible part of an apparent contour (Theorem 4.3.1). The proof is generalized to the case where the background is not reduced to the external region. In our presentation we need some elementary concepts of the theory of oriented graphs, and the Morse description of a graph, as outlined in Sect. 2.5.3 In Chap. 9 we describe a code that automates the construction of the proof of Theorem 4.3.1.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    With kind permission from SIAM Journal on Imaging Sciences: in this chapter we illustrate the results and report some of the figures from the quoted paper [1].

  2. 2.

    In particular, the local and global structures of an apparent contour and the labelling.

  3. 3.

    As in Chap. 2, an arc of H is relatively open.

  4. 4.

    The presence of closed arcs makes our notion of graph different from the classical one.

  5. 5.

    The image of [0, 1] is an oriented arc (possibly oriented loop) and the image of \(\mathbb{S}^{1}\) is an oriented closed arc.

  6. 6.

    Compare Sect. 2.2.

  7. 7.

    The smoothness requirements (K1), (K5) and (K6) in Definition 4.1.8, as well as conditions (G1) and (G4) in Definition 4.2.2 below, are not essential for the proof of Theorem 4.3.1. However, they are important for the reconstruction results of a 3D scene described in Chap. 5

  8. 8.

    Definition 4.1.8 is better understood looking also at Fig. 3.16 of Chap. 3

  9. 9.

    It is not difficult to see that the conditions defining a visible contour graph K are necessary for K to be the visible part of an apparent contour; compare, for instance, Sect. 3.6.

  10. 10.

    It is sufficient to repeat the proof of Lemma 3.4.6 in Chap. 3; compare also with Lemma 8.1.4.

  11. 11.

    Recall also that \(\mathfrak{m}_{0}([0, 1]) \cap K = \mathfrak{m}_{1}([0, 1]) \cap K = \varnothing \).

  12. 12.

    See Figs. 4.1 and 4.2a for (m1), Figs. 4.8 and 4.10 for (m2), Figs. 4.5a and c for (m5), Figs. 4.6a, 4.7a for (m6), Fig. 4.4a and b for (m3), Fig. 4.4c and d for (m4).

  13. 13.

    We need to avoid that the Morse line passing through p has locally both arcs of the completed contour on the same side, an inconvenient fact since it makes p to behave like a local maximum/minimum which is undesirable, since p (being a node of K) already forces the Morse line through p to be critical.

  14. 14.

    For example, if the dangling arc is oriented downwards (respectively upwards), the local labelling at the corresponding crossing is the same as in the penultimate (respectively last) picture of Fig. 3.11.

  15. 15.

    If the dangling arc is oriented downwards, then the new formed cusp points on the left.

  16. 16.

    Notice that in the proof of Theorem 4.3.1 the connectedness of ext(K) is not used.

  17. 17.

    With a left–right reflection. Notice that reflecting the values of f still results in an orientation of the two arcs from right to left.

References

  1. Bellettini, G., Beorchia, V., Paolini, M.: Completion of visible contours. SIAM J. Imag. Sci. 2, 777–799 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  2. Karpenko, O.A., Hughes, J.F.: SmoothSketch: 3D free-form shapes from complex sketches, The 33rd. International Conference and Exhibition on Computer Graphics and Imaging Techniques, Boston, Massachusetts, 2006, SIGGRAPH 2006, pp. 589–598. ACM, New York (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bellettini, G., Beorchia, V., Paolini, M., Pasquarelli, F. (2015). Solving the Completion Problem. In: Shape Reconstruction from Apparent Contours. Computational Imaging and Vision, vol 44. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45191-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-45191-5_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-45190-8

  • Online ISBN: 978-3-662-45191-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics