Grafiğe kenar eklerken en kısa kaç uzaklık değişir?


22

Let bir tam, ağırlıklı, yönsüz çizge. İkinci bir grafik oluşturmak kenarları tek tek ekleyerek için . Toplamda kenarlarını ye ekliyoruz .G = ( V , E ) E E Θ ( | V | ) G G=(V,E)G=(V,E)EEΘ(|V|)G

ye bir kenar eklediğimiz her zaman , ve içindeki tüm çiftler arasındaki en kısa mesafeleri göz önünde bulundururuz . Ekleme sonucu bu en kısa mesafelerin kaç tanesinin değiştiğini sayıyoruz . Let kısa mesafelerin sayı değişim biz eklerken inci kenar ve izin biz toplam ekleme kenarların sayısını olabilir.E ' ( V , E ' ) ( V , E '{ ( u , v ) } ) ( u , v ) Cı- ı i , n(u,v)E(V,E)(V,E{(u,v)})(u,v)Ciin

ne kadar büyük ?C=iCin

Şöyle , de. Bu sınır iyileştirilebilir mi? , eklenen tüm kenarların üzerinde bir ortalama olarak tanımladığımı unutmayın; bu nedenle, birçok mesafenin değiştiği tek bir tur, olduğunu kanıtlasa da ilginç değildir .C = O ( n, 2 ) Cı- C = Ω ( n )Ci=O(|V|2)=O(n2)C=O(n2)CC=Ω(n)

I çalışmaları bu iştahla geometrik t-anahtar hesaplanması için bir algoritma sahip bu durumda, zaman olduğu ise, benim algoritması, daha hızlı orijinal hırslı algoritmasına göre ve olduğu gerçekten küçük, potansiyel olarak en iyi bilinen algoritmadan daha hızlı (bundan şüphem olsa da).C o ( n 2 ) CO(Cnlogn)Co(n2)C

İyi bir sınırlamaya yardımcı olabilecek probleme özgü bazı özellikler: eklenen kenar her zaman grafikte zaten bulunan herhangi bir kenardan daha büyük ağırlığa sahiptir (kesinlikle kesinlikle daha büyük değildir). Ayrıca, ağırlığı, ve arasındaki en kısa yoldan daha kısadır .u v(u,v)uv

Köşelerin bir 2d düzlemindeki noktalara karşılık geldiğini ve köşeler arasındaki mesafelerin bu noktalar arasındaki Öklid mesafeleri olduğunu varsayabilirsiniz. Yani, her köşe , düzlemdeki bir noktaya karşılık gelir ve bir kenar için ağırlığı, değerine eşittir.( x , y ) ( u , v ) = ( ( x 1 , y 1 ) , ( x 2 , y 2 ) ) v(x,y)(u,v)=((x1,y1),(x2,y2))(x2x1)2+(y2y1)2.


2
İki kenarlı bir yola bağlı iki klibi alın. Doğrudan clique arasına bir kenar eklemek , en kısa yolların değerini kısaltır . Ω(n2)
Louis

1
@Louis: evet, tek bir kenarın çok fazla mesafenin değişmesine neden olduğu örnekler var, ancak eklediğiniz her kenar için veya en azından çoğu için bunun gerçekleştiği grafikler var mı? İşte bu yüzden, bütün kenarlarda ortalama olarak tanımlamıştım :)C
Alex ten Brink

1
Bu grafikte eklenebilecek kenarların çoğu, tarif ettiğim tipte ...
Louis

@Louis Doğru. Cliques, kenarlarını içeriyor, ancak grafiğe ekleyeceğimden daha fazla. O(n2)
Alex ten Brink

Daha önce de aynı problem yaşamaya başladım, ancak grafiğim ile çok seyrek grafiklerdi ve ortalama değişikliklerin O (1) olduğunu kanıtlamam gerekirdi ama bunu yapamadım :-). Ancak sizin durumunuz için bununla APSP'nin çözümü arasında bir ilişki bulursanız bazı sonuçlar alabileceğinizi düşünüyorum. |E|=O(|V|)

Yanıtlar:


19

düğümleri, n kenarları ve sert bir şekilde seçilen ağırlıkları olan aşağıdaki doğrusal zinciri göz önünde bulundurun :n+1n

örnek
[ kaynak ]

nO(|V|)(ui,bj)i,j=1,,kkn4nΘ(|V|)Θ(|V|)Θ(|V|2)

n+2uk1bk1(u1,b1)Θ(|V|3)

(c1,c2)ni=1ni2Θ(n3)=Θ(|V|3)


1
Bu gerçekten işe yarıyor ve ayrıca, örneğiniz Öklid olmak için biraz değişebilir. Thanks :)
Alex ten Brink
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.