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.

Simple Wriggling is Hard unless You Are a Fat Hippo

The Parameterized Complexity of Motion Planning for Snake-Like Robots

Complexity of 2D Snake Cube Puzzles

Linking disjoint segments into a simple polygon is hard

An Iterative Path-Following Method for Hyper-Redundant Snake-Like Manipulator with Joint Limits.

Linking disjoint axis-parallel segments into a simple polygon is hard too

Wigglyhedra

New Bounds for the Snake-in-the-Box Problem

Routing in rectilinear polygons

Optimal Snake Locomotion on Flat Surfaces: An Analytical Framework

An Efficient Algorithm for Computing High-Quality Paths amid Polygonal Obstacles

Computing Nonsimple Polygons of Minimum Perimeter

Hinged Dissections Exist

On the Hardness of Short and Sign-Compatible Circuit Walks

The Lawn Mowing Problem: From Algebra to Algorithms

Shortest paths on polymatroids and hypergraphic polytopes

An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains

On Minimum Link Monotone Path Problems

Crumpled states of a wire in a cubic cavity with periodic obstacles

Does a robot path have clearance c?

Decreasing paths of polygons