«ds.algorithms» etiketlenmiş sorular

Trevisan ve Lovett'in TCS'de aditif birleştiricinin uygulamaları üzerine anketler okuyorum . Bu uygulamaların çoğu , örneğin daha düşük sınırlar gibi, hesaplama karmaşıklığı altındadır . Katkı kombinatoriklerinin algoritma tasarımında da uygulamalar bulup bulamadığını merak ediyorum . Sorumun motivasyonu şudur: Katkı birleştirici ve karmaşıklık arasındaki bağlantı biraz doğal gibi görünse de, katık …

12 ds.algorithms  reference-request  co.combinatorics 

Bu yüzden hepimiz, (deterministik) bir karşılaştırma sıralama algoritmasıyla yapılan en kötü karşılaştırma sayısı üzerinde karşılaştırma ağacı alt sınırını biliyoruz . Rastgele karşılaştırma sıralaması için geçerli değildir (en kötü durum girdisi için beklenen karşılaştırmaları ölçersek). Örneğin, , deterministik alt sınır beş karşılaştırmadır, ancak rastgele bir algoritma (girişe rastgele izin verin ve …

12 ds.algorithms  reference-request  sorting 

Girdi bir evren ve alt kümelerinin bir aile , diyelim ki, . Bu alt grupları varsayalım kapsayabilir , yani .UUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈ FE= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Bir artımlı kaplama sekansı içinde alt kümelerinin bir dizisidir , diyelim ki, , tatmin olduğuFF{\cal F}bir= { E1, E2, … , …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Bir göz önünde boyutlu vektör burada . Her biliyoruz ve bağımsız olduğunu varsayalım . Bu olasılıkları kullanarak, çıktı boyutunda alt çizginin alt alanını kullanarak, büyük olasılıkla en az olasılıkla (bağlar için keyfi seçimlerle) ikili boyutlu vektörler üzerinde tekrarlamanın etkili bir yolu var mı? nnnvvvvi∈{0,1}vi∈{0,1}v_i \in \{0,1\}iiipi=P(vi=1)pi=P(vi=1)p_i = P(v_i = 1)viviv_innn …

12 ds.algorithms  space-bounded 

Artık sonlu durum otomatları ([DLT02] 'de tanımlanan RFSA'lar), DFA'larla ortak bazı hoş özelliklere sahip NFA'lardır. Özellikle, her normal dil için her zaman standart bir minimum boyutlu RFSA vardır ve RFSA'daki her durum tarafından tanınan dil, tıpkı bir DFA'da olduğu gibi artıktır. Bununla birlikte, asgari DFA devletleri tüm artıklarla bir bijeksiyon …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Önceden gönderdiğim soruya oldukça benzer . Ancak bu sefer grafik yönlendirilmez. verilmiş Bir yönsüz grafik bir çoklu kenarlar veya halkalar ile,G,GG Kaynak köşe noktası ,sss Hedef tepe noktası ,ttt Maksimum yol uzunluğu ,lll arıyorum - herhangi bir tepe noktası ve (ve sadece bu) herhangi bir kenar içeren , en uzunluk …

12 ds.algorithms  graph-algorithms  shortest-path 

Simpleks algoritması genellikle gerçek aritmetik olarak veya kesin hesaplamalarla ayrık dünyada ele alınır. Ancak, en çok kayan nokta aritmetiği ile uygulandığı görülmektedir. Bu, simpleks algoritmanın sayısal bir algoritma olarak kabul edilip edilmeyeceği, özellikle yuvarlama hatalarının hesaplamayı nasıl etkilediği sorusuna yol açar. Pratik uygulamalarla değil, teorik temellerle ilgileniyorum. Bu konuda herhangi …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Küçük bir grafiktir arıyorum GGG olan vektör renk sayısı renk sayısı, daha küçük olan χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( vektör renk sayısı sahip q bir atama ise X : V → R, d köşe komşu ilişkili vektörler birbirinden uzak olan sezgisel bir gerekliliktir. ⟨ X ( h ) , X ( ağırlık …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

(dahil etme sırasına göre) güç kümesi üzerinde monoton bir yüklem düşünün . "Tekdüze" ile kastediyorum: , , eğer sonra . Ben tüm asgari unsurları bulmak için bir algoritma için arıyorum yani, öyle ki ama , . Genişliğine yana olduğu , n tercih n / 2 \2 | n | ∀ …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Bir kısmi sipariş koleksiyonuna sahipseniz, topolojik sıralama, koleksiyonun toplam siparişe bir uzantısı olup olmadığını size bildirir (bu durumda bir uzantı, kısmi siparişlerin her biriyle tutarlı bir toplam sipariştir). Bir varyasyonla karşılaştım: Bir dizi düzeltme . Size tekrarlama yapılmadan çizilen öğelerin dizileri (diziler 1 ile arasında uzunluktadır ).σ 1 , …

12 ds.algorithms  reference-request  order-theory 

Petkovsek, Wilf ve Zeilberger'in A = B kitabı , farklı binom miktarlarını hesaplamak için algoritmaları açıklar. AFAIK, bu algoritmalar farklı yazarlar tarafından hala geliştirilmektedir. Bu algoritmaların en güncel uygulamalarını nerede bulabileceğimizi biliyor musunuz? Sage gibi bazı ücretsiz yazılımlarda uygulama olup olmadığını biliyor musunuz ?

12 ds.algorithms  co.combinatorics  implementation 

Umarım birisi bunu bilir, bu yüzden literatürü okumak zorunda değilim ... sayı dizisini göz önünde bulundurun . Diziyi n - 1 aralık [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] olarak …

12 ds.algorithms  reference-request  sorting 

Metni maksimum genişlikteki satırlara eşit olarak bölmek için doğrusal bir zaman algoritması vardır. SMAWK (veya Knuth &amp; Plass) kullanır ve "eşit olarak" şu anlama gelir: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Maksimum algoritma genişliği yerine metnin girmesini istediğim satır sayısını hesaba katacak algoritma için bir algoritma veya içbükey bir maliyet fonksiyonu var mı? Ayrıca doğrusal …

12 ds.algorithms 

İşimde şu sorun ortaya çıkıyor: Bağımsız bir sıra 65 seti olmadan bir grafiğin kromatik sayısına yaklaşan bilinen bir algoritma var mı? (Yani alfa (G) &lt;= 64 bilinir ve | V | / 64 önemsiz bir alt, | V | önemsiz bir üst sınırdır. Ancak bu özel koşul altında daha iyi …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

Aşağıdaki abelian-alt grup üyelik testi sorununu göz önünde bulundurun . girişler: Sonlu bir abelya grubu G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} , keyfi büyük didid_i . Bir üretim kümesi {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace , bir alt-grubu H⊂GH⊂GH\subset G . Bir eleman b∈Gb∈Gb\in G . Çıktı: b∈Hb∈Hb\in H ve 'hayır' başka yerlerde ' ise' evet '. Soru: Bu …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory