«graph-theory» etiketlenmiş sorular

Courcelle teoremi , monadik ikinci mertebeden mantıkta tanımlanabilir her grafik özelliğinin , sınırlandırılmış treewthth grafiklerinde doğrusal zamanda karar verilebileceğini belirtir . Bu en iyi bilinen algoritmik meta-teoremlerden biridir. Courcelle teoremine motive olarak, şu varsayımı yaptım: Varsayım : Let herhangi MSO tanımlanabilen malı. Eğer ψ düzlemsel grafikler üzerinde polinom zamanlı olarak …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

Ben optimal tepe kapağı bilinir böylece grafikler oluşturmak için bir yol arıyorum. Düğüm veya kenar sayısında herhangi bir kısıtlama yoktur, sadece grafiğin tamamen bağlı olduğundan. fikir, en uygun tepe kapağını bulmak kolay olmayan bir grafik oluşturmak, farklı sezgisel yöntemleri test edebilmektir. Ben kağıt buldum Arthur J. & Frendeway, Bilinen Optimal …

11 ds.algorithms  graph-theory  graph-algorithms 

Ağırlıklı kenarları olan bir grafik verildiğinde, belirli bir tepe kümesi içinde en az bir tepe noktası içeren negatif bir döngüyü nasıl bulabiliriz ? Teşekkürler.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

3 Klik Bölme problemi, gibi bir grafiğin köşelerinin 3 klibe bölünüp bölünemeyeceğini belirleme problemidir . Bu sorun, 3-renklendirme probleminden basit bir azalma ile NP-zordur. Çap ( G ) = 1 veya çap ( G ) > 5 olduğunda bu sorunun cevabının kolay olduğunu görmek zor değildir . Diam ( G …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

öğelerine sahip bir yarı olduğunu varsayalım . Hedefimiz .(S,∘)(S,∘)(S,\circ)S= { s1, s2, … , Sn}S={s1,s2,...,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesben∘ si + 1∘ ⋯ ∘ sjsben∘sben+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j “On-line ürün sorgularını yanıtlamak için Optimal Önişleme” Alon ve Schieber, bu tür her bir sorguyu en çok adımda (burada ters Ackermann işlevidir) cevaplayabileceğimizi kanıtlamaktadır. doğrusal …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Aşağıdaki sorun karar olup olmadığını bilmek isteyen NLNL\mathsf{NL} (nondeterministic logspace): Yönlendirilmiş bir grafiktir verilen GGG iki ayırt edici noktalar ile ve , bir olduğu benzersiz bir mesafede yol için olarak ?tssstttt GssstttGGG Bunun içinde olması muhtemeldir hissediyorum biz orada hem kendi karar verebilir beri - -Path ve böyle bir yol …

11 reference-request  graph-theory 

Bu konuda zaten yayınlanmış bir sonuç olup olmadığını sormak istiyorum: İki düzenli normal ( d derecesi diyelim ve n düğüm sayısı ) bağlı her bir düğüm çifti arasındaki olası tüm farklı yolları alıyoruz ve uzunluklarını yazıyoruz. Elbette bu farklı yol sayısı üsteldir. Sorum şu ki, uzunlukları sıralarsak ve karşılaştırırsak (iki …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

SAT çözümleyicilerini özel grafik algoritmalarıyla rekabet etmenin önündeki engeller nelerdir? Başka bir deyişle, algoritma tasarımcısı rolünün yerini alabilecek SAT çözücüler beklemek - yani sorun yapısını otomatik olarak tanıyabilmek ve daha sonra özel bir algoritma kadar hızlı bir şekilde çözmek mümkün müdür? Bugünün SAT çözümleyicileri için zor olduğunu düşündüğüm bazı örnekler: …

11 ds.algorithms  graph-theory  sat 

Ben CS öğrencisiyim. Bir teoride grafik teorisi yaptık. Bunu ilginç buldum. Grafik teorisinin bilgisayar bilimi alanındaki gerçek uygulamaları nelerdir? Örneğin, grafik teorisindeki bazı kavramların ağları tasarlamak için kullanılabileceğini buldum. Benzer uygulamalar nelerdir?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Let üzerinden derece herhangi bir tepe arasında olduğu şekilde, bir asiklik yönlendirilmiş çizge O ( giriş | V | ) . G'nin her tepe noktası için, yalnızca her tepe noktasından dfs çalıştırarak ulaşılabilir köşe sayısını sayabiliriz ve bu O ( | V | | E | ) zamanını alır. Bu …

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

Bu bir sosyal bilimler sorusuna daha çok bir TCS sorusundan daha fazla gelebilir, ama öyle değil. Kararlı Evlilik Problemini tanımlayan " Rastgele Algoritmalar " okunurken aşağıdakiler okunabilir (p54) Diyerek şöyle devam etti: "Her tercih listesi için en az bir istikrarlı evlilik olduğu gösterilebilir. (İlginçtir ki, bu, eşit sayıda nüfusa sahip …

11 ds.algorithms  graph-theory  matching 

Bir grafikte, bağımsız bir küme indüklenmiş alt çizgi olarak bir kenar içermeyen bir tepe alt kümesidir. Bir grafikte en büyük bağımsız kümeleri bulma sorunu temel algoritmik bir sorudur ve zor bir sorudur. Bir grafiğin en büyük H-serbest kümesini (daha büyük) bulma konusunda daha genel bir soruyu ele alalım, burada H-serbest, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Bir yönlendirilmiş grafikte, , F ⊂ D ise, G ∖ F DAG (yönlendirilmiş asiklik grafik) olduğu, F , bir geri besleme yay grubu olarak adlandırılır. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Her bir kenar, bir ağırlığı ile ilişkili ise , ayar sorunu ark minimum maliyet geri bildirimi bulmaktır F böyle W ( F …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Grafik olarak sosyal ağların birleştirici özellikleri ile ilgileniyorum. İnsanlar derecelerin dağılımı, kümeleme katsayısı ve bu grafiklerin sıkıştırılabilirliği gibi şeylere baktılar. Temel bir soru şudur: Bu grafikler genellikle iyi genişletici grafikler midir? Diyelim ki facebook grafiğinin spektral boşluğunu kontrol eden oldu mu? Veya diğer büyük gerçek dünya ağlarının spektral boşluğu mu? …

11 graph-theory  application-of-theory  expanders 

Tarafından Göstermek içinde en az üzerinden derecesi G ve ile ö - ( G ) içinde derece az.δ+( G )δ+(G)\delta^+(G)G,GGδ-( G )δ−(G)\delta^-(G) Bir de ilgili soru , I Ghouila-Houri uzantısı belirttiğimiz Hamilton döngülere Dirac teoremi göstermektedir, eğer sonra G Hamiltonyan'dır.δ+( G ) , δ-( G ) ≥ n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} …

11 reference-request  graph-theory