Hardprob/Longest Computation — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Недетерминированная машина Тьюринга <em>M</em>, двоичн…»)
 
(нет различий)

Текущая версия на 00:06, 14 апреля 2023

  • Недетерминированная машина Тьюринга M, двоичная входная строка x.
  • Найти недерминированную строку-догадку c, произведенную машиной M на входе x.
  • Максимизировать длину кратчайшей из этих строк,т.е. .

Задача в лаб22 (рид-онли просмотр)