¿Humana prueba controlable del teorema de cuatro colores?

Question

Cuatro de Color Teorema es equivalente a la declaración: "Cada cúbicos plana bridgeless gráficos 3-borde engañosa". No es asistida por ordenador y la prueba dada por Appel y Haken. Dick Lipton en su hermoso blogs plantea el siguiente problema abierto:

Hay no-ordenador basado en pruebas del Teorema de los Cuatro Colores?

Sorprendentemente, Mientras estaba leyendo este documento, Anshelevich y Karagiozova, Terminal de copia de seguridad, 3D coincidentes, y cubriendo cúbicos gráficos los autores afirman que Cahit demostrado que "cada 2-conectado cúbicos plano gráfico es el borde de 3 engañosa", que es equivalente al Teorema de los Cuatro Colores (I. Cahit, Espiral Cadenas: Las Pruebas de Tait y Tutte Tres-Edge-Colorear Conjeturas. arXiv preprint, matemáticas CO/0507127 v1, 6 de julio de 2005).

¿Cahit la prueba de resolver el problema abierto en Lipton del blog por brindar equipo basado en la prueba para el Teorema de los Cuatro Colores? ¿Por qué no Cahit prueba ampliamente conocido y aceptado?

Cruz publicado en cstheory.stackexchange.com como Humanos seleccionable prueba del Teorema de los Cuatro Colores?

Answer 1

Después de la lectura de los papeles de Rufus Isaacs [1] y George Spencer-Brown [2], he llegado a la conclusión de que la espiral de la cadena de borde para colorear algoritmo [3] da respuesta a la pregunta en forma afirmativa.

[1] Rufus Isaacs, "Infinito familias de trivial trivalente gráficos, que no son tait engañosa", American Matemáticas Mensual 73 (1975) 221-239.

[2] George Spencer-Brown, "Uncolorable trivalente gráficos", Xiii Reunión Europea sobre la Cibernética y los Sistemas de Investigación de la Universidad de Viena, 10 de abril de 1996.

[3] I. Cahit, Espiral Cadenas: Las Pruebas de Tait y Tutte Tres-Edge-Colorear Conjeturas. arXiv preprint, matemáticas CO/0507127 v1, 6 de julio de 2005.

Answer 2

Cualquier prueba de CT 4 es controlable humanos en tanto ser humano tiene el suficiente tiempo en sus manos.