ЛХ (сложность)
В вычислительной сложности логарифмическая временная иерархия ( LH ) — это класс сложности всех вычислительных задач , решаемых за логарифмическое количество вычислительного времени на попеременной машине Тьюринга с ограниченным числом чередований. Это частный случай ограниченной альтернирующей иерархии машин Тьюринга . Он равен FO и FO-равномерному AC 0 . [1]
The Уровень логарифмической временной иерархии — это совокупность языков, распознаваемых попеременными машинами Тьюринга за логарифмическое время со произвольным доступом и чередования, начиная с экзистенциального состояния . ЛХ – это объединение всех уровней.
Ссылки
[ редактировать ]- ^ Нил Иммерман (1999). Описательная сложность . Спрингер. п. 85 .