กลับไปหน้าบทความ

อ่าน 11 นาที

กราฟของรุก

CS1 แหล่งที่มาภาษารัสเซีย (ru)/ปัญหาหมากรุกทางคณิตศาสตร์/ตระกูลพาราเมตริกของกราฟ/กราฟที่สมบูรณ์แบบ/กราฟปกติ/กราฟปกติอย่างมาก/ใช้ข้อมูลอ้างอิงที่กำหนดโดยรายการตั้งแต่เดือนพฤษภาคม 2023/ใช้วันที่ mdy ตั้งแต่เดือนพฤษภาคม 2023

ในทฤษฎีกราฟกราฟของเรือเป็นกราฟแบบไม่มีทิศทางที่แสดงถึงการเดินที่ถูกต้องทั้งหมดของตัวหมากรุกเรือ บนกระดานหมากรุกจุดยอดแต่ละ จุด ของกราฟของเรือแสดงถึงช่องสี่เหลี่ยมบนกระดานหมากรุก

กราฟของรุก

บทความนี้ดีมาก คลิกที่นี่เพื่อดูข้อมูลเพิ่มเติม

กราฟของรุก
กราฟเรือ 8x8
จุดยอดn{\displaystyle nm}
ขอบn(n+)2n{\displaystyle {\frac {nm(n+m)}{2}}-nm}
เส้นผ่านศูนย์กลาง2{\displaystyle 2}
เส้นรอบวง3{\displaystyle 3}(ถ้าสูงสุด(n,)3{\displaystyle \max(n,m)\geq 3})
หมายเลขสีสูงสุด(n,){\displaystyle \max(n,m)}
สเปกตรัม{+n2, 2, n2,2}{\displaystyle \{m+n-2,~m-2,~n-2,-2\}}
คุณสมบัติ
ตารางกราฟและพารามิเตอร์

ในทฤษฎีกราฟกราฟของเรือเป็นกราฟแบบไม่มีทิศทางที่แสดงถึงการเดินที่ถูกต้องทั้งหมดของตัวหมากรุกเรือ บนกระดานหมากรุกจุดยอดแต่ละ จุด ของกราฟของเรือแสดงถึงช่องสี่เหลี่ยมบนกระดานหมากรุก และมีเส้นเชื่อมระหว่างช่องสี่เหลี่ยมสองช่องใดๆ ที่ใช้แถว (ลำดับ) หรือคอลัมน์ (คอลัมน์) ร่วมกัน ซึ่งเป็นช่องสี่เหลี่ยมที่เรือสามารถเคลื่อนที่ไปมาระหว่างกันได้ กราฟเหล่านี้สามารถสร้างขึ้นได้สำหรับกระดานหมากรุกรูปสี่เหลี่ยมผืนผ้าใดๆ แม้ว่ากราฟของเรือจะมีนัยสำคัญเพียงเล็กน้อยในตำนานหมากรุก แต่ก็มีความสำคัญมากกว่าในคณิตศาสตร์นามธรรมของกราฟผ่านการสร้างแบบอื่นๆ: กราฟของเรือเป็นผลคูณคาร์ทีเซียนของกราฟสมบูรณ์ สองกราฟ และเป็นกราฟเส้นของกราฟสองส่วนสมบูรณ์ กราฟของเรือรูปสี่เหลี่ยมจัตุรัสประกอบขึ้นเป็น กราฟแฮมมิงสองมิติ

