|
Математическая логика, алгебра и теория чисел
Исследование систем уравнений над различными классами конечных матроидов
А. В. Ильев 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 NP-complete for k⩾2. Moreover, it is proved that the problem of checking compatibility of a finite system of equations over a k-uniform matroid is also NP-complete for k⩾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 NP-complete for k⩾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
|
Статистика просмотров: |
Страница аннотации: | 121 | PDF полного текста: | 29 | Список литературы: | 30 |
|