{"pk":64998,"title":"Shortest paths on polymatroids and hypergraphic polytopes","subtitle":null,"abstract":"Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form \\(\\mathbf{e}_i - \\mathbf{e}_j\\), where the \\(\\{\\mathbf{e}_i\\}_{i\\in [n]}\\) are the canonical basis vectors of \\(\\mathbb{R}^n\\). We consider the following computational problem: Given two vertices of a generalized permutohedron \\(P\\), determine the length of a shortest path between them on the skeleton of \\(P\\), where the length of a path is its number of edges. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this general problem is \\NP-hard, even when restricted to very simple polymatroids in \\(\\mathbb{R}^n\\) defined by \\(O(n)\\) inequalities. Assuming \\(\\operatorname{P}\\not= \\operatorname{NP}\\), this shows that even when maximizing a linear functional over a polymatroid, we cannot hope for the existence of a computationally efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution. Such results have previously been shown only for other, arguably more complicated classes of polytopes. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, which strengthens a recent result by Ito, Kakimura, Kamiyama, Kobayashi, Maezawa, Nozaki, and Okamoto (ICALP'23). More precisely, we prove that it is \\NP-hard to approximate the length of a shortest path to within a factor \\((1+\\varepsilon)\\) for some absolute constant \\(\\varepsilon›0\\), even when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph.\nOn the positive side, we provide a polynomial-time algorithm which, given any pair of acyclic orientations of a hypergraph, computes a connecting path whose length approximates the length of a shortest path to within a factor bounded by the maximum codegree of the hypergraph. Our result implies in particular an exact polynomial-time algorithm for computing shortest flip sequences between acyclic orientations of any linear hypergraph.\n \nMathematics Subject Classifications: 90C05, 90C08, 90C27, 90C35, 90C49, 90C57, 90C60, 05C50, 05C65, 05B35, 52B40\n \nKeywords: Polymatroids, Generalized permutahedra, Hypergraphic polytopes, Simplex method, Shortest paths, Polytope diameter, Polytope skeleton, Flip distance, Combinatorial reconfiguration","language":"en","license":{"name":"Creative Commons Attribution 4.0","short_name":"CC BY 4.0","text":"Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.\n\nNo additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.","url":"https://creativecommons.org/licenses/by/4.0"},"keywords":[{"word":"Polymatroids"},{"word":"Generalized permutahedra"},{"word":"Hypergraphic polytopes"},{"word":"Simplex method"},{"word":"Shortest paths"},{"word":"Polytope diameter"},{"word":"Polytope skeleton"},{"word":"Flip distance"},{"word":"Combinatorial reconfiguration"}],"section":"Research Articles","is_remote":true,"remote_url":"https://escholarship.org/uc/item/9zn8j5c8","frozenauthors":[{"first_name":"Jean","middle_name":"","last_name":"Cardinal","name_suffix":"","institution":"Department of Computer Science, Université libre de Bruxelles (ULB), Brussels, Belgium","department":""},{"first_name":"Raphael","middle_name":"","last_name":"Steiner","name_suffix":"","institution":"Department of Mathematics, ETH Zürich, Zurich, Switzerland","department":""}],"date_submitted":"2025-09-12T03:09:43-07:00","date_accepted":"2025-09-12T03:09:43-07:00","date_published":"2025-09-15T00:00:00-07:00","render_galley":null,"galleys":[{"label":"","type":"pdf","path":"https://journalpub.escholarship.org/combinatorial_theory/article/64998/galley/49808/download/"}]}