TY - GEN
T1 - Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
AU - Ito, Takehiro
AU - Kamiyama, Naoyuki
AU - Maezawa, Shun Ichi
AU - Okamoto, Yoshio
AU - Kakimura, Naonori
AU - Kobayashi, Yusuke
AU - Nozaki, Yuta
N1 - Funding Information:
Category Track A: Algorithms, Complexity and Games Related Version Full Version: https://arxiv.org/abs/2304.14782 Funding Takehiro Ito: JSPS KAKENHI Grant Numbers JP18H04091, JP19K11814, JP20H05793. Naonori Kakimura: JSPS KAKENHI Grant Numbers JP20H05795, JP21H03397, JP22H05001. Naoyuki Kamiyama: JSPS KAKENHI Grant Number JP20H05795. Yusuke Kobayashi: JSPS KAKENHI Grant Numbers JP20K11692, JP20H05795, JP22H05001. Shun-ichi Maezawa: JSPS KAKENHI Grant Numbers JP20H05795, JP22K13956. Yuta Nozaki: JSPS KAKENHI Grant Numbers JP20H05795, JP20K14317, JP23K12974. Yoshio Okamoto: JSPS KAKENHI Grant Numbers JP20H05795, JP20K11670, JP23K10982.
Publisher Copyright:
© Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, and Yoshio Okamoto.
PY - 2023/7
Y1 - 2023/7
N2 - 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.
AB - 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.
KW - combinatorial shortest path
KW - Graph associahedra
KW - NP-hardness
KW - polymatroids
UR - http://www.scopus.com/inward/record.url?scp=85167344894&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85167344894&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.ICALP.2023.82
DO - 10.4230/LIPIcs.ICALP.2023.82
M3 - Conference contribution
AN - SCOPUS:85167344894
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023
A2 - Etessami, Kousha
A2 - Feige, Uriel
A2 - Puppis, Gabriele
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023
Y2 - 10 July 2023 through 14 July 2023
ER -