Digamos que hay un programa tal que si le das un Sudoku parcialmente lleno de cualquier tamaño, te da el Sudoku completo correspondiente.
¿Puedes tratar este programa como una caja negra y usar esto para resolver TSP? Quiero decir, ¿hay alguna manera de representar el problema de TSP como Sudoku parcialmente lleno, de modo que si te doy la respuesta de ese Sudoku, puedes decir la solución para TSP en tiempo polinómico?
Si es así, ¿cómo? ¿Cómo se representa TSP como un Sudoku parcialmente lleno e interpreta el Sudoku lleno correspondiente para el resultado?
algorithms
np-complete
reductions
traveling-salesman
sudoku
Chakrapani N Rao
fuente
fuente
Respuestas:
Para 9x9 Sudoku, no. Es finito, por lo que puede resolverse enO(1) tiempo.
Pero si tuviera un programa de solución den2×n2 Sudoku, que trabajó para toda n y todos los posibles cuadros parciales, y corrió en tiempo polinómico, entonces sí, que podría ser utilizado para resolver TSP en tiempo polinómico, como completar a n2×n2 Sudoku es NP-completo.
La prueba de la completitud de NP funciona reduciendo de algún problema R de NP completo a Sudoku; entonces, dado que R es NP-completo, puede reducir de TSP a R (que se deduce de la definición de NP-completitud); y encadenar esas reducciones le brinda una forma de usar el solucionador de Sudoku para resolver TSP.
fuente
De hecho, es posible utilizar un solucionador de Sudoku general para resolver instancias de TSP, y si este solucionador toma tiempo polinómico, entonces todo el proceso también lo hará (en términos de complejidad, hay una reducción de tiempo polinomial de TSP a Sudoku). Esto se debe a que Sudoku tiene NP completo y TSP está en NP. Pero como suele ser el caso en esta área, mirar los detalles de la reducción no es particularmente esclarecedor. Si lo desea, puede juntarlo usando la reducción simple de la finalización del cuadrado latino a Sudoku aquí , la reducción de la triangulación de gráficos tripartitos uniformes a la finalización del cuadrado latino aquí , la reducción de 3SAT a la triangulación aquí, y una formulación de TSP como un problema 3SAT. Sin embargo, si desea comprender la idea detrás de la reducción de Sudoku a TSP, creo que sería mejor estudiar el teorema de Cook (que muestra que SAT es NP-completo) y un par de reducciones simples de 3SAT (p. Ej., A la correspondencia tridimensional) y estar satisfecho al saber que la reducción de TSP-Sudoku es exactamente el mismo tipo de cosas, pero más larga y más complicada.
fuente