กราฟของรุก
| กราฟของรุก | |
|---|---|
กราฟเรือ 8x8 | |
| จุดยอด | |
| ขอบ | |
| เส้นผ่านศูนย์กลาง | |
| เส้นรอบวง | (ถ้า) |
| หมายเลขสี | |
| สเปกตรัม | |
| คุณสมบัติ | |
| ตารางกราฟและพารามิเตอร์ | |
ในทฤษฎีกราฟกราฟของเรือเป็นกราฟแบบไม่มีทิศทางที่แสดงถึงการเดินที่ถูกต้องทั้งหมดของตัวหมากรุกเรือ บนกระดานหมากรุกจุดยอดแต่ละ จุด ของกราฟของเรือแสดงถึงช่องสี่เหลี่ยมบนกระดานหมากรุก และมีเส้นเชื่อมระหว่างช่องสี่เหลี่ยมสองช่องใดๆ ที่ใช้แถว (ลำดับ) หรือคอลัมน์ (คอลัมน์) ร่วมกัน ซึ่งเป็นช่องสี่เหลี่ยมที่เรือสามารถเคลื่อนที่ไปมาระหว่างกันได้ กราฟเหล่านี้สามารถสร้างขึ้นได้สำหรับกระดานหมากรุกรูปสี่เหลี่ยมผืนผ้าใดๆ แม้ว่ากราฟของเรือจะมีนัยสำคัญเพียงเล็กน้อยในตำนานหมากรุก แต่ก็มีความสำคัญมากกว่าในคณิตศาสตร์นามธรรมของกราฟผ่านการสร้างแบบอื่นๆ: กราฟของเรือเป็นผลคูณคาร์ทีเซียนของกราฟสมบูรณ์ สองกราฟ และเป็นกราฟเส้นของกราฟสองส่วนสมบูรณ์ กราฟของเรือรูปสี่เหลี่ยมจัตุรัสประกอบขึ้นเป็น กราฟแฮมมิงสองมิติ
กราฟของเรือมีความสมมาตรสูง โดยมีสมมาตรที่เชื่อมทุกจุดยอดกับทุกจุดยอดอื่น ๆ ในกราฟของเรือที่กำหนดจากกระดานหมากรุกสี่เหลี่ยมจัตุรัส สมมาตรจะยิ่งชัดเจนขึ้น โดยทุกสองขอบจะสมมาตรกัน และทุกคู่ของจุดยอดจะสมมาตรกับทุกคู่จุดยอดอื่น ๆ ที่อยู่ห่างกันในระยะทางเดียวกัน (ทำให้กราฟมีคุณสมบัติการถ่ายทอดตามระยะทาง ) สำหรับกระดานหมากรุกสี่เหลี่ยมผืนผ้าที่มีความกว้างและความสูงเป็นจำนวนเฉพาะสัมพัทธ์ กราฟของเรือจะเป็นกราฟวงกลมโดยมีข้อยกเว้นเพียงข้อเดียว กราฟของเรือสามารถแยกแยะออกจากกราฟอื่น ๆ ได้โดยใช้คุณสมบัติเพียงสองประการ คือ จำนวนสามเหลี่ยมที่แต่ละขอบเป็นส่วนหนึ่ง และการมีอยู่ของวัฏจักร4ที่ ไม่ซ้ำกัน ซึ่งเชื่อมทุกคู่ของจุดยอดที่ไม่ติดกัน
กราฟของเรือเป็นกราฟสมบูรณ์กล่าวคือ ทุกเซตย่อยของช่องตารางหมากรุกสามารถระบายสีได้โดยที่ไม่มีช่องสองช่องใดในแถวหรือคอลัมน์เดียวกันมีสีเดียวกัน โดยใช้จำนวนสีเท่ากับจำนวนช่องสูงสุดจากเซตย่อยในแถวหรือคอลัมน์ใดๆ ( จำนวนคลิกของกราฟย่อยที่เหนี่ยวนำ ) กราฟย่อยที่เหนี่ยวนำประเภทนี้เป็นองค์ประกอบสำคัญของการแยกส่วนของกราฟสมบูรณ์ที่ใช้ในการพิสูจน์ทฤษฎีบทกราฟสมบูรณ์ที่แข็งแกร่งซึ่งเป็นลักษณะเฉพาะของกราฟสมบูรณ์ทั้งหมดจำนวนความเป็นอิสระและจำนวนการครอบงำของกราฟของเรือมีค่าเท่ากับค่าที่น้อยกว่าระหว่างความกว้างและความสูงของกระดานหมากรุก ในแง่ของหมากรุก จำนวนความเป็นอิสระคือจำนวนเรือสูงสุดที่สามารถวางได้โดยไม่โจมตีกันเอง ส่วนจำนวนการครอบงำคือจำนวนเรือขั้นต่ำที่จำเป็นในการโจมตีช่องตารางที่ว่างอยู่ทั้งหมด กราฟของรุกเป็นกราฟที่มีการครอบคลุมอย่างดีหมายความว่าการวางรุกที่ไม่โจมตีทีละตัวจะไม่ติดขัดจนกว่าจะถึงเซตที่มีขนาดสูงสุด
นิยามและโครงสร้างทางคณิตศาสตร์
กราฟเรือขนาดn × m แสดง ถึงการเคลื่อนที่ของเรือบน กระดานหมากรุก ขนาด n × m [ 1 ] จุดยอดของกราฟแสดงถึงช่องสี่เหลี่ยมของกระดานหมากรุก และอาจกำหนดพิกัดเป็น( x , y )โดยที่1 ≤ x ≤ nและ1 ≤ y ≤ mจุดยอดสองจุดที่มีพิกัด( x , y )และ( x , y )จะอยู่ติดกันก็ต่อเมื่อx = x หรือy = y เท่านั้น (ถ้าx = x จุดยอดทั้งสองจะอยู่บนแถวเดียวกันและเชื่อมต่อกันด้วยการเคลื่อนที่ของเรือในแนวตั้ง ถ้าy = y จุดยอดทั้งสองจะอยู่บนแถวเดียวกันและเชื่อมต่อกันด้วยการเคลื่อนที่ของเรือในแนวนอน) [ 1 ]
ช่องสี่เหลี่ยมของแถวหรือแถวเดียวกันจะเชื่อมต่อกันโดยตรง ดังนั้นแต่ละแถวและแถวจึงก่อตัวเป็นคลิกซึ่งเป็นเซตย่อยของจุดยอดที่ประกอบเป็นกราฟสมบูรณ์กราฟของหมากรุกทั้งหมดสำหรับ กระดานหมากรุก n × mสามารถสร้างได้จากคลิกสองประเภทนี้ โดยเป็นผลคูณคาร์ทีเซียนของกราฟK ◻ K [ 2 ] เนื่องจากกราฟของหมากรุกสำหรับกระดานหมากรุกสี่เหลี่ยมจัตุรัสเป็นผลคูณคาร์ทีเซียนของคลิกที่มีขนาดเท่ากัน จึงเป็นตัวอย่างของกราฟแฮมมิงมิติของมันในฐานะกราฟแฮมมิงคือสอง และกราฟแฮมมิงสองมิติทุกกราฟเป็นกราฟของหมากรุกสำหรับกระดานหมากรุกสี่เหลี่ยมจัตุรัส[ 3 ]กราฟของหมากรุกสี่เหลี่ยมจัตุรัสยังเรียกว่า " กราฟ ตารางละติน " เมื่อนำไปใช้กับตารางละติน ขอบของมันจะอธิบายคู่ของช่องสี่เหลี่ยมที่ไม่สามารถมีค่าเดียวกันได้[ 4 ]กราฟซูโดกุเป็นกราฟของเรือที่มีขอบเพิ่มเติมบางส่วน ซึ่งเชื่อมต่อช่องสี่เหลี่ยมของปริศนาซูโดกุที่ควรมีค่าไม่เท่ากัน[ 5 ]

