Así que acabamos de aprender sobre la auto-reducibilidad en clase. Mi profesor y nuestro libro de texto no se comprometerían a decir que todos los problemas en NP son auto reducibles, pero no parece haber ningún ejemplo de problemas que no lo sean. Me preguntaba si hay algún ejemplo, o si es solo una situación en la que no se puede probar un negativo fácilmente. Wikipedia solo diceIt is conjectured that the integer factorization problem is not self-reducible.
Google encontró un resultado , que parece indicar que el color del gráfico 4 plano no es auto reducible porque el color LF-k para un gráfico plano se reduce a esa reducción, pero no pude seguir la prueba en este momento.
¿Es este un ejemplo real de una auto-reductibilidad a prueba, y hay otros?
fuente
Respuestas:
De hecho, el documento muestra que la coloración gráfica del gráfico cuatro no es auto reducible en el sentido de Schnorr. Hay varios otros sentidos, bajo algunos de los cuales cada problema en P es auto reducible. Vea el documento de seguimiento de Große, Rothe y Wechsung . No conozco ningún otro resultado de este tipo. Al repasar todos los documentos que citan el documento que menciona (esto se puede hacer usando Google Scholar, por ejemplo), ninguno da tales problemas.
fuente