Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Совместные ограничения сверху зоны и времени для взаимного моделирования машин Тьюринга и алгоритмов Маркова — Поста. / Косовский, Н.К.; Косовская, Т.М.; Косовский, Н.Н.
в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ, № 2, 2015, стр. 191-194.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Совместные ограничения сверху зоны и времени для взаимного моделирования машин Тьюринга и алгоритмов Маркова — Поста
AU - Косовский, Н.К.
AU - Косовская, Т.М.
AU - Косовский, Н.Н.
PY - 2015
Y1 - 2015
N2 - В качестве сложностной характеристики алгоритма рассматривается его совместная ограниченность по времени и по зоне. Для совместно ограниченные сверху по времени и по зоне алгоритмов Маркова -- Поста и совместно ограниченные сверху по времени и по зоне многоленточных машин Тьюринга доказана их взаимозаменяемость с точностью до линейной функции по зоне и полинома по времени машины Тьюринга соответственно при доказательстве сложностных характеристик алгоритмов. При этом используются не более чем двухбуквенные расширения внешнего алфавита. Доказаны теоремы.
AB - В качестве сложностной характеристики алгоритма рассматривается его совместная ограниченность по времени и по зоне. Для совместно ограниченные сверху по времени и по зоне алгоритмов Маркова -- Поста и совместно ограниченные сверху по времени и по зоне многоленточных машин Тьюринга доказана их взаимозаменяемость с точностью до линейной функции по зоне и полинома по времени машины Тьюринга соответственно при доказательстве сложностных характеристик алгоритмов. При этом используются не более чем двухбуквенные расширения внешнего алфавита. Доказаны теоремы.
KW - машина Тьюринга
KW - алгоритм Маркова -- Поста
KW - временная и зональная сложность алгоритмов
KW - совместные верхние ограничения сложности
M3 - статья
SP - 191
EP - 194
JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ
JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ
SN - 1025-3106
IS - 2
ER -
ID: 5772831