2011-gre-cs-practice-book.pdf/Q18 — различия между версиями
Материал из DISCOPAL
Urmat A (обсуждение | вклад) |
Urmat A (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
+ | {{reserve-task|[[Участник:Urmat A|Urmat A]] 14:56, 19 декабря 2024 (UTC)}} | ||
== Вопрос: Q18-08c765 == | == Вопрос: Q18-08c765 == | ||
− | + | Предположим, что профессор X разрабатывает новую модель вычислений, называемую нейтронной машиной. Что из | |
− | + | следующего будет следствием тезиса Чёрча-Тьюринга? | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
=== Ответы === | === Ответы === | ||
− | + | #Ни одна нейтронная машина не может решить задачу коммивояжёра за полиномиальное время. | |
− | + | #Ни одна нейтронная машина не может решить задачу максимального соответствия для двудольных графов за полиномиальное время. | |
− | + | #Ни одна нейтронная машина не может определить, содержит ли десятичное разложение 7 последовательных семерок. | |
− | + | #Ни одна нейтронная машина не может смоделировать данную машину Тьюринга за полиномиальное время. | |
− | + | #Правильный ответ: Ни одна нейтронная машина не может определить за полиномиальное время, останавливается ли данная машина Тьюринга, если ее входная лента изначально пуста. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
=== Объяснение === | === Объяснение === | ||
− | + | {{cstest-source|2011-gre-cs-practice-book.pdf|23|18}} | |
− | {{cstest-source|2011-gre-cs-practice-book.pdf| | + | *Первое утверждение не относится к тезису Чёрча-Тьюринга. Мы вообще ещё не знаем можно ли решить эту задачу за полиномиальное время или нет |
− | + | *Эта задача может быть решена за полиномиальное время с помощью алгоритмов, таких как алгоритм Хопкрофта-Карп. Поэтому это утверждение неверно. | |
− | + | *Это задача, которую можно решить за полиномиальное время, и не требует сложных вычислений. Поэтому это утверждение неверно. | |
− | + | *Это утверждение неверно, так как машины Тьюринга могут имитировать друг друга, но это может занять больше времени, чем полиномиальное, в зависимости от конкретной реализации. | |
− | + | *Это утверждение связано с проблемой остановки, которая является неразрешимой. Таким образом, это утверждение является следствием тезиса Чёрча-Тьюринга. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
{{question-ok|}} | {{question-ok|}} |
Версия 15:12, 19 декабря 2024
Задача зарезервирована: Urmat A 14:56, 19 декабря 2024 (UTC)
Вопрос: Q18-08c765
Предположим, что профессор X разрабатывает новую модель вычислений, называемую нейтронной машиной. Что из следующего будет следствием тезиса Чёрча-Тьюринга?
Ответы
- Ни одна нейтронная машина не может решить задачу коммивояжёра за полиномиальное время.
- Ни одна нейтронная машина не может решить задачу максимального соответствия для двудольных графов за полиномиальное время.
- Ни одна нейтронная машина не может определить, содержит ли десятичное разложение 7 последовательных семерок.
- Ни одна нейтронная машина не может смоделировать данную машину Тьюринга за полиномиальное время.
- Правильный ответ: Ни одна нейтронная машина не может определить за полиномиальное время, останавливается ли данная машина Тьюринга, если ее входная лента изначально пуста.
Объяснение
Исходники — вопрос 18 на 23 странице книги «2011-gre-cs-practice-book.pdf»
- Первое утверждение не относится к тезису Чёрча-Тьюринга. Мы вообще ещё не знаем можно ли решить эту задачу за полиномиальное время или нет
- Эта задача может быть решена за полиномиальное время с помощью алгоритмов, таких как алгоритм Хопкрофта-Карп. Поэтому это утверждение неверно.
- Это задача, которую можно решить за полиномиальное время, и не требует сложных вычислений. Поэтому это утверждение неверно.
- Это утверждение неверно, так как машины Тьюринга могут имитировать друг друга, но это может занять больше времени, чем полиномиальное, в зависимости от конкретной реализации.
- Это утверждение связано с проблемой остановки, которая является неразрешимой. Таким образом, это утверждение является следствием тезиса Чёрча-Тьюринга.