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

Материал из DISCOPAL
Перейти к: навигация, поиск
 
(не показано 5 промежуточных версий 2 участников)
Строка 1: Строка 1:
 
== Вопрос: Q18-08c765 ==
 
== Вопрос: Q18-08c765 ==
{{reserve-task|[[Участник:Urmat A|Urmat A]] 14:56, 19 декабря 2024 (UTC)}}
+
Предположим, что профессор X разрабатывает новую модель вычислений, называемую нейтронной машиной. Что из
<i>Тут вставьте перевод вопроса.
+
следующего будет следствием  [https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%B7%D0%B8%D1%81_%D0%A7%D1%91%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%B0 тезиса Чёрча-Тьюринга]?
Используйте [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 возможности разметки],
+
включая формулы и т.п, если будут графы — посмотрите как задать их текстом https://wiki.4intra.net/Graphviz .
+
Если код — теги «code-pascal», «code-c» или «code-python».
+
 
+
Старайтесь нетривиальные понятия, особенно незнакомые вам, найти ссылку на википедию и вставить (нейросети лажают!).
+
Это важно, чтобы найти корректный перевод (то, что в википедии, или на худой конец — точно массово гуглится).
+
 
+
Потом конечно сотрите инструкции, которые тут курсивом.</i>
+
  
 
=== Ответы ===
 
=== Ответы ===
<i>Если ответы простые, однострочные, используйте простой способ задания ответов списком, типа так
+
* Ни одна нейтронная машина не может решить задачу коммивояжёра за полиномиальное время.
(префикс «Правильный ответ:» — это дословно, для правильного ответа, неважно, какой он будет в списке)</i>
+
* Ни одна нейтронная машина не может решить задачу максимального соответствия для двудольных графов за полиномиальное время.
 
+
* Ни одна нейтронная машина не может определить, содержит ли десятичное разложение 7 последовательных семерок.
* Правильный ответ: тут реально правильный ответ
+
* Ни одна нейтронная машина не может смоделировать данную машину Тьюринга за полиномиальное время.
* неправильный ответ
+
* Правильный ответ: Ни одна нейтронная машина не может определить за полиномиальное время, останавливается ли данная машина Тьюринга, если ее входная лента изначально пуста.
* еще какой-то неправильный ответ
+
* еще какой-то неправильный ответ
+
* еще какой-то неправильный ответ
+
 
+
<i>Если ответы длинные, многострочные, или там графы, используйте
+
[https://wiki.4intra.net/MediawikiQuizzer/ru#.D0.9E.D1.82.D0.B2.D0.B5.D1.82.D1.8B способ задания ответов разделами],
+
Но такое очень редко встречается. </i>
+
 
+
  
 
=== Объяснение ===
 
=== Объяснение ===
<i>Сначала заполните номер страницы с этим вопросом
+
{{cstest-source|2011-gre-cs-practice-book.pdf|23|18}}
{{cstest-source|2011-gre-cs-practice-book.pdf|тут-номер-страницы-с-вопросом-18|18}}
+
* «…задачу коммивояжёра за полиномиальное время…» — Это утверждение не относится к тезису Чёрча-Тьюринга. Мы вообще ещё не знаем можно ли решить эту задачу за полиномиальное время или нет.
 
+
* «… двудольных графов за полиномиальное время …» — Эта задача может быть решена за полиномиальное время с помощью алгоритмов, таких как алгоритм Хопкрофта-Карп. Поэтому это утверждение неверно.
Если все сделаете правильно, по ссылке выше будет открываться правильная страница в правильном PDFе.
+
* «… содержит ли десятичное разложение 7 последовательных семерок …» Это задача, которую можно решить за полиномиальное время, и не требует сложных вычислений. Поэтому это утверждение неверно.
 
+
* «… смоделировать данную машину Тьюринга за полиномиальное время …» Это утверждение неверно, так как машины Тьюринга могут имитировать друг друга, но это может занять больше времени, чем полиномиальное, в зависимости от конкретной реализации.
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный, а [[2004-gre-cs-practice-book.pdf/Q16|неправильные варианты — неправильны]].
+
* «… останавливается ли данная машина Тьюринга…»  Это утверждение связано с проблемой остановки, которая является неразрешимой. Таким образом, это утверждение является следствием тезиса Чёрча-Тьюринга.
Тут тоже могут быть полезны [[2004-gre-cs-practice-book.pdf/Q03|ссылки на википедию]],  
+
решение вами [[2004-gre-cs-practice-book.pdf/Q12|рекуррентных уравнений в sympy]].
+
  
</i>
+
{{question-ok|[[Участник:StasFomin|StasFomin]] 15:32, 19 декабря 2024 (UTC)}}
  
{{question-ok|}}
+
[[Категория:Теория сложности]]

Текущая версия на 15:33, 19 декабря 2024

Вопрос: Q18-08c765

Предположим, что профессор X разрабатывает новую модель вычислений, называемую нейтронной машиной. Что из следующего будет следствием тезиса Чёрча-Тьюринга?

Ответы

  • Ни одна нейтронная машина не может решить задачу коммивояжёра за полиномиальное время.
  • Ни одна нейтронная машина не может решить задачу максимального соответствия для двудольных графов за полиномиальное время.
  • Ни одна нейтронная машина не может определить, содержит ли десятичное разложение 7 последовательных семерок.
  • Ни одна нейтронная машина не может смоделировать данную машину Тьюринга за полиномиальное время.
  • Правильный ответ: Ни одна нейтронная машина не может определить за полиномиальное время, останавливается ли данная машина Тьюринга, если ее входная лента изначально пуста.

Объяснение

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

  • «…задачу коммивояжёра за полиномиальное время…» — Это утверждение не относится к тезису Чёрча-Тьюринга. Мы вообще ещё не знаем можно ли решить эту задачу за полиномиальное время или нет.
  • «… двудольных графов за полиномиальное время …» — Эта задача может быть решена за полиномиальное время с помощью алгоритмов, таких как алгоритм Хопкрофта-Карп. Поэтому это утверждение неверно.
  • «… содержит ли десятичное разложение 7 последовательных семерок …» Это задача, которую можно решить за полиномиальное время, и не требует сложных вычислений. Поэтому это утверждение неверно.
  • «… смоделировать данную машину Тьюринга за полиномиальное время …» Это утверждение неверно, так как машины Тьюринга могут имитировать друг друга, но это может занять больше времени, чем полиномиальное, в зависимости от конкретной реализации.
  • «… останавливается ли данная машина Тьюринга…» Это утверждение связано с проблемой остановки, которая является неразрешимой. Таким образом, это утверждение является следствием тезиса Чёрча-Тьюринга.