2014
DOI: 10.1007/978-3-662-44777-2_7
|View full text |Cite
|
Sign up to set email alerts
|

Recognizing Shrinkable Complexes Is NP-Complete

Abstract: Abstract. We say that a simplicial complex is shrinkable if there exists a sequence of admissible edge contractions that reduces the complex to a single vertex. We prove that it is NP-complete to decide whether a (three-dimensional) simplicial complex is shrinkable. Along the way, we describe examples of contractible complexes which are not shrinkable.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2020
2020
2023
2023

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 18 publications
0
2
0
Order By: Relevance
“…Despite the main ingredients of this algorithm (edge collapse, vertex split) are well defined also for tetrahedral meshes, extending Progressive Embeddings to the generation of volume maps seems overly complex. In fact, differently from triangle meshes, tetrahedral meshes cannot always be collapsed through a sequence of edge collapses, and even deciding whether a given mesh is collapsible is an NP‐complete problem [Tan16, MF08, ADGL16]. Barycentric subdivision ensures collapsibility [AB20] but, even if a valid collapsing sequence of a refined mesh is guaranteed to exist, the size of the search space is exponential w.r.t.…”
Section: Field Overviewmentioning
confidence: 99%
“…Despite the main ingredients of this algorithm (edge collapse, vertex split) are well defined also for tetrahedral meshes, extending Progressive Embeddings to the generation of volume maps seems overly complex. In fact, differently from triangle meshes, tetrahedral meshes cannot always be collapsed through a sequence of edge collapses, and even deciding whether a given mesh is collapsible is an NP‐complete problem [Tan16, MF08, ADGL16]. Barycentric subdivision ensures collapsibility [AB20] but, even if a valid collapsing sequence of a refined mesh is guaranteed to exist, the size of the search space is exponential w.r.t.…”
Section: Field Overviewmentioning
confidence: 99%
“…The algorithm is inspired by the progressive meshes concept [14], and is based on the ability to deconstruct the topology of a triangle mesh by an ordered sequence of edge collapses, reconstructing the same mesh in another embedding with a sequence of vertex splits in the opposite order. Also this approach does not extend to 3d, the reason being twofold: (i) simplicial complexes in dimensions d ≥ 3 may not be fully collapsible with a sequence of edge collapses, and even deciding whether a tetrahedral mesh is collapsible is NP Complete [15], [16], [17]. Theory says that after a finite set of barycentric subdivisions any simplicial complex becomes collapsible [18], but still one should navigate the exponential space of all possible collapsing sequences to find a valid solution.…”
Section: Introductionmentioning
confidence: 99%