«graph-theory» etiketlenmiş sorular

Bulduğumuz istediğinizi varsayalım ∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j) veya maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xben,xj)\max_x \prod_{ij \in E} f(x_i,x_j) V'nin tüm etiketlemeleri üzerinde maks veya toplam alındığında VVV, G = \ {V, E \} grafiği için ürün E'nin tüm kenarlarından alınır ve f isteğe bağlı bir fonksiyondur. Bu miktar sınırlı ağaç genişliği grafikleri için ve …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Kalıtsal bir yapı sınıfı (örn. Grafikler) indüklenmiş alt-yapılar altında kapalı veya eşdeğer şekilde tepe noktası çıkarma altında kapalı olan yapılardır. Bir küçüğü hariç tutan grafik sınıfları, hariç tutulan belirli minörlere bağlı olmayan güzel özelliklere sahiptir. Martin Grohe, bir minör hariç grafik sınıfları için izomorfizm için bir polinom algoritması ve sayımlı …

15 cc.complexity-theory  graph-theory  relational-structures 

Kenar eki başına O (N ^ 2) daha az bir zaman karmaşıklığı ile yönlendirilmiş bir asiklik grafik geçişli kapanış korumak için bir çevrimiçi algoritma arıyorum. Mevcut algoritmam şöyle: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Büyük (yönlendirilmiş) bir grafik ve daha küçük bir köklü ağacına sahipsek, izomorfik alt-tabakalarını bulmak için en iyi bilinen karmaşıklık nedir? Her iki nerede alt ağaç izomorfik sonuçları farkında ve de burada ağaç ve vardır Bu grafik ve ağaç durumda düz ya da sınırlı treewidth (ve diğerleri) sahip değil. H G …

15 ds.algorithms  reference-request  graph-theory 

Aşağıdaki sorunun karmaşıklığı nedir? Giriş : birHamilton yoluiçinde K nHHHKnKnK_n köşe çiftinin bir alt kümesiR⊆[n]2R⊆[n]2R \subseteq [n]^2 pozitif bir tamsayı kkk Sorgu : Her ( v , u ) ∈ R , d G ( v , u ) ≤ k için eşleşen bir var mı? (burada G = ( …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Biz parçalarını birleştirmek varsayalım yönsüz kenarlarının seti kullanılarak D gibi, ya bu ( i , j ) bağlı olan ( I + 1 , j + 1 ) , ya da ( i + 1 , j ) bağlanır ( i , j + 1 ) , tüm i , …

14 graph-theory 

En uzun yol problemi NP-zordur. (Tipik?) Kanıt Hamilton yolu sorununda (NP-tamamlanmış) bir azalmaya dayanır. Burada yolun (düğüm-) basit olduğu dikkate alınmalıdır. Yani, yolda birden fazla tepe noktası oluşamaz. Açıkçası bu nedenle kenar basittir (yolda bir kereden fazla kenar oluşmaz). Peki ya (düğüm-) basit bir yol bulma gerekliliğini düşürürsek ve kenar-basit …

14 graph-theory  graph-algorithms  hamiltonian-paths 

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 

Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Makalelerinde Yaklaşık Uzaklık Oracles , Thorup ve Zwick bir ağırlıklı yönsüz grafik için, bir veri büyüklüğü yapısını inşa etmek mümkün olduğunu göstermiştir bir dönebilir ( 2 k - 1 ) -approximate grafikteki herhangi bir köşe çifti arasındaki mesafe.O(kn1+1/k)O(kn1+1/k)O(k n^{1+1/k})(2k−1)(2k−1)(2k-1) Temel düzeyde, bu yapı uzaya yakın bir değiş tokuş yapar - …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

GI ve Knot Probleminin her ikisi de matematiksel nesnelerin yapısal eşdeğerliğine karar verme problemidir. Aralarında bağlantı kuran herhangi bir sonuç var mı? Düğüm probleminin istatistiksel fizikle güzel bağlantıları düğüm polinomları aracılığıyla araştırılmıştır , için benzer sonuçlar var mı?GIGIGI Biri bakarak başlamadan önce herhangi bir standart sonuçlar / uyarı / öneri …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Aşağıdaki süreçte üretilebilen nnn köşelerdeki grafiklerle ilgileniyorum . Rasgele bir grafik ile başlayın GGG ile k≤nk≤nk\le n köşe. Tüm köşe etiketleyin GGG olarak kullanılmayan . Yeni bir grafik üretmek G′G′G' yeni tepe noktası ekleyerek vvv bir veya daha fazla bağlı olan, kullanılmayan bir köşe GGG ve herhangi bir bağlı olmayan …

14 ds.algorithms  graph-theory  treewidth 

Bu soru, önceki sorularımdan biri , ağaçlar üzerindeki NP-zor problemlerle ilgili . Ağaçlarda P-tam olan problemler arıyorum.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

G=(V,E)G=(V,E)G=(V,E)minS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c Daha somut olarak, çapın en azından (veya en fazla) olduğunu biliyorum . Bu bana iletkenlik hakkında ne söylüyor? Ve tersine, iletkenliğin en fazla (veya en azından) olduğunu bildiğimi varsayalım . Bu bana çap hakkında ne söylüyor?DDDαα\alpha

14 graph-theory  co.combinatorics  expanders 

Aşağıdaki sorunla ilgili bilinen bir şey var mı? Hiç mantıklı mı? Adı ne? Önemsiz bir şekilde başka bir soruna eşdeğer mi? Zaman karmaşıklığı nedir? Yönlendirilmemiş (genel / düzlemsel / sınırlı derece / vb.) Grafik G = (V, E) verildiğinde, G '= (V, E-E') bağlı ve E 'deki her kenar e, …

14 ds.algorithms  graph-theory