Dış düzlemsel grafik - Outerplanar graph - Wikipedia

Maksimal bir dış düzlemsel grafik ve onun 3-rengi.
tam grafik K4 dış düzlemsel olmayan en küçük düzlemsel grafiktir.

İçinde grafik teorisi, bir dış düzlemsel grafik olan bir grafiktir düzlemsel çizim tüm köşelerin çizimin dış yüzüne ait olduğu.

Dış düzlemsel grafikler karakterize edilebilir (benzer şekilde Wagner teoremi düzlemsel grafikler için) ikisinden yasak küçükler K4 ve K2,3veya onların Colin de Verdière grafik değişmezleri Hamilton döngülerine ancak ve ancak iki bağlantılı olmaları durumunda sahip olurlar, bu durumda dış yüz benzersiz Hamilton döngüsünü oluşturur. Her dış düzlemsel grafik 3 renklidir ve yozlaşma ve ağaç genişliği en fazla 2.

Dış düzlemsel grafikler, düzlemsel grafikler alt grafikleri seri paralel grafikler, ve daire grafikler. maksimal dış düzlemsel grafikler, dış düzlemselliği korurken daha fazla kenar eklenemeyenler de akor grafikleri ve görünürlük grafikleri.

Tarih

Dış düzlemsel grafikler ilk olarak incelenmiş ve adlandırılmıştır. Chartrand ve Harary (1967), bir kullanarak oluşturulan grafiklerin düzlemselliğini belirleme problemi ile bağlantılı olarak mükemmel eşleşme bir temel grafiğin iki kopyasını bağlamak için (örneğin, genelleştirilmiş Petersen grafikleri bu şekilde iki nüshadan oluşur döngü grafiği ). Gösterdikleri gibi, temel grafik çift ​​bağlantılı Bu şekilde oluşturulmuş bir grafik, ancak ve ancak taban grafiği dış düzlemse ve eşleşen bir dihedral dış döngüsünün permütasyonu. Chartrand ve Harary aynı zamanda Kuratowski teoremi dış düzlemsel grafikler için, bir grafiğin sadece ve ancak bir alt bölüm iki grafikten birinin K4 veya K2,3.

Tanım ve nitelendirmeler

Dış düzlemsel bir grafik bir yönsüz grafik Bu olabilir çizilmiş içinde uçak olmadan geçişler öyle ki, tüm köşeler çizimin sınırsız yüzüne ait olacak. Yani hiçbir tepe noktası tamamen kenarlarla çevrili değildir. Alternatif olarak, bir grafik G grafik şundan oluşmuşsa dış düzlemdir G tüm diğer köşelere bağlanan kenarları olan yeni bir köşe ekleyerek, düzlemsel grafik.[1]

Bir maksimal dış düzlemsel grafik dış düzlemselliği korurken ek kenarlara sahip olamayan bir dış düzlemsel grafiktir. Her maksimal dış düzlemsel grafik n vertices tam olarak 2'ye sahiptirn - 3 kenar ve bir maksimal dış düzlemsel grafiğin her sınırlı yüzü bir üçgendir.

Yasak grafikler

Dış düzlemsel grafiklerde bir yasak grafik karakterizasyonu benzer Kuratowski teoremi ve Wagner teoremi düzlemsel grafikler için: bir grafik, ancak ve ancak bir alt bölüm of tam grafik K4 ya da tam iki parçalı grafik K2,3.[2] Alternatif olarak, bir grafik dış düzlemdir, ancak ve ancak K4 veya K2,3 olarak minör kenarları silerek ve daraltarak elde edilen bir grafik.[3]

Bir üçgensiz grafik dış düzlemdir, ancak ve ancak bir altbölümü içermiyorsa K2,3.[4]

Colin de Verdière değişmez

Bir grafik dış düzlemdir ancak ve ancak Colin de Verdière grafik değişmez en fazla iki. Colin de Verdière değişmezinin en fazla bir, üç veya dördünde benzer şekilde karakterize edilen grafikler sırasıyla doğrusal ormanlardır, düzlemsel grafikler, vebağlantısız yerleştirilebilir grafikler.

Özellikleri

Biyolojik bağlantı ve Hamiltonisite

Dış düzlemsel bir grafik iki bağlantılı ancak ve ancak grafiğin dış yüzü bir basit döngü tekrarlanan köşeler olmadan. Dış düzlemsel bir grafik Hamiltoniyen ancak ve ancak iki bağlantılıysa; bu durumda, dış yüz benzersiz Hamilton döngüsünü oluşturur.[5] Daha genel olarak, bir dış düzlemsel grafikteki en uzun döngünün boyutu, en büyük döngünün köşelerinin sayısıyla aynıdır. çift ​​bağlantılı bileşen. Bu nedenle dış düzlemsel grafiklerde Hamilton döngülerini ve en uzun döngüleri bulmak şu şekilde çözülebilir: doğrusal zaman, aksine NP-tamlık rasgele grafikler için bu problemlerden.

