RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2022, том 19, выпуск 2, страницы 1094–1102 (Mi semr1561)

Математическая логика, алгебра и теория чисел

Исследование систем уравнений над различными классами конечных матроидов

А. В. Ильев

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

Аннотация: 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}$.

Ключевые слова: graph, matroid, system of equations, computational complexity.

УДК: 510.67, 519.151

MSC: 03C48, 05B35

Поступила 5 ноября 2022 г., опубликована 29 декабря 2022 г.

DOI: 10.33048/semi.2022.19.088



© МИАН, 2024