Loading…
Academic Journal
Вычислительная сложность фрагментов теории поля комплексных чисел
I.V. Latkin, A.V. Seliverstov
Қарағанды университетінің хабаршысы. Математика сериясы, Vol 77, Iss 1 (2015)
Saved in:
| Title | Вычислительная сложность фрагментов теории поля комплексных чисел |
|---|---|
| Authors | I.V. Latkin, A.V. Seliverstov |
| Publication Year |
2015
|
| Source |
Қарағанды университетінің хабаршысы. Математика сериясы, Vol 77, Iss 1 (2015)
|
| Description |
В статье обсуждена вычислительная сложность формул в предварённой форме с ограничением на число перемен кванторов. В частности, говорится о теории алгебраически замкнутых полей. Доказано, что распознавание вершин многомерного куба на гиперплоскости сводится к распознаванию особых точек на гиперповерхности, построенной за полиномиальное время. Более того, доказаны некоторые соотношения между классами сложности. Даны рекомендации по улучшению концепции сложности, а также связи с теорией моделей.
|
| Document Type |
article
|
| Language |
English
|
| Publisher Information |
Academician Ye.A. Buketov Karaganda University, 2015.
|
| Subject Terms | |
