FL (сложность) - FL (complexity)

В теория сложности вычислений, то класс сложности FL это набор функциональные проблемы который может быть решен детерминированная машина Тьюринга в логарифмический количество пространство памяти.[1] Как и в определении L, машина считывает ввод с ленты только для чтения и записывает вывод на ленту только для записи; ограничение логарифмического пространства применяется только к рабочей ленте чтения / записи.

Грубо говоря, функциональная задача принимает сложный ввод и дает (возможно, не менее) сложный вывод. Функциональные проблемы отличаются от проблемы решения, которые дают только ответы Да или Нет и соответствуют набору L из проблемы решения которое может быть решено в детерминированном журнальном пространстве. FL это подмножество FP, набор функциональных задач, которые могут быть решены в детерминированном полиномиальное время.[1]

FL известно, что он содержит несколько естественных задач, включая арифметику чисел. Сложение, вычитание и умножение двух чисел довольно просты, но достижение деления - гораздо более глубокая проблема, которая оставалась открытой на протяжении десятилетий.[2][3]

Аналогично можно определить ФНЛ, который имеет то же отношение к NL в качестве ФНП имеет с НП.[1]

Рекомендации

  1. ^ а б c Альварес, Карме; Balcazar, José L .; Дженнер, Биргит (1991), «Функциональные запросы оракула как мера параллельного времени», STACS 91, Конспект лекций по информатике, 480, Springer, стр. 422–433, Дои:10.1007 / BFb0020817, HDL:2117/327984.
  2. ^ Chiu, A .; Davida, G .; Литов, Б. (2001), "Деление в логарифмическом пространстве NC1", RAIRO Теоретическая информатика и приложения, 35: 259–276.
  3. ^ Аллендер, Эрик (2004), «Дивизионные прорывы» (PDF), Современные тенденции в теоретической информатике, World Scientific, стр. 147–164..