ในทางเรขาคณิต กราฟของหมากรุกสามารถสร้างขึ้นจากเซตของจุดยอดและขอบ ( โครงร่าง ) ของกลุ่มโพลีโทปนูนซึ่งเป็นผลคูณคาร์ทีเซียนของโพลีโทปที่อยู่ติดกันเป็นคู่[ 6 ]ตัวอย่างเช่นปริซึมคู่ 3-3เป็นรูปทรงสี่มิติที่เกิดจากผลคูณคาร์ทีเซียนของสามเหลี่ยม สองรูป และมีกราฟของหมากรุกขนาด 3 × 3 เป็นโครงร่าง [ 7 ]
ความสม่ำเสมอและความสมมาตร
ความสม่ำเสมอที่แข็งแกร่ง
มูน (1963)และฮอฟฟ์แมน (1964)สังเกตว่ากราฟของรุก (หรือในความหมายเดียวกัน ตามที่พวกเขาอธิบายไว้ คือ กราฟเส้นของกราฟสองส่วนสมบูรณ์)) มีคุณสมบัติทั้งหมดดังต่อไปนี้:
- มันมีจุดยอดหนึ่งจุดสำหรับแต่ละช่องสี่เหลี่ยมของกระดานหมากรุก จุดยอดแต่ละจุดอยู่ติดกับขอบที่เชื่อมต่อเข้ากับช่องสี่เหลี่ยมที่มีลำดับเดียวกันและช่องสี่เหลี่ยมในไฟล์เดียวกัน
- รูปสามเหลี่ยมในกราฟของหมากรุกเกิดจากการรวมกันของสี่เหลี่ยมสามอันในแถวหรือแนวเดียวกัน เมื่อ, อย่างแน่นอนขอบ (เส้นที่เชื่อมช่องสี่เหลี่ยมในแถวเดียวกัน) เป็นของสามเหลี่ยม; ที่เหลือขอบ (เส้นที่เชื่อมต่อช่องสี่เหลี่ยมในไฟล์เดียวกัน) เป็นของรูปสามเหลี่ยม เมื่อขอบแต่ละด้านเป็นของรูปสามเหลี่ยม
- จุดยอดสองจุดที่ไม่ติดกันทุกคู่จะเป็นของกลุ่มที่ไม่ซ้ำกัน- วงจรจุดยอดกล่าวคือ สี่เหลี่ยมผืนผ้าเพียงรูปเดียวที่ใช้จุดยอดทั้งสองเป็นมุม
พวกเขาแสดงให้เห็นว่า ยกเว้นในกรณีดังกล่าวคุณสมบัติเหล่านี้เป็นเอกลักษณ์เฉพาะของกราฟของหมากรุก กล่าวคือ กราฟของหมากรุกเป็นกราฟเพียงกราฟเดียวที่มีจำนวนจุดยอด ขอบ จำนวนสามเหลี่ยมต่อขอบ และมีวงจร 4 วงที่ไม่ซ้ำกันผ่านจุดยอดสองจุดที่ไม่ติดกัน[ 8 ] [ 9 ]
เมื่อไรเงื่อนไขเหล่านี้อาจย่อได้โดยการระบุว่ากราฟของรุกเป็นกราฟปกติอย่างเข้มข้นที่มีพารามิเตอร์ พารามิเตอร์เหล่านี้อธิบายถึงจำนวนจุดยอด จำนวนขอบต่อจุดยอด จำนวนสามเหลี่ยมต่อขอบ และจำนวนเพื่อนบ้านร่วมกันสำหรับจุดยอดสองจุดที่ไม่ติดกัน ตามลำดับ[ 1 ]ในทางกลับกัน กราฟปกติอย่างเข้มข้นทุกกราฟที่มีพารามิเตอร์เหล่านี้จะต้องเป็นกราฟของเรือ เว้นแต่[ 8 ] [ 9 ]

