Minimum çevrimlerin çift kenarlı bir kapak oluşturacağı şekilde


10

Let . Basit grafikler oluşturmak için gereken G bölgesinin çevresi g gibi tüm grubu olduğu gr formları bir çift kenar kapak -cycles G (her kenar tarafından paylaşılır tam olarak iki g -cycles) ve bu şekilde herhangi iki kesişme g- döngüleri bir tepe noktası, bir kenar veya boştur. Oluşturulan grafikler keyfi olarak büyük olmalıdır.g3GggGgg

Üretim yönteminin rastgele olması gerekir, ancak önemsiz bir anlamda olmamalıdır. Oldukça karmaşık grafikler elde etmek istiyorum. Örneğin , düzlemde dikdörtgen bir ızgara düşünün . Sınırlayıcı dikdörtgenin karşıt taraflarını belirlersek, g = 4 için yukarıdaki gereksinimlerin tümünü karşılayan bir grafik elde ederiz . Bu grafiği basit olarak nitelendiririm.n×mg=4

Böyle bir yöntem var mı?

Benzer sorunlara yapılan göndermeler de takdir edilmektedir.


3
Yani döngüleri grafiğin bir yüzeye çok yüzlü gömülmesinin yüzleri olsun ister misiniz ? (Gömmenin her yüzü bir g
diskse

@ Jɛ ff E Evet. Eğer tüm -cycles yüzleri olması garanti edilir ve tüm yüzler olması garanti g , -cycles sonra eşdeğer bir açıklama olduğunu. gg
becko

@ Jɛ ff E Farklı 4 düzenli grafikleri ve onların çok yüzlü düğünlerini nerede bulabileceğimi biliyor musunuz? Büyük grafikler olmak zorunda değiller, ancak bahsettiğim özelliklerin yanı sıra istediğim özellikleri karşılayan diğer grafikleri görmek istiyorum. Bu cevap sayesinde çok yüzlü gömülebilirliğe karar vermenin NP-tamamlanmış olduğunu da biliyorum . Buna rağmen, varsa çok yüzlü bir gömme bulan bir algoritma bilmek istiyorum. Böyle bir algoritmayı açıklayan herhangi bir kaynak / kağıt / ... biliyor musunuz?
becko

4 düzenli grafik ve çok yüzlü düğünler arasında bir bağlantı var mı? birisinin bunun açıklaması var mı? yıl önce rastgele düzenli grafikler üreten makaleleri aradım, birkaç tane var, bu nedenle bu soruyu normal grafikler açısından yeniden ifade edebiliyorsanız, daha fazla olasılık ortaya çıkabilir.
vzn

@vzn Diyelim ki Jeff'in önerdiği gibi çok yüzlü bir yerleştirme var. Tüm yüzler döngüleri. Bu gömme işleminden elde edilen ikili grafik g- düzenli şeklindedir. Belki de bu tersine çevrilebilir: g- düzenli bir grafikle başlayın ve ikilisini bir şekilde bulun. Aklımda olan buydu. ggg
becko

Yanıtlar:


4

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

GgGGGGg

Gddg1/d+1/g<1/2


Ayrıca, bu yapıdan elde ettiğiniz grafikler genişleticilerdir.
Jeffε

g

Bir nedir genişletici grafiği?
becko

1
@becko, sormadan önce Google gerekir :) en.wikipedia.org/wiki/Expander_graph
Kaveh

@Kaveh Tamam. Üzgünüm o :) cevapsız
Becko
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.