Проблема "Другий " - це проблема вирішення існування іншого рішення, відмінного від певного рішення для екземпляра проблеми.
Для деяких неповних проблем, друга версія рішення - незавершена (вирішує питання про існування іншого рішення для часткової задачі завершення латинських квадратів), тоді як для інших вона є тривіальною (Другий NAE SAT) або не може бути незавершеною. (Другий гамільтонів цикл у кубічних графах) під загальноприйнятою гіпотезою складності. Мене цікавить протилежний напрямок.
Ми припускаємо , природну проблеми , де існує природний ефективний верифікатор , який перевіряє природне цікаве співвідношення , де є екземпляром вхідного і коротким свідченням членства в . Усі свідки не відрізняються від верифікатора. Дійсність свідків повинна визначатися за допомогою природного перевіряльника, і він не знає жодного правильного свідка (обидва приклади в коментарях - це рішення за визначенням).
Чи означає «Другий повний NP»? « є NP повним» для всіх «природних» проблем ?
Іншими словами, чи є якась "природна" проблема де ця імплікація провалюється? . Або рівнозначно,
Чи є якась "природна" проблема в і не відомо, що вона є незавершеною, але її друга проблема є незавершеною?
EDIT : Завдяки коментарям Марціо я не зацікавлений у надуманих контрприкладах. Я зацікавлений тільки в природних і цікавих контрприклад для NP-повних задач , подібних наведеним вище. Прийнятна відповідь є або доказом вищезазначеного наслідку, або зустрічним прикладом "Другої проблеми X", яка визначена для природної, цікавої та добре відомої задачі .
EDIT 2 : Завдяки плідній дискусії з Девідом Richerby, я редагував питання уваги , що мій інтерес тільки в природних проблемах .
EDIT 3 : Мотивація: по- перше, існування такого імплікації може спростити повнота докази багатьох завдань. По-друге, існування імплікації пов'язує складність вирішення унікальності рішення проблеми вирішення існування рішення проблем .