กราฟของเรือมีความสมมาตรสูง โดยมีสมมาตรที่เชื่อมทุกจุดยอดกับทุกจุดยอดอื่น ๆ ในกราฟของเรือที่กำหนดจากกระดานหมากรุกสี่เหลี่ยมจัตุรัส สมมาตรจะยิ่งชัดเจนขึ้น โดยทุกสองขอบจะสมมาตรกัน และทุกคู่ของจุดยอดจะสมมาตรกับทุกคู่จุดยอดอื่น ๆ ที่อยู่ห่างกันในระยะทางเดียวกัน (ทำให้กราฟมีคุณสมบัติการถ่ายทอดตามระยะทาง ) สำหรับกระดานหมากรุกสี่เหลี่ยมผืนผ้าที่มีความกว้างและความสูงเป็นจำนวนเฉพาะสัมพัทธ์ กราฟของเรือจะเป็นกราฟวงกลมโดยมีข้อยกเว้นเพียงข้อเดียว กราฟของเรือสามารถแยกแยะออกจากกราฟอื่น ๆ ได้โดยใช้คุณสมบัติเพียงสองประการ คือ จำนวนสามเหลี่ยมที่แต่ละขอบเป็นส่วนหนึ่ง และการมีอยู่ของวัฏจักร4ที่ ไม่ซ้ำกัน ซึ่งเชื่อมทุกคู่ของจุดยอดที่ไม่ติดกัน

กราฟของเรือเป็นกราฟสมบูรณ์กล่าวคือ ทุกเซตย่อยของช่องตารางหมากรุกสามารถระบายสีได้โดยที่ไม่มีช่องสองช่องใดในแถวหรือคอลัมน์เดียวกันมีสีเดียวกัน โดยใช้จำนวนสีเท่ากับจำนวนช่องสูงสุดจากเซตย่อยในแถวหรือคอลัมน์ใดๆ ( จำนวนคลิกของกราฟย่อยที่เหนี่ยวนำ ) กราฟย่อยที่เหนี่ยวนำประเภทนี้เป็นองค์ประกอบสำคัญของการแยกส่วนของกราฟสมบูรณ์ที่ใช้ในการพิสูจน์ทฤษฎีบทกราฟสมบูรณ์ที่แข็งแกร่งซึ่งเป็นลักษณะเฉพาะของกราฟสมบูรณ์ทั้งหมดจำนวนความเป็นอิสระและจำนวนการครอบงำของกราฟของเรือมีค่าเท่ากับค่าที่น้อยกว่าระหว่างความกว้างและความสูงของกระดานหมากรุก ในแง่ของหมากรุก จำนวนความเป็นอิสระคือจำนวนเรือสูงสุดที่สามารถวางได้โดยไม่โจมตีกันเอง ส่วนจำนวนการครอบงำคือจำนวนเรือขั้นต่ำที่จำเป็นในการโจมตีช่องตารางที่ว่างอยู่ทั้งหมด กราฟของรุกเป็นกราฟที่มีการครอบคลุมอย่างดีหมายความว่าการวางรุกที่ไม่โจมตีทีละตัวจะไม่ติดขัดจนกว่าจะถึงเซตที่มีขนาดสูงสุด

นิยามและโครงสร้างทางคณิตศาสตร์

กราฟเรือขนาดn × m แสดง ถึงการเคลื่อนที่ของเรือบน กระดานหมากรุก ขนาด n × m [ 1 ] จุดยอดของกราฟแสดงถึงช่องสี่เหลี่ยมของกระดานหมากรุก และอาจกำหนดพิกัดเป็น( x , y )โดยที่1 ≤ xnและ1 ≤ ymจุดยอดสองจุดที่มีพิกัด( x , y )และ( x , y )จะอยู่ติดกันก็ต่อเมื่อx = x หรือy = y เท่านั้น (ถ้าx = x จุดยอดทั้งสองจะอยู่บนแถวเดียวกันและเชื่อมต่อกันด้วยการเคลื่อนที่ของเรือในแนวตั้ง ถ้าy = y จุดยอดทั้งสองจะอยู่บนแถวเดียวกันและเชื่อมต่อกันด้วยการเคลื่อนที่ของเรือในแนวนอน) [ 1 ]

