Also haben wir gerade im Unterricht etwas über Selbstreduzierbarkeit gelernt. Mein Professor und unser Lehrbuch würden sich nicht dazu verpflichten zu sagen, dass alle Probleme in NP selbstreduzierbar sind, aber es schien keine Beispiele für Probleme zu geben, die dies nicht sind. Ich habe mich gefragt, ob es Beispiele gibt oder ob es nur eine Situation ist, in der man nicht einfach ein Negativ beweisen kann. Wikipedia sagt nurIt is conjectured that the integer factorization problem is not self-reducible.
Googeln fand ein Ergebnis , das besagt, dass die Färbung des planaren Graphen 4 nicht selbstreduzierbar ist, da sich die LF-k-Färbung für einen planaren Graphen auf diese Reduktion reduziert, aber ich konnte dem Beweis im Moment nicht ganz folgen.
Ist dies ein aktuelles Beispiel für einen Selbstreduzierbarkeitsnachweis, und gibt es andere?
quelle
Antworten:
Das Papier zeigt in der Tat, dass die Färbung des planaren Graphen vier im Sinne von Schnorr nicht selbstreduzierbar ist. Es gibt mehrere andere Sinne, unter denen jedes Problem in P selbstreduzierbar ist. Siehe das Folgepapier von Große, Rothe und Wechsung . Mir ist kein anderes Ergebnis dieser Art bekannt. Wenn Sie alle Artikel durchgehen, in denen der von Ihnen erwähnte Artikel zitiert wird (dies kann beispielsweise mit Google Scholar erfolgen), gibt es keine derartigen Probleme.
quelle