*

  • ispatı matematik dünyasında tartışmalara yol açmış bir problem hatırladığım kadarıyla, tamamen bilgisayarın brütal hesaplama gücüne dayanarak kotarılmış, sayfalar süren ve insan tarafından kontrol edilmesi neredeyse imkansız bir ispat olduğu için "ne lan bu böyle hiç zarif değil" diye topa tutulmuştur.
  • dort rengin yettiginin ispati bilgisayarla yapilmistir. tabii her harita bir graph'a tercume edilmis, sonra graphlar asagi yukari 800 ceside ayrilmis, her bir cesit icin ispat yapilmistir.
    benim gibi sceptic olanlar mutlaka aksi bir ornek getirmeye calisacaklardir. simdiden soyliyeyim, denemeyin olmuyor.
  • dört rengin bir haritayı boyamak için yeterli olması için 5 veya daha fazla ülkenin aynı noktada sınırı olmaması gerekir. sanırım böyle bir durum da henüz görülmemiştir.
  • (bkz: cmyk)
  • problemde sinirlarin cizgisel olmasi gerekiyor, tek noktada kesisenleri farkli renkle boyasak sonsuz renk gerekirdi.. bu sekilde, kesisen 3 parca cizdiginizde bunlarin ucune birden komsu olacak 4. bi parca, bu 3 parcadan birini cevrelemek durumunda kaliyor, o renk de serbest kaliyor (tum problem bu kadar basit miydi, tabi degil, belki de oyle?).. bu problemi cozdugunu sanip cozemeyenlerin, ornek gosterdim deyip maymun olanlarin sayisi hic az degildir (standart bi yerden baslayayim yeni bi rengi sadece zorunlu olunca devreye sokayim yaklasimi biraz karisik haritalarda direk coker zaten).. ama artik matematikte ispatlanamamis hipotezler arasinda degil.. bir gun eminim birileri graph theory ile cok şık bi ispatini da gosterecek bunun..
  • bi figure parcalara bolunur ve her parca boyanirsa, yanyana olan parcalarin ayni renkte olmamasini saglamak icin dort renk yeterlidir diyen teorem. bilgisayarla kanitlanmis ilk onemli teoremdir ayrica kendisi.
  • kaniti bilgisayar yardimiyla yapilabildigi icin ilk kanitlandigi zamanlar supheyle yaklasilmis sonradan bircok insanin ayni sonucu bulmasi sebebiyle uzerindeki supheler azalmistir.

    kanitin yapildigi universitenin (bkz: uiuc) kagitlarinda bir sure "four colors are enough" yazmistir. su gune kadar bilgisayar kullanmadan bir kaniti yapilamamistir. bilgisayar kullanmadan yapilacak bir kanitin, mucidine un matematik dunyasina sevinc vermesi muhtemeldir.
  • en bilinen ornegi bir haritadaki tüm ülkelerin(ya da bölgelerin) komsularindan hicibiri ile ayni renge boyanmamak kaydiyla en az kac renk kullanilarak boyanabilecegi olan teorem. teknik olarak ilgilenenler icin baslama noktasi http://www.math.gatech.edu/…homas/fc/fourcolor.html olabilir.
  • rivayete göre tarihi gecmişi 1852 yılına uzanmakta olan problem. francis guthrie ingiltere'nin bölgelerini boyamaya calisirken 4 rengin yeterli oldugunun farkina vararak, kardesi frederick'e bu durum bütün haritalarda geçerli olup olmadigini sorar, frederick ise augustus de morgan ile temasa geçer. hikayenin başı budur efendim.
  • (bkz: topoloji)
hesabın var mı? giriş yap