|
|
|
|
| LEADER |
03331nab a2200325 c 4500 |
| 001 |
koha001144438 |
| 005 |
20240925163241.0 |
| 007 |
cr | |
| 008 |
240925|2024 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/20710410/64/1
|2 doi
|
| 035 |
|
|
|a koha001144438
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Никитин, Алексей Юрьевич
|
| 245 |
1 |
0 |
|a Критерий нетеровости по уравнениям и сложность проблемы разрешимости для систем уравнений над частично упорядоченными множествами
|c А. Ю. Никитин, И. Д. Кудык
|
| 246 |
1 |
1 |
|a Criterion for equational noetherianity and complexity of the solvability problem for systems of equations over partially ordered sets
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 8 назв.
|
| 520 |
3 |
|
|a Представлены результаты, касающиеся основной проблемы алгебраической геометрии над частично упорядоченными множествами с вычислительной точки зрения, а именно задачи разрешимости системы уравнений над частичным порядком. Задача разрешимости систем уравнений разрешима за полиномиальное время, если ориентированный граф, соответствующий частичному порядку, является приведённым интервальным орграфом, и является NP-полной, если основание ориентированного графа соответствующего частичного порядка является циклом длины не меньше 4. Получен также результат, характеризующий возможность перехода от бесконечных систем уравнений над частичным порядком к конечным системам. Алгебраические системы, обладающие указанным свойством, называются нётеровыми по уравнениям. Частично упорядоченное множество обладает свойством нётеровости по уравнениям тогда и только тогда, когда любые его верхние и нижние конусы с базой являются конечно определёнными.
|
| 653 |
|
|
|a системы уравнений
|
| 653 |
|
|
|a вычислительная сложность
|
| 653 |
|
|
|a частично упорядоченные множества
|
| 653 |
|
|
|a нетеровость по уравнениям
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Кудык, Иван Дмитриевич
|
| 773 |
0 |
|
|t Прикладная дискретная математика
|d 2024
|g № 64. С. 7-19
|x 2071-0410
|w 0210-48760
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144438
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1144438
|d 1144438
|
