したがって、クラスでの自己還元可能性について学習しました。私の教授と私たちの教科書は、NPのすべての問題は自己還元可能であると断言するつもりはありませんが、そうでない問題の例はありませんでした。何か例があるのか、それともネガティブを簡単に証明できない状況なのかと思っていました。ウィキペディアは言うだけIt is conjectured that the integer factorization problem is not self-reducible.
グーグルは1つの結果を見つけました。これは、平面グラフのLF-kカラーリングがその減少に減少するため、平面グラフ4のカラーリングは自己還元可能ではないことを示しているようですが、現時点では証明に完全に従うことができませんでした。
これは自己還元性の反証の実際の例ですか、他にありますか?
@DWいいえ、自己還元可能です。論文を読んでください。
—
Yuval Filmus