«ds.algorithms» etiketlenmiş sorular

Mevcut algoritmamızın asimptotik olarak en uygun algoritma olduğunu bildiğimiz önemsiz bazı problemler nelerdir? (Turing makineleri için) Ve bu nasıl kanıtlandı?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Lojik olarak, matris-çarpma üssünün tanımı, bilinen bir matris çarpma algoritmasının olduğu en küçük değerdir . Bu resmi bir matematiksel tanım olarak kabul edilemez, bu yüzden teknik tanım bir matris çarpma algoritması var ki tüm üzerinde sonsuz gibi bir şey sanırım .ωω\omeganωnωn^{\omega}tttntntn^t Bu durumda, veya de matris çarpımı için bir algoritma …

15 ds.algorithms  linear-algebra 

Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Modüler Ayrışmanın gücünü ve özelliklerini daha iyi anlamak için iyi makaleler / kitaplar nelerdir? Özellikle Modüler Ayrışmanın algoritmik yönleriyle ilgileniyorum. Doğrusal zamanda bir grafiğin Modüler Ayrışmasını bulmanın mümkün olduğunu duydum. Bunun için nispeten basit bir algoritma var mı? Çok verimli olmayan ama daha basit bir algoritmaya ne dersiniz?

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Bu soruyu bir süre önce Stack Overflow'da sordum: Sorun: Bob'un satışı . Birisi de soruyu buraya göndermeyi önerdi. Birisi zaten bu sorunla ilgili bir soru sordu - Verilen kardinalitenin minimum ağırlık alt ormanı - ama anladığım kadarıyla sorunumda bana yardımcı olmuyor. StackOverflow'daki en yüksek cevabı da incelemeye değer. İşte StackOverflow …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Kendi sıralama algoritmamı tasarlamaya çalışırken, karşılaştırabileceğim en uygun ölçütü arıyorum. Elementler sıralanmamış bir sipariş için A ve sıralanmış bir sipariş B , almak transpozisyonlarının optimum sayısını hesaplamak için etkili bir yolu nedir A için B ? Bir aktarma, listedeki 2 öğenin konumunu değiştirme olarak tanımlanır, örneğin 1 2 4 3 …

15 ds.algorithms  co.combinatorics  sorting 

Sorum genel bir soru: Algoritma Tasarım ve Karmaşıklık açısından düşünmeye nasıl başlayabilirim? Algoritma Tasarımı üzerine Yüksek Lisans Dersi alacağım. Daha önce kayıt olmuştum ama daha sonra bıraktım çünkü yetişemedim. Bu dersi zorunlu olarak almak zorundayım. Bu şekilde düşünmek için bir 'hile' var mı? Bunun oldukça kabaca koyduğunu biliyorum, ancak bazen …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Maksimum akış probleminin klasik bir uzantısı "zaman içindeki maksimum akış" problemidir: size, her iki yayın iki parametreye sahip bir kapasiteye sahip olan iki düğüm, kaynak ve lavabo olarak ayırt edilen bir digraf verilir. -birim zamanı ve gecikme. Ayrıca bir zaman ufku de verilir TTT. Amaç, zamanla, kaynaktan kadar maksimum malzemeyi …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

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 

Walsh-Hadamard (WHT) dönüşümü Fourier bir genelleme dönüşümü ve boyutu gerçek veya karmaşık sayılar bir vektör üzerine bir dikgen dönüştürme olan . Dönüşüm kuantum hesaplamada popülerdir, ancak yakın zamanda Johnson-Lindenstrauss Lemma'nın kanıtında kullanılmak üzere yüksek boyutlu vektörlerin rastgele projeksiyonları için bir tür ön koşul olarak incelenmiştir. Ana özelliği, kare d × …

15 ds.algorithms  linear-algebra 

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 

Bu soru, belirli bir dizinin rastgele bir karıştırmasını döndürmek için Fisher-Yates algoritması ile ilgilidir. Vikipedi sayfası onun karmaşıklığı O (n) olduğunu söylüyor, ama (n log) Ey olduğunu düşünüyorum. Her yinelemede i, 1 ve i arasında rastgele bir tamsayı seçilir. Sadece tamsayıyı hafızaya yazmak O (log i) 'dir ve n yinelemesi …

15 ds.algorithms  permutations 

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 

Bir matrisi verildiğinde ( varsayılarak ), sütunların sırasını ve temelini hesaplamak için en hızlı algoritma nedir?m ≥ nm × nm×nm \times nm ≥ nm≥nm \ge n Bir zaman deterministik algoritması ve bir zaman rastgele algoritması anlamına gelen doğrusal matroid kesişimi ile çözülebileceğinin farkındayım . Bir var daha doğrudan matris çarpımı …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

SAT çözücüler, bir nicelik belirteci ile bir boole formülünün geçerliliğini kontrol etmek için güçlü bir yol sağlar. Örneğin, geçerliliğini kontrol etmek için . φ ( x ) , φ ( x ) ' in tatmin edici olup olmadığını belirlemek için bir SAT çözücü kullanabiliriz . ∀ x'in geçerliliğini kontrol etmek …

15 ds.algorithms  lo.logic  sat  boolean-functions