กำหนดรูปสามเหลี่ยมของพื้นผิวของรูปทรงหลายเหลี่ยมที่p
คำนวณของออยเลอร์-Poincaré-ลักษณะχ(p) = V-E+F
ที่V
เป็นจำนวนของจุด, E
จำนวนขอบและF
จำนวนของใบหน้า
รายละเอียด
1,2,...,V
จุดที่มีการระบุว่าเป็น สมการจะได้รับเป็นรายการโดยที่แต่ละรายการเป็นรายการของจุดยอดของใบหน้าเดียวกำหนดตามลำดับตามเข็มนาฬิกาหรือทวนเข็มนาฬิกา
แม้ชื่อจะเป็นรูปสามเหลี่ยมที่มีใบหน้าที่มีมากกว่า 3 ด้าน ใบหน้าสามารถสันนิษฐานได้ว่าเป็นการเชื่อมต่ออย่างง่ายนั่นหมายความว่าขอบเขตของแต่ละใบหน้าสามารถวาดได้โดยใช้วงปิดที่ไม่ตัดตัวเองหนึ่งวง
ตัวอย่าง
จัตุรมุข : χ = 2
จัตุรมุขนี้เป็นนูนและมี สมการที่เป็นไปได้คือ
[[1,2,3], [1,3,4], [1,2,4], [2,3,4]]
Cube : χ = 2
ก้อนนี้เป็นนูนและมี สมการที่เป็นไปได้คือ
[[1,2,3,4], [1,4,8,5], [1,2,6,5], [2,3,7,6], [4,3,7,8], [5,6,7,8]]
โดนัท : โดนัท / รูปร่างแบบนี้ toroid χ = 0
มี สมการที่เป็นไปได้คือ
[[1,2,5,4], [2,5,6,3], [1,3,6,4], [1,2,7,9], [2,3,8,7], [1,9,8,3], [4,9,8,6], [4,5,7,9], [5,7,8,6]]
คู่โดนัท : χ = -2
ดับเบิ้ลโดนัทควรจะมี มันถูกสร้างขึ้นโดยใช้โดนัทสองชุดด้านบนและระบุด้านข้าง[1,2,5,4]
ของอันแรกกับด้าน[1,3,6,4]
ที่สอง
[[2,5,6,3], [1,3,6,4], [1,2,7,9], [2,3,8,7], [1,9,8,3], [4,9,8,6], [4,5,7,9], [5,7,8,6], [1,10,11,4], [10,11,5,2], [1,10,12,14], [10,2,13,12], [1,14,13,2], [4,14,13,5], [4,11,12,14], [11,12,13,5]]
(ตัวอย่างที่ตรวจสอบโดยใช้โปรแกรม Haskellนี้)