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