«graph-algorithms» etiketlenmiş sorular

Metrik TSP'nin içinde yaklaştırabildiği ve polinom zamanında den daha iyi olamayacağı bilinmektedir . Üstel bir zamanda yaklaşık çözüm bulma konusunda bilinen herhangi bir şey var mı (örneğin, yalnızca polinom alanı olan adımdan az )? Örneğin, hangi zaman ve mekanda OPT'nin mesafesi daha fazla olan bir tur bulabiliriz ?1231.51.51.5 2, n1.1xOPT123122123122123\over …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

Karmaşıklık sınıfı , en fazla bir tane hesaplama yoluna sahip olan polinom zaman belirsiz bir makinesi tarafından kararlaştırılabilecek olan oluşur . Yani, eğer varsa çözüm bu anlamda benzersizdir . Her şey pek olası düşünülmektedir -Sorunları içindedir çünkü tarafından, Yiğit-Vazirani Teoremi bu çöküş anlamına gelecektir .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} Öte yandan, hiçbir olduğu bilinmemektedir; …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

İçin maksimum akış problemi , geçen yıl olduğu gibi gelişmiş en az biri ile, çok sofistike algoritmalar bir dizi var gibi görünüyor. Orlin'in Maks. O (mn) zamanda akar ya da daha iyisi , O (VE) ile çalışan bir algoritma verir. Öte yandan, en sık uyguladığım algoritmalar şöyle: Edmonds-Karp: ,O(VE2)O(VE2)O(VE^2) Push-relabel: …

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow 

Polinom zamanında bir grafiğin düzlemde çizilip çizilemeyeceğine, hatta birçoğunun doğrusal bir çalışma süresine sahip olmasına karar veren birkaç algoritma vardır. Ancak, sınıfta kolay ve hızlı bir şekilde açıklayabildiği çok basit bir algoritma bulamadım ve PLANARİTE'nin P de olduğunu gösterebilirdim. Gerekirse, Kuratowski'nin veya Fary'nin teoremini kullanabilirsiniz, fakat grafik minör teoremi gibi …

28 graph-algorithms  co.combinatorics  planar-graphs 

Aşağıdaki fenomenin gerçekleştiği güzel örnekler arıyorum: (1) Tanımlardan çalışarak ve sadece standart sonuçları kullanarak çözmek için algoritmik bir problem zor görünüyor. (2) Öte yandan, bazı (çok standart olmayan) teoremleri biliyorsanız, kolaylaşır. Bunun amacı, daha fazla teorem öğrenmenin, teori alanının dışında kalanlar için bile (yazılım mühendisleri, bilgisayar mühendisleri vb.) Faydalı olabileceğini …

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

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 

Ben bir bilgisayar bilimi teorisyeni değilim ama bu gerçek dünya probleminin buraya ait olduğunu düşünüyorum. Sorun Şirketimin ülke genelinde birkaç birimi var. Çalışanlarımıza başka bir birimde çalışma imkanı sunduk. Ancak bir şart var: Bir birimin toplam çalışan sayısı değişemez. Bunun anlamı: Birisi onun yerini istiyorsa bir çalışanın birimini bırakmasına izin …

26 ds.algorithms  graph-algorithms  application-of-theory 

Bu soru saf meraktan ortaya çıkıyor ( bir ipi karıştırmayı düşünürken ortaya çıktı , ama aslında bunun ilişkili olup olmadığından emin değilim) bu yüzden umarım uygun olur. Çeşitli grafik ürünleri var ve bunlardan herhangi biriyle ilgileniyorum. grafiğinin önemsiz bir ürün için izomorfik olup olmadığını belirlemenin karmaşıklığı nedir ? (Kesinlikle Kartezyen …

25 cc.complexity-theory  graph-algorithms 

Tarafından sonuç Robertson ve Seymour bir gösterir sabit bir grafiktir olup olmadığını test etmek için bir algoritma G küçük bir olan , H . Bu konuda iki buçuk sorum var:O (n3)O(n3)O(n^3)G,G,G'H'HH 1) O zamandan beri bu algoritmada gelişmeler olduğu anlaşılıyor. Şu anda en iyi bilinen algoritma nedir? 2a) İnsanlar en …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Genellikle bir grafik oluşturulur ve daha sonra bitişiklik matrisinin (veya Laplacian gibi bazı yakın akrabaları ) özdeğer ayrışması (ayrıca grafiğin spektrası olarak da adlandırılır) hakkında sorular sorar . Ama ters problem ne olacak? Verilen özdeğerleri, biri (verimli) bu spektrumlara sahip bir grafiği bulabilir mi?nnn Genel olarak bunun yapılması zor olduğundan …

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

Bugün aşağıdaki sorunu GPS cihazımla oynarken formüle ettim. İşte burada : Let yönlendirilmiş bir grafiktir, örneğin eğer olacak E = ( u , v ) ∈ e daha sonra ( V , U ) ∉ e , yani G yatan yönsüz grafiğin bir yönlendirmesidir. Aşağıdaki işlemleri göz önünde bulundurun:G(V,E)G(V,E)G(V,E)e=(u,v)∈Ee=(u,v)∈Ee=(u,v) \in …

25 ds.algorithms  graph-algorithms 

Kararlı Evlilik Sorunu: http://en.wikipedia.org/wiki/Stable_marriage_problem Bir SMP örneği için, Gale-Shapley algoritmasının geri döndürdüğünden başka birçok istikrarlı evlilik yapılabileceğini biliyorum. Ancak, eğer sadece , erkek / kadın sayısı verilirse , şu soruyu sorarız - Maksimum istikrarlı evlilik sayısını veren bir tercih listesi yapabilir miyiz? Böyle bir sayıya üst sınır nedir?nnn

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

H grafiği kendisine bir homomorfizma bir önyargı ise, H grafiği bir çekirdektir. H'nin bir çekirdeği olması ve G'den H'ye homomorfizması olması durumunda, G'nin bir H alt maddesi G'nin bir çekirdeğidir. Http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Bir grafik G verildiğinde, özünü bulmak için bilinen en iyi kesin algoritma nedir?

24 ds.algorithms  graph-theory  graph-algorithms 

Bir Childs ve arkadaşları tarafından önemli 2003 kağıdı."yapışık ağaçlar problemi" ni tanıttı: bildiğimiz diğer tüm problemlerden farklı olarak üstel bir kuantum hızlandırmayı kabul eden bir problem. Bu problemde, yaprakları rastgele bir döngü ile birbirine bağlanan iki tam derinlikli iki n ağaçtan oluşan, aşağıda resimdeki gibi üssel olarak geniş bir grafik …

23 graph-algorithms  quantum-computing  randomized-algorithms  random-walks  decision-trees 

Aşağıdaki formun optimizasyon problemlerini düşünün. bir dizesini rasyonel bir sayıyla eşleştiren polinom-zaman hesaplanabilir bir işlevi olmasına izin verin . Optimizasyon sorunu şudur: -bit dizgileri üzerindeki maksimum değeri nedir?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Diyelim ki, böyle bir problemin minimax karakterizasyonu olduğunu varsayalım , eğer başka bir polinom-zaman hesaplanabilir fonksiyonu …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming