2026-09-15T08:03:20Zhttps://gredos.usal.es/oai/requestoai:gredos.usal.es:10366/1572432025-04-30T21:58:02Zcom_10366_4829com_10366_4843col_10366_140208
Gestión del Repositorio Documental de la Universidad de Salamanca
advisor
Iglesias Curto, José Ignacio
author
Guisado González, Alfonso
2024-04-10T08:14:38Z
2024-04-10T08:14:38Z
2023-01
http://hdl.handle.net/10366/157243
[EN]The four color theorem establishes that any map in a plane can be coloured with just four colours so that the regions sharing a common limit —as long as it is
not one single point— do not share the same color. It is also referred to as Guthrie’s theorem in honor of F. Guthrie who conjectured the theorem for the first
time in 1852. The conjecture was communicated afterwards to De Morgan and from there to the community in general. In 1878, Cayley wrote the first article
about the conjecture. Kempe (1879) and Tait (1880) independently showed fallacious proofs. Kempe’s proof was accepted for a decade until Heawood showed
a mistake using a map with 18 faces —although a map with nine faces is enough to show the fallacy. Heawood’s conjecture provided a very general statement
to color maps, showing that in a space of genre 0 —including a sphere or a plane— for colors are enough. Ringel and Youngs (1968) demonstrated that for the
genre, the superior limit given by Heawood’s conjecture, with the exception of Klein’s bottle, genre > 0 —where Heawood’s formula gives as a result seven,
but the correct limit is six. It can be proved that six colors are enough for the case of genre 0. This number can be easily reduced to five, but reducing the
number of colors to four was very difficult. This was eventually obtained by Appel and Haken (1977), who developed assisted evidence on a computer showing
that four colors were enough. However, as part of the demonstration lay in a thorough analysis of plenty of discrete cases by a computer, many mathematicians
do not accept it. Mistakes in the analysis have not been found yet, that’s why the demonstration seems acceptable.
[ES]El teorema de los cuatro colores establece que cualquier mapa en un plano puede colorearse con cuatro colores de tal manera que las regiones que comparten
unlímite común (que no sea un solo punto) no comparten el mismo color. Este problema a veces también se denomina problema de Guthrie en honor a F.
Guthrie, quien conjeturó el teorema por primera vez en 1852. La conjetura se comunicó luego a De Morgan y de allí a la comunidad en general. En 1878,
Cayley escribió el primer artículo sobre la conjetura. Kempe (1879) y Tait (1880) dieron pruebas falaces de forma independiente. Laprueba de Kempe fue
aceptada durante una década hasta que Heawood mostró un error usando un mapa con 18 caras (aunque un mapa con nueve caras basta para mostrar la fala cia). La conjetura de Heawood proporcionó una afirmación muygeneral para colorear mapas, mostrando que en un espacio de género 0 (incluyendo l a esfera
o el plano), cuatro colores son suficientes. Ringel y Youngs (1968) demostraron que para el género, el límite superior proporcionado por la conjetura de
Heawood también da el número necesario de colores, con la excepción de la botella de Klein, género > 0 (caso en que la fórmul a de Heawood da siete, pero
el límite correcto es seis). Se puede demostrar que seis colores son suficientes para el caso de género 0, y este número se puede reducir fácilmente a cinco,
pero reducir el número de colores hasta cuatro resultó muy difícil. Este resultado fue finalmente obtenido por Appel y Haken (1977), quienes construyeron
una prueba asistida por computadora de que cuatro colores eran suficientes. Sin embargo, debido a que parte de la demostración consistió en un análisis
exhaustivo de muchos casos discretos por una computadora, algunos matemáticos no la aceptan. Aún no se han encontrado fallos en el análisis, por ello la
demostración parece válida.
spa
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Mapas
Grafo
cuatro colores
Map
Graph
Four colors
Análisis del problema de los cuatro colores.
info:eu-repo/semantics/bachelorThesis
TElDRU5DSUEgREUgRElTVFJJQlVDScOTTiBOTyBFWENMVVNJVkEKClBhcmEgcXVlIGVsIFJlcG9zaXRvcmlvIGRlIGxhIFVuaXZlcnNpZGFkIGRlIFNhbGFtYW5jYSBwdWVkYSByZXByb2R1Y2lyIHkgY29tdW5pY2FyIHDDumJsaWNhbWVudGUgc3UgZG9jdW1lbnRvIGVzIG5lY2VzYXJpbyBsYSBhY2VwdGFjacOzbiBkZSB1bmEgc2VyaWUgZGUgdMOpcm1pbm9zLiBMYXMgY29uZGljaW9uZXMgZGUgbGEgbGljZW5jaWEgZGUgZGlzdHJpYnVjacOzbiBubyBleGNsdXNpdmEgcXVlIGxvcyBhdXRvcmVzIGRlYmVuIGFjZXB0YXIgYWwgaGFjZXIgYXV0b2FyY2hpdm8gZW4gR1JFRE9TIHNvbiBsYXMgc2lndWllbnRlczoKCjEuIEFjZXB0YW5kbyBlc3RhIGxpY2VuY2lhLCB1c3RlZCAoZWwgYXV0b3IvZXMgbyBlbCBwcm9waWV0YXJpby9zIGRlIGxvcyBkZXJlY2hvcyBkZSBhdXRvcikgZ2FyYW50aXphIGEgbGEgVW5pdmVyc2lkYWQgZGUgU2FsYW1hbmNhIGVsIGRlcmVjaG8gbm8gZXhjbHVzaXZvIGRlIGFyY2hpdmFyLCByZXByb2R1Y2lyLCBjb252ZXJ0aXIgKGNvbW8gc2UgZGVmaW5lIG3DoXMgYWJham8pLCBjb211bmljYXIgeS9vIGRpc3RyaWJ1aXIgc3UgZG9jdW1lbnRvIG11bmRpYWxtZW50ZSBlbiBmb3JtYXRvIGVsZWN0csOzbmljby4gCgoyLiBFbCBhdXRvciBhY2VwdGEgcXVlIGxhIFVuaXZlcnNpZGFkIGRlIFNhbGFtYW5jYSBwdWVkYSBjb25zZXJ2YXIgbcOhcyBkZSB1bmEgY29waWEgZGUgZXN0ZSBkb2N1bWVudG8geSwgc2luIGFsdGVyYXIgc3UgY29udGVuaWRvLCBjb252ZXJ0aXJsbyBhIGN1YWxxdWllciBmb3JtYXRvIGRlIGZpY2hlcm8sIG1lZGlvIG8gc29wb3J0ZSwgcGFyYSBwcm9ww7NzaXRvcyBkZSBzZWd1cmlkYWQsIHByZXNlcnZhY2nDs24geSBhY2Nlc28uCgozLiBFbCBkZXBvc2l0YXJpbyBkZWNsYXJhIHF1ZSBlbCBkb2N1bWVudG8gZXMgdW4gdHJhYmFqbyBvcmlnaW5hbCBzdXlvIHkvbyBxdWUgdGllbmUgZWwgZGVyZWNobyBwYXJhIG90b3JnYXIgbG9zIGRlcmVjaG9zIGNvbnRlbmlkb3MgZW4gZXN0YSBsaWNlbmNpYS4gVGFtYmnDqW4gZGVjbGFyYSBxdWUgc3UgZG9jdW1lbnRvIG5vIGluZnJpbmdlLCBlbiB0YW50byBlbiBjdWFudG8gbGUgc2VhIHBvc2libGUgc2FiZXIsIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSBuaW5ndW5hIG90cmEgcGVyc29uYSBvIGVudGlkYWQuCgo0LiBTaSBlbCBkb2N1bWVudG8gY29udGllbmUgbWF0ZXJpYWxlcyBkZSBsb3MgY3VhbGVzIG5vIHRpZW5lIGxvcyBkZXJlY2hvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgaGEgb2J0ZW5pZG8gZWwgcGVybWlzbyBzaW4gcmVzdHJpY2Npw7NuIGRlbCBwcm9waWV0YXJpbyBkZSBsb3MgZGVyZWNob3MgZGUgYXV0b3IgcGFyYSBvdG9yZ2FyIGEgbGEgVW5pdmVyc2lkYWQgZGUgU2FsYW1hbmNhIGxvcyBkZXJlY2hvcyByZXF1ZXJpZG9zIHBvciBlc3RhIGxpY2VuY2lhLCB5IHF1ZSBlc2UgbWF0ZXJpYWwgY3V5b3MgZGVyZWNob3Mgc29uIGRlIHRlcmNlcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIHkgcmVjb25vY2lkbyBlbiBlbCB0ZXh0byBvIGNvbnRlbmlkbyBkZWwgZG9jdW1lbnRvIGVudHJlZ2Fkby4KCjUuIFNpIGVsIGRvY3VtZW50byBzZSBiYXNhIGVuIHVuYSBvYnJhIHF1ZSBoYSBzaWRvIHBhdHJvY2luYWRhIG8gYXBveWFkYSBwb3IgdW5hIGFnZW5jaWEgdSBvcmdhbml6YWNpw7NuIGRpZmVyZW50ZSBkZSBsYSBVbml2ZXJzaWRhZCBkZSBTYWxhbWFuY2EsIHNlIHByZXN1cG9uZSBxdWUgc2UgaGEgY3VtcGxpZG8gY29uIGN1YWxxdWllciBkZXJlY2hvIGRlIHJldmlzacOzbiB1IG90cmFzIG9ibGlnYWNpb25lcyByZXF1ZXJpZGFzIHBvciBlc3RlIGNvbnRyYXRvIG8gYWN1ZXJkby4KCjYuIExhIFVuaXZlcnNpZGFkIGRlIFNhbGFtYW5jYSBpZGVudGlmaWNhcsOhIGNsYXJhbWVudGUgc3UvcyBub21icmUvcyBjb21vIGVsL2xvcyBhdXRvci9lcyBvIHByb3BpZXRhcmlvL3MgZGUgbG9zIGRlcmVjaG9zIGRlbCBkb2N1bWVudG8sIHkgbm8gaGFyw6EgbmluZ3VuYSBhbHRlcmFjacOzbiBkZSBzdSBkb2N1bWVudG8gZGlmZXJlbnRlIGEgbGFzIHBlcm1pdGlkYXMgZW4gZXN0YSBsaWNlbmNpYS4KClNpIGVzdGFzIGNvbmRpY2lvbmVzIG5vIHNvbiBhY2VwdGFkYXMgcG9yIGVsIGF1dG9yLCBubyBlcyBwb3NpYmxlIGRlcG9zaXRhciBuaW5nw7puIGRvY3VtZW50by4KClNpIHVuIGF1dG9yIGVzdMOhIGludGVyZXNhZG8gZW4gbW9kaWZpY2FyIHVuIHRyYWJham8gcXVlIGhheWEgc2lkbyBkZXBvc2l0YWRvIGVuIEdSRURPUywgZGViZSBwb25lcnNlIGVuIGNvbnRhY3RvIGNvbiBsb3MgYWRtaW5pc3RyYWRvcmVzIGRlIEdSRURPUyAocmVwb3NpdG9yaW9AdXNhbC5lcykuCg==
URL
https://gredos.usal.es/bitstream/10366/157243/1/TFG%20Alfonso%20Guisado%20Gonz%c3%a1lez-An%c3%a1lsis%20del%20problema%20de%20los%20cuatro%20colores_signed.pdf
File
MD5
08627c37a469f90db9a00102e6846534
3014949
application/pdf
TFG Alfonso Guisado González-Análsis del problema de los cuatro colores_signed.pdf
URL
https://gredos.usal.es/bitstream/10366/157243/4/TFG%20Alfonso%20Guisado%20Gonz%c3%a1lez-An%c3%a1lsis%20del%20problema%20de%20los%20cuatro%20colores_signed.pdf.txt
File
MD5
4d7223b9855068eb751e84660f912894
83251
text/plain
TFG Alfonso Guisado González-Análsis del problema de los cuatro colores_signed.pdf.txt