«ds.algorithms» etiketlenmiş sorular

Bir sayı dizisi verildiğinde , O ( n ln n ) karşılaştırmaları ve O ( n ) değişimleri / hareketleri ile sıralanabilir mi? Bu konudaki yayınlara veya Ω ( n ln n ) alt sınırını gösteren sayaçlara herhangi bir işaretçi yardımcı olacaktır.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

Darboğazın en kısa yolları için iyi bir referans arıyorum. Özellikle, kenar ağırlıkları olan yönlendirilmemiş bir grafikte s ve t köşeleri verildiğinde, bir yolun uzunluğunun o yoldaki maksimum kenar olduğu s'den t'ye en kısa yolu istiyorsunuz. Bu, medyan kenar ağırlığını bularak ve (dikkatlice) kenarların yarısını tekrar tekrar silerek O (n + …

12 ds.algorithms  reference-request  graph-algorithms 

"Seyrek grafik" ile ilgili birbiriyle çelişen birkaç kavram vardır. Örneğin, yüzeye gömülebilir bir grafik seyrek olarak kabul edilebilir. Veya sınırlı kenar yoğunluğuna sahip bir grafik. Veya yüksek çevresi olan bir grafik. Büyük genişleme içeren bir grafik. Sınırlı treewidth ile bir grafik. (Rastgele grafiklerin alt alanında bile, seyrek olarak adlandırılabilecek şey …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

x1, … , Xnx1,…,xnx_1, \ldots, x_nR,2R2\mathbb{R}^22∥ xben- xj∥2‖xi−xj‖2\|x_i - x_j\|^2 22323\frac 2 32323\frac 2 3 Bulabildiğim en kötü örnek, eşkenar üçgende 3 nokta, ulaşıyor . Rastgele bir bölünmenin üreteceğini unutmayın , ancak sezgisel olarak bariz bir şekilde düşük boyutlarda bir kişinin rastgele daha iyi kümelenebileceği görülmektedir. 12323\frac 2 31212\frac 1 …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering 

başlık kendisini anlatır. İşte Akinator ve 20Q . Bu oyunların prensibi bir kullanıcıya kullanıcı tarafından seçilen bazı varlıklarla ilgili bir dizi soru sormaktır. Ve sonra bu varlığın ne olduğunu öğrenin. Algoritmanın özü, her turda "en yararlı soruyu" bulmak ve tüm sorulara doğru cevap veremeyen bir kullanıcıyla ilgilenmektir. "en faydalı soru", …

12 ds.algorithms 

CMSOL Monadik İkinci Dereceden Mantık Sayıyor, yani alanın köşe ve kenar kümesi olduğu grafiklerin bir mantığı, köşe-tepe bitişikliği ve kenar-tepe noktası insidansı için tahminler var, kenarlar, köşe noktaları, kenar kümeleri ve köşe üzerinde nicelik var setleri, ve bir yüklem vardır büyüklüğü olmadığını anlatırken kullanılır S olduğu n modülo p .kartn …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Bu soru, yığının her işlem için itfa edilmiş zamanında iki kuyruk kullanılarak simüle edilip edilemeyeceğine dair mevcut bir sorudan ilham alıyor . Cevap bilinmemektedir. İlk önce tüm PUSH işlemlerinin, ardından tüm POP işlemlerinin gerçekleştirildiği özel duruma karşılık gelen daha spesifik bir soru. Başlangıçta boş iki kuyruk kullanılarak bir öğesinin listesi …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

Doğrusal programlama, elbette, günümüzde çok iyi anlaşılmıştır. Uygulanabilir çözümlerin yapısını ve en uygun çözümlerin yapısını karakterize eden çok işimiz var. Güçlü ikiliğe, çoklu zaman algoritmalarına, vb. Sahibiz. Peki LP'lerin minimum maksimum çözümleri hakkında bilinenler nelerdir? Veya aynı şekilde maksimum minimal çözümler mi? (Bu gerçekten bir araştırma sorusu değil, ama belki …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

En kötü durumda ağaç ayrışması zordur, ancak açgözlü yöntem küçük gerçek hayat ağlarında neredeyse optimal gibi görünmektedir. Bazı grafik sınıflarının "tipik" bir örneğinin ağaç ayrışmasının sertliği hakkında bilinen bir şey var mı? Ağaç ayrışması için açgözlü yöntemlerin kötü işlediği bir grafik ailesine örnek var mı?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Düzgün rasgele bir çözüm döndüren bir algoritmanın elde ettiği en iyi bilinen yaklaşım oranıyla ilgili sorunlar nelerdir? Permütasyon akışı dükkanı problemi için böyle bir örnek biliyorum : Kağıt "in Permütasyon Akış Dükkanı Zamanlama için Sıkı Sınırlar'dan Viswanath Nagarajan ve Maxim Sviridenko" işlerin rastgele dizisi garantisi var kanıtladı 2 √F| perm …

12 ds.algorithms  reference-request  approximation-algorithms 

Bir isim veya bu soruna herhangi bir referans arıyorum. Ağırlıklı bir grafik verildiğinde köşelerin n = | V | kesilen kenarların değerini en üst düzeye çıkarmak için S 1 , … , S n'yi ayarlar : c ( S 1 , … , S n ) = ∑ i ≠ …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Özellikle merak ettiğim şey, bu tür sorunların izlenebilir olduğunu garanti etmek için 3SAT formülünü yerine getiren ödevlerin yüzdesi üzerinde ilginç bir durum olması. Örneğin bu 3SAT sorunların sınıfı varsayalım bir 2 N mümkün atamaları boolean formül tatmin; tatmin edici bir görev bulabilir miyiz? Ne için ε P sonuçlanan sorundur?ϵ(n)2nϵ(n)2n\epsilon(n) 2^n2n2n2^nϵϵ\epsilon …

12 cc.complexity-theory  ds.algorithms  sat  np 

Sorun Zamanla değişecek olan yönlendirilmemiş bir grafiğim var (çok kenarlı), düğümler ve kenarlar eklenebilir ve silinebilir. Grafiğin her değişikliğinde, bu grafiğin bağlı bileşenlerini güncellemem gerekiyor. Özellikleri Ek özellikler, hiçbir iki bileşenin tekrar bağlanmayacağıdır. Tabii ki, grafik keyfi bir miktarda döngü içerebilir (aksi takdirde çözüm önemsiz olacaktır). Eğer bir kenar düğümü …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

İki çok seyrek boole matrisini çarpmak için pratik olarak en verimli algoritmalar nelerdir (örneğin, N = 200 ve sadece 100-200 civarında sıfır olmayan eleman vardır)? Aslında, A'yı B ile çarptığımda, B'lerin önceden tanımlanmış olması ve üzerlerinde keyfi olarak karmaşık önişleme yapabilmem avantajım var. Ayrıca, ürünlerin sonuçlarının her zaman orijinal matrisler …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

Bu David Eppstein'ın son sorusunun bir devamıdır ve aynı problemler tarafından motive edilir. Köşelerinde gerçek sayı ağırlıkları olan bir dagım olduğunu varsayalım. Başlangıçta, tüm köşeler işaretsizdir. İşaretli köşe kümesini (1) işaretlenmemiş selefleri olmayan bir tepe noktasını işaretleyerek veya (2) işaretli halefleri olmayan bir tepe noktasını işaretleyerek değiştirebilirim. (Böylece, işaretli köşeler …

12 ds.algorithms  directed-acyclic-graph  partial-order