|
Математическая логика, алгебра и теория чисел
Исследование систем уравнений над различными классами конечных матроидов
А. В. Ильев 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.
Поступила 5 ноября 2022 г., опубликована 29 декабря 2022 г.
Образец цитирования:
А. В. Ильев, “Исследование систем уравнений над различными классами конечных матроидов”, Сиб. электрон. матем. изв., 19:2 (2022), 1094–1102
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1561 https://www.mathnet.ru/rus/semr/v19/i2/p1094
|
Статистика просмотров: |
Страница аннотации: | 103 | PDF полного текста: | 25 | Список литературы: | 24 |
|