ภาพถ่ายกราฟเป็นกราฟที่สามารถฝังตัวอยู่ในเครื่องบินโดยไม่ต้องข้ามขอบ
ปล่อยให้เป็น -uniform-hypergraph, เช่น hypergraph ที่ hyperedges ทั้งหมดมีขนาด kk
มีงานบางอย่างในการฝังไฮเปอร์กราฟบนเครื่องบิน (ด้วยบริบทของการรวมกลุ่มหรือแอปพลิเคชันอื่น ๆ ) แต่บ่อยครั้งที่ข้อมูลไม่สามารถฝังอยู่ในเครื่องบินได้ วิธีแก้ปัญหาอาจเป็นการบังคับด้วยการสูญเสียหรือฝังในมิติที่สูงกว่าตามที่ฉันแนะนำที่นี่:
ส่วนขยายตามธรรมชาติของ planarity (IMO อย่างน้อยที่สุด) คือ " -simple-embedding" (มีชื่อเรียกที่แตกต่างกันหรือไม่?) ของ : การฝังเช่นนั้นมีพื้นผิวที่เชื่อมต่อทุกจุดของไฮเปอร์มาร์เก็ตแต่ละอันและสิ่งเหล่านี้ไม่ได้ตัดกันยกเว้นจุดปลายG M : X → R k
(ลองนึกถึงอะนาล็อกในแบบ 2D โดยที่แต่ละพื้นผิวเป็นขอบคุณสามารถวาดได้ตามต้องการ)
นี่คือตัวอย่างของการฝัง 3-simple-embage ที่ถูกต้องของ 3-uniform-hypergraph (แต่ละจุดสุดยอดจะมีสีโดยไฮเปอร์เดคที่อยู่ในนั้นและแต่ละหน้าแทนไฮเปอร์ดจ์)
ตัวอย่างของกราฟ 3 ง่าย ๆ ก็คือที่สมบูรณ์ 3 เครื่องแบบ hypergraph เมื่อวันที่ 5 จุดV) หากต้องการดูสิ่งนี้ให้ใช้ 4 คะแนนในซึ่งไม่ได้อยู่บนระนาบ 2 มิติสร้างปิรามิดรูปสามเหลี่ยม (ตัวเรือนูน) และวางจุดที่ห้าตรงกลางของปิรามิดเชื่อมต่อกับ จุดยอดอื่น ๆR 3
ในทำนองเดียวกันดูเหมือนว่ากราฟไฮเพอร์กราฟ 3 ชุดที่สมบูรณ์ใน 6 จุดยอดไม่มีการฝังแบบ 3 อย่างง่าย
มีคุณสมบัติที่มีประโยชน์บางอย่างของกราฟระนาบซึ่งช่วยให้อัลกอริทึมที่ดีขึ้นสำหรับปัญหาที่ยากเมื่อกราฟเป็นระนาบ โชคไม่ดีที่ข้อมูลมักไม่ได้เป็นภาพถ่ายแม้บางครั้งจะมีมิติต่ำ ฉันคิดว่าความเข้าใจว่าคุณสมบัติของกราฟระนาบทั่วไปจะช่วยให้เราทราบว่าอัลกอริทึมใดที่สามารถปรับให้เหมาะกับมิติที่สูงขึ้นด้วยเครื่องมือเดียวกัน
ตัวอย่างของคุณสมบัติที่อาจเป็นประโยชน์มาจากทฤษฎีบทของFáryซึ่งแสดงให้เห็นว่ากราฟกราฟระนาบทุกตัวสามารถฝังในลักษณะที่ขอบทั้งหมดของมันเป็นส่วนของเส้นตรง
ทฤษฎีบทของFáryมีมิติที่สูงกว่าหรือไม่? คือถ้ากราฟมี -simple-embedding แล้วจะมีการฝังที่ขอบไฮเปอร์ทั้งหมดเป็นไฮเปอร์เพลนหรือไม่?
มีคุณสมบัติอื่นใดที่สามารถวางนัยทั่วไปได้หรือไม่? ตัวอย่างเช่นสูตรของออยเลอร์สำหรับกราฟระนาบสามารถวางนัยทั่วไปในมิติที่สูงขึ้นได้ไหม? (แม้ว่าในขณะนี้ฉันไม่แน่ใจว่าสิ่งที่จะเป็นความหมายของมัน)