???????????? ( ?????? : Four color theorem ) ???????? ???????????????????????????????????? 4 ?? ???????????????????????????????????????????????? ?????????????????? ?????? ???????????????????????????????? ??????????????????? ??????????????????????????????????????????????????? ?????????????????? ???? ????? ??????? ???? ????????????

???????????????????? 3 ???????????????? ???????????????????? ?????????? ?????????????????????? ?? 5 ????????????? ????????????????

???????????? ???????????????????? ?????????????????????? ???????????????????????????????????????????????????????? ???????????????????????????????????? ??????????????????????????????????? ?????????? (??????????) ??????????????????????????????????????????????

?????????????????????????????????????????????????? ????????????????????? "???????????????????????????????????????? ? ???????????????????????????????????!"

??????? [ ??? ]

???????????????????????????????????????????? ?.?. 2395 (?.?. 1852) ????? ??????? ????? (Francis Guthrie) ?????????????????????????????????????????????????????? ??????????????????????????????????? ?????? ????????????????????????????? ???????? ??? ??????? (Augustus De Morgan) ??? ????????????????????????? (University College London) (??????????????????? ?.?. 2393 (?.?. 1850) ?????????????????????????????????????????? ???????????????? ) ??????????????????????????????:

?????????????????????????? [?????] ??????????????????????????????????????? - ???????????????????????????????????????????????????? ????????? ????????????????????????????????????????????? ?????????????????????????????????????????????????????????? ?????????????????????????????????? ?????????????????????????????????????? ?????????????????????????????????????????????????????? ...

???????????????????????????????????????????????????? ????????? ???????? (Arthur Cayley) On the colourings of maps. , Proc. Royal Geography Society 1, 259-261, 1879.

??????????????????????????????????????????? ???????????????????????????????????????????????????? ???????????????????????????????????? ??????? ????? (Alfred Kempe) ???? ?.?. 2422 (?.?. 1879) ??????????????????????????????????? ?????????????????????????? ??????? ??? (Peter Tait) ???? ?.?. 2423 (1880) ?????????????? ?.?. 2433 (?.?. 1890) ??????? ????? (Percy Heawood) ?????????????????????????????????????????? ????? ?.?. 2434 (?.?. 1891) ??????? ?????????? (Julius Petersen) ??????????????????????????????????? ?????????????????????????????????????????????????????????????????? 11 ??

?? ?.?. 2433 (?.?. 1890) ???????????????????????????????????????????????????????????? ??????????????????? ????????????? ?????????????????????????? 5 ?? - ?? ????????????

??????????????????????????????????????????????? ????????? ???? ?????? ??????? (Danilo Blanuš) ???????? ?.?. 2483 - 2492 (1940s) ??????????? ?????? (snark) ??????????

???????? ?.?. 2503 - 2522 (1960s ??? 70s) ???????????????? ??????? ??????? ??? (Heinrich Heesch) ??????????????????????? ??????????? ???????????????

?? ?.?. 2512 (?.?. 1969) ????????????? ????????? ?? ?????????-?????? (G. Spencer-Brown) ????????????????????????????????????? ?????????????????????????????????? ???????????? ???????????????????????????????????????????????? ???

??????????? ?.?. 2519 (?.?. 1976) ??????? ?????????????????????????????????????????????? ??? ??????? ?????? (Kenneth Appel) ??? ???????? ????? (Wolfgang Haken) ???? ????????????????????? ?????????-?????? ???????????????????????? ??????????? ??? ?? ??? (J. Koch)

????????????????????????????????????????????????????????????? 1,936 ?????? (????????????????????????? 1,476 ??????) ??????????????????????????????????????????? ???????????????????????????????????????????????????????????????????????? ???????????????????????????????????? 500 ???? ???????????????????????????????????????? (counter-counter-example) ??????????????? ??????????????????????? ?????????????? ???????????????????? ???????? ????????????????????????????????????????????????

???? ?.?. 2539 (?.?. 1996) ??? ??????????? (Neil Robertson) , ??????? ????????? (Daniel Sanders) , ??? ??????? (Paul Seymour) ??? ????? ????? (Robin Thomas) ??????????????????????? ??? ?????????????????????????? 633 ???? ???????????????????????????????????????????????????? ???????????????????????????????

???? ?.?. 2547 (?.?. 2004) ???????? ?????????? (Benjamin Werner) ??? ??????? ?????????? (Georges Gonthier) ????????????????????????????????????????????????? Coq ?????????????????????????????????????????????????????????????? ??????? ??????????????????????????? ? ???????????????????????? Coq ????????

?????????????????????????????????????? ?????????????????????????????????????????????????????????????????????????????? ??????????????????? O( n ² ) ????? n ?????????????? ???????????????????????????????????????????????????????????????????????? 1 ???? 2 ????????????????? ?????????? 3 ??????????????? ????????????? ??????????????????????????????????????????????? ?????????????????????????? (??????????????????????????????) ?????????????????????????????? ??????????? ????????????? ???????

??????????????????????? [ ??? ]

