Neljavärviprobleem: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P viited |
|||
14. rida:
[[1890]] tõestas [[Percy Heawood]] viievärviteoreemi ehk selle, et iga kaarti saab värvida viie värviga.<ref name=kilp/>
Niisugune värvimise võimalikkuse tõestasid [[1976]] [[Kenneth Appel]] ja [[Wolfgang Haken]]<ref> K. Appel, W. Haken. 1976. ''The Existence of Unavoidable Sets of Geographically Good Configurations''. – Illinois J. Math., 1976, 82, 218-297 </ref>. See oli esimesi olulisi teoreeme, mis tõestati [[arvuti]] kaasabil. Selle tõestamise katsetel esile kerkinud küsimused andsid oma panuse ka [[graafiteooria]]le.<ref name=kilp/>
Teoreemi tõestamise käik ise oli tähelepanuväärne. Selleks kasutati kolme tollast võimsat arvutit üle 1200 tunni, algoritmi modifitseeriti 500 korda ja käsitsi analüüsiti umbes 10 000 situatsiooni. Intensiivne töö selle kallal kestis 4 aastat.
Probleemi kaasaegse elegantse, algebraliste ja topoloogilistele meetoditele rajatud tõestuse esitas [[2000]]. aastal india matemaatik [[Ashay Dharwadker]] <ref> A. Dharwadker. 2000. ''The Four Colour Theorem''. Proc. Institute of Mathematics, Amazon Books, ISBN 9781466265301 </ref>.
Eesti matemaatikutest on aastatel [[1927]]–[[1949]] neljavärviprobleemi tõestamise katsetega tegelenud [[Jaan Sarv]], [[Jüri Nuut]], [[Hermann Jaakson]] ja [[Edgar Krahn]] <ref> E. Krahn. 1932. ''Der Wahrscheinlichkeit der Richtigkeit des Veirfarben-satzes''. – Acta Comment. Univ. Tartu (A) 22 No 2 (1932), 1-7 </ref>. Neist viimane on pälvinud ka laiemat tähelepanu.
== Viited ==
{{Viited}}
[[Kategooria:Matemaatika]]
| |||