Eğik bölüm - Skew partition - Wikipedia

Bir çarpık bölümü akor grafiği. Bölmenin sol tarafında üst ve alt kısımlar birbirinden ayrılmıştır. Bölmenin sağ tarafında, yukarıdan aşağıya tüm olası kenarlar var ve tamamlayıcısı kesilmiş bir grafik oluşturuyor.

İçinde grafik teorisi, bir çarpık bölüm bir grafiğin bölüm köşelerini iki alt kümeye ayırın, öyle ki indüklenmiş alt grafik iki alt kümeden biri tarafından oluşturulan bağlantı kesildi ve diğer alt grup tarafından oluşturulan indüklenmiş alt grafik, Tamamlayıcı bağlantısız bir grafiğin. Eğik bölümler teoride önemli bir rol oynar mükemmel grafikler.

Tanım

Bir grafiğin çarpık bir bölümü ${ displaystyle G}$ köşelerinin iki alt kümeye bölünmesidir ${ displaystyle X}$ ve ${ displaystyle Y}$ indüklenen alt grafik ${ displaystyle G [X]}$ bağlantısı kesildi ve indüklenen alt grafik ${ displaystyle G [Y]}$ bağlantısız bir grafiğin tamamlayıcısıdır (birlikte bağlantısız). Benzer şekilde, bir grafiğin çarpık bir bölümü ${ displaystyle G}$ köşelerinin bir bölümü ile tanımlanabilir ${ displaystyle G}$ dört alt gruba ${ displaystyle A}$, ${ displaystyle B}$, ${ displaystyle C}$, ve ${ displaystyle D}$, öyle ki hiçbir kenar yok ${ displaystyle A}$ -e ${ displaystyle B}$ ve öyle ki tüm olası kenarlar ${ displaystyle C}$ -e ${ displaystyle D}$ var olmak; böyle bir bölüm için, indüklenen alt grafikler ${ displaystyle G [A fincan B]}$ ve ${ displaystyle G [C fincan D]}$ sırasıyla bağlantısız ve birlikte kesiktir, bu yüzden alabiliriz ${ displaystyle X = A fincan B}$ ve ${ displaystyle Y = C fincan D}$.

Örnekler

Her yol grafiği dört veya daha fazla köşeli, birlikte bağlantısız kümenin bulunduğu eğik bir bölüme sahiptir. ${ displaystyle Y}$ yolun iç kenarlarından biri ve bağlantısı kesilen set ${ displaystyle X}$ bu kenarın her iki yanındaki köşelerden oluşur. Ancak, bir döngü grafiği çarpık bir bölüme sahip olmak için herhangi bir uzunlukta: döngünün hangi alt kümelerinin küme olarak seçildiğinin önemi yok ${ displaystyle X}$tamamlayıcı set ${ displaystyle Y}$ aynı sayıda bağlı bileşene sahip olacağından, ${ displaystyle X}$ bağlantısı kesilmek ve ${ displaystyle Y}$ birlikte bağlantısız olmak.

Bir grafiğin eğik bir bölümü varsa, onun da Tamamlayıcı. Örneğin, yol grafiklerinin tamamlayıcıları çarpık bölümlere sahiptir ve döngü grafiklerinin tamamlayıcıları yoktur.

Özel durumlar

Bir grafiğin bağlantısı kesilmişse, yalnızca üç basit istisna (bir boş grafik, bir kenarı ve üç köşesi olan bir grafik veya bir dört köşe mükemmel eşleşme ) bölmenin birlikte ayrılan tarafının tek bir kenarın uç noktalarından ve bağlantısız tarafın diğer tüm köşelerden oluştuğu çarpık bir bölmeye sahiptir. Aynı nedenden ötürü, bir grafiğin tümlemesinin bağlantısı kesilirse, buna karşılık gelen üç istisna kümesi ile çarpık bir bölüme sahip olması gerekir.^[1]