ช่องสี่เหลี่ยมของแถวหรือแถวเดียวกันจะเชื่อมต่อกันโดยตรง ดังนั้นแต่ละแถวและแถวจึงก่อตัวเป็นคลิกซึ่งเป็นเซตย่อยของจุดยอดที่ประกอบเป็นกราฟสมบูรณ์กราฟของหมากรุกทั้งหมดสำหรับ กระดานหมากรุก n × mสามารถสร้างได้จากคลิกสองประเภทนี้ โดยเป็นผลคูณคาร์ทีเซียนของกราฟK K [ 2 ] เนื่องจากกราฟของหมากรุกสำหรับกระดานหมากรุกสี่เหลี่ยมจัตุรัสเป็นผลคูณคาร์ทีเซียนของคลิกที่มีขนาดเท่ากัน จึงเป็นตัวอย่างของกราฟแฮมมิงมิติของมันในฐานะกราฟแฮมมิงคือสอง และกราฟแฮมมิงสองมิติทุกกราฟเป็นกราฟของหมากรุกสำหรับกระดานหมากรุกสี่เหลี่ยมจัตุรัส[ 3 ]กราฟของหมากรุกสี่เหลี่ยมจัตุรัสยังเรียกว่า " กราฟ ตารางละติน " เมื่อนำไปใช้กับตารางละติน ขอบของมันจะอธิบายคู่ของช่องสี่เหลี่ยมที่ไม่สามารถมีค่าเดียวกันได้[ 4 ]กราฟซูโดกุเป็นกราฟของเรือที่มีขอบเพิ่มเติมบางส่วน ซึ่งเชื่อมต่อช่องสี่เหลี่ยมของปริศนาซูโดกุที่ควรมีค่าไม่เท่ากัน[ 5 ]

ปริซึม คู่3-3 คือ โพลีโทปนูนสี่มิติที่มีโครงสร้างหลักเป็นกราฟเรือ3 × 3

ในทางเรขาคณิต กราฟของหมากรุกสามารถสร้างขึ้นจากเซตของจุดยอดและขอบ ( โครงร่าง ) ของกลุ่มโพลีโทปนูนซึ่งเป็นผลคูณคาร์ทีเซียนของโพลีโทปที่อยู่ติดกันเป็นคู่[ 6 ]ตัวอย่างเช่นปริซึมคู่ 3-3เป็นรูปทรงสี่มิติที่เกิดจากผลคูณคาร์ทีเซียนของสามเหลี่ยม สองรูป และมีกราฟของหมากรุกขนาด 3 × 3 เป็นโครงร่าง [ 7 ]

ความสม่ำเสมอและความสมมาตร

ความสม่ำเสมอที่แข็งแกร่ง

มูน (1963)และฮอฟฟ์แมน (1964)สังเกตว่า×n{\displaystyle m\times n}กราฟของรุก (หรือในความหมายเดียวกัน ตามที่พวกเขาอธิบายไว้ คือ กราฟเส้นของกราฟสองส่วนสมบูรณ์)เค,n{\displaystyle K_{m,n}}) มีคุณสมบัติทั้งหมดดังต่อไปนี้:

  • มันมีn{\displaystyle mn}จุดยอดหนึ่งจุดสำหรับแต่ละช่องสี่เหลี่ยมของ×n{\displaystyle m\times n}กระดานหมากรุก จุดยอดแต่ละจุดอยู่ติดกับ+n2{\displaystyle m+n-2}ขอบที่เชื่อมต่อเข้ากับ1{\displaystyle m-1}ช่องสี่เหลี่ยมที่มีลำดับเดียวกันและn1{\displaystyle n-1}ช่องสี่เหลี่ยมในไฟล์เดียวกัน
  • รูปสามเหลี่ยมในกราฟของหมากรุกเกิดจากการรวมกันของสี่เหลี่ยมสามอันในแถวหรือแนวเดียวกัน เมื่อn{\displaystyle m\neq n}, อย่างแน่นอนn(2){\displaystyle n{\tbinom {m}{2}}}ขอบ (เส้นที่เชื่อมช่องสี่เหลี่ยมในแถวเดียวกัน) เป็นของ2{\displaystyle m-2}สามเหลี่ยม; ที่เหลือ(n2){\displaystyle m{\tbinom {n}{2}}}ขอบ (เส้นที่เชื่อมต่อช่องสี่เหลี่ยมในไฟล์เดียวกัน) เป็นของn2{\displaystyle n-2}รูปสามเหลี่ยม เมื่อ=n{\displaystyle m=n}ขอบแต่ละด้านเป็นของ2=n2{\displaystyle m-2=n-2}รูปสามเหลี่ยม
  • จุดยอดสองจุดที่ไม่ติดกันทุกคู่จะเป็นของกลุ่มที่ไม่ซ้ำกัน4{\displaystyle 4}- วงจรจุดยอดกล่าวคือ สี่เหลี่ยมผืนผ้าเพียงรูปเดียวที่ใช้จุดยอดทั้งสองเป็นมุม

