Yarı pişmiş fikrim biraz fazla iddialıydı. Referans için aşağıya ekliyorum, ancak belirlediğim mesafe koşulu aslında büyük çevresi garanti etmek için yeterli değil.
Büyük çevresi ile keyfi olarak büyük simetrik yüzey haritaları vardır, ancak yayınlanmış varlık kanıtları büyük ölçüde topoloji veya geometri yerine grup teorisine dayanmaktadır.
Özellikle, herhangi bir tam sayı için , d , ve r şekilde 1 / g + 1 / d < 1 / 2 , her yüz sahip olduğu bir normal yüzey haritası vardır g kenarları, her köşe derecesi vardır d ve her olmayan büzülebilir yüzeydeki döngü en az r kenarından geçer . Burada "normal" anlamına gelir , her iki her köşe aynı derecede olduğunu ve bu yönelmiş kenarları arasında herhangi bir çifti için, diğer kenarı yönlendirilmiş gönderir gömme bir otomorfizma vardır. Ayar rgdr1/g+1/d<1/2gdrrBu yapıda yeterince büyük, grafiğin çevresinin olduğunu garanti eder . Bkz. Örneğin:g
Böyle bir yüzey haritasına sahip olduğunuzda, aynı boşluk ve dereceye sahip daha büyük haritalar, kaplama alanları inşa edilerek oluşturulabilir.
İşte böyle grafikler oluşturmak için bir (yarı pişmiş) yol. , aşağıdaki özelliklere sahip bir düzlem grafik olsun :G
her sınırlı yüzünün tam olarak g kenarları vardır.Gg
dış yüzü eşit sayıda kenara sahiptir; Bu çağrı sınır kenarları arasında G . (Bu durum, otomatik olarak tutan g olduğunu bile, eğer g garip, G, sınırlı yüzlerin bir çift sayıda olması gerekir.)GGggG
sınır kenarlarını eşleştirmek mümkündür , böylece G'deki herhangi bir sınır kenarından eşine olan mesafe en az g olur . Bu durum aslında yeterli değil; burada ihtiyaç duyulan kesin durum belirsizdir.GGg
g
G′gGGG′G′g
Gddg1/d+1/g<1/2