2004-gre-cs-practice-book.pdf/Q47 — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: « == Вопрос: Q47-4c9f66 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…»)
 
Строка 1: Строка 1:
−
 
 
== Вопрос: Q47-4c9f66 ==
 
== Вопрос: Q47-4c9f66 ==
  
−
<i>Тут вставьте перевод вопроса.
+
Пусть ''M'' — одноленточная детерминированная машина Тьюринга с ленточным алфавитом
−
Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 возможности разметки],  
+
{blank, 0, 1},
−
включая формулы и т.п, если будут графы — посмотрите как задать их текстом https://wiki.4intra.net/Graphviz .
+
−
Потом конечно сотрите инструкции, которые тут курсивом.</i>
+
  
−
=== Ответы ===
+
''C'' обозначает (возможно, бесконечное) вычисление ''M'', начинающееся с пустой ленты.
−
<i>Если ответы простые, однострочные, используйте простой способ задания ответов списком, типа так
+
−
(префикс «Правильный ответ:» — это дословно, для правильного ответа)</i>
+
  
−
* Правильный ответ: тут реально правильный ответ
+
Входными данными для каждой задачи, приведенной ниже, являются ''M'' и целое положительное число ''n''
−
* неправильный ответ
+
−
* еще какой-то неправильный ответ
+
−
* еще какой-то неправильный ответ
+
−
* еще какой-то неправильный ответ
+
  
−
<i>Если ответы длинные, многострочные, или там графы, используйте
+
Какая из следующих проблем является '''разрешимой'''?
−
[https://wiki.4intra.net/MediawikiQuizzer/ru#.D0.9E.D1.82.D0.B2.D0.B5.D1.82.D1.8B способ задания ответов разделами],
+
−
Но такое очень редко встречается. </i>
+
  
 +
# Вычисление ''C'' длится не менее ''n'' шагов
 +
# Вычисление ''C'' длится не менее ''n'' шагов, и ''M'' выводит 1 в какой-то момент после ''n''-го шага
 +
# ''M'' сканирует не менее ''n'' различных квадратов ленты во время вычисления ''C''
 +
 +
=== Ответы ===
 +
* Нет правильных ответов
 +
* Только 3
 +
* 1 и 2
 +
* 1 и 3
 +
* Правильный ответ: 1
 +
* 1, 2, 3
  
 
=== Объяснение ===
 
=== Объяснение ===
−
<i>Сначала заполните номер страницы с этим вопросом
+
{{cstest-source|2004-gre-cs-practice-book.pdf|33|47}}
−
{{cstest-source|2004-gre-cs-practice-book.pdf|тут-номер-страницы-с-вопросом-47|47}}
+
  
−
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный.</i>
+
У них «Правильный ответ: 1 и 3» — вот не уверен.
 +
 
 +
* Ну второе — это «проблема остановки» на пустой ленте, неразрешимо.
 +
* Первое можно продетектить симуляцией.
 +
* Третье — кстати, не уверен, имхо проблему остановки симуляцией можно свести к этой (ну типа если надо вывести «1» — заполнить больше «n» ячеек).  
  
 
{{question-ok|}}
 
{{question-ok|}}
 +
 +
[[Категория:Теория сложности]]
 +
[[Категория:Разобраться]]

Версия 15:13, 15 декабря 2024

Вопрос: Q47-4c9f66

Пусть M — одноленточная детерминированная машина Тьюринга с ленточным алфавитом 

{blank, 0, 1},

C обозначает (возможно, бесконечное) вычисление M, начинающееся с пустой ленты.

Входными данными для каждой задачи, приведенной ниже, являются M и целое положительное число n

Какая из следующих проблем является разрешимой?

  1. Вычисление C длится не менее n шагов
  2. Вычисление C длится не менее n шагов, и M выводит 1 в какой-то момент после n-го шага
  3. M сканирует не менее n различных квадратов ленты во время вычисления C

Ответы

  • Нет правильных ответов
  • Только 3
  • 1 и 2
  • 1 и 3
  • Правильный ответ: 1
  • 1, 2, 3

Объяснение

Исходники — вопрос 47 на 33 странице книги «2004-gre-cs-practice-book.pdf»

У них «Правильный ответ: 1 и 3» — вот не уверен.

  • Ну второе — это «проблема остановки» на пустой ленте, неразрешимо.
  • Первое можно продетектить симуляцией.
  • Третье — кстати, не уверен, имхо проблему остановки симуляцией можно свести к этой (ну типа если надо вывести «1» — заполнить больше «n» ячеек).
Источник — «https://discopal.ispras.ru/index.php?title=2004-gre-cs-practice-book.pdf/Q47&oldid=33534»