どのNP決定問題が自己還元可能ではありませんか?


8

したがって、クラスでの自己還元可能性について学習しました。私の教授と私たちの教科書は、NPのすべての問題は自己還元可能であると断言するつもりはありませんが、そうでない問題の例はありませんでした。何か例があるのか​​、それともネガティブを簡単に証明できない状況なのかと思っていました。ウィキペディアは言うだけIt is conjectured that the integer factorization problem is not self-reducible.

グーグルは1つの結果を見つけました。これは、平面グラフのLF-kカラーリングがその減少に減少するため、平面グラフ4のカラーリングは自己還元可能ではないことを示しているようですが、現時点では証明に完全に従うことができませんでした。

これは自己還元性の反証の実際の例ですか、他にありますか?


@DWいいえ、自己還元可能です。論文を読んでください。
Yuval Filmus

回答:


3

この論文は確かに、平面グラフ4色はシュノールの意味で自己還元可能ではないことを示しています。他にもいくつかの感覚がありますが、その下のいくつかでは、Pのすべての問題は自己還元可能です。Große、RotheおよびWechsungのフォローアップペーパーを参照してください。この種の他の結果は知りません。あなたが言及した論文を引用しているすべての論文を検討すると(これは、たとえばGoogle Scholarを使用して行うことができます)、そのような問題を与えるものはありません。


ありがとう!簡単な質問ですが、彼らの証明の主要部分についての私の理解は正しいのですか、それとも適切にそれに従わないのですか?実際の正式な言語定義についてはあまり行っていません。もう少し抽象的なので、このレベルの詳細に自信を持つのは困難です。(また、私は最小限の主題知識を持っているので、少しだけ答えを受け入れるのを待つつもりで、他の人がチャイムを鳴らすかどうかを確認したいと思います。)
Adam Martin

問題がSchnorrの意味で自己還元可能であり、決定バージョンが多項式時間で解決できる場合、多項式時間で辞書式に最初の解を見つけることができます。これは、シュノーの特定の定義に基づいています。この場合、決定バージョンは非常に簡単です(答えは常にYES)。一方、lex-firstバージョンはNPハードであるため、P = NPでない限り、問題は自己還元できません。
Yuval Filmus、2015年

ありがとう!私がまだ持っている唯一の障害は、自己還元性の異なる感覚だと感じています。別の質問をする必要がありますか、それとも、ここで質問したり、オリジナルを編集したりできる十分な違いですか?ポリタイム存在ソリューションが与えられれば、ポリタイム検索ソリューションを作成できる場合、問題は自己還元可能であることを広く学習しました。この結果が依存する技術的な違いはありますか?
アダムマーティン

1
この点について論じているGroßeらの論文を見てください。
Yuval Filmus、2015年
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.