พวกเขาแสดงให้เห็นว่า ยกเว้นในกรณีดังกล่าว=n=4{\displaystyle m=n=4}คุณสมบัติเหล่านี้เป็นเอกลักษณ์เฉพาะของกราฟของหมากรุก กล่าวคือ กราฟของหมากรุกเป็นกราฟเพียงกราฟเดียวที่มีจำนวนจุดยอด ขอบ จำนวนสามเหลี่ยมต่อขอบ และมีวงจร 4 วงที่ไม่ซ้ำกันผ่านจุดยอดสองจุดที่ไม่ติดกัน[ 8 ] [ 9 ]

เมื่อไร=n{\displaystyle m=n}เงื่อนไขเหล่านี้อาจย่อได้โดยการระบุว่าn×n{\displaystyle n\times n}กราฟของรุกเป็นกราฟปกติอย่างเข้มข้นที่มีพารามิเตอร์ srg(n2,2n2,n2,2){\displaystyle \operatorname {srg} (n^{2},2n-2,n-2,2)}พารามิเตอร์เหล่านี้อธิบายถึงจำนวนจุดยอด จำนวนขอบต่อจุดยอด จำนวนสามเหลี่ยมต่อขอบ และจำนวนเพื่อนบ้านร่วมกันสำหรับจุดยอดสองจุดที่ไม่ติดกัน ตามลำดับ[ 1 ]ในทางกลับกัน กราฟปกติอย่างเข้มข้นทุกกราฟที่มีพารามิเตอร์เหล่านี้จะต้องเป็นn×n{\displaystyle n\times n}กราฟของเรือ เว้นแต่n=4{\displaystyle n=4}[ 8 ] [ 9 ]

กราฟชริคฮันเดที่ฝังอยู่บนทอรัส นี่ไม่ใช่กราฟของเรือ แต่เป็นกราฟปกติอย่างเข้มข้นที่มีพารามิเตอร์เดียวกันกับกราฟของเรือ4×4{\displaystyle 4\times 4}กราฟของเรือ.

เมื่อไรn=4{\displaystyle n=4}นอกจากนี้ยังมีกราฟปกติอีกชนิดหนึ่งที่เรียกว่ากราฟชริคขันเดซึ่งมีพารามิเตอร์เดียวกันกับกราฟทั่วไป4×4{\displaystyle 4\times 4}กราฟของรุก[ 10 ] กราฟ Shrikhande มีคุณสมบัติเดียวกันกับที่ Moon และ Moser ระบุไว้ สามารถแยกแยะได้จาก4×4{\displaystyle 4\times 4}กราฟของรุก (rook's graph) ในแง่ที่ว่าบริเวณใกล้เคียงของแต่ละจุดยอดในกราฟชริคฮันเด (Shrikhande graph) เชื่อมต่อกันเพื่อสร้างเป็น6{\displaystyle 6}-วัฏจักรในทางตรงกันข้าม ใน4×4{\displaystyle 4\times 4}กราฟของรุก (rook's graph) บริเวณใกล้เคียงของแต่ละจุดยอดจะก่อให้เกิดรูปสามเหลี่ยมสองรูป รูปหนึ่งสำหรับอันดับของมัน และอีกรูปหนึ่งสำหรับไฟล์ของมัน โดยไม่มีขอบเชื่อมจากส่วนหนึ่งของบริเวณใกล้เคียงไปยังอีกส่วนหนึ่ง[ 11 ]อีกวิธีหนึ่งในการแยกแยะ4×4{\displaystyle 4\times 4}กราฟของเรือจากกราฟ Shrikhande ใช้ จำนวน การครอบคลุมคลิก :n=4{\displaystyle n=4}กราฟของเรือสามารถครอบคลุมได้ด้วยคลิกสี่กลุ่ม (แถวทั้งสี่หรือแถวทั้งสี่ของกระดานหมากรุก) ในขณะที่ต้องใช้คลิกหกกลุ่มเพื่อครอบคลุมกราฟ Shrikhande [ 10 ]

