Shortest paths on polymatroids and hypergraphic polytopes
Abstract
Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form . We consider the following computational problem: Given two vertices of a generalized permutohedron , find a shortest path between them on the skeleton of . 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 problem is -hard, even when restricted to very simple polymatroids in defined by inequalities. Assuming , this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the -hardness of the shortest path problem 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. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.
Cite
@article{arxiv.2311.00779,
title = {Shortest paths on polymatroids and hypergraphic polytopes},
author = {Jean Cardinal and Raphael Steiner},
journal= {arXiv preprint arXiv:2311.00779},
year = {2023}
}
Comments
26 pages, 5 figures, full version