Bir grafikte klik ayırıcı (kaldırılması kalan köşeleri ayıran bir klik) birden fazla tepe noktasıyla, daha sonra klik içine bölme ve kalan köşeler eğimli bir bölme oluşturur. Bir tepe noktası olan bir klik kesimi, eklem noktası; böyle bir tepe varsa, o zaman az sayıda basit istisna dışında, birlikte bağlantısız tarafın bu tepe noktası ve komşularından birinden oluştuğu çarpık bir bölüm vardır.^[1]

Bir yıldız kesim bir grafikte ${ displaystyle G}$ bir köşe ayırıcı ayırıcı köşelerden birinin diğerlerine bitişik olduğu. Her klik ayırıcı bir yıldız kesimidir. Gerekli olarak, yıldız kesimli bir grafik (birden fazla tepe noktası olan), birlikte bağlantısı kesilmiş alt grafiğin yıldız kesim setindeki köşelerden oluştuğu ve bağlantısı kesilen alt grafiğin kalan tüm köşelerden oluştuğu çarpık bir bölüme sahiptir.^[1]

Bir modül (veya homojen küme) önemsiz olmayan bir alt kümedir ${ displaystyle H}$ köşelerinin ${ displaystyle G}$ öyle ki, her köşe için ${ displaystyle v}$ bu içinde değil ${ displaystyle H}$ya ${ displaystyle v}$ içindeki tüm köşelere bitişiktir ${ displaystyle H}$ ya da hiçbirine. Bir grafik ${ displaystyle G}$ bir modülü var ${ displaystyle H}$ ve onun dışında, tüm köşelere bitişik her iki köşe vardır. ${ displaystyle H}$ ve hiçbirine bitişik olmayan diğer köşeler, o zaman ${ displaystyle G}$ modül dışında komşuları ile birlikte modülde bir tepe noktasından oluşan yıldız kesim setine sahiptir. Öte yandan, bu iki alt kümeden birinin boş olduğu bir modül varsa, o zaman grafiğin bağlantısı kesilir veya birlikte bağlantısı kesilir ve yine (üç basit istisna ile) bir çarpık kesim setine sahiptir.^[1]

Tarih

Çarpık bölümler tarafından tanıtıldı Chvátal (1985), bağlantılı olarak mükemmel grafikler. Chvátal, asgari düzeyde kusurlu bir grafiğin yıldız çizgisine sahip olamayacağını kanıtladı. Önemsiz bir şekilde, bağlantısız grafikler minimum düzeyde kusurlu olamaz ve ayrıca klik ayırıcılar veya modüller içeren grafiklerin minimum düzeyde kusurlu olamayacağı da biliniyordu.^[2] Claude Berge 1960'ların başlarında, mükemmel grafiklerin Berge grafikleri ile aynı olduğunu, indüklenmiş tek döngü olmayan (beş veya daha fazla uzunlukta) veya tamamlayıcısı olmayan grafiklerin ve (çünkü döngülerin ve tamamlayıcılarının çarpık bölümlere sahip olmadığı) -Berge grafiğinde çarpık bir bölüm olabilir. Bu sonuçlardan motive olan Chvátal, minimum kusurlu grafiğin çarpık bir bölüme sahip olamayacağını varsaydı. Birkaç yazar bu varsayımın özel durumlarını kanıtladı, ancak uzun yıllar çözümsüz kaldı.^[3]

Eğriltme bölümleri, Chudnovsky vd. (2006) kanıtlamak için güçlü mükemmel grafik teoremi Berge grafiklerinin gerçekten de mükemmel grafiklerle aynı olduğunu. Chudnovsky vd. Chvátal'ın varsayımını doğrudan kanıtlayamamışlardı, ancak bunun yerine daha zayıf bir sonuç olduğunu kanıtladılar: teoremin asgari bir karşı örneği (eğer varsa) dengeli bir çarpık bölüme sahip olamazdı. indüklenmiş yol bölmenin bir tarafında uç noktalar ve diğer tarafında iç köşeler eşit uzunluktadır. Bu sonuç, kanıtlarında önemli bir lemma oluşturdu ve Chvátal'ın lemmasının tam versiyonu onların teoreminden geliyor.^[4]

