กราฟเชิงระนาบและทฤษฎีบทสี่สี

ทางลัด: ความแตกต่างความคล้ายคลึงกันค่าสัมประสิทธิ์การเปรียบเทียบ Jaccardการอ้างอิง

ความแตกต่างระหว่าง กราฟเชิงระนาบและทฤษฎีบทสี่สี

กราฟเชิงระนาบ vs. ทฤษฎีบทสี่สี

กราฟเชิงระนาบ (planar graph) ในทฤษฎีกราฟ คือกราฟที่สามารถวาดบนระนาบได้โดยไม่มีเส้นเชื่อมใดๆ ตัดกัน เช่น กราฟต่อไปนี้เป็นกราฟเชิงระนาบ ไฟล์:6n-graf.svg 200px (รูปที่สอง สามารถวาดให้ไม่มีเส้นเชื่อมตัดกันได้ โดยย้ายเส้นทแยงมุมเส้นหนึ่งออกไปข้างนอก) แต่กราฟสองรูปข้างล่างนี้ ไม่เป็นกราฟเชิงระนาบ ''K''5 ''K''3,3 เนื่องจากเป็นไปไม่ได้ที่จะวาดกราฟสองรูปนี้โดยไม่มีเส้นเชื่อมตัดกัน กราฟสองรูปนี้เป็นกราฟที่ไม่เป็นกราฟเชิงระนาบที่เล็กที่สุดด้ว. แผนที่ที่ระบายด้วยสี 4 สี ทฤษฎีบทสี่สี (Four color theorem) กล่าวว่า แผนที่ทางภูมิศาสตร์สามารถระบายด้วยสี 4 สี ซึ่งไม่มีพื้นที่ที่อยู่ติดกันมีสีเดียวกันได้เสมอ เราเรียกพื้นที่ว่าติดกันก็ต่อเมื่อมันมีส่วนของขอบร่วมกัน ไม่ใช่แค่จุดร่วมกัน และพื้นที่แต่ละชิ้นจะต้องติดเป็นอันหนึ่งอันเดียวกัน ไม่ใช่แยกเป็นหลายๆ ส่วน อย่างมิชิแกน หรืออาเซอร์ไบจาน เป็นที่ประจักษ์ว่าสี 3 สีนั้นไม่เพียงพอ ซึ่งพิสูจน์ได้ไม่ยาก นอกจากนั้น เราสามารถพิสูจน์ได้ว่าสี 5 สีนั้นเพียงพอในการระบายแผนที่ ทฤษฎีบทสี่สี เป็นทฤษฎีบทแรกที่ถูกพิสูจน์ด้วยคอมพิวเตอร์ แต่การพิสูจน์นี้ไม่เป็นที่ยอมรับจากนักคณิตศาสตร์ส่วนใหญ่ เพราะว่ามันไม่สามารถตรวจสอบด้วยคนได้ และบางคนถึงกับกังวลในความถูกต้องของตัวแปลภาษา (คอมไพเลอร์) และฮาร์ดแวร์ที่ใช้ทำงานโปรแกรมสำหรับการพิสูจน์ การขาดความสง่างามทางคณิตศาสตร์ก็เป็นอีกสาเหตุหนึ่ง ดังคำกล่าวอันหนึ่งว่า "บทพิสูจน์ทางคณิตศาสตร์ที่ดีเป็นดั่งบทกวี — แต่นี่มันคือสมุดจดเบอร์โทรศัพท์ชัดๆ!".

พอล ซีมัวร์

อล ซีมัวร์ (Paul Seymour; เกิด 26 กรกฎาคม พ.ศ. 2493) เป็นนักคณิตศาสตร์ในสาขาทฤษฏีกราฟ, คณิตศาสตร์เชิงการจัด (คอมบินาทอริกส์), การหาค่าเหมาะที่สุด (optimization) และคณิตศาสตร์ไม่ต่อเนื่อง ที่มหาวิทยาลัยพรินซ์ตัน เมืองพรินซ์ตัน รัฐนิวเจอร์ซีย์ ประเทศสหรัฐอเมริก.