????????????????????????????? ??????????????? ??????????????????????????????????? ??????????????????????? ???? ?????????????????????????? ??????????????????????????????????????????????????????? ?????????? ?????????????????????????????????????????????????????? ????????????????????????????? ??????????????????????????????? ??????????????????????????????????????

?????????????????????????????? ?????????????????????????????? ????????????????????????????? ??????????????????????????????????????????????????????????? ???????????????????? ???????????????????????????????????????????????? ?????????????????????????????????? ???????????????????????????????????????????????????

????????????????????????????? [ ??? ]

??????????????????????????????????????????????? ????????? ????????????? ?????? (vertices) ?? ????????????? ???????????????????????????????????? 4 ????????? ?????????????????????????????????????? ?????????????? ??? "???????????????????????? ???? 4 ?? (four-colorable) " ???????????????????????????????????????????? ???????????????????????????????????????? (edge) ???????????????????????????????????????????

??????????????????? [ ??? ]

??????? ????????????????????????????? ???????? ????????????????????????????????????????????????????????? ?????????? ???????????????????????????????? ??????????????? ???? ????????????????????????????????????? ????????????????????????????????????????????????? ????????????????????????????? ??????????? ??????????? ???????????????????????????????????????? ???????????????????????????????????

???????????????? ????????????????????????????...

...?????????????? ??????????????????????????

???????????????????????????????? "????????????" ?????????????????????????????????????????????????????? ??? ????????????????????????????? ??????????????????????????????? (????????????????) ???????????? ??????????????????????????????????????????? ???????????????? ???????????????????????????????????????????????

???????????????????? ??????????????????????????????????????? ??????? ???????????????????????????????????????????????????? ?????????????????????????????????????????????????????????????? (????????????????????? ????????????????????????????????????????????? ???????????????????????????????????????????????????????) ?????????????????????????? ??????? ???????????????????????????????? ????????????????????????????????????

????????????????????????????????????????? ??????????????????? ????????????????????????????? ??????? ???????????????????? ????????????????????????????????????????????????????? ???????????????????????????????????????????? (???????????????????????????) ??? ??????????????????????????????????? ???????????????????????????????????????????????????????

?????????????????? ????????????????????????????????????????????????????? ???? ???????????????????????????????????????????????????, ????????????????????????????????????????????? (???? ???????) ???????????????????????????? ??? ??????????????????? (?????????????????????????????????????????? ??? ???????)

????????? [ ??? ]

????????????????????????????????????????????????? ????? ?????????????? ????????????? ??????????????????????? ???????????????????(??? ??????? ???? ?????????? ?????(orientable or non-orientable)) ????? ????? ??????? ????????????? p ????????????????????? ???????????????? χ ??????????????? ????????

${\displaystyle p=\left\lfloor {\frac {7+{\sqrt {49-24\chi }}}{2}}\right\rfloor }$

???????????????????????????? ???????? (Klein bottle) ?????????????????????????? 0 ?????????? 6 ?? ??????????????????????????????? ???????????????????? ????????????????? ??????????????????????? ??? ?????????? ?????? (Gerhard Ringel) ??? ????? (J. T. W. Youngs) ???? ?.?. 2511

???????????? ????? ?????????????????? χ = 0 ?????????? p = 7 ?? ?? ????? ?????????????????????? 7 ???????????????

???????????????????????????? [ ??? ]

?????????????? ?????????????????????????????????????????????? (???? ?????????? ???????????????????? ???????????? ) ??????????????????????????????????????????????????????????? ????????????????????????? ??????????????????????????????????????????????????????????????? ????????????????????????????????????? ???????????? ?????????????????????

??????? A ??????????????????????????? ??????????????????????????? ????????????????????????????????????????? ???????????????? A ?????????????????????????????????????? ???????????????????????????????????????????? ??? A ????????????????? ???????????????????????? ?????????????????????? ???????????????????????????????????????????

??????? [ ??? ]

• Appel, Kenneth & Haken, Wolfgang & Koch, John, Every Planar map is Four Colorable , Illinois: Journal of Mathematics: vol.21: pp.439-567, December 1977.
• Appel, Kenneth & Haken, Wolfgang, Solution of the Four Color Map Problem , Scientific American, vol.237 no.4: pp.108-121, October 1977.
• Appel, Kenneth & Haken, Wolfgang, Every Planar Map is Four-Colorable. Providence, RI: American Mathematical Society, 1989.
• O'Connor and Robertson, History of the Four Color Theorem , MacTutor project, http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/The_four_colour_theorem.html ???????? 2013-01-16 ??? ??????????????
• Saaty and Kainen, The Four Color Problem: Assaults and Conquest ( ISBN 0-486-65092-8 )
• Robin Thomas, An Update on the Four-Color Theorem (PDF File) , Notices of the American Mathematical Society , Volume 45, number 7 (August 1998)
• Robin Thomas, The Four Color Theorem , http://www.math.gatech.edu/~thomas/FC/fourcolor.html ???????? 2007-12-21 ??? ??????????????

??????? [ ??? ]

• ????????????
• ?????????
• ????????