Quotient Structures and Groups Computable in Polynomial Time Научная публикация
| Конференция |
17th International Computer Science Symposium in Russia 29 июн. - 1 июл. 2022 , он-лайн |
||
|---|---|---|---|
| Журнал |
Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349 |
||
| Вых. Данные | Год: 2022, Том: 13296 LNCS, Страницы: 35-45 Страниц : 11 DOI: 10.1007/978-3-031-09574-0_3 | ||
| Ключевые слова | computable structures; groups; polynomial computability; primitive recursive structures | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (2)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
| 2 | Российский фонд фундаментальных исследований | 20-01-00300 |
Реферат:
We prove that every quotient structure of the form A/ E, where A is a structure computable in polynomial time (P -computable), and E is a P -computable congruence in A, is isomorphic to a P -computable structure. We also prove that for every P -computable group A= (A, · ), there is a P -computable group B≅ A, in which the inversion operation x- 1 is also P -computable. © 2022, Springer Nature Switzerland AG.
Библиографическая ссылка:
Alaev P.
Quotient Structures and Groups Computable in Polynomial Time
Lecture Notes in Computer Science. 2022. V.13296 LNCS. P.35-45. DOI: 10.1007/978-3-031-09574-0_3 Scopus OpenAlex
Quotient Structures and Groups Computable in Polynomial Time
Lecture Notes in Computer Science. 2022. V.13296 LNCS. P.35-45. DOI: 10.1007/978-3-031-09574-0_3 Scopus OpenAlex
Идентификаторы БД:
| Scopus: | 2-s2.0-85134166548 |
| OpenAlex: | W4285261414 |