The Complexity of the Matroid Homomorphism Problem
-
Published:2023-05-19
Issue:2
Volume:30
Page:
-
ISSN:1077-8926
-
Container-title:The Electronic Journal of Combinatorics
-
language:
-
Short-container-title:Electron. J. Combin.
Author:
Heo Cheolwon,Kim Hyobin,Mark Siggers
Abstract
We show that for every binary matroid $N$ there is a graph $H_*$ such that for the graphic matroid $M_G$ of a graph $G$, there is a matroid-homomorphism from $M_G$ to $N$ if and only if there is a graph-homomorphism from $G$ to $H_*$. With this we prove a complexity dichotomy for the problem $\rm{Hom}_\mathbb{M}(N)$ of deciding if a binary matroid $M$ admits a homomorphism to $N$. The problem is polynomial time solvable if $N$ has a loop or has no circuits of odd length, and is otherwise $\rm{NP}$-complete. We also get dichotomies for the list, extension, and retraction versions of the problem.
Publisher
The Electronic Journal of Combinatorics
Subject
Computational Theory and Mathematics,Geometry and Topology,Theoretical Computer Science,Applied Mathematics,Discrete Mathematics and Combinatorics