Shellability is NP-complete
Combinatorics
2018-01-26 v2 Computational Geometry
Geometric Topology
Abstract
We prove that for every , deciding if a pure, -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 and , deciding if a pure, -dimensional, simplicial complex is -decomposable is NP-hard. For , both problems remain NP-hard when restricted to contractible pure -dimensional complexes. Another simple corollary of our result is that it is NP-hard to decide whether a given poset is CL-shellable.
Cite
@article{arxiv.1711.08436,
title = {Shellability is NP-complete},
author = {Xavier Goaoc and Pavel Paták and Zuzana Patáková and Martin Tancer and Uli Wagner},
journal= {arXiv preprint arXiv:1711.08436},
year = {2018}
}
Comments
Version 2: 17 pages, 11 figures. Improved readability at various places. Proof in Section 6 simplified