กราฟเชิงระนาบและพอล ซีมัวร์ · ทฤษฎีบทสี่สีและพอล ซีมัวร์ · ดูเพิ่มเติม »

ทฤษฎีกราฟ

กราฟที่มีจุดยอด 6 จุด และเส้นเชื่อม 7 เส้น ทฤษฎีกราฟ (graph theory) เป็นหนึ่งในสาขาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ ที่ศึกษาถึงคุณสมบัติต่าง ๆ ของกราฟ.

กราฟเชิงระนาบและทฤษฎีกราฟ · ทฤษฎีกราฟและทฤษฎีบทสี่สี · ดูเพิ่มเติม »

ขั้นตอนวิธี

ั้นตอนวิธี หรือ อัลกอริทึม (algorithm) หมายถึงกระบวนการแก้ปัญหาที่สามารถเข้าใจได้ มีลำดับหรือวิธีการในการแก้ไขปัญหาใดปัญหาหนึ่งอย่างเป็นขั้นเป็นตอนและชัดเจน เมื่อนำเข้าอะไร แล้วจะต้องได้ผลลัพธ์เช่นไร ซึ่งแตกต่างจากการแก้ปัญหาแบบสามัญสำนึก หรือฮิวริสติก (heuristic) โดยทั่วไป ขั้นตอนวิธี จะประกอบด้วย วิธีการเป็นขั้นๆ และมีส่วนที่ต้องทำแบบวนซ้ำ (iterate) หรือ เวียนเกิด (recursive) โดยใช้ตรรกะ (logic) และ/หรือ ในการเปรียบเทียบ (comparison) ในขั้นตอนต่างๆ จนกระทั่งเสร็จสิ้นการทำงาน ในการทำงานอย่างเดียวกัน เราอาจจะเลือกขั้นตอนวิธีที่ต่างกันเพื่อแก้ปัญหาได้ โดยที่ผลลัพธ์ที่ได้ในขั้นสุดท้ายจะออกมาเหมือนกันหรือไม่ก็ได้ และจะมีความแตกต่าง ที่จำนวนและชุดคำสั่งที่ใช้ต่างกันซึ่งส่งผลให้ เวลา (time), และขนาดหน่วยความจำ (space) ที่ต้องการต่างกัน หรือเรียกได้อีกอย่างว่ามีความซับซ้อน (complexity) ต่างกัน การนำขั้นตอนวิธีไปใช้ ไม่จำกัดเฉพาะการเขียนโปรแกรมคอมพิวเตอร์ แต่สามารถใช้กับปัญหาอื่น ๆ ได้เช่น การออกแบบวงจรไฟฟ้า, การทำงานเครื่องจักรกล, หรือแม้กระทั่งปัญหาในธรรมชาติ เช่น วิธีของสมองมนุษย์ในการคิดเลข หรือวิธีการขนอาหารของแมลง หนึ่งในขั้นตอนวิธีอย่างง่าย คือ ขั้นตอนวิธีที่ใช้หาจำนวนที่มีค่ามากที่สุดในรายการ (ซึ่งไม่ได้เรียงลำดับไว้) ในการแก้ปัญหานี้ เราจะต้องดูจำนวนทุกจำนวนในรายการ ซึ่งมีขั้นตอนวิธีดังนี้.

กราฟเชิงระนาบและขั้นตอนวิธี · ขั้นตอนวิธีและทฤษฎีบทสี่สี · ดูเพิ่มเติม »

นีล รอเบิร์ตสัน

นีล รอเบิร์ตสัน (Neil Robertson) เกิดเมื่อวันที่ 11 กุมภาพันธ์ ค.ศ. 1982 ในเมลเบิร์น ประเทศออสเตรเลีย เป็นนักสนุกเกอร์อาชีพชาวออสเตรเลีย และเขาได้แชมป์ในสนุกเกอร์เวิลด์สนุกเกอร์แชมเปียนชิป 2010 และ ได้ติดอันดับ 1 ในการจัดอันดับนักสนุกเกอร์ในเวลาต่อม.

กราฟเชิงระนาบและนีล รอเบิร์ตสัน · ทฤษฎีบทสี่สีและนีล รอเบิร์ตสัน · ดูเพิ่มเติม »