Her maksimal dış düzlemsel grafik, Hamiltonicity'den daha güçlü bir koşulu karşılar: düğüm pansiklik yani her köşe için v ve hepsi k grafikteki üç ila köşe sayısı aralığında bir uzunluk vardır.k döngü içeren v. Bu uzunlukta bir döngü, grafiğin geri kalanına tek bir kenarla bağlanan bir üçgeni, çıkarılan tepe noktası olmayacak şekilde tekrar tekrar kaldırarak bulunabilir. v, kalan grafiğin dış yüzü uzunluğa sahip olana kadar k.[6]

Bir düzlemsel grafik, ancak ve ancak çift bağlantılı bileşenlerinin her biri dış düzlemse dış düzlemdir.[4]

Boyama

Tüm döngüsüz dış düzlemsel grafikler renkli yalnızca üç renk kullanarak;[7] bu gerçek, basitleştirilmiş ispatında belirgin bir şekilde Chvátal's sanat galerisi teoremi tarafından Fisk (1978). 3 renk bulunabilir. doğrusal zaman tarafından açgözlü boyama herhangi bir tepe noktasını kaldıran algoritma derece en fazla iki, kalan grafiği yinelemeli olarak renklendirir ve ardından iki komşusunun renklerinden farklı bir renkle çıkarılan tepe noktasını geri ekler.

Göre Vizing teoremi, kromatik indeks herhangi bir grafiğin (bitişik iki kenarın aynı renge sahip olmaması için kenarlarını renklendirmek için gereken minimum renk sayısı) ya maksimum derece grafiğin herhangi bir tepe noktasının veya bir artı maksimum derece. Bununla birlikte, bağlantılı bir dış düzlemsel grafikte, kromatik indeks, grafiğin bir form oluşturması dışında maksimum dereceye eşittir. döngü garip uzunlukta.[8] Optimal sayıda renge sahip bir kenar renklendirmesi, bir enine geçiş zayıf ikili ağacın.[7]

Diğer özellikler

Dış düzlemsel grafiklerde yozlaşma en fazla iki: bir dış düzlemsel grafiğin her alt grafiği, en fazla iki derece olan bir tepe noktası içerir.[9]

Dış düzlemsel grafiklerde ağaç genişliği en fazla iki, bu da birçok grafik optimizasyon probleminin NP tamamlandı keyfi grafikler için çözülebilir polinom zamanı tarafından dinamik program girdi dış düzlem olduğunda. Daha genel olarak, k-outerplanar grafiklerin ağaç genişliği O (k).[10]

Her dış düzlemsel grafik bir kavşak grafiği düzlemde eksen hizalı dikdörtgenler olduğundan, dış düzlemsel grafiklerde kutsılık en fazla iki.[11]

İlgili grafik aileleri

Bir kaktüs grafiği. Kaktüsler, dış düzlemsel grafiklerin bir alt sınıfını oluşturur.

Her dış düzlemsel grafik bir düzlemsel grafik Her dış düzlemsel grafik aynı zamanda bir seri paralel grafik.[12] Ancak, tüm düzlemsel seri-paralel grafikler dış düzlemsel değildir. tam iki parçalı grafik K2,3 düzlemsel ve seri-paraleldir ancak dış düzlemsel değildir. Öte yandan, tam grafik K4 düzlemseldir ancak ne seri paralel ne de dış düzlemseldir. Her orman ve hepsi kaktüs grafiği dış düzlemdir.[13]

zayıf düzlemsel ikili Gömülü bir dış düzlemsel grafiğin grafiği (gömülmenin her sınırlı yüzü için bir tepe noktası ve her bitişik sınırlı yüz çifti için bir kenarı olan grafik) bir ormandır ve bir ormandır ve zayıf düzlemsel ikili Halin grafiği bir dış düzlemsel grafiktir. Düzlemsel bir grafik, ancak ve ancak zayıf ikili bir ormansa dış düzlemdir ve ancak ve ancak zayıf çifti çift bağlantılı ve dış düzlem ise Halin'dir.[14]

Bir dış düzlemsellik derecesi kavramı vardır. Bir grafiğin 1-dış düzlemsel gömülmesi, bir dış düzlemsel gömme ile aynıdır. İçin k > 1 düzlemsel gömme olduğu söyleniyor k-düzlemsel dış yüzdeki köşelerin kaldırılması bir (k - 1) -outerplanar gömme. Bir grafik k-outerplanar eğer varsa k-outerplanar gömme.[15]

Bir dış 1 düzlemsel grafik benzer şekilde 1-düzlemsel grafikler köşeler diskin sınırında olacak şekilde ve kenar başına en fazla bir kesişme ile bir diskte çizilebilir.

Her maksimal dış düzlemsel grafik bir akor grafiği. Her maksimal dış düzlemsel grafik, görünürlük grafiği bir basit çokgen.[16] Maksimal dış düzlemsel grafikler de aşağıdaki grafiklerin grafikleri olarak oluşturulur. çokgen üçgenlemeler. Örneklerdir 2 ağaç, nın-nin seri paralel grafikler ve akor grafikleri.

Her dış düzlemsel grafik bir daire grafiği, kavşak grafiği bir daire akorları kümesi.[17]

Notlar

Referanslar

Dış bağlantılar