Artırılmış harita - Augmented map

İçinde bilgisayar Bilimi, artırılmış harita^[1] bir soyut veri türü (ADT) siparişe göre haritalar, her sıralı haritayı bir artırılmış değer. Sıralı bir harita için ${ displaystyle m}$ anahtar tipi ile ${ displaystyle K}$, karşılaştırma işlevi ${ displaystyle <_ {K}}$ açık ${ displaystyle K}$ ve değer türü ${ displaystyle V}$, artırılmış değer iki işleve göre tanımlanır: a temel işlevi ${ displaystyle g: K times V mapsto A}$ ve bir birleştirmek işlevi ${ displaystyle f: A times A mapsto A}$, nerede ${ displaystyle A}$ artırılmış değerin türüdür. Temel işlev ${ displaystyle g}$ tek bir girişi şuraya dönüştürür ${ displaystyle m}$ artırılmış bir değere ve birleştirme işlevine ${ displaystyle f}$ birden çok artırılmış değeri birleştirir. Birleştirme işlevi ${ displaystyle f}$ olması gerekiyor ilişkisel ve bir Kimlik ${ displaystyle I}$ (yani ${ displaystyle A, f, I}$ oluşturur monoid ). İlişkisel işlevin tanımını genişletiyoruz ${ displaystyle f}$ aşağıdaki gibi:

${ displaystyle f ( boş küme) = I}$${ displaystyle f (a) = a}$${ displaystyle f (a_ {1}, a_ {2},  noktalar, a_ {n}) = f (f (a_ {1}, a_ {2},  noktalar, a_ {n-1}), a_ {n})}$

Ardından sıralı bir haritanın artırılmış değeri ${ displaystyle m = {(k_ {1}, v_ {1}), (k_ {2}, v_ {2}), noktalar (k_ {n}, v_ {n}) }}$ aşağıdaki gibi tanımlanır:

${ displaystyle A (m) = f (g (k_ {1}, v_ {1}), g (k_ {2}, v_ {2}),  noktalar, g (k_ {n}, v_ {n} ))}$

Buna göre, artırılmış bir harita resmi olarak yedi tuple olarak tanımlanabilir ${ displaystyle mathbb {AM} (K, <_ {K}, V, A, g, f, I)}$. Örneğin, üzerinde artırılmış değerin haritadaki tüm değerlerin toplamı olarak tanımlandığı integral anahtarları ve değerleri olan bir artırılmış harita şu şekilde tanımlanır:

${ displaystyle M_ {1} =  mathbb {AM} ( mathbb {Z}, <_ { mathbb {Z}},  mathbb {Z},  mathbb {Z}, (k, v)  mapsto v , + _ { mathbb {Z}}, 0)}$

Soyut bir veri türü olarak, artırılmış harita genellikle sorunları modellemek için kullanılır ve kullanışlı bir arayüzle bir soyutlama işlevi görür. Hızlı aralık toplamlarını desteklemek için tasarlanmıştır; bu, belirli bir anahtar aralığındaki tüm girişlerin artırılmış değerini hızla döndürmek anlamına gelir.

Arayüz

Standart sıralı bir harita için arayüze ek olarak, artırılmış harita, aralık toplamları için işlevleri de desteklemelidir. Özellikle:

• aug_left${ displaystyle (m, k)}$: içindeki tüm girişlerin artırılmış değerini döndürür ${ displaystyle m}$ en fazla anahtarla ${ displaystyle k}$.
• aug_right${ displaystyle (m, k)}$: içindeki tüm girişlerin artırılmış değerini döndürür ${ displaystyle m}$ en az anahtarlarla ${ displaystyle k}$.
• aug_left${ displaystyle (m, k_ {1}, k_ {2})}$: içindeki tüm girişlerin artırılmış değerini döndürür ${ displaystyle m}$ aralıktaki anahtarlarla ${ displaystyle [k_ {1}, k_ {2}]}$.
• aug_val${ displaystyle (m)}$: içindeki tüm girişlerin artırılmış değerini döndürür ${ displaystyle m}$.

Bazı işlevler, artırılmış değerlere dayalı olarak tanımlanmamış olsalar da, algoritmalarını hızlandırmak için artırılmış değerleri kullanabilir. Genellikle, artırılmış haritaların belirli bir temsilini ve girdi parametreleri için belirli koşulları gerektirirler.

