«ds.algorithms» etiketlenmiş sorular

Yönlendirilmiş grafikler için NPC olduğu bilinen ama yönlendirilmemiş grafikler için bir polinom algoritması olan sorunları arıyorum. Burada "Yönlendirilmemiş" sorunların "yöneltilmemiş" varyantından daha kolay olan diğer yönüyle ilgili soruyu gördüm , ancak yönlendirilen tarafta sertlik arıyorum. Örneğin, Geri Besleme kenarı kümesinin yönlendirilmiş üzerinde NPC olduğu, ancak yönlendirilmemiş grafiklerde polinom zamanı çözülebildiği …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Yönlendirilmiş bir grafikte yalnızca kenar yerleştirme ile dinamik geçişli kapatmayı korumak için en iyi belirleyici sonuç nedir? Hem kenar yerleştirme hem de silme işlemleriyle dinamik geçişli kapatma sorunu hakkında bazı makaleler okudum. Ancak, sadece kenar yerleştirme için daha iyi algoritmalar var mı?

16 ds.algorithms  graph-theory  graph-algorithms  dynamic-algorithms 

Let ortak noktası unsurlar olabilir küme olsun. Ben gibi küçük bir set .S1, S2, … , SnS1,S2,...,SnS_1,S_2,\ldots,S_nXXX∀ ben ,X∩ Sben≠ ∅∀ben,X∩Sben≠∅\forall i,\,X\cap S_i \ne \emptyset Bu sorunun bir adı var mı? Yoksa bilinen bir soruna mı iniyor? Bağlam ise bir kuvvetle bağlı bileşenin temel döngülerini tarif et, ben köşe bir …

16 ds.algorithms  graph-algorithms 

İki verilen matrisler ve bir permütasyon matrisi mevcut ise, karar vermekte güçlük şekilde eşdeğerdir (Grafik İzomorfizma). Ancak sadece ters çevrilebilir bir matris olarak gevşetirsek , karmaşıklık nedir? Bu problemle veya diğer zor problemlerle ilişkili bir permütasyon olmanın yanı sıra, ters çevrilebilir bir matrisinde başka kısıtlamalar var mı?A B P B …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

Dick Lipton'un blogunu okurken Bourne Factor gönderisinin sonuna doğru aşağıdaki gerçeğe rastladım : Her , formun bir ilişkisi varsa ( 2 n ) ! = m - 1 ∑ k = 0 a k b c k k burada m = p o l y ( n ) ve a …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Farz edelim ki, bize matrisi ve . Bu matrisin gücünü ne kadar hızlı hesaplayabiliriz ?A ∈ RN-xNbir∈R,N-xN-A \in \mathbb R^{N\times N}m ∈ N0m∈N-0m \in \mathbb N_0birmbirmA^m -products hesaplamasına göre bir sonraki en iyi şey, matris ürünleri gerektiren hızlı üslendirme kullanmaktır .mmmO ( günlükm)Ö(günlük⁡m)\mathcal O(\log m ) Köşegenleştirilebilir matrisler için özdeğer …

16 ds.algorithms  matrices  na.numerical-analysis 

Bir köşe yönlendirilmemiş grafik verildiğinde , bir -bisik olan bir alt çizgi bulmak için en iyi bilinen çalışma zamanı nedir? Bisikletin bir tarafını "tahmin" etmenin \ binom {n} {k} \ mbox {poli} (n) zaman algoritmasından daha hızlı parametrelenmiş algoritmalar var mı ve hepsinde en az k başka köşe noktası olup …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Alt doğrusal zaman (girdi boyutunda) algoritmalarının var olduğu problemlerin spesifik özelliklere sahip olarak karakterize edilip edilemeyeceğini merak ediyordum. Bu, alt doğrusal zamanı (örneğin özellik testi, karar problemleri için alternatif bir yaklaşım kavramı), alt doğrusal alanı (örn. Turing makinesinin salt okunur bir bant, alt doğrusal bir çalışma alanı ve salt yazılabilir …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Bir permütasyon ifade: permütasyonu ifade için standart (S) BNF bağlam bağımsız dilbilgisi tanımları bir uzantısıdır ihtiva üretimi (ya da eşit şekilde, nonterminallerdir) yoluyla . Permütasyon cümlesi pozisyonunda, bu prodüksiyonların her birini tam olarak bir kez görmek isteriz, ancak bu terminal olmayanların siparişiyle ilgilenmiyoruz.n A 1 A n{ A1, … , …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Teorik olarak çalışmıyorum, ancak çalışmalarım arada bir teori kağıtlarını okumak (ve anlamak) gerektiriyor. (Bir dizi) sonucu anladıktan sonra, bu sonuçları birlikte çalıştığım, çoğu teoride çalışmayan insanlarla tartışıyorum. Bu tür tartışmalardan biri sırasında aşağıdaki soru ortaya çıktı: Ne zaman verilen iki algoritmanın "benzer" olduğu söylenir? "Benzer" derken ne demek istiyorum? Diyelim …

16 ds.algorithms  graph-algorithms 

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 

İyi bilindiği gibi, grafiğinin bir ağaç ayrışması , aşağıdaki koşulları sağlayan her köşesi için ilişkili bir torbasına sahip bir ağaç oluşur :T T v ⊆ V ( G ) v ∈ V ( T )G,GGTTTTv⊆ V( G )Tv⊆V(G)T_v \subseteq V(G)v ∈ V( T)v∈V(T)v \in V(T) her köşesi bir miktar torbasında …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Arka fon İkili karar ağacı , her iç düğümün (ve kökün) dizininde indeksiyle etiketlendiği ve kökten yaprağa hiçbir yolun bir dizini tekrarlamadığı köklü bir ağaçtır , yapraklar içindeki çıkışlarla etiketlenir ve her kenar sol çocuk için ve sağ çocuk için olarak etiketlenir . girişine ağaç uygulamak için :TTTj ∈ { …

16 ds.algorithms  query-complexity  decision-trees 

Kenarların doğal bir sayı ile süslendiği bir grafiği çiziniz. İki ve köşeleri arasındaki tüm yollarının kümesini istiyoruz, birbirini takip eden her kenar, bir önceki kenarı süsleyen doğal sayıdan daha büyük bir doğal sayı ile süslenir.P v 1 v 2GGGPPPv1v1v_1v2v2v_2 Bunun için bir uygulama otobüs veya tren programları olacaktır. İstasyonlar arasındaki …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Yaklaşıklık oranının ( MIN hedefleri ile ilgili problemler için ), A - bazı algoritma A ve OPT tarafından döndürülen değer - optimum değer olduğu standart bir yaklaşım teorisi vardır . Ve başka bir teori, yaklaşıklık oranının \ inf \ frac {\ Omega-A} {\ Omega-OPT} , \ Omega - verilen örnek …

16 ds.algorithms  approximation-algorithms  approximation-hardness