«directed-acyclic-graph» etiketlenmiş sorular

Köşelerinde gerçek sayı ağırlıkları olan yönlendirilmiş bir asiklik grafiğim olduğunu varsayalım. Topolojik sıralamanın her öneki için ağırlıkların toplamının negatif olmadığı DAG'ın topolojik sıralamasını bulmak istiyorum. Veya, sipariş teorik terminolojisini tercih ederseniz, ağırlıklı bir kısmi düzene sahibim ve her öneki negatif olmayan bir ağırlığa sahip olacak şekilde doğrusal bir uzantı istiyorum. …

45 ds.algorithms  directed-acyclic-graph  partial-order 

Sorun elbette çift saymadır. Bazı DAG sınıfları = ağaç veya seri-paralel ağaç için yapılabilecek kadar kolaydır. Genel DAG'lar üzerinde makul bir sürede çalışan tek algoritma yaklaşık bir değerdir (Sinopsis difüzyonu), ancak hassasiyetini artırmak bitlerin sayısında üsteldir (ve çok fazla bit gerekir). Arka plan: Bu görev BBChop'ta olasılık hesaplamalarının bir parçası …

34 ds.algorithms  graph-theory  directed-acyclic-graph 

Neden "topolojik sıralama" "topolojik" olarak adlandırılıyor? Sadece herhangi bir köşeyi veya kenarı değiştirmeden bir sipariş belirlediği için mi - bir çörek ve kahve fincanı gibi topolojik olarak eşdeğer mi? Neden buna "bağımlılık sıralama" ya da başka bir şey denmiyor? Neden "topolojik"? İtiraf ettiğimi itiraf ediyorum.

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

Yönlendirilmiş bir asiklik grafik verildiğinde G(V,E)G(V,E)G(V,E) , aşağıdaki işlemleri verimli bir şekilde desteklemek mümkün müdür? isConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b) : düğümünden düğümünden düğümüne yol olup olmadığını belirler.a bGGGaaabbb link(G,a,b)link(G,a,b)link(G,a,b) : 'den ekler bir kenar için grafikteb GaaabbbGGG unlink(G,a,b)unlink(G,a,b)unlink(G,a,b) : 'den kenarı kaldırır etmek deb GaaabbbGGG add(G,a)add(G,a)add(G,a) : G'ye bir tepe noktası ekler remove(G,a)remove(G,a)remove(G,a) …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

Karışık grafik, hem yönlendirilmiş hem de yönlendirilmemiş kenarlara sahip olabilen bir grafiktir. Alttaki yönlendirilmemiş grafiği, yönlendirilmiş kenarların yönelimlerinin unutulmasıyla elde edilir ve diğer yönde, karıştırılmamış her bir kenara bir yön atanarak karışık bir grafiğin bir yönelimi elde edilir. Bir kenar kümesi, yönlendirilmiş bir döngü oluşturmak üzere yönlendirilebiliyorsa, karışık bir grafikte …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Ben anlamaya çalışıyorum nasıl Yolu Grafik P(G)P(G)P(G) bu Eppstein en Algoritma göre kağıt işlerinde ve nasıl tekrar oluşturabilir kkk gelen kısa yolları sss için ttt tekabül yığın inşaat ile H(G)H(G)H(G) . Şimdiye kadar: out(v)out(v)out(v) bir köşe terk eden tüm kenarları içerir bir grafik bir kısa yolun bir parçası değildir . …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

I girişi DAG olarak verilen am GGG ve nnn her bir köşe köşe xxx ilave olarak bir ile etiketlenir S(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} . Bir topolojik sıralama GGG bir bijection olan fff köşe gelen GGG için {1,…,n}{1,…,n}\{1, \ldots, n\} , öyle ki tüm xxx , yyy , bir yol …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

Bir kaynak düğümü ve bir hedef düğümü DAG'ları (yönlendirilmiş asiklik grafikler) ; aynı çift köşe birleştiren paralel kenarlara izin verilir. Bir - kesme kenarları kaldırma bir dizi, tüm yok - daha uzun yollar ; daha kısa - yolları ve uzun "iç" yollar ( ve arasında olmayanlar ) hayatta kalabilir!t k …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Bir kısmını yardım gerektiren bir sistem uyguluyorum. Bu nedenle, etki alanını bağımsız hale getirmek için bir grafik sorunu olarak çerçeveliyorum. Sorun: Yönlendirilmiş asiklik grafik . Genelliği kaybetmeden varsayalım tam olarak bir kaynak tepe vardır ve sadece tek bir lavabo köşe ; izin tüm yönlendirilmiş yollar kümesini ifade için olarak . …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Bir asiklik yönlendirilmiş grafiktir biz girdi olarak verilir problemi göz önünde , bir etiketleme fonksiyonu gelen V bir grubu için L toplam sipariş <_l biz istenir (örneğin, tam sayı) ve sözlükbilimsel olarak en küçük topolojik G türünü \ lambda cinsinden hesaplamak . Daha kesin olarak, bir topolojik sıralama arasında G …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Ağaç genişliği , grafiğin ağaca ne kadar yakın olduğunu ölçer. Sınırlı ağaç genişliğine sahip grafiklerde çeşitli NP-zor problemleri izlenebilir. Ağaçlarda NP zor kalırsa ağaç genişliği bizi kurtaramaz. Bu, önceki sorularımdan birinin arkasında ağaçlar üzerinde NP-zor problemler isteyen motivasyondu . Yönlendirilmiş bir grafiğin yönlendirilmiş bir asiklik grafiğe (DAG) ne kadar yakın …

12 np-hardness  directed-acyclic-graph 

Bu David Eppstein'ın son sorusunun bir devamıdır ve aynı problemler tarafından motive edilir. Köşelerinde gerçek sayı ağırlıkları olan bir dagım olduğunu varsayalım. Başlangıçta, tüm köşeler işaretsizdir. İşaretli köşe kümesini (1) işaretlenmemiş selefleri olmayan bir tepe noktasını işaretleyerek veya (2) işaretli halefleri olmayan bir tepe noktasını işaretleyerek değiştirebilirim. (Böylece, işaretli köşeler …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Bir antichain a DAG olan bir alt-kümesi , yani hiçbir vardır, ikili erişilemiyor köşelerin olacak şekilde erişilebilir olup de . Kaynaktan Dilworth teoremi kısmi sıralama teorik olarak, bilinmektedir ki DAG bir boyutta antichain ise , o zaman en az bir birliğe ayrışabilir ayrık zincirleri, yani yönlendirilmiş yollar.(V,E)(V,E)(V, E)A⊆VA⊆VA \subseteq Vv≠v′∈Av≠v′∈Av …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Let bir olmak yönlendirilmiş asiklik grafik ve izin her köşe koyan bir etiketleme fonksiyonu bir etiket için sonlu bir alfabe içinde . YazmaBir topolojik sıralama arasında bir eşleşme olduğu dan üzere (yani, bir sipariş bir dizi olarak) bu şekilde her o (ör. ye bir kenar varsaλ v ∈ V λ …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

İçinde dağıtılmış sürüm kontrolü sistemleri (örneğin, bir Mercurial ve Git ) verimli bir şekilde yönlendirilmiş karşılaştırma asiklik grafikler (DAG'ler) için bir ihtiyaç vardır. Ben bir Mercurial geliştiricisiyim ve iki DAG'ı karşılaştırmanın zamanını ve ağ karmaşıklığını tartışan teorik çalışmaları duymakla çok ilgileniriz. Söz konusu DAG'lar kaydedilen revizyonlardan oluşur. Revizyonlar bir karma …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph