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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: « == Вопрос: Q69-4c9f66 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…»)
 
 
Строка 1: Строка 1:
 
 
== Вопрос: Q69-4c9f66 ==
 
== Вопрос: Q69-4c9f66 ==
 +
Предположим, что ''Q'' и ''R'' — языки.
  
<i>Тут вставьте перевод вопроса.
+
Предполагая, что <m>P \ne NP</m>, что из следующего следует, что ''R'' отсутствует в ''P''?
Используйте [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 .
+
Потом конечно сотрите инструкции, которые тут курсивом.</i>
+
  
 
=== Ответы ===
 
=== Ответы ===
<i>Если ответы простые, однострочные, используйте простой способ задания ответов списком, типа так
+
* ''R'' находится в ''NP''
(префикс «Правильный ответ:» — это дословно, для правильного ответа)</i>
+
* ''Q'' находится в ''NP'', а ''Q'' за полиномиальное время сводится к ''R''
 +
* ''Q'' находится в ''NP'', а ''R'' за полиномиальное время сводится к ''Q''
 +
* ''Q'' является ''NP-полным'', а ''R'' за полиномиальное время сводится к ''Q''
 +
* Правильный ответ: ''Q'' является ''NP-полным'', а ''Q'' за полиномиальное время сводится к ''R''
  
* Правильный ответ: тут реально правильный ответ
+
=== Объяснение ===
* неправильный ответ
+
{{cstest-source|2004-gre-cs-practice-book.pdf|44|69}}
* еще какой-то неправильный ответ
+
* еще какой-то неправильный ответ
+
* еще какой-то неправильный ответ
+
  
<i>Если ответы длинные, многострочные, или там графы, используйте
+
* «''R'' находится в ''NP''» — ну может и в P быть при этом. (шутка про «NP=неП»), не катит.
[https://wiki.4intra.net/MediawikiQuizzer/ru#.D0.9E.D1.82.D0.B2.D0.B5.D1.82.D1.8B способ задания ответов разделами],  
+
* «''Q'' находится в ''NP'', а ''Q'' за полиномиальное время сводится к ''R''» — Q тоже может быть в P, не катит.
Но такое очень редко встречается. </i>
+
* Cводимость задачи мало говорит о ее сложности, для сложности к ней надо свести сложную задачу → не катит:
 
+
** «''Q'' находится в ''NP'', а ''R'' за полиномиальное время сводится к ''Q''»
 
+
** «''Q'' является ''NP-полным'', а ''R'' за полиномиальное время сводится к ''Q''»
=== Объяснение ===
+
* «''Q'' является ''NP-полным'', а ''Q'' за полиномиальное время сводится к ''R''» — то что надо, NPC — класс реально сложных задач, за пределом P, и если из нее сводится к R, то да, это заражает R сложностью и выводит ее из P.
<i>Сначала заполните номер страницы с этим вопросом
+
{{cstest-source|2004-gre-cs-practice-book.pdf|тут-номер-страницы-с-вопросом-69|69}}
+
  
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный.</i>
+
{{question-ok|[[Участник:StasFomin|StasFomin]] 10:07, 16 декабря 2024 (UTC)}}
  
{{question-ok|}}
+
[[Категория:Теория сложности]]

Текущая версия на 10:07, 16 декабря 2024

Вопрос: Q69-4c9f66

Предположим, что Q и R — языки.

Предполагая, что , что из следующего следует, что R отсутствует в P?

Ответы

  • R находится в NP
  • Q находится в NP, а Q за полиномиальное время сводится к R
  • Q находится в NP, а R за полиномиальное время сводится к Q
  • Q является NP-полным, а R за полиномиальное время сводится к Q
  • Правильный ответ: Q является NP-полным, а Q за полиномиальное время сводится к R

Объяснение

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

  • «R находится в NP» — ну может и в P быть при этом. (шутка про «NP=неП»), не катит.
  • «Q находится в NP, а Q за полиномиальное время сводится к R» — Q тоже может быть в P, не катит.
  • Cводимость задачи мало говорит о ее сложности, для сложности к ней надо свести сложную задачу → не катит:
    • «Q находится в NP, а R за полиномиальное время сводится к Q»
    • «Q является NP-полным, а R за полиномиальное время сводится к Q»
  • «Q является NP-полным, а Q за полиномиальное время сводится к R» — то что надо, NPC — класс реально сложных задач, за пределом P, и если из нее сводится к R, то да, это заражает R сложностью и выводит ее из P.