Mükemmel grafik - Perfect graph

Paley grafiği Düzen 9, üç renkle renklendirilmiş ve üç köşeli bir klik gösteren. Bu grafikte ve indüklenen alt grafiklerinin her birinde, kromatik sayı klik numarasına eşittir, bu nedenle mükemmel bir grafiktir.

İçinde grafik teorisi, bir mükemmel grafik bir grafik içinde kromatik sayı herşeyin indüklenmiş alt grafik en büyüğünün sırasına eşittir klik bu alt grafiğin (klik numarası ). Eşdeğer olarak sembolik terimlerle ifade edilen keyfi bir grafik mükemmelse ve ancak herkes için sahibiz .

Mükemmel grafikler birçok önemli grafik ailesini içerir ve ilgili sonuçları birleştirmeye yarar. renklendirmeler ve bu ailelerdeki klikler. Örneğin, tüm mükemmel grafiklerde grafik boyama problemi, maksimum klik sorunu, ve maksimum bağımsız küme problemi hepsi çözülebilir polinom zamanı. Ek olarak, birkaç önemli min-max teoremi kombinatorik, gibi Dilworth teoremi, belirli ilişkili grafiklerin mükemmelliği olarak ifade edilebilir.

Özellikleri

Daha fazla ayrıntı için aşağıdaki bölüme bakın.

Tarih

Kusursuz grafikler teorisi, Tibor Gallai modern dilde şu şekilde yorumlanabilir: Tamamlayıcı bir iki parçalı grafik mükemmel; bu sonuç aynı zamanda basit bir eşdeğeri olarak da görülebilir Kőnig teoremi, ikili grafiklerdeki eşleşmeler ve köşe kapaklarıyla ilgili çok daha önceki bir sonuç. "Kusursuz grafik" ifadesinin ilk kullanımı, 1963 tarihli bir gazetede Claude Berge Berge grafikleri kimden sonra adlandırılır. Bu makalede, Gallai'nin sonucunu mükemmel grafikler tanımlayarak birkaç benzer sonuçla birleştirdi ve mükemmel grafiğin ve Berge grafik tanımlarının eşdeğerliğini varsaydı; onun varsayımı 2002 yılında güçlü mükemmel grafik teoremi.

Mükemmel grafik aileleri

Daha iyi bilinen mükemmel grafiklerden bazıları şunlardır:[1]

Min-max teoremleriyle ilişki

Bir klikteki tüm köşelere herhangi bir uygun renklendirmede farklı renkler atanması gerektiğinden, tüm grafiklerde, klik numarası kromatik sayı için alt sınır sağlar. Mükemmel grafikler, sadece grafiğin kendisinde değil, tüm indüklenmiş alt grafiklerinde bu alt sınırın sıkı olduğu grafiklerdir. Kusursuz olmayan grafikler için kromatik sayı ve klik numarası farklılık gösterebilir; örneğin, beş uzunluklu bir döngü, herhangi bir uygun renklendirmede üç renk gerektirir, ancak en büyük kliği iki boyuta sahiptir.

Bir grafik sınıfının mükemmel olduğunun bir kanıtı, bir min-maks teoremi olarak görülebilir: bu grafikler için gereken minimum renk sayısı, bir kliğin maksimum boyutuna eşittir. Kombinasyondaki birçok önemli min-maks teoremi bu terimlerle ifade edilebilir. Örneğin, Dilworth teoremi bir bölümündeki minimum zincir sayısını belirtir kısmen sıralı küme zincirler halinde bir maksimum boyuta eşittir antikain ve tamamlayıcılarının olduğu şeklinde yeniden ifade edilebilir karşılaştırılabilirlik grafikleri mükemmel. Mirsky teoremi Antikainlere bölünen minimum antikain sayısının bir zincirin maksimum boyutuna eşit olduğunu ve aynı şekilde karşılaştırılabilirlik grafiklerinin mükemmelliğine karşılık geldiğini belirtir.

Mükemmelliği permütasyon grafikleri her sıralı eleman dizisinde, en uzun azalan alt dizi artan alt dizilere bir bölümdeki minimum dizi sayısına eşittir. Erdős-Szekeres teoremi bu ifadenin kolay bir sonucudur.

Kőnig teoremi grafik teorisinde, iki parçalı bir grafikteki minimum köşe kaplamasının, bir maksimum eşleşme ve tam tersi; iki parçalı grafiklerin tamamlayıcılarının mükemmelliği olarak yorumlanabilir. İki taraflı grafiklerle ilgili başka bir teorem, kromatik indeks maksimum derecelerine eşittir, çift taraflı grafiklerin çizgi grafiklerinin mükemmelliğine eşdeğerdir.

Karakterizasyonlar ve mükemmel grafik teoremleri

Mükemmel grafikler üzerine ilk çalışmasında Berge, yapıları üzerine ancak daha sonra kanıtlanan iki önemli varsayımda bulundu.

