Критерий нетеровости по уравнениям и сложность проблемы разрешимости для систем уравнений над частично упорядоченными множествами
Представлены результаты, касающиеся основной проблемы алгебраической геометрии над частично упорядоченными множествами с вычислительной точки зрения, а именно задачи разрешимости системы уравнений над частичным порядком. Задача разрешимости систем уравнений разрешима за полиномиальное время, ес...
| Published in: | Прикладная дискретная математика № 64. С. 7-19 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144438 Перейти в каталог НБ ТГУ |
| LEADER | 03560nab a2200349 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 Никитин, Алексей Юрьевич |9 480937 | |
| 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 статьи в журналах |9 971619 | |
| 700 | 1 | |a Кудык, Иван Дмитриевич |9 971620 | |
| 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 | |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1144438 | ||
| 908 | |a статья | ||
| 039 | |z 10 |b 100 | ||
| 999 | |c 1144438 |d 1144438 | ||