Donde puedo descargar el de aprox 1500 Appel-Haken reducible configuraciones del Cuatro-Color-Teorema de la prueba?

Question

Donde puedo descargar el equipo de representación de los aproximadamente 1500 Appel-Haken reducible configuraciones del Cuatro-Color-Teorema de la prueba?

El artículo de la Wikipedia (http://en.wikipedia.org/wiki/Four_color_theorem) establece que "Su prueba de reducción de la infinitud de los posibles mapas de 1,936 reducible configuraciones (más tarde se redujo a 1,476), que tuvo que ser revisadas una por una por equipo y se llevó más de un millar de horas". Estoy asumiendo la ejecución de su equipo basado en la prueba sería mucho más rápido en un equipo moderno, así que yo estaría feliz de punteros que apuntan a que el código, también, de los que yo podía extraer de estos datos.

Answer 1

No creo que hay un archivo fácilmente disponible que contiene Appel y Haken configuraciones. El RSST papel menciona que con el fin de verificar el AH el papel, se necesita crear un archivo desde cero que contiene todas las configuraciones. De todos modos, si usted está interesado en la verificación de la prueba de la 4-color teorema, RSST simplificado el proceso en gran medida, por lo que sería mejor el uso de su método, y sus archivos también están disponibles para su descarga aquí.