ผลต่างระหว่างรุ่นของ "ทฤษฎีบทสี่สี"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ลไม่มีความย่อการแก้ไข |
ลไม่มีความย่อการแก้ไข |
||
บรรทัด 28:
จนกระทั่งปี [[พ.ศ.2516]] นั่นเอง จึงได้มีผู้พิสูจน์ข้อคาดการณ์สี่สีนี้ได้สำเร็จ โดย [[เคนเน็ท แอพเพล]] (Kenneth Appel) และ [[โวล์ฟแกง เฮเคน]] (Wolfgang Haken) แห่ง[[มหาวิทยาลัยอิลลินอยส์ เออร์บานา-แชมเปญ]] โดยได้รับคำปรึกษาทางด้านอัลกอริทึมจาก เจ คอช (J. Koch)
บทพิสูจน์เริ่มต้นด้วยการลดรูปแบบของแผนที่ทั้งหมดให้เหลือเพียง 1,936 รูปแบบ (และภายหลังสามารถลดลงเหลือ 1,476 รูปแบบ) จากนั้นจึงนำไปตรวจสอบทีละอันด้วยคอมพิวเตอร์ และมีการตรวจสอบซ้ำสองแยกต่างหากโดยโปรแกรมและเครื่องคอมพิวเตอร์ที่ต่างกัน อย่างไรก็ตามบทพิสูจน์นี้มีความยาวถึง 500 หน้า ที่เต็มไปด้วยตัวอย่าง
ในปี [[พ.ศ.2539]] [[นีล โรเบิร์ตสัน]] (Neil Robertson), [[แดเนียล แซนเดอร์ส์]] (Daniel Sanders), [[พอล เซเมอร์]] (Paul Seymour) และ [[โรบิน โทมัส]] (Robin Thomas) สร้างบทพิสูจน์ที่คล้าย ๆ กัน แต่มีกรณีที่ต้องทดสอบเพียง 633 กรณี บทพิสูจน์อันใหม่นี้ก็ยังจำเป็นต้องใช้คอมพิวเตอร์ช่วย และเป็นการยากที่จะตรวจสอบด้วยคน
บรรทัด 66:
[[Category:ทฤษฎีบท|สี่สี]]
[[cs:Problém čtyř barev]]
[[de:Vier-Farben-Satz]]
[[en:Four color theorem]]
[[es:Teorema de los cuatro colores]]
[[fi:Neliväriongelma]]
[[he:בעיית ארבעת הצבעים]]
[[it:Teorema dei quattro colori]]
[[ja:四色定理]]
[[nl:Vierkleurenstelling]]
[[pl:Twierdzenie o czterech kolorach]]
[[pt:Teorema das quatro cores]]
[[sv:Fyrfärgssatsen]]
| |||