Dengan adanya triangulasi permukaan polihedron p
, hitung Euler-Poincaré-Characteristic-nya χ(p) = V-E+F
, di mana V
jumlah simpul, E
jumlah tepi dan F
jumlah wajah.
Detail
Simpul dihitung sebagai 1,2,...,V
. Triangulasi diberikan sebagai daftar, di mana setiap entri adalah daftar simpul dari satu wajah, diberikan secara searah atau berlawanan arah jarum jam.
Meskipun namanya, triangulasi juga dapat berisi wajah dengan lebih dari 3 sisi. Wajah dapat diasumsikan hanya terhubung yang berarti bahwa batas setiap wajah dapat ditarik menggunakan satu loop non-self-berpotongan tertutup.
Contohnya
Tetrahedron : Tetrahedron ini cembung dan memiliki χ = 2
. Triangulasi yang mungkin adalah
[[1,2,3], [1,3,4], [1,2,4], [2,3,4]]
Kubus : Kubus ini cembung dan memiliki χ = 2
. Triangulasi yang mungkin adalah
[[1,2,3,4], [1,4,8,5], [1,2,6,5], [2,3,7,6], [4,3,7,8], [5,6,7,8]]
Donat : Bentuk donat / toroid ini χ = 0
. Triangulasi yang mungkin adalah
[[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]]
Double Donut : Donat ganda ini seharusnya χ = -2
. Itu dibangun dengan menggunakan dua salinan donat di atas dan mengidentifikasi sisi [1,2,5,4]
yang pertama dengan sisi [1,3,6,4]
yang kedua.
[[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]]
(Contoh diverifikasi menggunakan program Haskell ini .)