Cho một hình tam giác của bề mặt của một khối đa diện p
, tính Euler-Poincaré-Đặc trưng của nó χ(p) = V-E+F
, trong đó V
là số đỉnh, E
số cạnh và F
số mặt.
Chi tiết
Các đỉnh được liệt kê là 1,2,...,V
. Phép tính tam giác được đưa ra dưới dạng một danh sách, trong đó mỗi mục là một danh sách các đỉnh của một mặt, được đưa ra theo thứ tự chiều kim đồng hồ hoặc ngược chiều kim đồng hồ.
Mặc dù tên, hình tam giác cũng có thể chứa các mặt có hơn 3 mặt. Các mặt có thể được coi là được kết nối đơn giản có nghĩa là ranh giới của mỗi mặt có thể được vẽ bằng một vòng lặp không tự giao nhau.
Ví dụ
Tứ diện : tứ diện này là lồi và có χ = 2
. Một tam giác có thể là
[[1,2,3], [1,3,4], [1,2,4], [2,3,4]]
Khối lập phương: Khối lập phương này lồi và có χ = 2
. Một tam giác có thể là
[[1,2,3,4], [1,4,8,5], [1,2,6,5], [2,3,7,6], [4,3,7,8], [5,6,7,8]]
Donut : Hình dạng bánh rán / hình xuyến này có χ = 0
. Một tam giác có thể là
[[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]]
Bánh rán đôi : Bánh rán đôi này nên có χ = -2
. Nó được xây dựng bằng cách sử dụng hai bản sao của chiếc bánh rán ở trên và xác định các mặt [1,2,5,4]
của cái thứ nhất với mặt [1,3,6,4]
thứ hai.
[[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]]
(Ví dụ được xác minh bằng chương trình Haskell này .)