Graham-Pollak teoremi - Graham–Pollak theorem

Tam grafiğin kenarlarının bölünmesi ${ displaystyle K_ {6}}$ beş tam iki taraflı alt grafiğe: ${ displaystyle K_ {2,2}}$ (Açık kırmızı), ${ displaystyle K_ {2,3}}$ (açık mavi), ${ displaystyle K_ {1,3}}$ (sarı) ve iki nüsha ${ displaystyle K_ {1,1}}$ (koyu kırmızı ve koyu mavi). Graham-Pollak teoremine göre, beşten az tam iki taraflı alt grafiğe bölünme mümkün değildir.

İçinde grafik teorisi, Graham-Pollak teoremi bir ${ displaystyle n}$-vertex tam grafik daha azına bölünemez ${ displaystyle n-1}$ tam iki parçalı grafikler.^[1] İlk olarak tarafından yayınlandı Ronald Graham ve Henry O. Pollak 1971 ve 1972'deki iki makalede, telefon anahtarlama devresine bir uygulama ile bağlantılı olarak.^[2][3]

Teorem, o zamandan beri iyi bilinir hale geldi ve grafik teorisinde tekrar tekrar çalışıldı ve genelleştirildi, çünkü kısmen cebirsel grafik teorisi.^{[4][5][6][7][8]} Daha güçlü, Aigner ve Ziegler (2018) bütün ispatların bir şekilde dayandığını yaz lineer Cebir: "Bu sonuç için hiçbir kombinasyonel kanıt bilinmemektedir".^[1]

Optimal bir bölümün oluşturulması

Tam olarak bir bölüm ${ displaystyle n-1}$ tam iki parçalı grafikleri elde etmek kolaydır: sadece köşeleri sıralayın ve sonuncusu hariç her köşe için bir star sıradaki tüm sonraki köşelere bağlanır.^[1] Diğer bölümler de mümkündür.

Optimalliğin kanıtı

Graham-Pollak teoreminin kanıtı Aigner ve Ziegler (2018) (takip etme Tverberg 1982 ) bir gerçek değişken ${ displaystyle x_ {i}}$ her köşe için ${ displaystyle v_ {i} V}$, nerede ${ displaystyle V}$ grafikteki tüm köşelerin kümesini gösterir. Bırakın sol ve sağ tarafları ${ displaystyle k}$inci iki parçalı grafiğin gösterilmesi ${ displaystyle L_ {k}}$ ve ${ displaystyle R_ {k}}$sırasıyla ve herhangi bir set için ${ displaystyle S}$ Köşelerin sayısı ${ displaystyle X (S)}$ içindeki köşeler için değişkenlerin toplamı olmak ${ displaystyle S}$:

${ displaystyle X (S) = sum _ {v_ {i} S} x_ {i}.}$

Daha sonra, bu gösterim açısından, iki parçalı grafiklerin tüm grafiğin kenarlarını böldüğü gerçeği, denklem olarak ifade edilebilir.

${ displaystyle toplam _ {i$

Şimdi düşünün doğrusal denklem sistemi bu ayarlar ${ displaystyle X (V) = 0}$ ve ${ displaystyle X (L_ {k}) = 0}$ her biri için ${ displaystyle k}$. Bu denklem sistemine herhangi bir çözüm, doğrusal olmayan denklemlere de uyacaktır.

${ displaystyle { begin {align} 0 & = X (V) ^ {2} = { Bigl (} sum _ {i} x_ {i} { Bigr)} ^ {2} & = { Bigl (} sum _ {i} x_ {i} ^ {2} { Bigr)} + ​​{ Bigl (} 2 sum _ {i$

Ancak, gerçek değişkenlerin karelerinin toplamı, yalnızca tüm tek tek değişkenler sıfırsa sıfır olabilir; bu, doğrusal denklemler sisteminin önemsiz çözümüdür. ${ displaystyle n-1}$ tam iki parçalı grafikler, denklem sistemi daha azına sahip olacaktır ${ displaystyle n}$ denklemler ${ displaystyle n}$ bilinmeyenler ve önemsiz bir çözüme, bir çelişkiye sahip olacaktır. Bu nedenle, tam iki taraflı grafiklerin sayısı en az ${ displaystyle n-1}$.^[1][4]

İlgili sorunlar

Mesafe etiketleme

Graham ve Pollak daha genel bir çalışma yapıyor grafik etiketleme Bir grafiğin köşelerinin eşit uzunlukta "0", "1" ve "✶" karakterlerinden oluşan dizelerle etiketlenmesi gerektiği, herhangi iki köşe arasındaki mesafenin dizi konumlarının sayısına eşit olacağı bir sorun burada bir köşe 0 ile ve diğeri 1 ile etiketlenir. "✶" karakterleri içermeyen böyle bir etiketleme bir izometrik gömme içine hiperküp, yalnızca grafiklerle mümkün olan kısmi küpler Graham ve Pollak makalelerinden birinde "✶" karakterlerinin "ezilmiş bir küp" içine gömülmesine izin veren bir etiketleme diyorlar.^[3]

Etiket dizilerinin her bir konumu için, iki bölümün bir tarafının o konumda 0 ile etiketlenmiş köşelerden oluştuğu ve diğer tarafın "label etiketli köşeler hariç" 1 ile etiketlenmiş köşelerden oluştuğu tam bir ikili grafik tanımlanabilir. ". Grafiğin tamamı için, her iki köşe birbirinden uzaktadır, bu nedenle her kenar tam olarak bu tam grafiklerden birine ait olmalıdır. Bu şekilde, tam grafik için bu türden bir etiketleme, bölümdeki grafiklerin sayısına karşılık gelen etiketlerin uzunluklarıyla birlikte, kenarlarının tam iki parçalı grafiklere bölünmesine karşılık gelir.^[3]

Alon – Saks – Seymour varsayımı

Noga Alon, Michael Saks, ve Paul Seymour 1990'ların başında, eğer doğruysa, Graham-Pollak teoremini önemli ölçüde genelleştirecek bir varsayım formüle etti: kromatik sayı ${ displaystyle k + 1}$ kenarları tam iki parçalı alt grafiklere bölünmüştür, en azından ${ displaystyle k}$ alt grafiklere ihtiyaç vardır. Eşit bir şekilde, varsayımları, kenar ayrık birliklerinin ${ displaystyle k}$ tam iki parçalı grafikler her zaman en fazla ${ displaystyle k + 1}$ renkler. Bu varsayım, 2012'de Huang ve Sudakov tarafından çürütüldü ve bunlar, kenar ayrık birlikleri olarak oluşturulmuş grafik aileleri oluşturdular. ${ displaystyle k}$ tam çift taraflı grafikler ${ displaystyle Omega (k ^ {6/5})}$ renkler.^[9]

Biklik bölme

Biklik bölümleme problemi, girdi olarak gelişigüzel yönlenmemiş bir grafiği alır ve kenarlarının minimum sayıda tam iki parçalı grafiğe bölünmesini ister. Bu NP-zor, fakat sabit parametreli izlenebilir. En iyisi yaklaşım algoritması sorunla bilinen bir yaklaşım oranı nın-nin ${ displaystyle O (n / log n)}$.^[10][11]

Referanslar