RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2022 Volume 19, Issue 2, Pages 1094–1102 (Mi semr1561)

Mathematical logic, algebra and number theory

Study of systems of equations over various classes of finite matroids

A. V. Ilev

Sobolev Institute of Mathematics, Pevtsova str., 13, 644043, Omsk, Russia

Abstract: In the paper, it is proved that the problem of checking compatibility of a finite system of equations over a matroid of rank not exeeding $k$ is $\mathcal{NP}$-complete for ${k \geqslant 2}$. Moreover, it is proved that the problem of checking compatibility of a finite system of equations over a $k$-uniform matroid is also $\mathcal{NP}$-complete for ${k \geqslant 2}$, and the problem of checking compatibility of a finite system of equations over a partition matroid of rank not exeeding $k$ is polynomially solvable for ${k=2}$ and $\mathcal{NP}$-complete for ${k \geqslant 3}$.

Keywords: graph, matroid, system of equations, computational complexity.

UDC: 510.67, 519.151

MSC: 03C48, 05B35

Received November 5, 2022, published December 29, 2022

DOI: 10.33048/semi.2022.19.088



© Steklov Math. Inst. of RAS, 2025