Inapproximability of shortest paths on perfect matching polytopes

10/26/2022
by   Jean Cardinal, et al.
0

We consider the computational problem of finding short paths in the skeleton of the perfect matching polytope of a bipartite graph. We prove that unless P=NP, there is no polynomial-time algorithm that computes a path of constant length between two vertices at distance two of the perfect matching polytope of a bipartite graph. Conditioned on P≠ NP, this disproves a conjecture by Ito, Kakimura, Kamiyama, Kobayashi and Okamoto [SIAM Journal on Discrete Mathematics, 36(2), pp. 1102-1123 (2022)]. Assuming the Exponential Time Hypothesis we prove the stronger result that there exists no polynomial-time algorithm computing a path of length at most (1/4-o(1))log N/loglog N between two vertices at distance two of the perfect matching polytope of an N-vertex bipartite graph. These results remain true if the bipartite graph is restricted to be of maximum degree three. The above has the following interesting implication for the performance of pivot rules for the simplex algorithm on simply-structured combinatorial polytopes: If P≠ NP, then for every simplex pivot rule executable in polynomial time and every constant k ∈ℕ there exists a linear program on a perfect matching polytope and a starting vertex of the polytope such that the optimal solution can be reached in two monotone steps from the starting vertex, yet the pivot rule will require at least k steps to reach the optimal solution. This result remains true in the more general setting of pivot rules for so-called circuit-augmentation algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/13/2021

The Perfect Matching Cut Problem Revisited

In a graph, a perfect matching cut is an edge cut that is a perfect matc...
research
09/27/2019

Pivot Rules for Circuit-Augmentation Algorithms in Linear Optimization

Circuit-augmentation algorithms are a generalization of the Simplex meth...
research
04/15/2010

Propagating Conjunctions of AllDifferent Constraints

We study propagation algorithms for the conjunction of two AllDifferent ...
research
01/28/2019

Bipartite Envy-Free Matching

Bipartite Envy-Free Matching (BEFM) is a relaxation of perfect matching....
research
09/19/2023

Heuristic Search for Path Finding with Refuelling

This paper considers a generalization of the Path Finding (PF) with refu...
research
07/03/2019

Shortest Reconfiguration of Perfect Matchings via Alternating Cycles

Motivated by adjacency in perfect matching polytopes, we study the short...
research
03/04/2023

On Maximum Bipartite Matching with Separation

Maximum bipartite matching is a fundamental algorithmic problem which ca...

Please sign up or login with your details

Forgot password? Click here to reset