Verilen Bir nirengi çok yüzeyli bir yüzeyin p
, bunun Euler-Poincare-Karakteristik hesaplamak χ(p) = V-E+F
burada, V
köşelerin sayısı olup, özelliği E
kenarların sayısı ve F
yüz sayısı.
ayrıntılar
Köşeler olarak numaralandırılır 1,2,...,V
. Üçgenleştirme, her girişin saat yönünde veya saat yönünün tersine verilen bir yüzün köşelerinin bir listesi olduğu bir liste olarak verilir.
İsme rağmen, üçgenleme ayrıca 3'den fazla yüzü olan yüzler içerebilir. Yüzlerin basit bir şekilde bağlandığı varsayılabilir, bu da her yüzün sınırının, kendi kendine kesişmeyen bir kapalı döngü kullanılarak çizilebileceği anlamına gelir.
Örnekler
Tetrahedron : Bu tetrahedron dışbükey ve sahiptir χ = 2
. Olası bir üçgenleme
[[1,2,3], [1,3,4], [1,2,4], [2,3,4]]
Küp : Bu küp dışbükey ve sahiptir χ = 2
. Olası bir üçgenleme
[[1,2,3,4], [1,4,8,5], [1,2,6,5], [2,3,7,6], [4,3,7,8], [5,6,7,8]]
Halka : Bu halka / toroid şekli vardır χ = 0
. Olası bir üçgenleme
[[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]]
Çift Çörek : Bu çift çörek olmalıdır χ = -2
. Yukarıdaki çöreklerin iki kopyası kullanılarak [1,2,5,4]
ve birincisinin yanlarını [1,3,6,4]
ikincisinin yanıyla tanımlayarak inşa edilmiştir .
[[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]]
(Örnekler bu Haskell programı kullanılarak doğrulanmıştır .)