สมมาตร

กราฟของรุก (Rook's graphs) เป็นกราฟ สมมาตรที่จุดยอดทุกจุด สามารถเชื่อมต่อกันได้ (vertex-transitive ) ซึ่งหมายความว่ากราฟเหล่านี้มีสมมาตรที่เชื่อมต่อจุดยอดทุกจุดกับจุดยอดอื่นๆ ทุกจุด นี่หมายความว่าจุดยอดทุกจุดมีจำนวนขอบเท่ากัน:(+n2){\displaystyle (m+n-2)}- ปกติกราฟของเรือเป็นกราฟปกติเพียงกราฟเดียวที่สร้างขึ้นจากการเคลื่อนที่ของหมากรุกมาตรฐานในลักษณะนี้[ 12 ]เมื่อn{\displaystyle m\neq n}สมมาตรของกราฟของหมากรุกเกิดจากการสลับแถวและคอลัมน์ของกราฟอย่างอิสระ ดังนั้นกลุ่มออโตมอร์ฟิซึมของกราฟจึงมี!n!{\displaystyle m!n!}องค์ประกอบ เมื่อ=n{\displaystyle m=n}กราฟมีสมมาตรเพิ่มเติมที่สลับแถวและคอลัมน์ ดังนั้นจำนวนออโตมอร์ฟิซึมจึงเป็น2n!2{\displaystyle 2n!^{2}}[ 13 ]

จุดยอดสองจุดใดๆ ในกราฟของหมากรุกจะอยู่ห่างกันหนึ่งหรือสองระยะ ขึ้นอยู่กับว่าจุดยอดทั้งสองนั้นอยู่ติดกันหรือไม่ติดกันตามลำดับ จุดยอดสองจุดที่ไม่ติดกันใดๆ สามารถแปลงเป็นจุดยอดสองจุดที่ไม่ติดกันอื่นๆ ได้โดยสมมาตรของกราฟ เมื่อกราฟของหมากรุกไม่ใช่กราฟสี่เหลี่ยมจัตุรัส คู่ของจุดยอดที่อยู่ติดกันจะตกอยู่ในวงโคจร สองวง ของกลุ่มสมมาตร ขึ้นอยู่กับว่าจุดยอดทั้งสองนั้นอยู่ติดกันในแนวนอนหรือแนวตั้ง แต่เมื่อกราฟเป็นกราฟสี่เหลี่ยมจัตุรัส จุดยอดสองจุดที่อยู่ติดกันใดๆ ก็สามารถแมปเข้าหากันได้โดยสมมาตร และกราฟจึงมีคุณสมบัติการถ่ายทอดระยะทาง[ 14 ]

เมื่อไร{\displaystyle m}และn{\displaystyle n}เป็น กลุ่ม เฉพาะสัมพัทธ์กลุ่มสมมาตรเอส×เอสn{\displaystyle S_{m}\times S_{n}}กราฟของหมากรุกประกอบด้วยกลุ่มวัฏจักรเป็นกลุ่มย่อยซีn=ซี×ซีn{\displaystyle C_{mn}=C_{m}\times C_{n}}ซึ่งทำงานโดยการสลับสับเปลี่ยนแบบวนรอบn{\displaystyle mn}จุดยอด ดังนั้นในกรณีนี้ กราฟของหมากรุกจึงเป็นกราฟวงกลม[ 15 ]

กราฟของหมากรุกสี่เหลี่ยมเป็นกราฟที่เชื่อมต่อกันแบบเอกพันธุ์หมายความว่าไอโซมอร์ฟิซึมทุกตัวระหว่างกราฟย่อยที่เหนี่ยวนำที่เชื่อมต่อกันสองตัวสามารถขยายเป็นออโตมอร์ฟิซึมของกราฟทั้งหมดได้[ 16 ]

คุณสมบัติอื่นๆ

ความสมบูรณ์แบบ

กราฟเรือ 3 × 3 (กราฟของปริซึมคู่ 3 × 3) ที่ระบายสีด้วยสามสีและแสดงกลุ่มจุดยอดสามจุด ในกราฟนี้และกราฟย่อยที่เกิดจากการเหนี่ยวนำแต่ละกราฟ จำนวนสีที่ใช้จะเท่ากับจำนวนกลุ่มจุดยอด ดังนั้นจึงเป็นกราฟสมบูรณ์

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

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

การระบายสี 8 สีของกราฟกระดานหมากรุกที่ได้จากตารางเคย์ลีย์ของกลุ่มจำกัด

เนื่องจากกราฟของหมากรุกเป็นกราฟที่สมบูรณ์แบบ จำนวนสีที่ต้องการในการระบายสีกราฟใดๆ จึงมีขนาดเท่ากับขนาดของคลิกที่ใหญ่ที่สุด คลิกของกราฟหมากรุกคือเซตย่อยของแถวเดียวหรือคอลัมน์เดียว และคลิกที่ใหญ่ที่สุดจะมีขนาดmax( m , n )ดังนั้นนี่จึงเป็นจำนวนสีของกราฟด้วยการระบายสีn สีของกราฟหมากรุกขนาด n × nอาจตีความได้ว่าเป็นตารางละติน : มันอธิบายวิธีการเติมแถวและคอลัมน์ของ ตารางขนาด n × nด้วย ค่าที่แตกต่างกัน nค่าในลักษณะที่ค่าเดียวกันจะไม่ปรากฏสองครั้งในแถวหรือคอลัมน์ใดๆ[ 20 ]ในทำนองเดียวกัน การระบายสีกราฟหมากรุกรูปสี่เหลี่ยมผืนผ้าจะสอดคล้องกับรูปสี่เหลี่ยมผืนผ้าละติน[ 21 ]แม้ว่าการหาการระบายสีที่เหมาะสมที่สุดของกราฟหมากรุกจะตรงไปตรงมา แต่การพิจารณาว่าการระบายสีบางส่วนสามารถขยายไปสู่การระบายสีกราฟทั้งหมดได้หรือไม่นั้น เป็นปัญหา NP-complete (ปัญหานี้เรียกว่า การขยายการระบายสีล่วงหน้า ) ในทำนองเดียวกัน การพิจารณาว่าตารางละตินบางส่วนสามารถทำให้สมบูรณ์เป็นตารางละตินเต็มได้หรือไม่นั้นถือเป็น NP-complete [ 22 ]

เอกราช

เออีเอฟจีชม.
8
d8 เรือขาว
g7 หมากรุกขาว
c6 หมากรุกขาว
a5 หมากรุกขาว
b4 เรือขาว
h3 หมากรุกขาว
e2 เรือขาว
ฟ1 ไวท์ รุก
8
77
66
55
44
33
22
11
เออีเอฟจีชม.
การจัดวางเรือแปดตัวบนกระดานหมากรุกโดยไม่โจมตีกัน ซึ่งก่อให้เกิดเซตอิสระสูงสุดในกราฟของเรือแต่ละตัว

เซตอิสระในกราฟของเรือคือเซตของจุดยอด ซึ่งไม่มีจุดยอดสองจุดใดอยู่ในแถวหรือคอลัมน์เดียวกันของกราฟ ในแง่ของหมากรุก เซตอิสระนี้สอดคล้องกับการวางเรือที่ไม่มีเรือสองลำใดโจมตีกัน กราฟที่สมบูรณ์แบบอาจอธิบายได้ว่าเป็นกราฟที่ในทุกกราฟย่อยที่เหนี่ยวนำ ขนาดของเซตอิสระที่ใหญ่ที่สุดเท่ากับจำนวนคลิกในการแบ่งจุดยอดของกราฟออกเป็นจำนวนคลิกขั้นต่ำ ในกราฟของเรือ เซตของแถวหรือเซตของคอลัมน์ (แล้วแต่ว่าเซตใดมีจำนวนเซตน้อยกว่า) ก่อให้เกิดการแบ่งส่วนที่เหมาะสมที่สุดดังกล่าว ดังนั้นขนาดของเซตอิสระที่ใหญ่ที่สุดในกราฟจึงเท่ากับ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 ≥ ( 2k )/4และk < 2nในทำนองเดียวกันk -tuple domination numberคือn ( k + 1)/2เมื่อkเป็นเลขคี่และน้อยกว่า2n [ 25 ]

ความเป็นแฮมิลตัน

กราฟของเรือทุกตัวประกอบด้วยวงจรแฮมิลโทเนียน [ 26 ] อย่างไรก็ตามวงจรเหล่านี้อาจเกี่ยวข้องกับการเคลื่อนที่ระหว่างช่องสี่เหลี่ยมที่อยู่ห่างกันมากภายในแถวหรือคอลัมน์เดียวของกระดานหมากรุก ในทางกลับกัน การศึกษา "การเดินของเรือ" ในคณิตศาสตร์ของหมากรุกโดยทั่วไปมุ่งเน้นไปที่กรณีพิเศษของวงจรแฮมิลโทเนียนเหล่านี้ โดยที่เรือถูกจำกัดให้เคลื่อนที่ได้เฉพาะช่องสี่เหลี่ยมที่อยู่ติดกัน การเดินของเรือแบบก้าวเดียวเหล่านี้มีอยู่เฉพาะบนกระดานที่มีจำนวนช่องสี่เหลี่ยมเป็นเลขคู่เท่านั้น พวกมันมีบทบาทสำคัญในการพิสูจน์ทฤษฎีบทของโกโมรีที่ว่า หากนำช่องสี่เหลี่ยมสองช่องที่มีสีตรงข้ามกันออกจากกระดานหมากรุกมาตรฐาน ช่องสี่เหลี่ยมที่เหลือสามารถถูกปกคลุมด้วยโดมิโนได้เสมอ[ 27 ]พวกมันถูกนำเสนอควบคู่ไปกับการเดินของม้าในงานชิ้นแรกที่กล่าวถึงการเดินของหมากรุก คือ Kavyalankara ของ Rudrata ในศตวรรษที่9 ในภาษาสันสกฤต[ 28 ]

สเปกตรัม

สเปกตรัม ของ กราฟของหมากรุก ( ค่าลักษณะเฉพาะของเมทริกซ์ประชิด ) ประกอบด้วยค่าลักษณะเฉพาะทั้งสี่ค่า+n2{\displaystyle m+n-2},2{\displaystyle m-2},n2{\displaystyle n-2}, และ2{\displaystyle -2}เนื่องจากค่าเหล่านี้เป็นจำนวนเต็มทั้งหมด กราฟของรุกจึงเป็นกราฟจำนวนเต็มมีเพียงสามประเภทของกราฟ (และกราฟพิเศษจำนวนจำกัด) ที่สามารถมีค่าลักษณะเฉพาะสี่ค่า โดยหนึ่งในสี่ค่านั้นเป็นจำนวนเต็ม2{\displaystyle -2}หนึ่งในสามคลาสนั้นคือคลาสของกราฟเรือ สำหรับการรวมกันส่วนใหญ่ของ{\displaystyle m}และn{\displaystyle n},×n{\displaystyle m\times n}กราฟของรุกมีลักษณะเฉพาะทางสเปกตรัม: ไม่มีกราฟอื่นใดที่มีสเปกตรัมเหมือนกัน โดยเฉพาะอย่างยิ่งเมื่อn=2{\displaystyle n=2}หรือn=1{\displaystyle n=m-1}หรือเมื่อตัวเลขทั้งสอง{\displaystyle m}และn{\displaystyle n}ผลรวมต้องได้อย่างน้อย 18 และไม่มีแบบฟอร์ม2ที2±ที{\displaystyle 2t^{2}\pm t}[ 29 ]

ในกราฟอื่นๆ

กราฟที่จุดข้างเคียงของแต่ละจุดยอดก่อให้เกิดกราฟของหมากรุก เรียกว่ากราฟกริดเฉพาะที่ตัวอย่างเช่นกราฟจอห์นสันเจ(n,เค){\displaystyle J(n,k)}ซึ่งเพื่อนบ้านของแต่ละจุดยอดจะก่อตัวเป็นเค×(nเค){\displaystyle k\times (nk)}กราฟของรุก (Rook's graph) นอกจากนี้ยังมีตัวอย่างอื่นๆ อีก และสำหรับกราฟของรุกบางประเภท ก็มีการจัดหมวดหมู่ที่สมบูรณ์แล้ว เช่น มีกราฟสองประเภทที่มีบริเวณใกล้เคียงเป็นทั้งหมด3×3{\displaystyle 3\times 3}กราฟของรุก: คือกราฟของจอห์นสันเจ(6,3){\displaystyle J(6,3)}และกราฟส่วนเติมเต็มของ4×4{\displaystyle 4\times 4}กราฟของรุก[ 30 ]

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Rook%27s_graph&oldid=1356336964 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ กราฟของรุก

ในทฤษฎีกราฟกราฟของเรือเป็นกราฟแบบไม่มีทิศทางที่แสดงถึงการเดินที่ถูกต้องทั้งหมดของตัวหมากรุกเรือ บนกระดานหมากรุกจุดยอดแต่ละ จุด ของกราฟของเรือแสดงถึงช่องสี่เหลี่ยมบนกระดานหมากรุก

นิยามและโครงสร้างทางคณิตศาสตร์

กราฟเรือขนาด n × m แสดง ถึงการเคลื่อนที่ของเรือบน กระดานหมากรุก ขนาด n × m [ 1 ] จุดยอดของกราฟแสดงถึงช่องสี่เหลี่ยมของกระดานหมากรุก และอาจกำหนดพิกัดเป็น ( x , y ) โดยที่ 1 ≤ x ≤ n และ 1 ≤ y ≤ m จุดยอดสองจุดที่มีพิกัด ( x , y ) และ ( x , y )...

ความสม่ำเสมอที่แข็งแกร่ง

มูน (1963) และ ฮอฟฟ์แมน (1964) สังเกตว่า ม × n {\displaystyle m\times n} กราฟของรุก (หรือในความหมายเดียวกัน ตามที่พวกเขาอธิบายไว้ คือ กราฟเส้นของกราฟสองส่วนสมบูรณ์) เค ม , n {\displaystyle K_{m,n}} ) มีคุณสมบัติทั้งหมดดังต่อไปนี้:

สมมาตร

กราฟของรุก (Rook's graphs) เป็นกราฟ สมมาตรที่จุดยอดทุกจุด สามารถเชื่อมต่อกันได้ (vertex-transitive ) ซึ่งหมายความว่ากราฟเหล่านี้มีสมมาตรที่เชื่อมต่อจุดยอดทุกจุดกับจุดยอดอื่นๆ ทุกจุด นี่หมายความว่าจุดยอดทุกจุดมีจำนวนขอบเท่ากัน: ( ม + n − 2 ) {\displaystyle...