เมื่อไรนอกจากนี้ยังมีกราฟปกติอีกชนิดหนึ่งที่เรียกว่ากราฟชริคขันเดซึ่งมีพารามิเตอร์เดียวกันกับกราฟทั่วไปกราฟของรุก[ 10 ] กราฟ Shrikhande มีคุณสมบัติเดียวกันกับที่ Moon และ Moser ระบุไว้ สามารถแยกแยะได้จากกราฟของรุก (rook's graph) ในแง่ที่ว่าบริเวณใกล้เคียงของแต่ละจุดยอดในกราฟชริคฮันเด (Shrikhande graph) เชื่อมต่อกันเพื่อสร้างเป็น-วัฏจักรในทางตรงกันข้าม ในกราฟของรุก (rook's graph) บริเวณใกล้เคียงของแต่ละจุดยอดจะก่อให้เกิดรูปสามเหลี่ยมสองรูป รูปหนึ่งสำหรับอันดับของมัน และอีกรูปหนึ่งสำหรับไฟล์ของมัน โดยไม่มีขอบเชื่อมจากส่วนหนึ่งของบริเวณใกล้เคียงไปยังอีกส่วนหนึ่ง[ 11 ]อีกวิธีหนึ่งในการแยกแยะกราฟของเรือจากกราฟ Shrikhande ใช้ จำนวน การครอบคลุมคลิก :กราฟของเรือสามารถครอบคลุมได้ด้วยคลิกสี่กลุ่ม (แถวทั้งสี่หรือแถวทั้งสี่ของกระดานหมากรุก) ในขณะที่ต้องใช้คลิกหกกลุ่มเพื่อครอบคลุมกราฟ Shrikhande [ 10 ]
สมมาตร
กราฟของรุก (Rook's graphs) เป็นกราฟ สมมาตรที่จุดยอดทุกจุด สามารถเชื่อมต่อกันได้ (vertex-transitive ) ซึ่งหมายความว่ากราฟเหล่านี้มีสมมาตรที่เชื่อมต่อจุดยอดทุกจุดกับจุดยอดอื่นๆ ทุกจุด นี่หมายความว่าจุดยอดทุกจุดมีจำนวนขอบเท่ากัน:- ปกติกราฟของเรือเป็นกราฟปกติเพียงกราฟเดียวที่สร้างขึ้นจากการเคลื่อนที่ของหมากรุกมาตรฐานในลักษณะนี้[ 12 ]เมื่อสมมาตรของกราฟของหมากรุกเกิดจากการสลับแถวและคอลัมน์ของกราฟอย่างอิสระ ดังนั้นกลุ่มออโตมอร์ฟิซึมของกราฟจึงมีองค์ประกอบ เมื่อกราฟมีสมมาตรเพิ่มเติมที่สลับแถวและคอลัมน์ ดังนั้นจำนวนออโตมอร์ฟิซึมจึงเป็น[ 13 ]
จุดยอดสองจุดใดๆ ในกราฟของหมากรุกจะอยู่ห่างกันหนึ่งหรือสองระยะ ขึ้นอยู่กับว่าจุดยอดทั้งสองนั้นอยู่ติดกันหรือไม่ติดกันตามลำดับ จุดยอดสองจุดที่ไม่ติดกันใดๆ สามารถแปลงเป็นจุดยอดสองจุดที่ไม่ติดกันอื่นๆ ได้โดยสมมาตรของกราฟ เมื่อกราฟของหมากรุกไม่ใช่กราฟสี่เหลี่ยมจัตุรัส คู่ของจุดยอดที่อยู่ติดกันจะตกอยู่ในวงโคจร สองวง ของกลุ่มสมมาตร ขึ้นอยู่กับว่าจุดยอดทั้งสองนั้นอยู่ติดกันในแนวนอนหรือแนวตั้ง แต่เมื่อกราฟเป็นกราฟสี่เหลี่ยมจัตุรัส จุดยอดสองจุดที่อยู่ติดกันใดๆ ก็สามารถแมปเข้าหากันได้โดยสมมาตร และกราฟจึงมีคุณสมบัติการถ่ายทอดระยะทาง[ 14 ]
เมื่อไรและเป็น กลุ่ม เฉพาะสัมพัทธ์กลุ่มสมมาตรกราฟของหมากรุกประกอบด้วยกลุ่มวัฏจักรเป็นกลุ่มย่อยซึ่งทำงานโดยการสลับสับเปลี่ยนแบบวนรอบจุดยอด ดังนั้นในกรณีนี้ กราฟของหมากรุกจึงเป็นกราฟวงกลม[ 15 ]
กราฟของหมากรุกสี่เหลี่ยมเป็นกราฟที่เชื่อมต่อกันแบบเอกพันธุ์หมายความว่าไอโซมอร์ฟิซึมทุกตัวระหว่างกราฟย่อยที่เหนี่ยวนำที่เชื่อมต่อกันสองตัวสามารถขยายเป็นออโตมอร์ฟิซึมของกราฟทั้งหมดได้[ 16 ]
คุณสมบัติอื่นๆ
ความสมบูรณ์แบบ

กราฟของหมากรุกยังสามารถมองได้ว่าเป็นกราฟเส้นของกราฟสองส่วนสมบูรณ์K — กล่าวคือ มีจุดยอดหนึ่งจุดสำหรับแต่ละขอบของK และจุดยอดสองจุดของกราฟของหมากรุกจะอยู่ติดกันก็ต่อเมื่อขอบที่สอดคล้องกันของกราฟสองส่วนสมบูรณ์มีจุดปลายร่วมกัน[ 2 ] [ 17 ]ในมุมมองนี้ ขอบในกราฟสองส่วนสมบูรณ์จาก จุดยอดที่ iบนด้านหนึ่งของการแบ่งสองส่วนไปยังจุดยอดที่j บนอีกด้านหนึ่งจะสอดคล้องกับช่องสี่เหลี่ยม บนกระดานหมากรุกที่มีพิกัด( i , j ) [ 1 ]
กราฟสองส่วนใดๆ ก็เป็นกราฟย่อยของกราฟสองส่วนสมบูรณ์ และในทำนองเดียวกัน กราฟเส้นใดๆ ของกราฟสองส่วนก็เป็นกราฟย่อยที่เหนี่ยวนำของกราฟเรือ[ 18 ]กราฟเส้นของกราฟสองส่วนเป็นกราฟสมบูรณ์ : ในกราฟเส้นเหล่านั้น และในกราฟย่อยที่เหนี่ยวนำใดๆ จำนวนสีที่จำเป็นในการระบายสีจุดยอด ใดๆ จะเท่ากับจำนวนจุดยอดในกราฟย่อยสมบูรณ์ ที่ใหญ่ที่สุด กราฟเส้นของกราฟสองส่วนเป็นตระกูลที่สำคัญของกราฟสมบูรณ์: พวกมันเป็นหนึ่งในตระกูลจำนวนน้อยที่Chudnovsky et al. (2006) ใช้ ในการจำแนกลักษณะของกราฟสมบูรณ์และเพื่อแสดงว่ากราฟทุกกราฟที่ไม่มีรูคี่และไม่มีแอนติรูคี่เป็นกราฟสมบูรณ์[ 19 ]โดยเฉพาะอย่างยิ่ง กราฟเรือเองก็เป็นกราฟสมบูรณ์

เนื่องจากกราฟของหมากรุกเป็นกราฟที่สมบูรณ์แบบ จำนวนสีที่ต้องการในการระบายสีกราฟใดๆ จึงมีขนาดเท่ากับขนาดของคลิกที่ใหญ่ที่สุด คลิกของกราฟหมากรุกคือเซตย่อยของแถวเดียวหรือคอลัมน์เดียว และคลิกที่ใหญ่ที่สุดจะมีขนาดmax( m , n )ดังนั้นนี่จึงเป็นจำนวนสีของกราฟด้วยการระบายสีn สีของกราฟหมากรุกขนาด n × nอาจตีความได้ว่าเป็นตารางละติน : มันอธิบายวิธีการเติมแถวและคอลัมน์ของ ตารางขนาด n × nด้วย ค่าที่แตกต่างกัน nค่าในลักษณะที่ค่าเดียวกันจะไม่ปรากฏสองครั้งในแถวหรือคอลัมน์ใดๆ[ 20 ]ในทำนองเดียวกัน การระบายสีกราฟหมากรุกรูปสี่เหลี่ยมผืนผ้าจะสอดคล้องกับรูปสี่เหลี่ยมผืนผ้าละติน[ 21 ]แม้ว่าการหาการระบายสีที่เหมาะสมที่สุดของกราฟหมากรุกจะตรงไปตรงมา แต่การพิจารณาว่าการระบายสีบางส่วนสามารถขยายไปสู่การระบายสีกราฟทั้งหมดได้หรือไม่นั้น เป็นปัญหา NP-complete (ปัญหานี้เรียกว่า การขยายการระบายสีล่วงหน้า ) ในทำนองเดียวกัน การพิจารณาว่าตารางละตินบางส่วนสามารถทำให้สมบูรณ์เป็นตารางละตินเต็มได้หรือไม่นั้นถือเป็น NP-complete [ 22 ]
เอกราช
เซตอิสระในกราฟของเรือคือเซตของจุดยอด ซึ่งไม่มีจุดยอดสองจุดใดอยู่ในแถวหรือคอลัมน์เดียวกันของกราฟ ในแง่ของหมากรุก เซตอิสระนี้สอดคล้องกับการวางเรือที่ไม่มีเรือสองลำใดโจมตีกัน กราฟที่สมบูรณ์แบบอาจอธิบายได้ว่าเป็นกราฟที่ในทุกกราฟย่อยที่เหนี่ยวนำ ขนาดของเซตอิสระที่ใหญ่ที่สุดเท่ากับจำนวนคลิกในการแบ่งจุดยอดของกราฟออกเป็นจำนวนคลิกขั้นต่ำ ในกราฟของเรือ เซตของแถวหรือเซตของคอลัมน์ (แล้วแต่ว่าเซตใดมีจำนวนเซตน้อยกว่า) ก่อให้เกิดการแบ่งส่วนที่เหมาะสมที่สุดดังกล่าว ดังนั้นขนาดของเซตอิสระที่ใหญ่ที่สุดในกราฟจึงเท่ากับmin ( m , n ) [ 1 ]
กราฟของรุกเป็นกราฟที่มีการครอบคลุมอย่างดี : เซตอิสระ ทุกเซต ในกราฟของรุกสามารถขยายเป็นเซตอิสระสูงสุดได้ และเซตอิสระสูงสุด ทุกเซต ในกราฟของรุกจะมีขนาดเท่ากันคือmin ( m , n ) [ 23 ]
การครอบงำ
จำนวนการครอบงำของกราฟคือจำนวนสมาชิกขั้นต่ำในบรรดาเซตการครอบงำทั้งหมด บนกราฟของเรือ เซตของจุดยอดจะเป็นเซตการครอบงำก็ต่อเมื่อช่องสี่เหลี่ยมที่สอดคล้องกันครอบครอง หรืออยู่ห่างจากช่องสี่เหลี่ยมทั้งหมดบนกระดานm × n ใน ระยะ การเคลื่อนที่ของเรือ สำหรับ กระดาน m × nจำนวนการครอบงำคือmin( m , n ) [ 24 ]
บนกราฟของเรือk -dominating set คือเซตของจุดยอดที่มีช่องที่สอดคล้องกันโจมตีช่องอื่นๆ ทั้งหมด (ผ่านการเคลื่อนที่ของเรือ) อย่างน้อยkครั้งk -tuple dominating set บนกราฟของเรือ k-tuple dominating set คือเซตของจุดยอดที่มีช่องที่สอดคล้องกันโจมตีช่องอื่นๆ ทั้งหมดอย่างน้อยkครั้ง และตัวมันเองถูกโจมตีอย่างน้อยk − 1ครั้ง จำนวนสมาชิกขั้นต่ำในบรรดาk -dominating set และk -tuple dominating set ทั้งหมดคือk -domination number และk -tuple domination number ตาม ลำดับบนกระดานสี่เหลี่ยม และสำหรับk ที่ เป็นเลขคู่ k -domination number คือnk /2เมื่อn ≥ ( k² − 2k )/4และk < 2nในทำนองเดียวกันk -tuple domination numberคือn ( k + 1)/2เมื่อkเป็นเลขคี่และน้อยกว่า2n [ 25 ]
ความเป็นแฮมิลตัน
กราฟของเรือทุกตัวประกอบด้วยวงจรแฮมิลโทเนียน [ 26 ] อย่างไรก็ตามวงจรเหล่านี้อาจเกี่ยวข้องกับการเคลื่อนที่ระหว่างช่องสี่เหลี่ยมที่อยู่ห่างกันมากภายในแถวหรือคอลัมน์เดียวของกระดานหมากรุก ในทางกลับกัน การศึกษา "การเดินของเรือ" ในคณิตศาสตร์ของหมากรุกโดยทั่วไปมุ่งเน้นไปที่กรณีพิเศษของวงจรแฮมิลโทเนียนเหล่านี้ โดยที่เรือถูกจำกัดให้เคลื่อนที่ได้เฉพาะช่องสี่เหลี่ยมที่อยู่ติดกัน การเดินของเรือแบบก้าวเดียวเหล่านี้มีอยู่เฉพาะบนกระดานที่มีจำนวนช่องสี่เหลี่ยมเป็นเลขคู่เท่านั้น พวกมันมีบทบาทสำคัญในการพิสูจน์ทฤษฎีบทของโกโมรีที่ว่า หากนำช่องสี่เหลี่ยมสองช่องที่มีสีตรงข้ามกันออกจากกระดานหมากรุกมาตรฐาน ช่องสี่เหลี่ยมที่เหลือสามารถถูกปกคลุมด้วยโดมิโนได้เสมอ[ 27 ]พวกมันถูกนำเสนอควบคู่ไปกับการเดินของม้าในงานชิ้นแรกที่กล่าวถึงการเดินของหมากรุก คือ Kavyalankara ของ Rudrata ในศตวรรษที่9 ในภาษาสันสกฤต[ 28 ]
สเปกตรัม
สเปกตรัม ของ กราฟของหมากรุก ( ค่าลักษณะเฉพาะของเมทริกซ์ประชิด ) ประกอบด้วยค่าลักษณะเฉพาะทั้งสี่ค่า,,, และเนื่องจากค่าเหล่านี้เป็นจำนวนเต็มทั้งหมด กราฟของรุกจึงเป็นกราฟจำนวนเต็มมีเพียงสามประเภทของกราฟ (และกราฟพิเศษจำนวนจำกัด) ที่สามารถมีค่าลักษณะเฉพาะสี่ค่า โดยหนึ่งในสี่ค่านั้นเป็นจำนวนเต็มหนึ่งในสามคลาสนั้นคือคลาสของกราฟเรือ สำหรับการรวมกันส่วนใหญ่ของและ,กราฟของรุกมีลักษณะเฉพาะทางสเปกตรัม: ไม่มีกราฟอื่นใดที่มีสเปกตรัมเหมือนกัน โดยเฉพาะอย่างยิ่งเมื่อหรือหรือเมื่อตัวเลขทั้งสองและผลรวมต้องได้อย่างน้อย 18 และไม่มีแบบฟอร์ม[ 29 ]
ในกราฟอื่นๆ
กราฟที่จุดข้างเคียงของแต่ละจุดยอดก่อให้เกิดกราฟของหมากรุก เรียกว่ากราฟกริดเฉพาะที่ตัวอย่างเช่นกราฟจอห์นสันซึ่งเพื่อนบ้านของแต่ละจุดยอดจะก่อตัวเป็นกราฟของรุก (Rook's graph) นอกจากนี้ยังมีตัวอย่างอื่นๆ อีก และสำหรับกราฟของรุกบางประเภท ก็มีการจัดหมวดหมู่ที่สมบูรณ์แล้ว เช่น มีกราฟสองประเภทที่มีบริเวณใกล้เคียงเป็นทั้งหมดกราฟของรุก: คือกราฟของจอห์นสันและกราฟส่วนเติมเต็มของกราฟของรุก[ 30 ]
ดูเพิ่มเติม
- กราฟของบิชอป
- คอมเพล็กซ์กระดานหมากรุกคอมเพล็กซ์อิสระของกราฟเรือ
- กราฟของคิง
- กราฟของไนท์
- กราฟแลตติสคือกราฟที่แสดงความสัมพันธ์ระหว่างช่องสี่เหลี่ยมบนกระดานหมากรุกทั้งในแนวนอนและแนวตั้ง
- กราฟของควีน
ลิงก์ภายนอก
- ไวส์สไตน์, เอริค ดับเบิลยู. , "กราฟเรือ" , MathWorld