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$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. 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 $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, 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 $APX$-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.

Shortest polygonal chains covering each planar square grid

Minimum-Link Covering Trails for any Hypercubic Lattice

Approximating the Longest Paths in Grid Graphs

Full Grid Lattice Polygons with Maximal Sum of Squares of Edge-Lengths

Cycles to the Rescue! Novel Constraints to Compute Maximum Planar Subgraphs Fast

Counting of Shortest Paths in Cubic Grid

Slitherlink on Triangular Grids

Drawing Planar Graphs with Few Geometric Primitives

Perfect Matching Complexes of Polygonal Line Tiling

The Lawn Mowing Problem: From Algebra to Algorithms

Minimum Star Partitions of Simple Polygons in Polynomial Time

Grid dissections of tangential quadrilaterals

Shortest paths on polymatroids and hypergraphic polytopes

Plane Hamiltonian Cycles in Convex Drawings

Disjointness graphs of short polygonal chains

On $k$-planar Graphs without Short Cycles

A Grid-Based Approximation Algorithm for the Minimum Weight Triangulation Problem

Geometric constructibility of cyclic polygons and a limit theorem

ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

The sandpile group of polygon rings and twisted polygon rings

Improved Bounds for Covering Paths and Trees in the Plane