15 research outputs found
Shellability is NP-Complete
We prove that for every d >= 2, deciding if a pure, d-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d >= 2 and k >= 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable is NP-hard. For d >= 3, both problems remain NP-hard when restricted to contractible pure d-dimensional complexes
Leibniz International Proceedings in Information, LIPIcs
We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d ≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible pure d-dimensional complexes
Counting Shellings of Complete Bipartite Graphs and Trees
A shelling of a graph, viewed as an abstract simplicial complex that is pure
of dimension 1, is an ordering of its edges such that every edge is adjacent to
some other edges appeared previously. In this paper, we focus on complete
bipartite graphs and trees. For complete bipartite graphs, we obtain an exact
formula for their shelling numbers. And for trees, we propose a simple method
to count shellings and bound shelling numbers using vertex degrees and
diameter.Comment: 22 pages, 6 figure
Hyperplane Neural Codes and the Polar Complex
Hyperplane codes are a class of convex codes that arise as the output of a
one layer feed-forward neural network. Here we establish several natural
properties of stable hyperplane codes in terms of the {\it polar complex} of
the code, a simplicial complex associated to any combinatorial code. We prove
that the polar complex of a stable hyperplane code is shellable and show that
most currently known properties of the hyperplane codes follow from the
shellability of the appropriate polar complex.Comment: 23 pages, 5 figures. To appear in Proceedings of the Abel Symposiu
Finding Hexahedrizations for Small Quadrangulations of the Sphere
This paper tackles the challenging problem of constrained hexahedral meshing.
An algorithm is introduced to build combinatorial hexahedral meshes whose
boundary facets exactly match a given quadrangulation of the topological
sphere. This algorithm is the first practical solution to the problem. It is
able to compute small hexahedral meshes of quadrangulations for which the
previously known best solutions could only be built by hand or contained
thousands of hexahedra. These challenging quadrangulations include the
boundaries of transition templates that are critical for the success of general
hexahedral meshing algorithms.
The algorithm proposed in this paper is dedicated to building combinatorial
hexahedral meshes of small quadrangulations and ignores the geometrical
problem. The key idea of the method is to exploit the equivalence between quad
flips in the boundary and the insertion of hexahedra glued to this boundary.
The tree of all sequences of flipping operations is explored, searching for a
path that transforms the input quadrangulation Q into a new quadrangulation for
which a hexahedral mesh is known. When a small hexahedral mesh exists, a
sequence transforming Q into the boundary of a cube is found; otherwise, a set
of pre-computed hexahedral meshes is used.
A novel approach to deal with the large number of problem symmetries is
proposed. Combined with an efficient backtracking search, it allows small
shellable hexahedral meshes to be found for all even quadrangulations with up
to 20 quadrangles. All 54,943 such quadrangulations were meshed using no more
than 72 hexahedra. This algorithm is also used to find a construction to fill
arbitrary domains, thereby proving that any ball-shaped domain bounded by n
quadrangles can be meshed with no more than 78 n hexahedra. This very
significantly lowers the previous upper bound of 5396 n.Comment: Accepted for SIGGRAPH 201