• aug_filter${ displaystyle (m, h)}$: içindeki tüm girişleri döndürür ${ displaystyle m}$ göstergeyi tatmin etmek ${ displaystyle h: A mapsto { text {bool}}}$. Yalnızca şu durumlarda uygulanabilir ${ Displaystyle h (a) vee h (b) Leftrightarrow h (f (a, b))}$. Bu durumda, aug_filter işlevi filtre ile eşdeğerdir${ displaystyle m, h '}$, nerede ${ displaystyle h ': K times V mapsto { text {bool}}}$ ve ${ displaystyle h (g (k, v)) Leftrightarrow h '(k, v)}$. Artırılmış harita, artırılmış ağaçlar kullanılarak uygulandığında, bu işlev asimptotik olarak naif uygulamadan daha verimli bir şekilde uygulanabilir.
• aug_project${ displaystyle (g ', f', m, k_ {1}, k_ {2})}$: İadeler ${ displaystyle g '(aug _range (m, k_ {1}, k_ {2}))}$. Buraya ${ displaystyle g ': A mapsto B}$, ${ displaystyle f ': B times B mapsto B}$. Gerektirir ${ displaystyle (B, f ', g' (I))}$ biri olmak monoid ve ${ Displaystyle f '(g' (a), g '(b)) = g' (f (a, b))}$. Bu işlev, artırılmış değerler

kendileri haritalar veya diğer büyük veri yapılarıdır. Artırılmış değerlerin başka bir türe yansıtılmasına izin verir. ${ displaystyle g '}$ (örneğin, karmaşık yapılara sahip artırılmış değerleri boyutları gibi değerlere yansıtın) sonra bunları şu şekilde toplayın: ${ displaystyle f '}$ve uygulanabilir olduğunda çok daha etkilidir.

Uygulama

Artırılmış Ağaçlar

Artırılmış harita, her bir ağaç düğümü, alt ağacındaki tüm girişlerin artırılmış değeriyle artırıldığı, artırılmış ağaçlarla verimli bir şekilde desteklenebilir. Yüzünden birliktelik birleştirme işlevinin ${ displaystyle f}$, belirli bir ağacın artırılmış değeri sabittir ve dönüşlerden bağımsız olarak ağacın şeklinden bağımsızdır. Bu durumda, ağaç düğümlerindeki kısmi toplamları birleştirerek, herhangi bir aralık toplamı, ${ displaystyle O ( log n)}$ artırılmış boyut haritasındaki süre ${ displaystyle n}$, her ikisini de varsayarsak ${ displaystyle f}$ ve ${ displaystyle g}$ aug_filter için ağaç yapısı, bir alt ağacın artırılmış değerinin göstergeyi karşılamaması durumunda ${ displaystyle h}$tüm ağaç atılır. Bu durumda, aug_filter maliyeti ${ displaystyle O (k log (1 + { frac {n} {k}})}$ nerede ${ displaystyle k}$ çıktı boyutudur. aug_project için, tam bir alt ağacın aralık içine düştüğü ${ displaystyle [k_ {1}, k_ {2}]}$, ağacın üstünden geçilmesini gerektirmek yerine, artırılmış değeri doğrudan sonuçla birleştirilebilir.

Önek Yapıları

Diğer bir uygulama, önek yapılarını kullanmaktır,^[2] Haritanın tüm öneklerinin artırılmış değerini depolayan. Yukarıda tanımlanan artırılmış harita için ${ displaystyle M_ {1}}$, önek yapısı, değerlerin önek toplamını anahtarlarına göre sıralanan bir dizidir. Önek yapıları özellikle aug_left için kullanışlıdır, ancak artırılmış harita arayüzünde diğer işlevleri uygulamak için yetersiz olabilir. Bazı geometrik algoritmalarda faydalı olabilir.

Örnek Uygulama

1D bıçaklı sorgu

1B bıçaklı bir sorgu, 1B sayı doğrusunda bir dizi aralık girdi olarak alır. Sorgu, belirli bir noktanın herhangi bir giriş aralığı tarafından mı yoksa bu noktayı kapsayan tüm aralıklarla mı kapsanacağını sorar. Bu problem için, anahtarların tüm aralıkların sol uç noktaları, değerlerin karşılık gelen sağ uç noktalar olduğu ve artırılmış değerin haritadaki tüm sağ uç noktaların maksimum değeri olduğu bir artırılmış harita tanımlanabilir. Daha resmi:

${ displaystyle M_ {aralık} = ( mathbb {R}, <_ { mathbb {R}},  mathbb {R},  mathbb {R}, (k, v)  mapsto v, { text { max}} _ { mathbb {R}}, -  infty)}$

Herhangi bir aralığın belirli bir noktayı kapsayıp kapsamadığını bildirmek için ${ displaystyle p}$, sorgu algoritması basitçe aug_left'in${ displaystyle (p)> p}$. Bunun nedeni, aug_left'in daha önce başlayan tüm aralıklara bakmasıdır. ${ displaystyle p}$ve aralarında maksimum sağ uç nokta aşarsa ${ displaystyle p}$, sonra ${ displaystyle p}$ büyütülmüş ağaçlarla uygulandığında, büyütülmüş harita ${ displaystyle M _ { text {aralık}}}$ tam olarak bir aralık ağacı. Böyle bir artırılmış ağaç yapısı inşa etmek iş maliyeti ${ displaystyle O (n log n)}$, ${ displaystyle O ( log n)}$ paralel derinlik ve ${ displaystyle O (n)}$ Uzay. Her bıçaklama sorgusu zamanında yapılabilir ${ displaystyle O ( log n)}$.

2D aralık sorgusu

Bir 2B aralık sorgusu, giriş olarak 2 boyutta bir dizi nokta alır. Sorgu, kenarları eksene paralel olan belirli bir dikdörtgendeki tüm noktaları (veya sayıyı) sorar. İki seviyeli iç içe geçmiş bir harita yapısı olan bu problem için artırılmış bir harita tanımlanabilir. Dış harita tüm noktaları saklar ve bunları x koordinatlarına göre sıralar. Dış haritanın artırılmış değeri, dış haritayla aynı nokta kümesini depolayan, ancak bunları y koordinatlarına göre sıralayan bir iç artırılmış harita yapısıdır. İç ağaçların büyütülmesi, nokta sayısını biriktirir, yani bir iç haritanın artırılmış değeri onun boyutudur. Buna göre, dış haritanın birleştirme işlevi, iki iç genişletilmiş haritanın bir birleşimini almaktır. Daha resmi:

${ displaystyle M_ {iç} = (Y, <_ {Y}, X,  mathbb {Z}, (k, v)  mapsto 1, + _ { mathbb {Z}}, 0)}$${ displaystyle M_ {dış} = (X, <_ {X}, Y, M _ { text {iç}}, (k, v)  mapsto M _ { text {iç}}. singleton (v, k) , M _ { text {iç}}. { Text {birleşim}}, M _ { text {iç}}. { Text {boş}})}$

Basit olması için, tüm koordinatların benzersiz olduğunu varsayın. ${ displaystyle X}$ ve ${ displaystyle Y}$ x ve y koordinatlarının türleridir. aralık sorgusunu dikdörtgen şeklinde yanıtlamak için ${ displaystyle (x_ {1}, x_ {2}, y_ {1}, y_ {2})}$, sorgu algoritması anahtar aralığındaki dış haritanın artırılmış değerini çıkarır ${ displaystyle [x_ {1}, x_ {2}]}$, y koordinatlarına göre sıralanmış istenen tüm noktaların iç haritasıdır. Bu nedenle, algoritma bu iç haritada başka bir aug_range alır ve sonucu alır. Sorguları saymak için, algoritma aug_project işlevini kullanabilir.

${ displaystyle sorgusu (m, x_ {1}, x_ {2}, y_ {1}, y_ {2}) = M _ { text {dış}}. { text {aug}}  _ { text { proje}} (g ', + _ { mathbb {Z}}, m, x_ {1}, x_ {2})}$${ displaystyle { text {nerede}} g ': M _ { text {iç}}  mapsto  mathbb {Z}, g' (m ') = M _ { text {iç}}. { text {aug }}  _ { text {aralık}} (m, y_ {1}, y_ {2})}$

Hem iç hem de dış haritalar artırılmış ağaçlar tarafından uygulanırsa, iki seviyeli harita yapısının tamamı bir menzil ağacı yapı. İç harita, artırılmış ağaç yapısı tarafından destekleniyorsa ve dış ağaç önek yapısı olarak destekleniyorsa, algoritma bir süpürme çizgisi algoritması.

Diğer örnekler

Diğer örnekler^[1][2] segment sorgularını, tersine çevrilmiş dizin aramalarını, dikdörtgen sorguları vb. içerir.

Libaray desteği

Artırılmış harita arayüzünün paralel bir uygulaması bir kitaplıkta sağlanır PAM.

Notlar

Referanslar