Bu iki teoremden ilki, mükemmel grafik teoremi nın-nin Lovász (1972), bir grafiğin ancak ve ancak mükemmel olduğunu belirtir. Tamamlayıcı mükemmel. Bu nedenle mükemmellik (indüklenen her alt grafikte maksimum klik boyutu ve kromatik sayının eşitliği olarak tanımlanır) maksimum bağımsız küme boyutu ve klik kapak sayısının eşitliğine eşdeğerdir.

Yedi köşe döngüsü ve tamamlayıcısı, her durumda optimum bir renklendirme ve maksimum bir klik (kalın kenarlarla gösterilmiştir) gösterir. Her iki grafik de kendi klik boyutuna eşit sayıda renk kullanmadığı için mükemmel değildir.

Berge tarafından tahmin edilen ikinci teorem, bir yasak grafik karakterizasyonu mükemmel grafikler. Bir indüklenmiş döngü en azından tek uzunlukta 5 denir garip delik. Tek bir deliğin tamamlayıcısı olan indüklenmiş bir alt grafiğe bir garip antihole. Şundan büyük tek bir uzunluk döngüsü 3 mükemmel olamaz, çünkü kromatik numarası üç ve klik numarası ikidir. Benzer şekilde, tek bir uzunluk döngüsünün tamamlayıcısı 2k + 1 mükemmel olamaz, çünkü kromatik numarası k + 1 ve klik numarası k. (Alternatif olarak, bu grafiğin kusurlu olması, mükemmel grafik teoreminden ve tamamlayıcı tek döngünün kusurundan kaynaklanır). Bu grafikler mükemmel olmadığından, her mükemmel grafik bir Berge grafiği, tuhaf delikler ve tuhaf antiholler içermeyen bir grafik. Berge, her Berge grafiğinin mükemmel olduğu görüşünü tahmin etti. Bu nihayet kanıtlandı güçlü mükemmel grafik teoremi nın-nin Chudnovsky, Robertson, Seymour, ve Thomas (2006). Önemsiz bir şekilde mükemmel grafik teoremini, dolayısıyla adı ima eder.

Mükemmel grafik teoreminin kısa bir kanıtı vardır, ancak güçlü mükemmel grafik teoreminin kanıtı uzun ve tekniktir ve Berge grafiklerinin derin yapısal ayrışmasına dayanır. İlgili ayrıştırma teknikleri, diğer grafik sınıflarının çalışmasında ve özellikle de pençesiz grafikler.

Yine Lovász'a bağlı olarak üçüncü bir teorem vardır. Hajnal. Bir grafiğin, en büyük klik ve en büyük bağımsız kümenin boyutları, birlikte çarpıldığında, grafiğin tepe noktalarının sayısına eşit olması veya aşması durumunda mükemmel olduğunu ve aynı şeyin indüklenmiş alt grafik için de geçerli olduğunu belirtir. Bu, güçlü mükemmel grafik teoreminin kolay bir sonucudur, mükemmel grafik teoremi ise bunun kolay bir sonucudur.

Hajnal karakterizasyonu tuhaf karşılanmadı n-döngüler veya bunların tamamlayıcıları n > 3: garip döngü n > 3 vertices klik numarasına sahiptir 2 ve bağımsızlık numarası (n − 1)/2. Tamamlayıcı için tersi doğrudur, bu nedenle her iki durumda da ürün n − 1.

Mükemmel grafikler üzerinde algoritmalar

Tüm mükemmel grafiklerde grafik boyama problemi, maksimum klik sorunu, ve maksimum bağımsız küme problemi hepsi çözülebilir polinom zamanı (Grötschel, Lovász ve Schrijver 1988 ). Genel durum için algoritma şunları içerir: Lovász numarası (belirli bir grafiğin tamamlayıcısı için) kromatik sayı ve klik numarası arasına sıkıştırılan bu grafiklerden. Lovász sayısının hesaplanması şu şekilde formüle edilebilir: yarı belirsiz program ve sayısal olarak yaklaşık polinom zamanı kullanmak elipsoid yöntemi için doğrusal programlama. Mükemmel grafikler için, bu yaklaşımı bir tam sayıya yuvarlamak, polinom zamanında kromatik sayı ve klik sayısını verir; maksimum bağımsız küme, grafiğin tümleyicisine aynı yaklaşım uygulanarak bulunabilir, ancak bu yöntem karmaşıktır ve yüksek bir polinom üssüne sahiptir. Birçok özel durum için daha verimli kombinatoryal algoritmalar bilinmektedir.

Uzun yıllar Berge grafiklerini ve mükemmel grafikleri tanımanın karmaşıklığı açık kaldı. Berge grafiklerinin tanımından, tanınmalarının ortak NP (Lovász 1983). Son olarak, güçlü mükemmel grafik teoreminin ispatının ardından, bir polinom zaman algoritması Chudnovsky, Cornuéjols, Liu, Seymour ve Vušković tarafından keşfedildi.

Referanslar

  1. ^ West, Douglas Brent, yazar. (2017-02-14). Grafik teorisine giriş. ISBN  9780131437371. OCLC  966410137.CS1 Maint: birden çok isim: yazarlar listesi (bağlantı)

Dış bağlantılar