Yapısal grafik teorisinde

Eğriltme bölümleri, kullanılan mükemmel grafiklerin yapısal ayrışmasının temel bileşenlerinden birini oluşturur. Chudnovsky vd. (2006) Güçlü mükemmel grafik teoreminin kanıtının bir parçası olarak. Chudnovsky vd. her mükemmel grafiğin ya mükemmel grafiklerin beş temel sınıfından birine ait olduğunu ya da dört çeşit ayrıştırma türünden birini daha basit grafiklere dönüştürdüğünü gösterdi, bunlardan biri eğri bölümdür.

Eğri bölümler kullanan yapısal bir ayrışmanın daha basit bir örneği şu şekilde verilmiştir: Seymour (2006). O her şeyi gözlemliyor karşılaştırılabilirlik grafiği dır-dir tamamlayınız, dır-dir iki parçalı veya çarpık bir bölümü var. Çünkü, eğer bir kısmen sıralı küme ya bir minimum eleman veya bir maksimal eleman, o zaman karşılık gelen karşılaştırılabilirlik grafiği iki bölümlüdür. Sipariş bir Genel sipariş toplamı, ardından ilgili karşılaştırılabilirlik grafiği tamamlanır. Bu iki durumdan hiçbiri ortaya çıkmazsa, ancak ne minimum ne de maksimal olan her öğe diğer tüm öğelerle karşılaştırılabilirse, o zaman ya minimal ve minimal olmayan öğelere bölümleme (birden fazla minimal öğe varsa) ya da maksimal ve maksimal olmayan öğeler (birden fazla maksimal öğe varsa) bir yıldız kesimi oluşturur. Ve kalan durumda, bir unsur var ${ displaystyle x}$ minimum olmayan, maksimum olmayan ve diğer tüm unsurlarla karşılaştırılamayan kısmi düzen; bu durumda, birlikte ayrılan tarafın aşağıdakilere benzer öğelerden oluştuğu eğimli bir bölüm (bir yıldız kesim setinin tamamlayıcısı) vardır. ${ displaystyle x}$ (içermiyor ${ displaystyle x}$ kendisi) ve bağlantısız taraf kalan unsurlardan oluşur.

akor grafikleri benzer türden daha da basit bir ayrıştırmaya sahiptirler: ya tamdırlar ya da bir klik ayırıcıları vardır.Hayward (1985) Benzer bir şekilde, dört veya daha fazla köşeli her bağlı ve birbirine bağlı zayıf akor grafiğinin (indüklenmiş çevrimi olmayan veya uzunluğu dörtten büyük olan bir grafik) bir yıldız kesimine veya tamamlayıcısına sahip olduğunu gösterdi, bunu Chvátal'ın lemması takip ediyor bu tür her grafiğin mükemmel olduğunu.

Algoritmalar ve karmaşıklık

Verilen bir grafiğin çarpık bir bölümü, varsa, şu konumda bulunabilir: polinom zamanı. Bu başlangıçta tarafından gösterildi de Figueiredo vd. (2000) ancak pratik olmayan şekilde uzun bir çalışma süresine sahip ${ displaystyle O (n ^ {101})}$, nerede ${ displaystyle n}$ giriş grafiğindeki köşe sayısıdır. Kennedy ve Reed (2008) çalışma süresini iyileştirdi ${ displaystyle O (n ^ {4} m)}$; İşte ${ displaystyle m}$ giriş kenarlarının sayısıdır.

Bu NP tamamlandı Bir grafiğin, birlikte bağlantısı kesilen tarafın parçalarından birinin bağımsız olduğu eğik bir bölüm içerip içermediğini test etmek için.^[5]Belirli bir grafiğin dengeli bir eğik bölüm içerip içermediğini test etmek, rastgele grafiklerde de NP-tamdır, ancak mükemmel grafiklerde polinom zamanda çözülebilir.^[6]

Notlar

Referanslar