Teorema e 4 ngjyrave
From Wikipedia, the free encyclopedia
Në matematikë, teorema me katër ngjyra, ose teorema e hartës me katër ngjyra, thotë se jo më shumë se katër ngjyra janë të nevojshme për të ngjyrosur rajonet e çdo harte në mënyrë që asnjë rajon fqinj të mos ketë të njëjtën ngjyrë. Ngjitur do të thotë që dy rajone ndajnë një segment të përbashkët të kurbës kufitare, jo thjesht një cep ku takohen tre ose më shumë rajone.[1] Ishte teorema e parë kryesore që u vërtetua duke përdorur një kompjuter. Fillimisht, kjo provë nuk u pranua nga të gjithë matematikanët, sepse prova e asistuar nga kompjuteri ishte e pamundur që njeriu të kontrollonte me dorë. Që atëherë prova ka fituar pranim të gjerë, edhe pse disa dyshues mbeten.
Teorema e katër ngjyrave u vërtetua në 1976 nga Kenneth Appel dhe Wolfgang Haken pas shumë provave dhe kundërshembujve të rremë (ndryshe nga teorema e pesë ngjyrave, e provuar në vitet 1800, e cila thotë se pesë ngjyra janë të mjaftueshme për të ngjyrosur një hartë). Për të larguar çdo dyshim të mbetur në lidhje me provën e Appel-Haken, një provë më e thjeshtë duke përdorur të njëjtat ide dhe ende duke u mbështetur në kompjuterë u botua në 1997 nga Robertson, Sanders, Seymour dhe Thomas. Në vitin 2005, teorema u vërtetua gjithashtu nga Georges Gonthier me softuer të përgjithshëm për të vërtetuar teorema.