
arXiv: 2304.14782
We prove that the computation of a combinatorial shortest path between two vertices of a graph associahedron, introduced by Carr and Devadoss, is NP-hard. This resolves an open problem raised by Cardinal. A graph associahedron is a generalization of the well-known associahedron. The associahedron is obtained as the graph associahedron of a path. It is a tantalizing and important open problem in theoretical computer science whether the computation of a combinatorial shortest path between two vertices of the associahedron can be done in polynomial time, which is identical to the computation of the flip distance between two triangulations of a convex polygon, and the rotation distance between two rooted binary trees. Our result shows that a certain generalized approach to tackling this open problem is not promising. As a corollary of our theorem, we prove that the computation of a combinatorial shortest path between two vertices of a polymatroid base polytope cannot be done in polynomial time unless P = NP. Since a combinatorial shortest path on the matroid base polytope can be computed in polynomial time, our result reveals an unexpected contrast between matroids and polymatroids.
50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023), to appear
Computational Geometry (cs.CG), FOS: Computer and information sciences, polymatroids, Discrete Mathematics (cs.DM), 004, 510, combinatorial shortest path, Computer Science - Data Structures and Algorithms, NP-hardness, FOS: Mathematics, Mathematics - Combinatorics, Computer Science - Computational Geometry, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), Graph associahedra, Computer Science - Discrete Mathematics
Computational Geometry (cs.CG), FOS: Computer and information sciences, polymatroids, Discrete Mathematics (cs.DM), 004, 510, combinatorial shortest path, Computer Science - Data Structures and Algorithms, NP-hardness, FOS: Mathematics, Mathematics - Combinatorics, Computer Science - Computational Geometry, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), Graph associahedra, Computer Science - Discrete Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
